On the Fukaya category of a Fano hypersurface in projective space

Sheridan, Nick

doi:10.1007/s10240-016-0082-8

Sheridan, Nick ¹

¹ Department of Mathematics, Princeton University, Fine Hall Washington Road 08544-1000 Princeton NJ USA

Publications Mathématiques de l'IHÉS, Tome 124 (2016), pp. 165-317.

Résumé

This paper is about the Fukaya category of a Fano hypersurface $X \subset {CP}^{n}$ . Because these symplectic manifolds are monotone, both the analysis and the algebra involved in the definition of the Fukaya category simplify considerably. The first part of the paper is devoted to establishing the main structures of the Fukaya category in the monotone case: the closed–open string maps, weak proper Calabi–Yau structure, Abouzaid’s split-generation criterion, and their analogues when weak bounding cochains are included. We then turn to computations of the Fukaya category of the hypersurface $X$ : we construct a configuration of monotone Lagrangian spheres in $X$ , and compute the associated disc potential. The result coincides with the Hori–Vafa superpotential for the mirror of $X$ (up to a constant shift in the Fano index 1 case). As a consequence, we give a proof of Kontsevich’s homological mirror symmetry conjecture for $X$ . We also explain how to extract non-trivial information about Gromov–Witten invariants of $X$ from its Fukaya category.

MR Zbl

DOI : 10.1007/s10240-016-0082-8

Mots-clés : Modulus Space, Maslov Index, Quantum Cohomology, Hochschild Cohomology, Homological Mirror Symmetry

Affiliations des auteurs :

Sheridan, Nick ¹

¹ Department of Mathematics, Princeton University, Fine Hall Washington Road 08544-1000 Princeton NJ USA

