SYZ conjecture

Last updated January 30, 2024

The SYZ conjecture is an attempt to understand the mirror symmetry conjecture, an issue in theoretical physics and mathematics. The original conjecture was proposed in a paper by Strominger, Yau, and Zaslow, entitled "Mirror Symmetry is T-duality".^[1]

Formulation

In string theory, mirror symmetry relates type IIA and type IIB theories. It predicts that the effective field theory of type IIA and type IIB should be the same if the two theories are compactified on mirror pair manifolds.

The SYZ conjecture uses this fact to realize mirror symmetry. It starts from considering BPS states of type IIA theories compactified on X, especially 0-branes that have moduli space X. It is known that all of the BPS states of type IIB theories compactified on Y are 3-branes. Therefore, mirror symmetry will map 0-branes of type IIA theories into a subset of 3-branes of type IIB theories.

By considering supersymmetric conditions, it has been shown that these 3-branes should be special Lagrangian submanifolds.^[2]^[3] On the other hand, T-duality does the same transformation in this case, thus "mirror symmetry is T-duality".

Mathematical statement

The initial proposal of the SYZ conjecture by Strominger, Yau, and Zaslow, was not given as a precise mathematical statement.^[1] One part of the mathematical resolution of the SYZ conjecture is to, in some sense, correctly formulate the statement of the conjecture itself. There is no agreed upon precise statement of the conjecture within the mathematical literature, but there is a general statement that is expected to be close to the correct formulation of the conjecture, which is presented here.^[4]^[5] This statement emphasizes the topological picture of mirror symmetry, but does not precisely characterise the relationship between the complex and symplectic structures of the mirror pairs, or make reference to the associated Riemannian metrics involved.

SYZ Conjecture: Every 6-dimensional Calabi–Yau manifold $X$ has a mirror 6-dimensional Calabi–Yau manifold ${\hat {X}}$ such that there are continuous surjections $f:X\to B$ , ${\hat {f}}:{\hat {X}}\to B$ to a compact topological manifold $B$ of dimension 3, such that
There exists a dense open subset $B_{\text{reg}}\subset B$ on which the maps $f,{\hat {f}}$ are fibrations by nonsingular special Lagrangian 3-tori. Furthermore for every point $b\in B_{\text{reg}}$ , the torus fibres $f^{-1}(b)$ and ${\hat {f}}^{-1}(b)$ should be dual to each other in some sense, analogous to duality of Abelian varieties.
For each $b\in B\backslash B_{\text{reg}}$ , the fibres $f^{-1}(b)$ and ${\hat {f}}^{-1}(b)$ should be singular 3-dimensional special Lagrangian submanifolds of $X$ and ${\hat {X}}$ respectively.

Diagram of a special Lagrangian torus fibration. The fibres of
f
:
X
-
B
{\displaystyle f:X\to B}
over points in
B
reg
{\displaystyle B_{\text{reg}}}
are 3-tori, and over the singular set
B
\
B
reg
{\displaystyle B\backslash B_{\text{reg}}}
the fibre could be a possibly singular special Lagrangian submanifold
L
{\displaystyle L}
. Syzfibration.png — Diagram of a special Lagrangian torus fibration. The fibres of $f:X\to B$ over points in $B_{\text{reg}}$ are 3-tori, and over the singular set $B\backslash B_{\text{reg}}$ the fibre could be a possibly singular special Lagrangian submanifold $L$ .

The situation in which $B_{\text{reg}}=B$ so that there is no singular locus is called the semi-flat limit of the SYZ conjecture, and is often used as a model situation to describe torus fibrations. The SYZ conjecture can be shown to hold in some simple cases of semi-flat limits, for example given by Abelian varieties and K3 surfaces which are fibred by elliptic curves.

It is expected that the correct formulation of the SYZ conjecture will differ somewhat from the statement above. For example the possible behaviour of the singular set $B\backslash B_{\text{reg}}$ is not well understood, and this set could be quite large in comparison to $B$ . Mirror symmetry is also often phrased in terms of degenerating families of Calabi–Yau manifolds instead of for a single Calabi–Yau, and one might expect the SYZ conjecture to reformulated more precisely in this language.^[4]

Relation to homological mirror symmetry conjecture

The SYZ mirror symmetry conjecture is one possible refinement of the original mirror symmetry conjecture relating Hodge numbers of mirror Calabi–Yau manifolds. The other is Kontsevich's homological mirror symmetry conjecture (HMS conjecture). These two conjectures encode the predictions of mirror symmetry in different ways: homological mirror symmetry in an algebraic way, and the SYZ conjecture in a geometric way.^[6]

