From real affine geometry to complex geometry.

*(English)*Zbl 1266.53074This is one of the most important papers in mirror symmetry. It solves a fundamental problem in SYZ mirror symmetry which is known as reconstruction of the mirror manifold. It is known as the Gross-Siebert program, and it involves important algebro-geometric techniques such as toric degeneration and wall-crossing which is a realization of the theory developed by Kontsevich-Soibelman.

Strominger-Yau-Zaslow (SYZ) proposed that mirror symmetry can be understood in terms of duality of special Lagrangian torus fibrations. In particular, the mirror manifold can be constructed by taking a fiberwise torus dual of the original manifold. There are two main problems, namely, construction of Lagrangian fibrations and handling quantum corrections contributed from singular fibers.

The Gross-Siebert program uses toric degenerations to avoid the difficult problem of constructing Lagrangian fibrations. Namely, given a toric degeneration of a variety \(X\) whose central fiber is a union of toric varieties glued at toric prime divisors, the authors use the dual intersection complex of the central fiber to construct an affine manifold \(B\) with singularities and a polyhedral decomposition, which is conjecturally the base of a Lagrangian fibration on \(X\). This produces real affine geometry from complex geometry.

This paper mainly deals with the reverse process known as reconstruction, namely, producing complex geometry from real affine geometry. The key is to capture the quantum corrections by a scattering diagram on the affine manifold \(B\), which is basically a union of tropical trees in \(B\) with leaves on the singularities of \(B\), attached with certain ring automorphisms. Conjecturally such data is equivalent to counting holomorphic discs bounded by a torus fiber of the (conjectural) Lagrangian fibration. Gross and Siebert compute explicitly the scattering diagram order-by-order by employing wall-crossing techniques. The scattering diagram divides \(B\) into chambers, and they produce the toric degeneration by gluing complexifications of the chambers according to the ring automorphisms.

The main result is Theorem 0.1. For any polarized affine manifold \(B\) with singularities with positive and simple monodromy, the authors construct a toric degeneration whose dual intersection complex gives \(B\). The outcome is conjectured to be the mirror of \(X\) written in terms of flat coordinates in the moduli (Conjecture 0.2), which gives a deep relation between tropical discs in \(X\) and periods of the mirror. They also speculate that homological mirror symmetry could be understood by considering a ‘tropical Morse category’ on \(B\).

This paper is a magnificent breakthrough in the study of mirror symmetry via tropical geometry. Everyone who is interested in a geometric approach to mirror symmetry should read this paper.

Strominger-Yau-Zaslow (SYZ) proposed that mirror symmetry can be understood in terms of duality of special Lagrangian torus fibrations. In particular, the mirror manifold can be constructed by taking a fiberwise torus dual of the original manifold. There are two main problems, namely, construction of Lagrangian fibrations and handling quantum corrections contributed from singular fibers.

The Gross-Siebert program uses toric degenerations to avoid the difficult problem of constructing Lagrangian fibrations. Namely, given a toric degeneration of a variety \(X\) whose central fiber is a union of toric varieties glued at toric prime divisors, the authors use the dual intersection complex of the central fiber to construct an affine manifold \(B\) with singularities and a polyhedral decomposition, which is conjecturally the base of a Lagrangian fibration on \(X\). This produces real affine geometry from complex geometry.

This paper mainly deals with the reverse process known as reconstruction, namely, producing complex geometry from real affine geometry. The key is to capture the quantum corrections by a scattering diagram on the affine manifold \(B\), which is basically a union of tropical trees in \(B\) with leaves on the singularities of \(B\), attached with certain ring automorphisms. Conjecturally such data is equivalent to counting holomorphic discs bounded by a torus fiber of the (conjectural) Lagrangian fibration. Gross and Siebert compute explicitly the scattering diagram order-by-order by employing wall-crossing techniques. The scattering diagram divides \(B\) into chambers, and they produce the toric degeneration by gluing complexifications of the chambers according to the ring automorphisms.

