## Homological mirror symmetry without correction

HTML articles powered by AMS MathViewer

- by
Mohammed Abouzaid
**HTML**| PDF - J. Amer. Math. Soc.
**34**(2021), 1059-1173 Request permission

## Abstract:

Let $X$ be a closed symplectic manifold equipped with a Lagrangian torus fibration over a base $Q$. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space $Y$, which can be considered as a variant of the $T$-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in $X$ embeds fully faithfully in the derived category of (twisted) coherent sheaves on $Y$, under the technical assumption that $\pi _2(Q)$ vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras.## References

- Mohammed Abouzaid,
*A cotangent fibre generates the Fukaya category*, Adv. Math.**228**(2011), no. 2, 894–939. MR**2822213**, DOI 10.1016/j.aim.2011.06.007 - Mohammed Abouzaid,
*A topological model for the Fukaya categories of plumbings*, J. Differential Geom.**87**(2011), no. 1, 1–80. MR**2786590** - Mohammed Abouzaid,
*Nearby Lagrangians with vanishing Maslov class are homotopy equivalent*, Invent. Math.**189**(2012), no. 2, 251–313. MR**2947545**, DOI 10.1007/s00222-011-0365-0 - Mohammed Abouzaid,
*Family Floer cohomology and mirror symmetry*, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 813–836. MR**3728639** - Mohammed Abouzaid,
*The family Floer functor is faithful*, J. Eur. Math. Soc. (JEMS)**19**(2017), no. 7, 2139–2217. MR**3656481**, DOI 10.4171/JEMS/715 - V. I. Arnol′d,
*Singularities of caustics and wave fronts*, Mathematics and its Applications (Soviet Series), vol. 62, Kluwer Academic Publishers Group, Dordrecht, 1990. MR**1151185**, DOI 10.1007/978-94-011-3330-2 - Mohammed Abouzaid and Paul Seidel,
*An open string analogue of Viterbo functoriality*, Geom. Topol.**14**(2010), no. 2, 627–718. MR**2602848**, DOI 10.2140/gt.2010.14.627 - Marcel Berger,
*A panoramic view of Riemannian geometry*, Springer-Verlag, Berlin, 2003. MR**2002701**, DOI 10.1007/978-3-642-18245-7 - S. Bosch, U. Güntzer, and R. Remmert,
*Non-Archimedean analysis*, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 261, Springer-Verlag, Berlin, 1984. A systematic approach to rigid analytic geometry. MR**746961**, DOI 10.1007/978-3-642-52229-1 - Martin R. Bridson and André Haefliger,
*Metric spaces of non-positive curvature*, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR**1744486**, DOI 10.1007/978-3-662-12494-9 - Julien Duval,
*On a result by Y. Groman and J. P. Solomon*, Math. Ann.**364**(2016), no. 3-4, 1361–1363. MR**3466870**, DOI 10.1007/s00208-015-1258-0 - Kenji Fukaya and Yong-Geun Oh,
*Zero-loop open strings in the cotangent bundle and Morse homotopy*, Asian J. Math.**1**(1997), no. 1, 96–180. MR**1480992**, DOI 10.4310/AJM.1997.v1.n1.a5 - Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono,
*Lagrangian intersection Floer theory: anomaly and obstruction. Part I*, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009. MR**2553465**, DOI 10.1090/amsip/046.1 - Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono,
*Lagrangian Floer theory and mirror symmetry on compact toric manifolds*, Astérisque**376**(2016), vi+340 (English, with English and French summaries). MR**3460884** - Kenji Fukaya,
*Morse homotopy, $A^\infty$-category, and Floer homologies*, Proceedings of GARC Workshop on Geometry and Topology ’93 (Seoul, 1993) Lecture Notes Ser., vol. 18, Seoul Nat. Univ., Seoul, 1993, pp. 1–102. MR**1270931** - Kenji Fukaya,
*Morse homotopy and its quantization*, Geometric topology (Athens, GA, 1993) AMS/IP Stud. Adv. Math., vol. 2, Amer. Math. Soc., Providence, RI, 1997, pp. 409–440. MR**1470740**, DOI 10.1090/amsip/002.1/23 - Kenji Fukaya,
*Floer homology and mirror symmetry. I*, Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999) AMS/IP Stud. Adv. Math., vol. 23, Amer. Math. Soc., Providence, RI, 2001, pp. 15–43. MR**1876064**, DOI 10.1090/amsip/023/02 - Kenji Fukaya,
*Cyclic symmetry and adic convergence in Lagrangian Floer theory*, Kyoto J. Math.**50**(2010), no. 3, 521–590. MR**2723862**, DOI 10.1215/0023608X-2010-004 - M. Gromov,
*Pseudo holomorphic curves in symplectic manifolds*, Invent. Math.**82**(1985), no. 2, 307–347. MR**809718**, DOI 10.1007/BF01388806 - Yoel Groman,
*Floer theory and reduced cohomology on open manifolds*, 2015. - Yoel Groman and Jake P. Solomon,
*A reverse isoperimetric inequality for $J$-holomorphic curves*, Geom. Funct. Anal.**24**(2014), no. 5, 1448–1515. MR**3261632**, DOI 10.1007/s00039-014-0295-2 - Reinhardt Kiehl,
*Theorem A und Theorem B in der nichtarchimedischen Funktionentheorie*, Invent. Math.**2**(1967), 256–273 (German). MR**210949**, DOI 10.1007/BF01425404 - Maxim Kontsevich and Yan Soibelman,
*Homological mirror symmetry and torus fibrations*, Symplectic geometry and mirror symmetry (Seoul, 2000) World Sci. Publ., River Edge, NJ, 2001, pp. 203–263. MR**1882331**, DOI 10.1142/9789812799821_{0}007 - Paul Seidel,
*Graded Lagrangian submanifolds*, Bull. Soc. Math. France**128**(2000), no. 1, 103–149 (English, with English and French summaries). MR**1765826**, DOI 10.24033/bsmf.2365 - Paul Seidel,
*$A_\infty$-subalgebras and natural transformations*, Homology Homotopy Appl.**10**(2008), no. 2, 83–114. MR**2426130**, DOI 10.4310/HHA.2008.v10.n2.a4 - Paul Seidel,
*Fukaya categories and Picard-Lefschetz theory*, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2008. MR**2441780**, DOI 10.4171/063 - Paul Seidel,
*Some speculations on pairs-of-pants decompositions and Fukaya categories*, Surveys in differential geometry. Vol. XVII, Surv. Differ. Geom., vol. 17, Int. Press, Boston, MA, 2012, pp. 411–425. MR**3076066**, DOI 10.4310/SDG.2012.v17.n1.a9 - Andrew Strominger, Shing-Tung Yau, and Eric Zaslow,
*Mirror symmetry is $T$-duality*, Nuclear Phys. B**479**(1996), no. 1-2, 243–259. MR**1429831**, DOI 10.1016/0550-3213(96)00434-8 - John Tate,
*Residues of differentials on curves*, Ann. Sci. École Norm. Sup. (4)**1**(1968), 149–159. MR**227171**, DOI 10.24033/asens.1162 - John Tate,
*Rigid analytic spaces*, Invent. Math.**12**(1971), 257–289. MR**306196**, DOI 10.1007/BF01403307 - Umut Varolgunes,
*Mayer-Vietoris property for relative symplectic cohomology*, Geom. Topol.**25**(2021), no. 2, 547–642. MR**4251433**, DOI 10.2140/gt.2021.25.547 - Sara Venkatesh,
*Rabinowitz Floer homology and mirror symmetry*, J. Topol.**11**(2018), no. 1, 144–179. MR**3784228**, DOI 10.1112/topo.12050 - Andrei Verona,
*Stratified mappings—structure and triangulability*, Lecture Notes in Mathematics, vol. 1102, Springer-Verlag, Berlin, 1984. MR**771120**, DOI 10.1007/BFb0101672

## Additional Information

**Mohammed Abouzaid**- Affiliation: Department of Mathematics, Columbia University, 2990 Broadway Ave., New York, New York 10027
- MR Author ID: 734175
- Email: abouzaid@math.columbia.edu
- Received by editor(s): March 22, 2017
- Received by editor(s) in revised form: January 6, 2020, and December 14, 2020
- Published electronically: May 24, 2021
- Additional Notes: The author was supported by the Simons Foundation through its “Homological Mirror Symmetry” Collaboration grant SIMONS 385571, and by NSF grants DMS-1308179, DMS-1609148, and DMS-1564172. He was also partially supported by the Erik Ellentuck Fellowship and the IAS Fund of Math during the “Homological Mirror Symmetry” program at the Institute for Advanced Study.
- © Copyright 2021 American Mathematical Society
- Journal: J. Amer. Math. Soc.
**34**(2021), 1059-1173 - MSC (2020): Primary 53D37; Secondary 14G22
- DOI: https://doi.org/10.1090/jams/973
- MathSciNet review: 4301560