Homological mirror symmetry for the 4-torus. (English) Zbl 1195.14056

Abouzaid, Mohammed; Smith, Ivan

Duke Math. J. 152, No. 3, 373-440 (2010).

The homological mirror symmetry conjecture, due to M. Kontsevich [Proceedings of the international congress of mathematicians, ICM ’94, August 3–11, 1994, Zürich, Switzerland. Vol. I. Basel: Birkhäuser. 120–139 (1995; Zbl 0846.53021)], roughly states that given a pair of mirror Calabi-Yau manifolds \(X\) and \(Y\) there is an equivalence between the bounded derived category \({\text{D}}^{\text{b}}(X)\) of coherent sheaves on \(X\) and the Fukaya category \(\mathcal{F}(Y)\) of \(Y\), this latter category being constructed from the symplectic geometry of \(Y\). Despite being the focus of a lot of attention, the conjecture has been fully proved in only a handful of cases, prominent ones being the elliptic curve [A. Polishchuk and E. Zaslow, Adv. Theor. Math. Phys. 2, No. 2, 443–470 (1998; Zbl 0947.14017)] and the quartic K3 surface [P. Seidel, “Homological mirror symmetry for the quartic surface”, arxiv:math/0310414].
In the paper under review the authors prove the conjecture for the 4-torus \(T^4=\mathbb{R}^4 /\mathbb{Z}^4\). They then use the established equivalence to explore some consequences for the symplectic topology of the 4-torus by invoking certain results on sheaves on abelian varieties and transporting these results to the symplectic side. To be slightly more precise, the authors establish numerical restrictions on the intersections inside \(T^4\) of Lagrangian genus 2 surfaces of Maslov class zero with linear Lagrangian 2-tori.
The strategy of the proof is very roughly the following: One relates the Fukaya category \(\mathcal{F}(Y_1\times Y_2)\) of a product to the category of functors \({\text{Hom}}(\mathcal{F}(Y_1), \mathcal{F}(Y_2))\). If mirror symmetry is known for the factors, then the latter category is \({\text{Hom}}({\text{D}}^{\text{b}}_\infty(X_1),\text{D}^{\text{b}}_\infty(X_2))\) (where “\(\infty\)” denotes the dg-enhancement of the derived category) and by a result of Toën this category is equivalent to \({\text D}^{\text b}_\infty(X_1\times X_2)\). Applying this to \(Y_1=Y_2=T^2\) and using homological mirror symmetry for the \(2\)-torus (whose mirror is an elliptic curve) the argument then gives the result for \(T^4\). The main technical ingredient of the proof is the theory of pseudoholomorphic quilts, which is currently under development by Mau, Wehrheim and Woodward.

Reviewer: Pawel Sosna (Bonn)

MSC:

14J32	Calabi-Yau manifolds (algebro-geometric aspects)
53D40	Symplectic aspects of Floer homology and cohomology

Keywords:

homological mirror symmetry; derived category; Calabi-Yau manifolds; Fleur (co)homology; pseudoholomorphic quilts

Citations:

Zbl 0846.53021; Zbl 0947.14017

References:

