Remarks on Moduli Spaces and String Theory

Source: Higgs Centre for Theoretical Physics

The concept of moduli space is of utmost relevance in theoretical physics and mathematics, especially in geometry, topology and string theory. A moduli space is, roughly speaking, a space T that classifies a given class of objects C modulo an equivalence relation # which identifies the objects in C that we want to consider as equivalent or, more plainly put, that we want to consider as being “the same” 12. Ideally, each point in T should correspond to an object in C unique up to the given equivalence #. In other words, if we have a moduli space T associated to a given classification problem defined by C and #, we should be able to establish a bijection between T and the class of objects C modulo the chosen equivalence relation #. It is in this sense that T classifies inequivalent objects in C. The previous bijection identifies T and C/# as sets. However, moduli theory, namely the theory that is concerned with the study of moduli spaces, attempts to go beyond a set-theoretic identification, and, at least in a geometric context, aims at endowing T with natural geometric structures inherited from the geometric properties of the objects that we attempt to classify 3. In fact, understanding T can potentially inform on the properties of the objects we want to classify. More formally, the standard ingredients of a moduli problem are as follows:

– A class of objects C to be classified.
– An equivalence relation # on C.
– A notion of family of objects in C with base space S, which roughly speaking is nothing but a collection of objects in C parametrized by S.
– A notion of equivalence of families.

These ingredients are required to satisfy a number of consistency conditions:

– A family parametrized by a single point is just an object in C, and equivalence of families over a point coincides with the equivalence of objects in C given by the relation #.
– Families behave naturally and functorially with respect to pull-backs induced by maps of base spaces.

In this note, we focus on the type of moduli problems that arise in differential geometry and related areas of string theory. A standard moduli problem in this differential-geometric context commonly considers the following set-up 4:

– A manifold M fixed up to diffeomorphism. This is the underlying structure of the moduli problem.
– An additional class of structures K of a certain type on M, such as a complex structures, symplectic structures or Ricci flat metrics. The structure K is usually (in interesting cases) non-unique, that is, we can endow M with many inequivalent structures K of the same type.

In this situation, one is interested in classifying all inequivalent structures K of the given chosen type. The set of all structures of type K defines the class C of objects we want to classify. The notion of equivalence # depends on the moduli problem under consideration, but, for the examples mentioned above, equivalence is defined in terms of diffeomorphisms of M. That is, two structures K_1 and K_2 are considered as equivalent if and only if there exists a diffeomorphism of M relating K_1 and K_2 (through its induced action on C).

The classification of complex structures on a given manifold was in fact one of the first examples of moduli problems to be systematically studied, and this case greatly motivated the development of the theory of moduli spaces [4]. A standard example of moduli problem concerning complex structures consists in classifying complex tori modulo isomorphism of complex manifolds, namely modulo biholomorphism. A complex torus is a pair (T^2,J) consisting on a torus T^2 = S^1xS^1 and a complex structure J on T^2. Since all torus are diffeomorphic, we can think of this classification problem as the problem of classifying all inequivalent complex structures on a given, fixed, torus. The equivalence relation is now the natural one: J_1 and J_2 are said to be equivalent if they are mapped to each other by a diffeomorphism, that is, if (T^2,J_1) and (T^2,J_2) are biholomorphic complex manifolds. In this situation, it can be seen that there exists an uncountable infinity of inequivalent complex tori, which are classified by the space T = H/PSl(2,Z), where H denotes the upper half plane and PSl(2,Z) acts on H by fractional transformations. The famous j-invariant gives now a biholomorphism between T = H/PSl(2,Z) and the complex plane. In other words, points of T = H/PSl(2,Z), are in one-to-one correspondence with isomorphism classes of complex tori.

A slightly more general type of moduli problem, again in a differential-geometric context of relevance in string theory, considers the following starting set-up 5:

– A manifold M fixed modulo diffeomorphism.
– A system of partial differential equations E on M.
– A configuration space Conf(E) for the system of partial differential equations E, which corresponds with the space of variables of E. Usually Conf(E) can be understood as the space of smooth sections of certain fiber bundles and can be endowed with the structure of an infinite dimensional manifold (possibly after completion).

We note that in order to properly define E, it may be necessary to fix a number of extra structures on M, such as principal bundles or gerbes. This type of moduli problem is particularly relevant in the context of string theory compactifications from the space-time perspective, namely through its low-energy supergravity approximation. Given the set up introduced above, the goal is to study the moduli space of solutions of E, which is defined as the space of solutions modulo the appropriate notion of equivalence. An example of this type of moduli space, which is physically motivated and had a tremendous impact in the understanding of four-manifold topology, is given by the moduli space of instantons on a closed four-dimensional Riemannian manifold. The latter consists of a particular type of solutions to the Yang-Mills equations. Yang-Mills theory was introduced by Chen Ning Yang and Robert Mills in 1954 as a mathematical model for the strong interaction. Since then, it has found impressive applications. For instance, the complete standard model of particle physics is a particular type of matter-coupled Yang Mills theory. Their classical formulation is based on the theory of connections on principal bundles, which are required to satisfy a particular partial differential equation 6.

The simplest model is given by the Yang Mills equations on an oriented manifold: a connection A on a principal bundle P satisfies the Yang Mills equations if and only if the exterior covariant derivative of the Hodge dual of the curvature of A vanishes. In four Riemannian dimensions there is a particular class of connections, called (anti) self-dual instantons, that automatically satisfy the Yang Mills equations. An (anti) self-dual instanton on an oriented four manifold M is a connection on a principal bundle P over M whose curvature is self-dual or anti self-dual. On a closed manifold, these instantons are absolute minimizers of the Yang-Mills functional, whence it is natural to study the moduli space of instantons on M modulo the appropriate notion of equivalence. The appropriate notion of equivalence of instantons, or connections in general, corresponds in this context with gauge equivalence, that is, two connections on P are equivalent if they are related by a gauge transformation, which is nothing but a based automorphism of P. The (anti) self-duality condition is an elliptic condition modulo gauge transformations, whence it is reasonable to expect that the moduli space of instantons over a closed manifold M be finite dimensional. This is indeed the case, and when appropriately defined, the moduli becomes a particular type of orbifold. From the mathematical point of view, the main motivation for studying the moduli T of instantons is that it carries crucial information about the topological properties of M as a smooth manifold. By a careful study of T, Simon K. Donaldson was able to prove in 1983 the following outstanding result 7:

Theorem: Let M be a simply connected closed four manifold with positive-definite intersection form B. Then,B is diagonalizable.

Shortly before, Michael H. Freedman 8 had proven that every unimodular symmetric bilinear form is realized as the intersection form of a simply connected closed topological four manifold. As there are plenty of unimodular symmetric bilinear forms which are not diagonalizable over the integers, the previous theorem implies that the simply connected topological four-manifolds which realize these non-diagonalizable bilinear forms do not admit smooth structures. The question whether every simply connected closed four manifold admits a differentiable structure was indeed an important open problem in topology. After this theorem appeared there was an explosion of activity in the exploration of moduli spaces of instantons and their applications to four manifolds. A new area of geometry and topology was born: mathematical gauge theory. Only a few years later, in 1994, Edward Witten shocked the community by proposing a set of invariants, the Seiberg-Witten invariants, which were conjectured to contain the same information as the polynomial Donaldson invariants while being based on a much simpler theory inspired by supersymmetry 9. This theory is Seiberg-Witten theory, and remains to these days as one of the outstanding applications of supersymmetry to mathematics.