The main result is Theorem 0.1. For any polarized affine manifold \(B\) with singularities with positive and simple monodromy, the authors construct a toric degeneration whose dual intersection complex gives \(B\). The outcome is conjectured to be the mirror of \(X\) written in terms of flat coordinates in the moduli (Conjecture 0.2), which gives a deep relation between tropical discs in \(X\) and periods of the mirror. They also speculate that homological mirror symmetry could be understood by considering a ‘tropical Morse category’ on \(B\).

This paper is a magnificent breakthrough in the study of mirror symmetry via tropical geometry. Everyone who is interested in a geometric approach to mirror symmetry should read this paper.

Reviewer: Siu Cheong Lau (Cambridge) (MR2846484)

##### MSC:

53D37 | Symplectic aspects of mirror symmetry, homological mirror symmetry, and Fukaya category |

14J33 | Mirror symmetry (algebro-geometric aspects) |

14T05 | Tropical geometry (MSC2010) |

##### Keywords:

Calabi-Yau; Gross-Siebert program; log scheme; mirror symmetry; scattering; toric degeneration; tropical disks; wall crossing
PDF
BibTeX
XML
Cite

\textit{M. Gross} and \textit{B. Siebert}, Ann. Math. (2) 174, No. 3, 1301--1428 (2011; Zbl 1266.53074)

**OpenURL**

##### References:

[1] | V. Alexeev, ”Complete moduli in the presence of semiabelian group action,” Ann. of Math., vol. 155, iss. 3, pp. 611-708, 2002. · Zbl 1052.14017 |

[2] | V. Alexeev and I. Nakamura, ”On Mumford’s construction of degenerating abelian varieties,” Tohoku Math. J., vol. 51, iss. 3, pp. 399-420, 1999. · Zbl 0989.14003 |

[3] | J. -P. Benzécri, Variétés localement affines. · Zbl 0098.35204 |

[4] | A. Douady, ”Le problème des modules locaux pour les espaces \({\mathbf C}\)-analytiques compacts,” Ann. Sci. École Norm. Sup., vol. 7, pp. 569-602 (1975), 1974. · Zbl 0313.32036 |

[5] | R. Friedman, ”Global smoothings of varieties with normal crossings,” Ann. of Math., vol. 118, iss. 1, pp. 75-114, 1983. · Zbl 0569.14002 |

[6] | K. Fukaya, ”Multivalued Morse theory, asymptotic analysis and mirror symmetry,” in Graphs and Patterns in Mathematics and Theoretical Physics, Providence, RI: Amer. Math. Soc., 2005, vol. 73, pp. 205-278. · Zbl 1085.53080 |

[7] | J. E. Goodman and A. Landman, ”Varieties proper over affine schemes,” Invent. Math., vol. 20, pp. 267-312, 1973. · Zbl 0304.14002 |

[8] | T. Graber and E. Zaslow, ”Open-string Gromov-Witten invariants: Calculations and a mirror “theorem”,” in Orbifolds in Mathematics and Physics, Providence, RI: Amer. Math. Soc., 2002, vol. 310, pp. 107-121. · Zbl 1084.14518 |

[9] | H. Grauert, ”Der Satz von Kuranishi für kompakte komplexe Räume,” Invent. Math., vol. 25, pp. 107-142, 1974. · Zbl 0286.32015 |

[10] | M. Gross, ”Topological mirror symmetry,” Invent. Math., vol. 144, iss. 1, pp. 75-137, 2001. · Zbl 1077.14052 |

[11] | M. Gross, ”Examples of special Lagrangian fibrations,” in Symplectic Geometry and Mirror Symmetry, World Sci. Publ., River Edge, NJ, 2001, pp. 81-109. · Zbl 1034.53054 |

[12] | M. Gross, ”Toric degenerations and Batyrev-Borisov duality,” Math. Ann., vol. 333, iss. 3, pp. 645-688, 2005. · Zbl 1086.14035 |

