next up previous contents
Next: String duality and D-branes Up: String Theory: A Happy Previous: Strings in physics and

Perturbative strings and Riemann surfaces

Mathematically speaking, perturbative string theory is the study of certain natural functors on the category of Riemann surfaces or complex curves. This relationship is easily explained. A fundamental string is a loop in space. If we consider the history of such a string in space-time, it will sweep out a two-dimensional surface known as a world-sheet. The internal consistency of the theory demands that this world-sheet carries a complex structure and thus becomes a Riemann surface. For a free propagating string the topology of this worldsheet is a cylinder, but if we include interactions, under which the string can split and join, the surfaces can have arbitrary topology and represent the possible classical trajectories of a collection of interacting strings.


It is a very general principle that in any quantum theory we should associate an amplitude to any possible trajectory. Concretely this means that if we have a Riemann surface tex2html_wrap_inline3914 with, say, n incoming boundaries and m outgoing boundaries, as depicted in figure 1, there will be a linear map tex2html_wrap_inline3920 associated to the surface, where tex2html_wrap_inline3922 is the Hilbert space describing the posssible quantum states of a single string. These maps are not arbitrary, but satisfy all kinds of consistency relations, making it into a functor from the category of Riemann surfaces to the category of Hilbert spaces. Examples of such functors can be defined by maps of the surface tex2html_wrap_inline3914 into a complex manifold, explaining the relevance to the problem of counting curves in algebraic geometry. The simple existence of the `pair of pants' surface, the three-holed sphere, immediately tells us that there is some kind of natural algebraic structure tex2html_wrap_inline3926 indicating the relation with representation theory.

Since string theory is a quantum theory, Feynman's principle of sums over histories tells us to consider not only one particular surface but to sum over all possible topologies, i.e. all genera tex2html_wrap_inline3928 , and integrate over all possible complex structures. In this way we are led to consider formal expressions as


where we integrate the amplitudes tex2html_wrap_inline3932 over the moduli space tex2html_wrap_inline3934 of Riemann surfaces of genus g. Here the string coupling constant or Planck's constant tex2html_wrap_inline3938 controls the perturbative quantisation; the classical theory is recovered in the limit tex2html_wrap_inline3940 where only spherical topologies contribute.

Unfortunately, straightforward estimates show that the above expression for tex2html_wrap_inline3942 can be at most an asymptotic expansion. So the definition of string theory in terms of Riemann surfaces is at least incomplete. This is a well-known phenomenon in quantum field theories, where the Feynman diagrams rarely capture the full story. To add insult to injury, there furthermore seem to be five independent perturbative string theories, i.e. consistent functors tex2html_wrap_inline3932 , that differ rather dramatically in their basic properties, destroying the uniqueness of the theory.

next up previous contents
Next: String duality and D-branes Up: String Theory: A Happy Previous: Strings in physics and

Fri Mar 20 16:01:06 MET 1998