Aside from their mathematical applications, moduli spaces can also play a crucial role in the formulation of certain physical theories, such as the usual suspect, a.k.a. the only game in town, a.k.a. string theory . In order to obtain four-dimensional physical models, string theory is usually compactified on an appropriate closed manifold, for example a closed Calabi-Yau three-fold or a closed G_2 holonomy seven dimensional manifold (the latter in the case of M-theory) 10. From the space-time point of view, the effective theory describing such compactifications is a supergravity theory preserving a given number of supersymmetries. The number of preserved supersymmetries depends on the topological and geometric details of the internal compactification manifold.

Supergravity theories are supersymmetric theories of gravity whose mathematical global structure is constrained in a beautiful and delicate way by supersymmetry. The global mathematical structure of supergravity is still far from being completely understood, although an impressive amount of results has been obtained during the last four decades regarding its local structure. It is known that Supergravity theories contain non-linear sigma models whose target spaces are given by Riemannian manifolds carrying special geometric structures. For instance, the target space of the sigma model of four-dimensional N=2 supergravity is locally given by a product of a projective Special-Kähler manifold and a Quaternionic-Kähler manifold. Similarly, the target space of the maximally supersymmetric supergravity theory in four dimensions, namely N=8 supergravity, is, interestingly enough, locally isometric to E_{7(7)}/(SU(8)/Z_2). Here E_{7(7)} denotes the maximally non-compact real form of the complex exceptional Lie group E_7 and SU(8)/Z_2 denotes its maximal compact subgroup. The remarkable fact here is that supersymmetry is believed to imply that these local geometries should precisely correspond to the local moduli space of the compactification that yields the given lower-dimensional supergravity theory. From the higher-dimensional supergravity point of view, compactification moduli spaces correspond to the moduli space of solutions to the supergravity equations of motion on the internal compact space. These moduli spaces usually include as a subset the moduli space of interesting geometric structures of intrinsic mathematical relevance, such as the moduli space of torsion-free Calabi-Yau or G_2 structures. Since supergravity equations are very involved, supergravity moduli spaces are in general incredibly hard to characterize. Therefore, it is remarkable that low-dimensional supergravity can potentially predict the geometry of compactification moduli spaces just from its supersymmetric structure. The theory of moduli spaces in geometry and topology has been a crucial ingredient of string theory since its very beginning, in the long tradition of this theory/framework of containing remarkably rich connections with state of the art mathematics. Despite their importance and an increasing activity in the topic, most of the mathematical problems related to supergravity theories and their compactification moduli spaces remain completely open.

References

  1. P. E. Newstead , Introduction to Moduli Problems and Orbit Spaces, A publication of the Tata Institute of Fundamental Research.
  2. Marco Manetti , Lectures on deformations of complex manifolds, Rendiconti di Matematica 24, (2004), 1-183.
  3. Atiyah, M., Bott, R.: The Yang-Mills equations over a Riemann surface. Phil. Trans. R. Soc A308 523 (1982).
  4. Kodaira, Kunihiko, Complex Manifolds and Deformation of Complex Structures, Springer-Verlag (2005).
  5. S. K. Donaldson and P. B. Kronheimer, The Geometry of Four-Manifolds, Oxford Mathematical Monographs (1997).
  6. K.B. Marathe and G. Martucci, The Mathematical Foundations of Gauge Theories, North Holland (1992).
  7. Donaldson, Simon K., “An application of gauge theory to four-dimensional topology”. J. Differential Geom. 18 (2): 279–315 (1983).
  8. Michael H. Freedman and Frank Quinn, Topology of 4-manifolds, Princeton Mathematical Series, 1990.
  9. W. Lerche, Introduction to Seiberg-Witten Theory and its Stringy Origin, Nucl.Phys.Proc.Suppl. 55B (1997) 83-117; Fortsch.Phys. 45 (1997) 293-340.
  10. Katrin Becker,Melanie Becker and John H. Schwarz, “String Theory and M-Theory: a Modern Introduction”. January 2007. Cambridge University, Cambridge University Press, 2007.

Leave a reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>