Mirror symmetry (string theory)
String theory |
---|
Fundamental objects |
Perturbative theory |
Non-perturbative results |
Phenomenology |
Mathematics |
In
Early cases of mirror symmetry were discovered by physicists. Mathematicians became interested in this relationship around 1990 when
Today, mirror symmetry is a major research topic in
Overview
Strings and compactification
In physics,
There are notable differences between the world described by string theory and the everyday world. In everyday life, there are three familiar dimensions of space (up/down, left/right, and forward/backward), and there is one dimension of time (later/earlier). Thus, in the language of modern physics, one says that spacetime is four-dimensional.[2] One of the peculiar features of string theory is that it requires extra dimensions of spacetime for its mathematical consistency. In superstring theory, the version of the theory that incorporates a theoretical idea called supersymmetry, there are six extra dimensions of spacetime in addition to the four that are familiar from everyday experience.[3]
One of the goals of current research in string theory is to develop models in which the strings represent particles observed in high energy physics experiments. For such a model to be consistent with observations, its spacetime must be four-dimensional at the relevant distance scales, so one must look for ways to restrict the extra dimensions to smaller scales. In most realistic models of physics based on string theory, this is accomplished by a process called compactification, in which the extra dimensions are assumed to "close up" on themselves to form circles.[4] In the limit where these curled up dimensions become very small, one obtains a theory in which spacetime has effectively a lower number of dimensions. A standard analogy for this is to consider a multidimensional object such as a garden hose. If the hose is viewed from a sufficient distance, it appears to have only one dimension, its length. However, as one approaches the hose, one discovers that it contains a second dimension, its circumference. Thus, an ant crawling on the surface of the hose would move in two dimensions.[5]
Calabi–Yau manifolds
Compactification can be used to construct models in which spacetime is effectively four-dimensional. However, not every way of compactifying the extra dimensions produces a model with the right properties to describe nature. In a viable model of particle physics, the compact extra dimensions must be shaped like a Calabi–Yau manifold.[4] A Calabi–Yau manifold is a special space which is typically taken to be six-dimensional in applications to string theory. It is named after mathematicians Eugenio Calabi and Shing-Tung Yau.[6]
After Calabi–Yau manifolds had entered physics as a way to compactify extra dimensions, many physicists began studying these manifolds. In the late 1980s,
The mirror symmetry relationship is a particular example of what physicists call a physical duality. In general, the term physical duality refers to a situation where two seemingly different physical theories turn out to be equivalent in a nontrivial way. If one theory can be transformed so it looks just like another theory, the two are said to be dual under that transformation. Put differently, the two theories are mathematically different descriptions of the same phenomena.[10] Such dualities play an important role in modern physics, especially in string theory.[b]
Regardless of whether Calabi–Yau compactifications of string theory provide a correct description of nature, the existence of the mirror duality between different string theories has significant mathematical consequences.
In physics, mirror symmetry is justified on physical grounds.
History
The idea of mirror symmetry can be traced back to the mid-1980s when it was noticed that a string propagating on a circle of radius is physically equivalent to a string propagating on a circle of radius in appropriate
By studying the relationship between Calabi–Yau manifolds and certain conformal field theories called Gepner models, Brian Greene and Ronen Plesser found nontrivial examples of the mirror relationship.[22] Further evidence for this relationship came from the work of Philip Candelas, Monika Lynker, and Rolf Schimmrigk, who surveyed a large number of Calabi–Yau manifolds by computer and found that they came in mirror pairs.[23]
Mathematicians became interested in mirror symmetry around 1990 when physicists Philip Candelas, Xenia de la Ossa, Paul Green, and Linda Parkes showed that mirror symmetry could be used to solve problems in enumerative geometry
In 1990, Edward Witten introduced topological string theory,
Also around 1995, Kontsevich analyzed the results of Candelas, which gave a general formula for the problem of counting rational curves on a quintic threefold, and he reformulated these results as a precise mathematical conjecture.[31] In 1996, Alexander Givental posted a paper that claimed to prove this conjecture of Kontsevich.[32] Initially, many mathematicians found this paper hard to understand, so there were doubts about its correctness. Subsequently, Bong Lian, Kefeng Liu, and Shing-Tung Yau published an independent proof in a series of papers.[33] Despite controversy over who had published the first proof, these papers are now collectively seen as providing a mathematical proof of the results originally obtained by physicists using mirror symmetry.[34] In 2000, Kentaro Hori and Cumrun Vafa gave another physical proof of mirror symmetry based on T-duality.[13]
Work on mirror symmetry continues today with major developments in the context of strings on
Applications
Enumerative geometry
Many of the important mathematical applications of mirror symmetry belong to the branch of mathematics called enumerative geometry. In enumerative geometry, one is interested in counting the number of solutions to geometric questions, typically using the techniques of
Enumerative problems in mathematics often concern a class of geometric objects called
Generalizing this problem, one can ask how many lines can be drawn on a quintic Calabi–Yau manifold, such as the one illustrated above, which is defined by a polynomial of degree five. This problem was solved by the nineteenth-century German mathematician Hermann Schubert, who found that there are exactly 2,875 such lines. In 1986, geometer Sheldon Katz proved that the number of curves, such as circles, that are defined by polynomials of degree two and lie entirely in the quintic is 609,250.[37]
By the year 1991, most of the classical problems of enumerative geometry had been solved and interest in enumerative geometry had begun to diminish. According to mathematician Mark Gross, "As the old problems had been solved, people went back to check Schubert's numbers with modern techniques, but that was getting pretty stale."[39] The field was reinvigorated in May 1991 when physicists Philip Candelas, Xenia de la Ossa, Paul Green, and Linda Parkes showed that mirror symmetry could be used to count the number of degree three curves on a quintic Calabi–Yau. Candelas and his collaborators found that these six-dimensional Calabi–Yau manifolds can contain exactly 317,206,375 curves of degree three.[39]
In addition to counting degree-three curves on a quintic three-fold, Candelas and his collaborators obtained a number of more general results for counting rational curves which went far beyond the results obtained by mathematicians.[40] Although the methods used in this work were based on physical intuition, mathematicians have gone on to prove rigorously some of the predictions of mirror symmetry. In particular, the enumerative predictions of mirror symmetry have now been rigorously proven.[34]
Theoretical physics
In addition to its applications in enumerative geometry, mirror symmetry is a fundamental tool for doing calculations in string theory. In the A-model of topological string theory, physically interesting quantities are expressed in terms of infinitely many numbers called Gromov–Witten invariants, which are extremely difficult to compute. In the B-model, the calculations can be reduced to classical integrals and are much easier.[41] By applying mirror symmetry, theorists can translate difficult calculations in the A-model into equivalent but technically easier calculations in the B-model. These calculations are then used to determine the probabilities of various physical processes in string theory. Mirror symmetry can be combined with other dualities to translate calculations in one theory into equivalent calculations in a different theory. By outsourcing calculations to different theories in this way, theorists can calculate quantities that are impossible to calculate without the use of dualities.[42]
Outside of string theory, mirror symmetry is used to understand aspects of
Approaches
Homological mirror symmetry
In string theory and related theories in physics, a brane is a physical object that generalizes the notion of a point particle to higher dimensions. For example, a point particle can be viewed as a brane of dimension zero, while a string can be viewed as a brane of dimension one. It is also possible to consider higher-dimensional branes. The word brane comes from the word "membrane" which refers to a two-dimensional brane.[46]
In string theory, a string may be open (forming a segment with two endpoints) or closed (forming a closed loop). D-branes are an important class of branes that arise when one considers open strings. As an open string propagates through spacetime, its endpoints are required to lie on a D-brane. The letter "D" in D-brane refers to a condition that it satisfies, the Dirichlet boundary condition.[47]
Mathematically, branes can be described using the notion of a
One can also consider categories where the objects are D-branes and the morphisms between two branes and areIn the B-model of topological string theory, the D-branes are
The derived category of coherent sheaves is constructed using tools from
The homological mirror symmetry conjecture of Maxim Kontsevich states that the derived category of coherent sheaves on one Calabi–Yau manifold is equivalent in a certain sense to the Fukaya category of its mirror.[54] This equivalence provides a precise mathematical formulation of mirror symmetry in topological string theory. In addition, it provides an unexpected bridge between two branches of geometry, namely complex and symplectic geometry.[55]
Strominger–Yau–Zaslow conjecture
Another approach to understanding mirror symmetry was suggested by Andrew Strominger, Shing-Tung Yau, and Eric Zaslow in 1996.[19] According to their conjecture, now known as the SYZ conjecture, mirror symmetry can be understood by dividing a Calabi–Yau manifold into simpler pieces and then transforming them to get the mirror Calabi–Yau.[56]
The simplest example of a Calabi–Yau manifold is a two-dimensional torus or donut shape.[57] Consider a circle on this surface that goes once through the hole of the donut. An example is the red circle in the figure. There are infinitely many circles like it on a torus; in fact, the entire surface is a union of such circles.[58]
One can choose an auxiliary circle (the pink circle in the figure) such that each of the infinitely many circles decomposing the torus passes through a point of . This auxiliary circle is said to parametrize the circles of the decomposition, meaning there is a correspondence between them and points of . The circle is more than just a list, however, because it also determines how these circles are arranged on the torus. This auxiliary space plays an important role in the SYZ conjecture.[52]
The idea of dividing a torus into pieces parametrized by an auxiliary space can be generalized. Increasing the dimension from two to four real dimensions, the Calabi–Yau becomes a K3 surface. Just as the torus was decomposed into circles, a four-dimensional K3 surface can be decomposed into two-dimensional tori. In this case the space is an ordinary
The Calabi–Yau manifolds of primary interest in string theory have six dimensions. One can divide such a manifold into 3-tori (three-dimensional objects that generalize the notion of a torus) parametrized by a 3-sphere (a three-dimensional generalization of a sphere). Each point of corresponds to a 3-torus, except for infinitely many "bad" points which form a grid-like pattern of segments on the Calabi–Yau and correspond to singular tori.[59]
Once the Calabi–Yau manifold has been decomposed into simpler parts, mirror symmetry can be understood in an intuitive geometric way. As an example, consider the torus described above. Imagine that this torus represents the "spacetime" for a
T-duality can be extended from circles to the two-dimensional tori appearing in the decomposition of a K3 surface or to the three-dimensional tori appearing in the decomposition of a six-dimensional Calabi–Yau manifold. In general, the SYZ conjecture states that mirror symmetry is equivalent to the simultaneous application of T-duality to these tori. In each case, the space provides a kind of blueprint that describes how these tori are assembled into a Calabi–Yau manifold.[62]
See also
Notes
- Hodge numbers. The arrays corresponding to mirror Calabi–Yau manifolds are different in general, reflecting the different shapes of the manifolds, but they are related by a certain symmetry.[8]
- ^ Other dualities that arise in string theory are S-duality, T-duality, and the AdS/CFT correspondence.
- ^ For an accessible introduction to string theory, see Greene 2000.
- ^ Wald 1984, p. 4.
- ^ Zwiebach 2009, p. 8.
- ^ a b Yau & Nadis 2010, Ch. 6.
- ^ This analogy is used for example in Greene 2000, p. 186.
- ^ Yau & Nadis 2010, p. ix.
- ^ Dixon 1988; Lerche, Vafa & Warner 1989.
- ^ For more information, see Yau & Nadis 2010, pp. 160–163.
- ^ Aspinwall et al. 2009, p. 13.
- ^ Hori et al. 2003, p. xvi.
- ^ Zaslow 2008, p. 523.
- ^ Yau & Nadis 2010, p. 168.
- ^ a b Hori & Vafa 2000.
- ^ a b Witten 1990.
- ^ Givental 1996, 1998; Lian, Liu & Yau 1997, 1999a, 1999b, 2000.
- ^ a b Zaslow 2008, p. 531.
- ^ a b Hori et al. 2003, p. xix.
- ^ This was first observed in Kikkawa & Yamasaki 1984 and Sakai & Senda 1986.
- ^ a b Strominger, Yau & Zaslow 1996.
- ^ Candelas et al. 1985.
- ^ This was observed in Dixon 1988 and Lerche, Vafa & Warner 1989.
- ^ Greene & Plesser 1990; Yau & Nadis 2010, p. 158.
- ^ Candelas, Lynker & Schimmrigk 1990; Yau & Nadis 2010, p. 163.
- ^ Candelas et al. 1991.
- ^ a b Yau & Nadis 2010, p. 165.
- ^ Yau & Nadis 2010, pp. 169–170.
- ^ Yau & Nadis 2010, p. 170
- ^ Vafa 1992; Witten 1992.
- ^ Hori et al. 2003, p. xviii.
- ^ Kontsevich 1995b.
- ^ Kontsevich 1995a.
- ^ Givental 1996, 1998
- ^ Lian, Liu & Yau 1997, 1999a, 1999b, 2000.
- ^ a b Yau & Nadis 2010, p. 172.
- ^ Aspinwall et al. 2009, p. vii.
- ^ Zaslow 2008, p. 537.
- ^ a b Yau & Nadis 2010, p. 166.
- ^ Yau & Nadis 2010, p. 167.
- ^ a b Yau & Nadis 2010, p. 169.
- ^ Yau & Nadis 2010, p. 171.
- ^ Zaslow 2008, pp. 533–534.
- ^ Zaslow 2008, sec. 10.
- ^ Hori et al. 2003, p. 677.
- ^ Hori et al. 2003, p. 679.
- ^ Intriligator & Seiberg 1996.
- ^ Moore 2005, p. 214.
- ^ Moore 2005, p. 215.
- ^ Aspinwall et al. 2009, p. [page needed].
- ^ A basic reference on category theory is Mac Lane 1998.
- ^ a b Zaslow 2008, p. 536.
- ^ a b c Aspinwall et al. 2009, p. 575.
- ^ a b c Yau & Nadis 2010, p. 175.
- ^ Yau & Nadis 2010, pp. 180–181.
- ^ Aspinwall et al. 2009, p. 616.
- ^ Yau & Nadis 2010, p. 181.
- ^ Yau & Nadis 2010, p. 174.
- ^ Zaslow 2008, p. 533.
- ^ Yau & Nadis 2010, pp. 175–176.
- ^ Yau & Nadis 2010, p. 175–177.
- ^ a b Zaslow 2008, p. 532.
- ^ Yau & Nadis 2010, p. 178.
- ^ Yau & Nadis 2010, pp. 178–179.
References
- Aspinwall, Paul; Bridgeland, Tom; Craw, Alastair; Douglas, Michael; Gross, Mark; Kapustin, Anton; Moore, Gregory; Segal, Graeme; Szendröi, Balázs; Wilson, P.M.H., eds. (2009). Dirichlet Branes and Mirror Symmetry. ISBN 978-0-8218-3848-8.
- Candelas, Philip; de la Ossa, Xenia; Green, Paul; Parkes, Linda (1991). "A pair of Calabi–Yau manifolds as an exactly soluble superconformal field theory". Nuclear Physics B. 359 (1): 21–74. .
- Candelas, Philip; Horowitz, Gary; Strominger, Andrew; Witten, Edward (1985). "Vacuum configurations for superstrings". Nuclear Physics B. 258: 46–74. .
- Candelas, Philip; Lynker, Monika; Schimmrigk, Rolf (1990). "Calabi–Yau manifolds in weighted ". Nuclear Physics B. 341 (1): 383–402. .
- Dixon, Lance (1988). "Some world-sheet properties of superstring compactifications, on orbifolds and otherwise". ICTP Ser. Theoret. Phys. 4: 67–126. ISBN 978-9971-5-0452-6.
- Givental, Alexander (1996). "Equivariant Gromov-Witten invariants". International Mathematics Research Notices. 1996 (13): 613–663. S2CID 554844.
- Givental, Alexander (1998). "A mirror theorem for toric complete intersections". Topological Field Theory, Primitive Forms and Related Topics: 141–175. S2CID 2884104.
- Greene, Brian (2000). ISBN 978-0-9650888-0-0.
- Greene, Brian; Plesser, Ronen (1990). "Duality in Calabi–Yau moduli space". Nuclear Physics B. 338 (1): 15–37. .
- Hori, Kentaro; Katz, Sheldon; Klemm, Albrecht; Pandharipande, Rahul; Thomas, Richard; Vafa, Cumrun; Vakil, Ravi; Zaslow, Eric, eds. (2003). Mirror Symmetry (PDF). ISBN 0-8218-2955-6. Archived from the original(PDF) on 2006-09-19.
- Hori, Kentaro; Vafa, Cumrun (2000). "Mirror Symmetry". arXiv:hep-th/0002222.
- Intriligator, Kenneth; Seiberg, Nathan (1996). "Mirror symmetry in three-dimensional gauge theories". Physics Letters B. 387 (3): 513–519. S2CID 13985843.
- Kikkawa, Keiji; Yamasaki, Masami (1984). "Casimir effects in superstring theories". Physics Letters B. 149 (4): 357–360. .
- Kontsevich, Maxim (1995a), "Enumeration of Rational Curves Via Torus Actions", The Moduli Space of Curves, Birkhäuser, p. 335, S2CID 16131978
- Kontsevich, Maxim (1995b). "Homological Algebra of Mirror Symmetry". Proceedings of the International Congress of Mathematicians. pp. 120–139. S2CID 16733945.
- Lerche, Wolfgang; Vafa, Cumrun; Warner, Nicholas (1989). "Chiral rings in superconformal theories" (PDF). Nuclear Physics B. 324 (2): 427–474. S2CID 120175708.
- Lian, Bong; Liu, Kefeng; Yau, Shing-Tung (1997). "Mirror principle, I". Asian Journal of Mathematics. 1 (4): 729–763. S2CID 8035522.
- Lian, Bong; Liu, Kefeng; Yau, Shing-Tung (1999a). "Mirror principle, II". Asian Journal of Mathematics. 3: 109–146. S2CID 17837291.
- Lian, Bong; Liu, Kefeng; Yau, Shing-Tung (1999b). "Mirror principle, III". Asian Journal of Mathematics. 3 (4): 771–800. .
- Lian, Bong; Liu, Kefeng; Yau, Shing-Tung (2000). "Mirror principle, IV". Surveys in Differential Geometry. 7: 475–496. S2CID 1099024.
- Mac Lane, Saunders (1998). Categories for the Working Mathematician. Springer. ISBN 978-0-387-98403-2.
- Moore, Gregory (2005). "What is ... a Brane?" (PDF). Notices of the AMS. 52: 214. Retrieved 6 August 2016.
- Sakai, Norisuke; Senda, Ikuo (1986). "Vacuum energies of string compactified on torus". Progress of Theoretical Physics. 75 (3): 692–705. .
- Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric (1996). "Mirror symmetry is T-duality". Nuclear Physics B. 479 (1): 243–259. S2CID 14586676.
- Vafa, Cumrun (1992). "Topological mirrors and quantum rings". Essays on Mirror Manifolds: 96–119. ISBN 978-962-7670-01-8.
- Wald, Robert (1984). General Relativity. University of Chicago Press. ISBN 978-0-226-87033-5.
- Witten, Edward (1990). "On the structure of the topological phase of two-dimensional gravity". Nuclear Physics B. 340 (2–3): 281–332. .
- Witten, Edward (1992). "Mirror manifolds and topological field theory". Essays on Mirror Manifolds: 121–160. ISBN 978-962-7670-01-8.
- Yau, Shing-Tung; Nadis, Steve (2010). The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions. Basic Books. ISBN 978-0-465-02023-2.
- Zaslow, Eric (2008). "Mirror Symmetry". In Gowers, Timothy (ed.). ISBN 978-0-691-11880-2.
- Zwiebach, Barton (2009). A First Course in String Theory. Cambridge University Press. ISBN 978-0-521-88032-9.
Further reading
Popularizations
- Yau, Shing-Tung; Nadis, Steve (2010). The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions. Basic Books. ISBN 978-0-465-02023-2.
- Zaslow, Eric (2005). "Physmatics". arXiv:physics/0506153.
- Zaslow, Eric (2008). "Mirror Symmetry". In Gowers, Timothy (ed.). The Princeton Companion to Mathematics. Princeton University Press. ISBN 978-0-691-11880-2.
Textbooks
- Aspinwall, Paul; Bridgeland, Tom; Craw, Alastair; Douglas, Michael; Gross, Mark; Kapustin, Anton; Moore, Gregory; Segal, Graeme; Szendröi, Balázs; Wilson, P.M.H., eds. (2009). Dirichlet Branes and Mirror Symmetry. American Mathematical Society. ISBN 978-0-8218-3848-8.
- Cox, David; Katz, Sheldon (1999). Mirror symmetry and algebraic geometry. American Mathematical Society. ISBN 978-0-8218-2127-5.
- Hori, Kentaro; Katz, Sheldon; Klemm, Albrecht; Pandharipande, Rahul; Thomas, Richard; Vafa, Cumrun; Vakil, Ravi; Zaslow, Eric, eds. (2003). Mirror Symmetry (PDF). American Mathematical Society. ISBN 0-8218-2955-6. Archived from the original(PDF) on 2006-09-19.