[1]	M. Abouzaid, On the Fukaya categories of higher genus surfaces , Adv. Math. 217 (2008), 1192–1235. · Zbl 1155.57029
[2]	V. Arnol’D, “First steps of symplectic topology” in VIIIth International Congress on Mathematical Physics (Marseille, 1986) , World Sci. Publ., Singapore, 1987, 1–16.
[3]	D. Auroux, Special Lagrangian Fibrations, Wall-Crossing, and Mirror Symmetry , Surv. Differ. Geom. 13 , Int. Press, Somerville, Mass., 2009. · Zbl 1184.53085
[4]	A. A. Beĭlinson, Coherent sheaves on \({\mathrm P}^{n}\) and problems in linear algebra , Funktsional. Anal. Prilozhen 12 (1978), 68–69.
[5]	C. Birkenhake and H. Lange, The exponent of an abelian subvariety , Math. Ann. 290 (1991), 801–814. · Zbl 0773.14024
[6]	A. J. Blumberg and M. A. Mandell, Localization theorems in topological Hochschild homology and topological cyclic homology , · Zbl 1282.19004
[7]	S. Donaldson and I. Smith, Lefschetz pencils and the canonical class for symplectic four-manifolds , Topology 42 (2003), 743–785. · Zbl 1012.57040
[8]	A. Floer, Morse theory for Lagrangian intersections , J. Differential Geom. 28 (1988), 513–547. · Zbl 0674.57027
[9]	J. Fresnel and M. Van Der Put, Rigid Analytic Geometry and its Applications , Progr. Math. 218 , Birkhäuser, Boston 2004. · Zbl 1096.14014
[10]	K. Fukaya, Mirror symmetry of abelian varieties and multi-theta functions , J. Algebraic Geom. 11 (2002), 393–512. · Zbl 1002.14014
[11]	-, “Application of Floer homology of Lagrangian submanifolds to symplectic topology” in Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology , NATO Sci. Ser. II Math. Phys. Chem. 217 , Springer, Dordrecht, 2006, 231–276. · Zbl 1089.53064
[12]	-, Cyclic symmetry and adic convergence in Lagrangian Floer theory , · Zbl 1205.53090
[13]	K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono, Lagrangian Intersection Floer theory: Anomaly and Obstruction , Part II , AMS/IP Stud. Adv. Math. Amer. Math. Soc., Providence, 2009. · Zbl 1181.53003
[14]	-, Metamorphosis of holomorphic polygons under Lagrange surgery , preprint, 2008.
[15]	K. Fukaya, P. Seidel, and I. Smith, “The symplectic geometry of cotangent bundles from a categorical viewpoint” in Homological Mirror Symmetry: New Developments and Perspectives , Lecture Notes in Phys. 757 , Springer, Berlin, 2009, 1–26. · Zbl 1163.53344
[16]	M. Gerstenhaber and S. D. Schack, A Hodge-type decomposition for commutative algebra cohomology , J. Pure Appl. Algebra 48 (1987), 229–247. · Zbl 0671.13007
[17]	M. Gross, “The elliptic curve” in Dirichlet Branes and Mirror Symmetry , Clay Math. Monogr. 4 , Amer. Math. Soc., Providence, 2009, 616–650. · Zbl 1188.14026
[18]	M. Hovey, Model category structures on chain complexes of sheaves , Trans. Amer. Math. Soc. 353 , no. 6, (2001), 2441–2457. JSTOR: · Zbl 0969.18010
[19]	D. Huybrechts and M. Lehn, The Geometry of Moduli Spaces of Sheaves , Aspects Math. E31 , Vieweg, Braunschweig, 1997. · Zbl 0872.14002
[20]	D. Huybrechts, E. Macr\`\I, and P. Stellari, Stability conditions for generic \(K3\) categories , Compos. Math. 144 (2008), 134–162. · Zbl 1152.14037
[21]	D. Joyce, Kuranishi homology and Kuranishi cohomology ,
[22]	T. V. Kadeishvili, The algebraic structure in the homology of an \(A{(\infty)}\)-algebra , Soobshch. Akad. Nauk Gruzin. SSR 108 (1982), 249–252. · Zbl 0535.55005
[23]	A. Kapustin and D. Orlov, Remarks on \(A\)-branes, mirror symmetry, and the Fukaya category , J. Geom. Phys. 48 (2003), 84–99. · Zbl 1029.81058
[24]	-, Vertex algebras, mirror symmetry, and \(D\)-branes: the case of complex tori , Comm. Math. Phys. 233 (2003), 79–136. · Zbl 1051.17017
[25]	M. Kontsevich, “Homological algebra of mirror symmetry” in Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994) , Birkhäuser, Basel, 1995. · Zbl 0846.53021
[26]	M. Kontsevich and Y. Soibelman, “Homological mirror symmetry and torus fibrations” in Symplectic Geometry and Mirror Symmetry (Seoul 2000) , World Sci. Publ., River Edge, NJ., 2001, 203–263. · Zbl 1072.14046
[27]	D. Kwon and Y.-G. Oh, Structure of the image of (pseudo)-holomorphic discs with totally real boundary condition , Appendix 1 by J. P. Rosay, Comm. Anal. Geom. 8 (2000), 31–82. · Zbl 0951.32025
[28]	L. Lazzarini, Existence of a somewhere injective pseudo-holomorphic disc , Geom. Funct. Anal. 10 (2000), 829–862. · Zbl 1003.32004
[29]	W. Li, The \(\bZ\)-graded symplectic Floer cohomology of monotone Lagrangian sub-manifolds , Algebr. Geom. Topol. 4 (2004), 647–684. · Zbl 1061.53064
[30]	W. Lowen and M. Van Den Bergh, Hochschild cohomology of abelian categories and ringed spaces , Adv. Math. 198 (2005), 172–221. · Zbl 1095.13013
[31]	S. Mau, The multiplihedra in Lagrangian Floer theory , Ph.D. dissertation, Rutgers University, Piscataway, N.J., 2008.
[32]	S. Mau and C. Woodward, Geometric realizations of the multiplihedron and its complexification , to appear in Compos. Math., · Zbl 1235.18008
[33]	S. Mau, K. Wehrheim, and C. Woodward, \(A_{\infty}\)-functors for Lagrangian correspondence, in preparation.
[34]	D. Mcduff, Examples of symplectic structures , Invent. Math. 89 (1987), 13–36. · Zbl 0625.53040
[35]	-, The local behaviour of holomorphic curves in almost complex \(4\)-manifolds , J. Differential Geom. 34 (1991), 143–164. · Zbl 0736.53038
[36]	S. Mukai, Semi-homogeneous vector bundles on an Abelian variety , J. Math. Kyoto Univ. 18 (1978), 239–272. · Zbl 0417.14029
[37]	-, “On the moduli space of bundles on \(K3\) surfaces, I” in Vector Bundles on Algebraic Varieties (Bombay, 1984) , Tata Inst. Fund. Res. Stud. Math. 11 , Tata Inst. Fund. Res., Bombay, 1987, 341–413. · Zbl 0674.14023
[38]	-, Abelian variety and spin representation , unpublished manuscript, 1998.
[39]	D. Mumford, Abelian Varieties , Tata Inst. Fund. Res. Stud. Math. 5 , Oxford Univ. Press, London, 1970. · Zbl 0223.14022
[40]	D. Nadler, Microlocal branes are constructible sheaves , Selecta Math. (N.S.) 15 (2009), 563–619. · Zbl 1197.53116
[41]	Y.-G. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic discs, I , Comm. Pure Appl. Math. 46 (1993), 949–993. · Zbl 0795.58019
[42]	D. O. Orlov, Derived categories of coherent sheaves on abelian varieties and equivalences between them , Izv. Math. 66 (2002), 569–594. · Zbl 1031.18007
[43]	-, Remarks on generators and dimensions of triangulated categories , Mosc. Math. J. 9 (2009), 153–159. · Zbl 1197.18004
[44]	S. Piunikhin, D. Salamon, and M. Schwarz, “Symplectic Floer-Donaldson theory and quantum cohomology” in Contact and Symplectic Topology (Cambridge, 1994) , Cambridge Univ. Press, Cambridge, 1996, 171–200. · Zbl 0874.53031
[45]	A. Polishchuk, Massey and Fukaya products on elliptic curves , Adv. Theor. Math. Phys. 4 (2000), 1187–1207. · Zbl 1060.14516
[46]	-, Analogue of Weil representation for abelian schemes , J. Reine Angew. Math. 543 (2002), 1–37. · Zbl 1065.11040
[47]	-, Extensions of homogeneous coordinate rings to \(A_{\infty}\)-algebras , Homology Homotopy Appl. 5 (2003), 407–421. · Zbl 1121.55005
[48]	-, A\(^{\infty}\)-structures on an elliptic curve , Comm. Math. Phys. 247 (2004), 527–551. · Zbl 1075.14036
[49]	A. Polishchuk and E. Zaslow, Categorical mirror symmetry: The elliptic curve , Adv. Theor. Math. Phys. 2 (1998), 443–470. · Zbl 0947.14017
[50]	P. Seidel, Lagrangian two-spheres can be symplectically knotted , J. Differential Geom. 52 (1999), 145–171. · Zbl 1032.53068
[51]	-, Graded Lagrangian submanifolds , Bull. Soc. Math. France 128 (2000), 103–149. · Zbl 0992.53059
[52]	-, “Fukaya categories and deformations” in Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) , Higher Ed. Press, Beijing, 2002, 351–360. · Zbl 1014.53052
[53]	-, A long exact sequence for symplectic Floer cohomology , Topology 42 (2003), 1003–1063. · Zbl 1032.57035
[54]	-, Fukaya Categories and Picard-Lefschetz Theory , Zur. Lect. Adv. Math. European Math. Soc., Zürich, 2008. · Zbl 1159.53001
[55]	-, Homological mirror symmetry for the quartic surface , · Zbl 1334.53091
[56]	-, Homological mirror symmetry for the genus two curve , to appear in J. Algebraic Geom. · Zbl 1226.14028
[57]	-, Nullhomologous Lagrangian tori in the quartic surface , lecture at “Workshop on Holomorphic Curves,” Stanford University, Stanford, Calif., July–August 2008.
[58]	C. T. Simpson, Moduli of representations of the fundamental group of a smooth projective variety, I , Inst. Hautes Étude Sci. Publ. Math. 79 (1994), 47–129. · Zbl 0891.14005
[59]	R. G. Swan, Hochschild cohomology of quasiprojective schemes , J. Pure Appl. Algebra 110 (1996), 57–80. · Zbl 0865.18010
[60]	B. Toen, The homotopy theory of \(dg\)-categories and derived Morita theory , Invent. Math. 167 (2007), 615–667. · Zbl 1118.18010
[61]	K. Wehrheim and C. I. Woodward, Functoriality for Lagrangian correspondences in Floer theory , · Zbl 1206.53088
[62]	-, Orientations for pseudo-holomorphic quilts , preprint, 2007.