View source for SYZ conjecture

{{short description|Mathematical conjecture}}
{{string theory}}

The '''SYZ conjecture''' is an attempt to understand the [[Mirror symmetry (string theory)|mirror symmetry]] conjecture, an issue in theoretical physics and mathematics. The original conjecture was proposed in a paper by [[Andrew Strominger|Strominger]], [[Shing-Tung Yau|Yau]], and [[Eric Zaslow|Zaslow]], entitled "Mirror Symmetry is ''T''-duality".<ref name="SYZ">{{Citation |last1=Strominger |first1=Andrew |last2=Yau |first2=Shing-Tung |last3=Zaslow |first3=Eric |year=1996 |title=Mirror symmetry is ''T''-duality |journal=Nuclear Physics B |volume=479 |issue=1–2 |pages=243–259 |doi=10.1016/0550-3213(96)00434-8 |arxiv = hep-th/9606040 |bibcode = 1996NuPhB.479..243S |s2cid=14586676 }}.</ref>

Along with the [[homological mirror symmetry| homological mirror symmetry conjecture]], it is one of the most explored tools applied to understand mirror symmetry in mathematical terms. While the homological mirror symmetry is based on [[homological algebra]], the SYZ conjecture is a geometrical realization of mirror symmetry.

== 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 state]]s of type IIA theories compactified on ''X'', especially [[0-brane]]s that have [[moduli space]] ''X''. It is known that all of the BPS states of type IIB theories compactified on ''Y'' are [[3-brane]]s. 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 submanifold]]s.<ref name="BBS">{{Citation |last1=Becker |first1=Katrin |last2=Becker |first2=Melanie |last3=Strominger |first3=Andrew |year=1995 |title=Fivebranes, membranes and non-perturbative string theory |journal=Nuclear Physics B |volume=456 |issue=1–2 |pages=130–152 |doi=10.1016/0550-3213(95)00487-1 |arxiv = hep-th/9507158 |bibcode = 1995NuPhB.456..130B |s2cid=14043557 }}.</ref><ref name="HL">{{Citation |last1=Harvey |first1=Reese |last2=Lawson |first2=H. Blaine Jr. |year=1982 |title=Calibrated geometries |journal=Acta Mathematica |volume=148 |issue=1 |pages=47–157 |doi=10.1007/BF02392726 |doi-access=free }}.</ref> 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.<ref name=SYZ /> 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.<ref name=mirrorsymmetrybook>{{cite book |last1=Gross |first1=Mark |last2=Joyce |first2=Dominic |last3=Huybrechts |first3=Daniel |doi=10.1007/978-3-642-19004-9 |title=Calabi-Yau Manifolds and Related Geometries Lectures at a Summer School in Nordfjordeid, Norway, June 2001 |series=Universitext |date=2003 |isbn=978-3-540-44059-8 }}</ref><ref>{{cite journal |doi=10.4310/CDM.2012.v2012.n1.a3 |title=Mirror symmetry and the Strominger-Yau-Zaslow conjecture |date=2012 |last1=Gross |first1=Mark |journal=Current Developments in Mathematics |volume=2012 |pages=133–191 |arxiv=1212.4220 }}</ref> 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 metric]]s involved. 

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

[[File:Syzfibration.png|thumb|right|300px|Diagram of a special Lagrangian torus fibration. The fibres of <math>f: X \to B</math> over points in <math>B_{\text{reg}}</math> are 3-tori, and over the singular set <math>B\backslash B_{\text{reg}}</math> the fibre could be a possibly singular special Lagrangian submanifold <math>L</math>.]]

The situation in which <math>B_{\text{reg}} = B</math> 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 surface]]s which are fibred by [[elliptic curve]]s.

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 <math>B\backslash B_{\text{reg}}</math> is not well understood, and this set could be quite large in comparison to <math>B</math>. 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.<ref name=mirrorsymmetrybook />

== 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 [[Maxim Kontsevich|Kontsevich's]] [[Homological mirror symmetry|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.<ref>{{cite book |doi=10.1007/978-3-319-91626-2_13 |chapter=The SYZ Conjecture via Homological Mirror Symmetry |title=Superschool on Derived Categories and D-branes |series=Springer Proceedings in Mathematics & Statistics |date=2018 |last1=Bejleri |first1=Dori |volume=240 |pages=163–182 |arxiv=1710.05894 |isbn=978-3-319-91625-5 }}</ref> 

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.<ref>{{cite arXiv |eprint=1710.05894 |last1=Bejleri |first1=Dori |title=The SYZ conjecture via homological mirror symmetry |date=2017 |class=math.AG }}</ref>

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 <math>X,\hat X \to B</math> which encodes mirror symmetry is the ''dual torus fibres'' of the fibration. Given a Lagrangian torus <math>T\subset X</math>, the dual torus is given by the [[Jacobian variety]] of <math>T</math>, denoted <math>\hat T = \mathrm{Jac}(T)</math>. This is again a torus of the same dimension, and the duality is encoded in the fact that <math>\mathrm{Jac}(\mathrm{Jac}(T)) = T</math> so <math>T</math> and <math>\hat T</math> are indeed dual under this construction. The Jacobian variety <math>\hat T</math> has the important interpretation as the ''moduli space of line bundles'' on <math>T</math>. 

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 <math>p\in X</math> is a point which lies inside some fibre <math>p\in T\subset X</math> of the special Lagrangian torus fibration, then since <math>T = \mathrm{Jac}(\hat T)</math>, the point <math>p</math> corresponds to a line bundle supported on <math>\hat T \subset \hat X</math>. If one chooses a Lagrangian section <math>s: B \to X</math> such that <math>s(B)=L</math> is a Lagrangian submanifold of <math>X</math>, then precisely since <math>s</math> 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 <math>\hat X</math>, and consequently a line bundle on the total space of <math>\hat X</math>, 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 <math>B</math>.

* Another example of a Lagrangian submanifold is the torus fibre itself, and one sees that if the entire torus is taken as the Lagrangian <math>T\subset X</math>, 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 <math>\hat T \subset \hat X</math> 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 sheaf|locally free sheaves]] (of rank 1) and [[Torsion sheaf|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 <math>B</math>, it is possible to use the geometry of the fibration to build the isomorphism of categories from the Lagrangian submanifolds of <math>X</math> to the coherent sheaves of <math>\hat X</math>, the map <math>\mathrm{Fuk}(X) \to \mathrm{D}^b \mathrm{Coh}(\hat X)</math>. By repeating this same discussion in reverse using the duality of the torus fibrations, one similarly can understand coherent sheaves on <math>X</math> in terms of Lagrangian submanifolds of <math>\hat X</math>, and hope to get a complete understanding of how the HMS conjecture relates to the SYZ conjecture.

== References ==
{{reflist}}

[[Category:String theory]]
[[Category:Symmetry]]
[[Category:Duality theories]]
[[Category:Conjectures]]


{{string-theory-stub}}
{{applied-math-stub}}