There should be a relationship between these three interpretations of mirror symmetry, but it is not yet known whether they should be equivalent or one proposal is stronger than the other. Progress has been made toward showing under certain assumptions that homological mirror symmetry implies Hodge theoretic mirror symmetry.^[7]

Nevertheless, in simple settings there are clear ways of relating the SYZ and HMS conjectures. The key feature of HMS is that the conjecture relates objects (either submanifolds or sheaves) on mirror geometric spaces, so the required input to try to understand or prove the HMS conjecture includes a mirror pair of geometric spaces. The SYZ conjecture predicts how these mirror pairs should arise, and so whenever an SYZ mirror pair is found, it is a good candidate to try and prove the HMS conjecture on this pair.

To relate the SYZ and HMS conjectures, it is convenient to work in the semi-flat limit. The important geometric feature of a pair of Lagrangian torus fibrations $X,{\hat {X}}\to B$ which encodes mirror symmetry is the dual torus fibres of the fibration. Given a Lagrangian torus $T\subset X$ , the dual torus is given by the Jacobian variety of $T$ , denoted ${\hat {T}}=\mathrm {Jac} (T)$ . This is again a torus of the same dimension, and the duality is encoded in the fact that $\mathrm {Jac} (\mathrm {Jac} (T))=T$ so $T$ and ${\hat {T}}$ are indeed dual under this construction. The Jacobian variety ${\hat {T}}$ has the important interpretation as the moduli space of line bundles on $T$ .

This duality and the interpretation of the dual torus as a moduli space of sheaves on the original torus is what allows one to interchange the data of submanifolds and subsheaves. There are two simple examples of this phenomenon:

If $p\in X$ is a point which lies inside some fibre $p\in T\subset X$ of the special Lagrangian torus fibration, then since $T=\mathrm {Jac} ({\hat {T}})$ , the point $p$ corresponds to a line bundle supported on ${\hat {T}}\subset {\hat {X}}$ . If one chooses a Lagrangian section $s:B\to X$ such that $s(B)=L$ is a Lagrangian submanifold of $X$ , then precisely since $s$ chooses one point in each torus fibre of the SYZ fibration, this Lagrangian section is mirror dual to a choice of line bundle structure supported on each torus fibre of the mirror manifold ${\hat {X}}$ , and consequently a line bundle on the total space of ${\hat {X}}$ , the simplest example of a coherent sheaf appearing in the derived category of the mirror manifold. If the mirror torus fibrations are not in the semi-flat limit, then special care must be taken when crossing over singular set of the base $B$ .

Another example of a Lagrangian submanifold is the torus fibre itself, and one sees that if the entire torus is taken as the Lagrangian $T\subset X$ , with the added data of a flat unitary line bundle over it, as is often necessary in homological mirror symmetry, then in the dual torus ${\hat {T}}\subset {\hat {X}}$ this corresponds to a single point which represents that line bundle over the torus. If one takes the skyscraper sheaf supported on that point in the dual torus, then we see torus fibres of the SYZ fibration get sent to skyscraper sheaves supported on points in the mirror torus fibre.

These two examples produce the most extreme kinds of coherent sheaf, locally free sheaves (of rank 1) and torsion sheaves supported on points. By more careful construction one can build up more complicated examples of coherent sheaves, analogous to building a coherent sheaf using the torsion filtration. As a simple example, a Lagrangian multisection (a union of k Lagrangian sections) should be mirror dual to a rank k vector bundle on the mirror manifold, but one must take care to account for instanton corrections by counting holomorphic discs which are bounded by the multisection, in the sense of Gromov-Witten theory. In this way enumerative geometry becomes important for understanding how mirror symmetry interchanges dual objects.

By combining the geometry of mirror fibrations in the SYZ conjecture with a detailed understanding of enumerative invariants and the structure of the singular set of the base $B$ , it is possible to use the geometry of the fibration to build the isomorphism of categories from the Lagrangian submanifolds of $X$ to the coherent sheaves of ${\hat {X}}$ , the map $\mathrm {Fuk} (X)\to \mathrm {D} ^{b}\mathrm {Coh} ({\hat {X}})$ . By repeating this same discussion in reverse using the duality of the torus fibrations, one similarly can understand coherent sheaves on $X$ in terms of Lagrangian submanifolds of ${\hat {X}}$ , and hope to get a complete understanding of how the HMS conjecture relates to the SYZ conjecture.