@article{PMIHES_2016__124__165_0,
     author = {Sheridan, Nick},
     title = {On the {Fukaya} category of a {Fano} hypersurface in projective space},
     journal = {Publications Math\'ematiques de l'IH\'ES},
     pages = {165--317},
     publisher = {Springer Berlin Heidelberg},
     address = {Berlin/Heidelberg},
     volume = {124},
     year = {2016},
     doi = {10.1007/s10240-016-0082-8},
     mrnumber = {3578916},
     zbl = {1453.53079},
     language = {en},
     url = {http://archive.numdam.org/articles/10.1007/s10240-016-0082-8/}
}

TY  - JOUR
AU  - Sheridan, Nick
TI  - On the Fukaya category of a Fano hypersurface in projective space
JO  - Publications Mathématiques de l'IHÉS
PY  - 2016
SP  - 165
EP  - 317
VL  - 124
PB  - Springer Berlin Heidelberg
PP  - Berlin/Heidelberg
UR  - http://archive.numdam.org/articles/10.1007/s10240-016-0082-8/
DO  - 10.1007/s10240-016-0082-8
LA  - en
ID  - PMIHES_2016__124__165_0
ER  -

%0 Journal Article
%A Sheridan, Nick
%T On the Fukaya category of a Fano hypersurface in projective space
%J Publications Mathématiques de l'IHÉS
%D 2016
%P 165-317
%V 124
%I Springer Berlin Heidelberg
%C Berlin/Heidelberg
%U http://archive.numdam.org/articles/10.1007/s10240-016-0082-8/
%R 10.1007/s10240-016-0082-8
%G en
%F PMIHES_2016__124__165_0

Sheridan, Nick. On the Fukaya category of a Fano hypersurface in projective space. Publications Mathématiques de l'IHÉS, Tome 124 (2016), pp. 165-317. doi : 10.1007/s10240-016-0082-8. http://archive.numdam.org/articles/10.1007/s10240-016-0082-8/

Bibliographie
Cité par

[1.] Abouzaid, M. A geometric criterion for generating the Fukaya category, Publ. Math. Inst. Hautes Études Sci., Volume 112 (2010), pp. 191-240 | DOI | Numdam | MR | Zbl

[2.] M. Abouzaid, K. Fukaya, Y. G. Oh, H. Ohta and K. Ono, Quantum cohomology and split generation in Lagrangian Floer theory, in preparation.

[3.] Albers, P. A Lagrangian Piunikhin–Salamon–Schwarz morphism and two comparison homomorphisms in Floer homology, Int. Math. Res. Not., Volume 2008 (2008), p. 56 | MR | Zbl

[4.] Auroux, D. Mirror symmetry and T-duality in the complement of an anticanonical divisor, J. Gökova Geom. Topol., Volume 1 (2007), pp. 51-91 | MR | Zbl

[5.] Auroux, D. A beginner’s introduction to Fukaya categories, Contact and symplectic topology (2014), pp. 85-136 | DOI | MR | Zbl

[6.] Beauville, A. Quantum cohomology of complete intersections, Mat. Fiz. Anal. Geom., Volume 2 (1995), pp. 384-398 | MR | Zbl

[7.] Biran, P.; Cornea, O. Lagrangian topology and enumerative geometry, Geom. Topol., Volume 16 (2012), pp. 963-1052 | DOI | MR | Zbl

[8.] Biran, P.; Cornea, O. Lagrangian cobordism and Fukaya categories, Geom. Funct. Anal., Volume 24 (2014), pp. 1731-1830 | DOI | MR | Zbl

[9.] P. Biran and C. Membrez, The Lagrangian Cubic Equation, 2014, | arXiv | MR

[10.] Bott, R.; Tu, L. Differential forms in algebraic topology (1982) | DOI | MR | Zbl

[11.] R. Buchweitz, Maximal Cohen–Macaulay modules and Tate-cohomology over Gorenstein rings, 1986.

[12.] Cho, C. H. Products of Floer cohomology of torus fibers in toric Fano manifolds, Commun. Math. Phys., Volume 260 (2005), pp. 613-640 | DOI | MR | Zbl

[13.] Cho, C. H. Strong homotopy inner product of an $A_{\infty}$ -algebra, Int. Math. Res. Not., Volume 2008 (2008), p. 35 | MR | Zbl

[14.] C. H. Cho, H. Hong and S. C. Lau, Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for $P_{a, b, c}^{1}$ , 2013, | arXiv

[15.] Cho, C. H.; Oh, Y. G. Floer cohomology and disc instantons of Lagrangian torus fibers in Fano toric manifolds, Asian J. Math., Volume 10 (2006), pp. 773-814 | DOI | MR | Zbl

[16.] Cohen, M.; Montgomery, S. Group-graded rings, smash products, and group actions, Trans. Am. Math. Soc., Volume 282 (1984), pp. 237-258 | DOI | MR | Zbl

[17.] Crauder, B.; Miranda, R. Quantum cohomology of rational surfaces, The moduli space of curves (1995), pp. 33-80 | DOI | MR | Zbl

[18.] V. Dolgushev, A Proof of Tsygan’s Formality Conjecture for an Arbitrary Smooth Manifold, Ph.D. thesis, MIT, 2005. | MR

[19.] Dyckerhoff, T. Compact generators in categories of matrix factorizations, Duke Math. J., Volume 159 (2011), pp. 223-274 | DOI | MR | Zbl

[20.] Eisenbud, D. Commutative algebra with a view toward algebraic geometry (1995) | MR | Zbl

[21.] Floer, A.; Hofer, H.; Salamon, D. Transversality in elliptic Morse theory for the symplectic action, Duke Math. J., Volume 80 (1995), pp. 251-292 | DOI | MR | Zbl

[22.] Fukaya, K.; Oh, Y. G. Zero-loop open strings in the cotangent bundle and Morse homotopy, Asian J. Math., Volume 1 (1997), pp. 96-180 | DOI | MR | Zbl

[23.] Fukaya, K.; Oh, Y.; Ohta, H.; Ono, K. Lagrangian Floer theory on compact toric manifolds: survey, Surveys in differential geometry (2012), pp. 229-298 | DOI | MR | Zbl

[24.] Fukaya, K.; Oh, Y. G.; Ohta, H.; Ono, K. Lagrangian intersection Floer theory—anomaly and obstruction (2007) | MR | Zbl

[25.] K. Fukaya, Y. G. Oh, H. Ohta and K. Ono, Lagrangian surgery and metamorphosis of pseudo-holomorphic polygons, 2009. Preprint, available at https://www.math.kyotou.ac.jp/~fukaya/fukaya.html.

[26.] Fukaya, K.; Oh, Y. G.; Ohta, H.; Ono, K. Lagrangian Floer theory on compact toric manifolds, I, Duke Math. J., Volume 151 (2010), pp. 23-175 | DOI | MR | Zbl

[27.] Fukaya, K.; Oh, Y. G.; Ohta, H.; Ono, K. Lagrangian Floer theory on compact toric manifolds II: bulk deformations, Sel. Math. New Ser., Volume 17 (2011), pp. 609-711 | DOI | MR | Zbl

[28.] S. Ganatra, Symplectic Cohomology and Duality for the Wrapped Fukaya Category, Ph.D. thesis, MIT, 2012. | MR

[29.] S. Ganatra, T. Perutz and N. Sheridan, Mirror symmetry: from categories to curve counts, 2015, | arXiv

[30.] Getzler, E. Cartan homotopy formulas and the Gauss–Manin connection in cyclic homology, Isr. Math. Conf. Proc., Volume 7 (1993), pp. 1-12 | MR | Zbl

[31.] Getzler, E. Lie theory for nilpotent $L_{\infty}$ algebras, Ann. Math., Volume 170 (2009), pp. 271-301 | DOI | MR | Zbl

[32.] Givental, A. Equivariant Gromov–Witten invariants, Int. Math. Res. Not., Volume 1996 (1996), pp. 613-663 | DOI | MR | Zbl

[33.] Gross, M. Tropical geometry and mirror symmetry (2011) | DOI | MR | Zbl

[34.] Hochschild, G.; Kostant, B.; Rosenberg, A. Differential forms on regular affine algebras, Trans. Am. Math. Soc., Volume 102 (1962), pp. 383-408 | DOI | MR | Zbl

[35.] Hori, K. Linear models of supersymmetric $D$ -branes, Symplectic geometry and mirror symmetry (2001), pp. 111-186 | DOI | MR | Zbl

[36.] Jinzenji, M. On Quantum Cohomology Rings for Hypersurfaces in ${CP}^{N - 1}$ , J. Math. Phys., Volume 38 (1997), pp. 6613-6638 | DOI | MR | Zbl

[37.] A. Kapustin and Y. Li, $D$ -branes in topological minimal models: the Landau–Ginzburg approach, J. High Energy Phys., 07 (2004), 26 pp. (electronic). doi:. | DOI | MR

[38.] Keating, A. Lagrangian tori in four-dimensional Milnor fibres, Geom. Funct. Anal., Volume 25 (2015), pp. 1822-1901 | DOI | MR | Zbl

[39.] Kontsevich, M. Homological algebra of mirror symmetry, Proceedings of the International Congress of Mathematicians (1994), pp. 120-139 | MR | Zbl

[40.] M. Kontsevich, Lectures at ENS Paris. Notes by J. Bellaiche, J.-F. Dat, I. Marin, G. Racinet and H. Randriambololona (1998).

[41.] Kontsevich, M. Deformation quantization of Poisson manifolds, Lett. Math. Phys., Volume 66 (2003), pp. 157-216 | DOI | MR | Zbl

[42.] Kontsevich, M.; Soibelman, Y. Notes on $A_{\infty}$ algebras, $A_{\infty}$ categories and non-commutative geometry. I, Homological Mirror Symmetry: New Developments and Perspectives (2008), pp. 153-219 | MR | Zbl

[43.] Lada, T.; Markl, M. Strongly homotopy Lie algebras, Commun. Algebra, Volume 23 (1995), pp. 2147-2161 | DOI | MR | Zbl

[44.] Lawson, H.; Michelsohn, M. Spin geometry (1989) | MR | Zbl

[45.] Lazzarini, L. Relative frames on $J$ -holomorphic curves, J. Fixed Point Theory Appl., Volume 9 (2011), pp. 213-256 | DOI | MR | Zbl

[46.] Loday, J. L. Cyclic homology (1998) | DOI | MR | Zbl

[47.] McDuff, D.; Salamon, D. J-holomorphic Curves and Symplectic Topology (2004) | DOI | MR | Zbl

[48.] Oh, Y. G. Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks I, Commun. Pure Appl. Math., Volume 46 (1993), pp. 949-993 | DOI | MR | Zbl

[49.] Oh, Y. G. Addendum to ‘Floer cohomology of Lagrangian intersections and pseudo-holomorphic discs, I’, Commun. Pure Appl. Math., Volume 48 (1995), pp. 1299-1302 | DOI | MR | Zbl

[50.] Oh, Y. G.; Kwon, D. Structure of the image of (pseudo)-holomorphic disks with totally real boundary conditions, Commun. Anal. Geom., Volume 8 (2000), pp. 31-82 | DOI | MR | Zbl

[51.] Orlov, D. Triangulated categories of singularities and D-branes in Landau–Ginzburg models, Proc. Steklov Inst. Math., Volume 246 (2004), pp. 227-248 | MR | Zbl

[52.] Piunikhin, S.; Salamon, D.; Schwarz, M. Symplectic Floer–Donaldson theory and quantum cohomology, Contact and symplectic geometry (1996), pp. 171-200 | MR | Zbl

[53.] A. F. Ritter and I. Smith, The monotone wrapped Fukaya category and the open-closed string map, Sel. Math. New Ser., to appear. | MR

[54.] Ruan, Y.; Tian, G. A mathematical theory of quantum cohomology, J. Differ. Geom., Volume 42 (1995), pp. 259-367 | DOI | MR | Zbl

[55.] Seidel, P. Graded Lagrangian submanifolds, Bull. Soc. Math. Fr., Volume 128 (1999), pp. 103-149 | DOI | Numdam | MR | Zbl

[56.] Seidel, P. Fukaya categories and deformations, Proceedings of the International Congress of Mathematicians (2002), pp. 351-360 | MR | Zbl

[57.] Seidel, P. Homological mirror symmetry for the quartic surface, Mem. Am. Math. Soc. (2015) | MR | Zbl

[58.] Seidel, P. A biased view of symplectic cohomology, Current Developments in Mathematics (2008), pp. 211-253 | MR | Zbl

[59.] Seidel, P. $A_{\infty}$ subalgebras and natural transformations, Homol. Homotopy Appl., Volume 10 (2008), pp. 83-114 | DOI | MR | Zbl

[60.] P. Seidel, Fukaya categories and Picard–Lefschetz Theory, J. Eur. Math. Soc. (2008). | Zbl

[61.] Seidel, P. Suspending Lefschetz fibrations, with an application to local mirror symmetry, Commun. Math. Phys., Volume 297 (2010), pp. 515-528 | DOI | MR | Zbl

[62.] Seidel, P. Abstract analogues of flux as symplectic invariants, Mém. Soc. Math. Fr., Volume 137 (2014), pp. 1-135 | Numdam | MR | Zbl

[63.] Seidel, P. Homological mirror symmetry for the genus two curve, J. Algebraic Geom., Volume 20 (2011), pp. 727-769 | DOI | MR | Zbl

[64.] P. Seidel, Fukaya $A_{\infty}$ -structures associated to Lefschetz fibrations II, 2014, | arXiv | MR | Zbl

[65.] Seidel, P.; Thomas, R. Braid group actions on derived categories of coherent sheaves, Duke Math. J., Volume 108 (2001), pp. 37-108 | DOI | MR | Zbl

[66.] Sheridan, N. On the homological mirror symmetry conjecture for pairs of pants, J. Differ. Geom., Volume 89 (2011), pp. 271-367 | DOI | MR | Zbl

[67.] Sheridan, N. Homological mirror symmetry for Calabi–Yau hypersurfaces in projective space, Invent. Math., Volume 199 (2015), pp. 1-186 | DOI | MR | Zbl

[68.] Smith, I. Floer cohomology and pencils of quadrics, Invent. Math., Volume 189 (2012), pp. 149-250 | DOI | MR | Zbl

[69.] Tradler, T. Infinity-inner-products on A-infinity-algebras, J. Homotopy Relat. Struct., Volume 3 (2008), pp. 245-271 | MR | Zbl

[70.] Weibel, C. An introduction to homological algebra (1994) | DOI | MR | Zbl

[71.] Yoshino, Y. Cohen–Macaulay Modules over Cohen–Macaulay Rings (1990) | DOI | MR | Zbl

Cité par Sources :