In algebraic geometry and theoretical physics, mirror symmetry is a relationship between geometric objects called Calabi–Yau manifolds.
The term refers to a situation where two Calabi–Yau manifolds look very different geometrically but are nevertheless equivalent when employed as extra dimensions of string theory.
Mathematicians became interested in this relationship around 1990 when Philip Candelas, Xenia de la Ossa, Paul Green, and Linda Parkes showed that it could be used as a tool in enumerative geometry, a branch of mathematics concerned with counting the number of solutions to geometric questions.
Candelas and his collaborators showed that mirror symmetry could be used to count rational curves on a Calabi–Yau manifold, thus solving a longstanding problem.
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.
In the late 1980s, Lance Dixon, Wolfgang Lerche, Cumrun Vafa, and Nick Warner noticed that given such a compactification of string theory, it is not possible to reconstruct uniquely a corresponding Calabi–Yau manifold.
[19] In a paper from 1985, Philip Candelas, Gary Horowitz, Andrew Strominger, and Edward Witten showed that by compactifying string theory on a Calabi–Yau manifold, one obtains a theory roughly similar to the standard model of particle physics that also consistently incorporates an idea called supersymmetry.
[20] Following this development, many physicists began studying Calabi–Yau compactifications, hoping to construct realistic models of particle physics based on string theory.
[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[24] that had resisted solution for decades or more.
[25] These results were presented to mathematicians at a conference at the Mathematical Sciences Research Institute (MSRI) in Berkeley, California in May 1991.
[26] Many mathematicians at the conference assumed that Candelas's work contained a mistake since it was not based on rigorous mathematical arguments.
Subsequently, Bong Lian, Kefeng Liu, and Shing-Tung Yau published an independent proof in a series of papers.
[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 surfaces with boundaries.
[37] Enumerative problems in mathematics often concern a class of geometric objects called algebraic varieties which are defined by the vanishing of polynomials.
A celebrated result of nineteenth-century mathematicians Arthur Cayley and George Salmon states that there are exactly 27 straight lines that lie entirely on such a surface.
[38] 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.
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.
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.
[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.
[34] 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.
Some gauge theories which are not part of the standard model, but which are nevertheless important for theoretical reasons, arise from strings propagating on a nearly singular background.
[43] Indeed, mirror symmetry can be used to perform calculations in an important gauge theory in four spacetime dimensions that was studied by Nathan Seiberg and Edward Witten and is also familiar in mathematics in the context of Donaldson invariants.
[53] On the other hand, the Fukaya category is constructed using symplectic geometry, a branch of mathematics that arose from studies of classical physics.
[55] Another approach to understanding mirror symmetry was suggested by Andrew Strominger, Shing-Tung Yau, and Eric Zaslow in 1996.
[59] Once the Calabi–Yau manifold has been decomposed into simpler parts, mirror symmetry can be understood in an intuitive geometric way.
In general, the SYZ conjecture states that mirror symmetry is equivalent to the simultaneous application of T-duality to these tori.