Related Research Articles

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, $, equipped with a closed nondegenerate differential 2-form, called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.$

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau (1978) who proved the Calabi conjecture.

In theoretical physics, T-duality is an equivalence of two physical theories, which may be either quantum field theories or string theories. In the simplest example of this relationship, one of the theories describes strings propagating in a spacetime shaped like a circle of some radius $, while the other theory describes strings propagating on a spacetime shaped like a circle of radius proportional to . The idea of T-duality was first noted by Bala Sathiapalan in an obscure paper in 1987. The two T-dual theories are equivalent in the sense that all observable quantities in one description are identified with quantities in the dual description. For example, momentum in one description takes discrete values and is equal to the number of times the string winds around the circle in the dual description.$

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.

<span class="mw-page-title-main">Andrew Strominger</span> American physicist

Andrew Eben Strominger is an American theoretical physicist who is the director of Harvard's Center for the Fundamental Laws of Nature. He has made significant contributions to quantum gravity and string theory. These include his work on Calabi–Yau compactification and topology change in string theory, and on the stringy origin of black hole entropy. He is a senior fellow at the Society of Fellows, and is the Gwill E. York Professor of Physics.

The mathematical term perverse sheaves refers to the objects of certain abelian categories associated to topological spaces, which may be a real or complex manifold, or more general topologically stratified spaces, possibly singular.

Homological mirror symmetry is a mathematical conjecture made by Maxim Kontsevich. It seeks a systematic mathematical explanation for a phenomenon called mirror symmetry first observed by physicists studying string theory.

In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.

In theoretical physics, topological string theory is a version of string theory. Topological string theory appeared in papers by theoretical physicists, such as Edward Witten and Cumrun Vafa, by analogy with Witten's earlier idea of topological quantum field theory.

The Geometry Festival is an annual mathematics conference held in the United States.

In string theory and related theories such as supergravity theories, a brane is a physical object that generalizes the notion of a zero-dimensional point particle, a one-dimensional string, or a two-dimensional membrane to higher-dimensional objects. Branes are dynamical objects which can propagate through spacetime according to the rules of quantum mechanics. They have mass and can have other attributes such as charge.

In symplectic topology, a Fukaya category of a symplectic manifold $is a category whose objects are Lagrangian submanifolds of, and morphisms are Lagrangian Floer chain groups: . Its finer structure can be described as an A \infty -category .$

In mathematics, specifically algebraic geometry, Donaldson–Thomas theory is the theory of Donaldson–Thomas invariants. Given a compact moduli space of sheaves on a Calabi–Yau threefold, its Donaldson–Thomas invariant is the virtual number of its points, i.e., the integral of the cohomology class 1 against the virtual fundamental class. The Donaldson–Thomas invariant is a holomorphic analogue of the Casson invariant. The invariants were introduced by Simon Donaldson and Richard Thomas (1998). Donaldson–Thomas invariants have close connections to Gromov–Witten invariants of algebraic three-folds and the theory of stable pairs due to Rahul Pandharipande and Thomas.

Richard Paul Winsley Thomas is a British mathematician working in several areas of geometry. He is a professor at Imperial College London. He studies moduli problems in algebraic geometry, and ‘mirror symmetry’—a phenomenon in pure mathematics predicted by string theory in theoretical physics.

In differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.

Mark William Gross is an American mathematician, specializing in differential geometry, algebraic geometry, and mirror symmetry.

In mathematics and theoretical physics, and especially gauge theory, the deformed Hermitian Yang–Mills (dHYM) equation is a differential equation describing the equations of motion for a D-brane in the B-model of string theory. The equation was derived by Mariño-Minasian-Moore-Strominger in the case of Abelian gauge group, and by Leung–Yau–Zaslow using mirror symmetry from the corresponding equations of motion for D-branes in the A-model of string theory.

In mathematics, mirror symmetry is a conjectural relationship between certain Calabi–Yau manifolds and a constructed "mirror manifold". The conjecture allows one to relate the number of rational curves on a Calabi-Yau manifold to integrals from a family of varieties. In short, this means there is a relation between the number of genus $algebraic curves of degree on a Calabi-Yau variety and integrals on a dual variety . These relations were original discovered by Candelas, de la Ossa, Green, and Parkes in a paper studying a generic quintic threefold in as the variety and a construction from the quintic Dwork family giving . Shortly after, Sheldon Katz wrote a summary paper outlining part of their construction and conjectures what the rigorous mathematical interpretation could be.$