[13] | M. Gross, ”The Strominger-Yau-Zaslow conjecture: from torus fibrations to degenerations,” in Algebraic Geometry-Seattle 2005. Part 1, Providence, RI: Amer. Math. Soc., 2009, vol. 80, pp. 149-192. · Zbl 1173.14031 |

[14] | M. Gross and B. Siebert, ”Affine manifolds, log structures, and mirror symmetry,” Turkish J. Math., vol. 27, iss. 1, pp. 33-60, 2003. · Zbl 1063.14048 |

[15] | M. Gross and B. Siebert, ”Mirror symmetry via logarithmic degeneration data. I,” J. Differential Geom., vol. 72, iss. 2, pp. 169-338, 2006. · Zbl 1107.14029 |

[16] | M. Gross and B. Siebert, ”Mirror symmetry via logarithmic degeneration data, II,” J. Algebraic Geom., vol. 19, iss. 4, pp. 679-780, 2010. · Zbl 1209.14033 |

[17] | M. Gross and B. Siebert, Torus fibrations and toric degenerations. · Zbl 1276.14057 |

[18] | A. Grothendieck, ”Éléments de géométrie algébrique. III: Étude cohomologique des faiscaux cohérents,” Publ. Math. Inst. Hautes Étud. Sci., vol. 17, 1963. · Zbl 0122.16102 |

[19] | C. Haase and I. Zharkov, ”Integral affine structures on spheres: complete intersections,” Int. Math. Res. Not., vol. 2005, iss. 51, pp. 3153-3167, 2005. · Zbl 1100.14042 |

[20] | K. Kato, ”Logarithmic structures of Fontaine-Illusie,” in Algebraic Analysis, Geometry, and Number Theory, Baltimore, MD: Johns Hopkins Univ. Press, 1989, pp. 191-224. · Zbl 0776.14004 |

[21] | Y. Kawamata and Y. Namikawa, ”Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties,” Invent. Math., vol. 118, iss. 3, pp. 395-409, 1994. · Zbl 0848.14004 |

[22] | M. Kontsevich and Y. Soibelman, ”Homological mirror symmetry and torus fibrations,” in Symplectic Geometry and Mirror Symmetry, World Sci. Publ., River Edge, NJ, 2001, pp. 203-263. · Zbl 1072.14046 |

[23] | M. Kontsevich and Y. Soibelman, ”Affine structures and non-Archimedean analytic spaces,” in The Unity of Mathematics, Boston, MA: Birkhäuser, 2006, vol. 244, pp. 321-385. · Zbl 1114.14027 |

[24] | G. Mikhalkin, ”Enumerative tropical algebraic geometry in \(\mathbb R^2\),” J. Amer. Math. Soc., vol. 18, iss. 2, pp. 313-377, 2005. · Zbl 1092.14068 |

[25] | J. Milnor, ”On the existence of a connection with curvature zero,” Comment. Math. Helv., vol. 32, pp. 215-223, 1958. · Zbl 0196.25101 |

[26] | D. Mumford, ”An analytic construction of degenerating abelian varieties over complete rings,” Compositio Math., vol. 24, pp. 239-272, 1972. · Zbl 0241.14020 |

[27] | T. Nishinou and B. Siebert, ”Toric degenerations of toric varieties and tropical curves,” Duke Math. J., vol. 135, iss. 1, pp. 1-51, 2006. · Zbl 1105.14073 |

[28] | T. Oda, Convex bodies and algebraic geometry. An introduction to the theory of toric varieties, New York: Springer-Verlag, 1988, vol. 15. · Zbl 0628.52002 |

[29] | T. R. Rockafellar, Convex Analysis, Princeton, N.J.: Princeton Univ. Press, 1970, vol. 28. · Zbl 0193.18401 |

[30] | A. Strominger, S. Yau, and E. Zaslow, ”Mirror symmetry is \(T\)-duality,” Nuclear Phys. B, vol. 479, iss. 1-2, pp. 243-259, 1996. · Zbl 0896.14024 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.