In mathematics, and especially symplectic geometry, the Thomas–Yau conjecture asks for the existence of a stability condition, similar to those which appear in algebraic geometry, which guarantees the existence of a solution to the special Lagrangian equation inside a Hamiltonian isotopy class of Lagrangian submanifolds. In particular the conjecture contains two difficulties: first it asks what a suitable stability condition might be, and secondly if one can prove stability of an isotopy class if and only if it contains a special Lagrangian representative.

References

1 2 Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric (1996), "Mirror symmetry is T-duality", Nuclear Physics B, 479 (1–2): 243–259, arXiv: hep-th/9606040 , Bibcode:1996NuPhB.479..243S, doi:10.1016/0550-3213(96)00434-8, S2CID 14586676 .
↑ Becker, Katrin; Becker, Melanie; Strominger, Andrew (1995), "Fivebranes, membranes and non-perturbative string theory", Nuclear Physics B, 456 (1–2): 130–152, arXiv: hep-th/9507158 , Bibcode:1995NuPhB.456..130B, doi:10.1016/0550-3213(95)00487-1, S2CID 14043557 .
↑ Harvey, Reese; Lawson, H. Blaine Jr. (1982), "Calibrated geometries", Acta Mathematica, 148 (1): 47–157, doi: 10.1007/BF02392726 .
1 2 Gross, Mark; Joyce, Dominic; Huybrechts, Daniel (2003). Calabi-Yau Manifolds and Related Geometries Lectures at a Summer School in Nordfjordeid, Norway, June 2001. Universitext. doi:10.1007/978-3-642-19004-9. ISBN 978-3-540-44059-8.
↑ Gross, Mark (2012). "Mirror symmetry and the Strominger-Yau-Zaslow conjecture". Current Developments in Mathematics. 2012: 133–191. doi:10.4310/CDM.2012.v2012.n1.a3.
↑ Bejleri, Dori (2018). "The SYZ Conjecture via Homological Mirror Symmetry". Superschool on Derived Categories and D-branes. Springer Proceedings in Mathematics & Statistics. Vol. 240. pp. 163–182. arXiv: 1710.05894 . doi:10.1007/978-3-319-91626-2_13. ISBN 978-3-319-91625-5.
↑ Bejleri, Dori (2017). "The SYZ conjecture via homological mirror symmetry". arXiv: 1710.05894 [math.AG].

This string theory-related article is a stub. You can help Wikipedia by expanding it.

This applied mathematics-related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[SYZ-1] 1 2 Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric (1996), "Mirror symmetry is T-duality", Nuclear Physics B, 479 (1–2): 243–259, arXiv: hep-th/9606040 , Bibcode:1996NuPhB.479..243S, doi:10.1016/0550-3213(96)00434-8, S2CID 14586676 .

[BBS-2] Becker, Katrin; Becker, Melanie; Strominger, Andrew (1995), "Fivebranes, membranes and non-perturbative string theory", Nuclear Physics B, 456 (1–2): 130–152, arXiv: hep-th/9507158 , Bibcode:1995NuPhB.456..130B, doi:10.1016/0550-3213(95)00487-1, S2CID 14043557 .

[HL-3] Harvey, Reese; Lawson, H. Blaine Jr. (1982), "Calibrated geometries", Acta Mathematica, 148 (1): 47–157, doi: 10.1007/BF02392726 .

[mirrorsymmetrybook-4] 1 2 Gross, Mark; Joyce, Dominic; Huybrechts, Daniel (2003). Calabi-Yau Manifolds and Related Geometries Lectures at a Summer School in Nordfjordeid, Norway, June 2001. Universitext. doi:10.1007/978-3-642-19004-9. ISBN 978-3-540-44059-8.

[5] Gross, Mark (2012). "Mirror symmetry and the Strominger-Yau-Zaslow conjecture". Current Developments in Mathematics. 2012: 133–191. doi:10.4310/CDM.2012.v2012.n1.a3.

[6] Bejleri, Dori (2018). "The SYZ Conjecture via Homological Mirror Symmetry". Superschool on Derived Categories and D-branes. Springer Proceedings in Mathematics & Statistics. Vol. 240. pp. 163–182. arXiv: 1710.05894 . doi:10.1007/978-3-319-91626-2_13. ISBN 978-3-319-91625-5.

[7] Bejleri, Dori (2017). "The SYZ conjecture via homological mirror symmetry". arXiv: 1710.05894 [math.AG].

[1]

[2]

[3]

[4]

[5]

[6]

[7]