Logarithmic Frobenius manifolds, hypergeometric systems and quantum \(\mathcal D\)-modules. (English) Zbl 1349.14139
Summary: We describe mirror symmetry for weak Fano toric manifolds as an equivalence of filtered \( \mathcal {D}\)-modules. We discuss in particular the logarithmic degeneration behavior at the large radius limit point and express the mirror correspondence as an isomorphism of Frobenius manifolds with logarithmic poles. The main tool is an identification of the Gauß-Manin system of the mirror Landau-Ginzburg model with a hypergeometric \( \mathcal {D}\)-module, and a detailed study of a natural filtration defined on this differential system. We obtain a solution of the Birkhoff problem for lattices defined by this filtration and show the existence of a primitive form, which yields the construction of Frobenius structures with logarithmic poles associated to the mirror Laurent polynomial. As a final application, we show the existence of a pure polarized non-commutative Hodge structure on a Zariski open subset of the complexified Kähler moduli space of the variety.
MSC:
| 14J33 | Mirror symmetry (algebro-geometric aspects) |
| 14F10 | Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials |
| 14J45 | Fano varieties |
| 14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |
| 53C45 | Global surface theory (convex surfaces à la A. D. Aleksandrov) |
References:
| [1] | Alan Adolphson, Hypergeometric functions and rings generated by monomials, Duke Math. J. 73 (1994), no. 2, 269 – 290. · Zbl 0804.33013 · doi:10.1215/S0012-7094-94-07313-4 |
| [2] | Alan Adolphson and Steven Sperber, \?-hypergeometric systems that come from geometry, Proc. Amer. Math. Soc. 140 (2012), no. 6, 2033 – 2042. · Zbl 1257.14016 |
| [3] | Serguei Barannikov, Semi-infinite Hodge structures and mirror symmetry for projective spaces, Preprint math.AG/0010157, 2000. · Zbl 1024.32012 |
| [4] | Victor V. Batyrev, On the classification of smooth projective toric varieties, Tohoku Math. J. (2) 43 (1991), no. 4, 569 – 585. · Zbl 0792.14026 · doi:10.2748/tmj/1178227429 |
| [5] | Victor V. Batyrev, Quantum cohomology rings of toric manifolds, Astérisque 218 (1993), 9 – 34. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992). · Zbl 0806.14041 |
| [6] | Victor V. Batyrev, Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, J. Algebraic Geom. 3 (1994), no. 3, 493 – 535. · Zbl 0829.14023 |
| [7] | Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. · Zbl 0788.13005 |
| [8] | Lev A. Borisov and R. Paul Horja, Mellin-Barnes integrals as Fourier-Mukai transforms, Adv. Math. 207 (2006), no. 2, 876 – 927. · Zbl 1137.14314 · doi:10.1016/j.aim.2006.01.011 |
| [9] | Egbert Brieskorn, Die Monodromie der isolierten Singularitäten von Hyperflächen, Manuscripta Math. 2 (1970), 103 – 161 (German, with English summary). · Zbl 0186.26101 · doi:10.1007/BF01155695 |
| [10] | David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, Mathematical Surveys and Monographs, vol. 68, American Mathematical Society, Providence, RI, 1999. · Zbl 0951.14026 |
| [11] | Earl A. Coddington and Norman Levinson, Theory of ordinary differential equations, McGraw-Hill Book Company, Inc., New York-Toronto-London, 1955. · Zbl 0064.33002 |
| [12] | David A. Cox and Christine von Renesse, Primitive collections and toric varieties, Tohoku Math. J. (2) 61 (2009), no. 3, 309 – 332. · Zbl 1185.14045 · doi:10.2748/tmj/1255700197 |
| [13] | Alexandru Dimca, Sheaves in topology, Universitext, Springer-Verlag, Berlin, 2004. · Zbl 1043.14003 |
| [14] | J. Denef and F. Loeser, Weights of exponential sums, intersection cohomology, and Newton polyhedra, Invent. Math. 106 (1991), no. 2, 275 – 294. · Zbl 0763.14025 · doi:10.1007/BF01243914 |
| [15] | Antoine Douai, A canonical Frobenius structure, Math. Z. 261 (2009), no. 3, 625 – 648. · Zbl 1208.53091 · doi:10.1007/s00209-008-0344-3 |
| [16] | Antoine Douai, Construction de variétés de Frobenius via les polynômes de Laurent: une autre approche, Singularités, Inst. Élie Cartan, vol. 18, Univ. Nancy, Nancy, 2005, pp. 105 – 123 (French). · Zbl 1111.32027 |
| [17] | Antoine Douai, A canonical Frobenius structure, Math. Z. 261 (2009), no. 3, 625 – 648. · Zbl 1208.53091 · doi:10.1007/s00209-008-0344-3 |
| [18] | A. Douai and C. Sabbah, Gauss-Manin systems, Brieskorn lattices and Frobenius structures. I, Proceedings of the International Conference in Honor of Frédéric Pham (Nice, 2002), 2003, pp. 1055 – 1116 (English, with English and French summaries). · Zbl 1079.32016 |
| [19] | A. Douai and C. Sabbah, Gauss-Manin systems, Brieskorn lattices and Frobenius structures. II, Frobenius manifolds, Aspects Math., E36, Vieweg, Wiesbaden, 2004, pp. 1-18. · Zbl 1079.32017 |
| [20] | William Fulton, Introduction to toric varieties, Annals of Mathematics Studies, vol. 131, Princeton University Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry. · Zbl 0813.14039 |
| [21] | Alexander Givental, A mirror theorem for toric complete intersections, Topological field theory, primitive forms and related topics (Kyoto, 1996) Progr. Math., vol. 160, Birkhäuser Boston, Boston, MA, 1998, pp. 141 – 175. · Zbl 0936.14031 |
| [22] | I. M. Gel’fand, M. M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and \( A\)-hypergeometric functions, Adv. Math. 84 (1990), no. 2, 255-271. · Zbl 0741.33011 |
| [23] | Ignacio de Gregorio, David Mond, and Christian Sevenheck, Linear free divisors and Frobenius manifolds, Compos. Math. 145 (2009), no. 5, 1305 – 1350. · Zbl 1238.32022 · doi:10.1112/S0010437X09004217 |
| [24] | Martin A. Guest, From quantum cohomology to integrable systems, Oxford Graduate Texts in Mathematics, vol. 15, Oxford University Press, Oxford, 2008. · Zbl 1161.14002 |
| [25] | Claus Hertling, Frobenius manifolds and moduli spaces for singularities, Cambridge Tracts in Mathematics, vol. 151, Cambridge University Press, Cambridge, 2002. · Zbl 1023.14018 |
| [26] | Claus Hertling, \?\?* geometry, Frobenius manifolds, their connections, and the construction for singularities, J. Reine Angew. Math. 555 (2003), 77 – 161. · Zbl 1040.53095 · doi:10.1515/crll.2003.015 |
| [27] | Claus Hertling and Yuri Manin, Unfoldings of meromorphic connections and a construction of Frobenius manifolds, Frobenius manifolds, Aspects Math., E36, Friedr. Vieweg, Wiesbaden, 2004, pp. 113 – 144. · Zbl 1101.32013 · doi:10.1007/978-3-322-80236-1_5 |
| [28] | M. Hochster, Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes, Ann. of Math. (2) 96 (1972), 318 – 337. · Zbl 0233.14010 · doi:10.2307/1970791 |
| [29] | Ryoshi Hotta, Holonomic \?-modules in representation theory, The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986) Proc. Sympos. Pure Math., vol. 47, Amer. Math. Soc., Providence, RI, 1987, pp. 87 – 102. · Zbl 0679.22010 |
| [30] | Claus Hertling and Christian Sevenheck, Nilpotent orbits of a generalization of Hodge structures, J. Reine Angew. Math. 609 (2007), 23 – 80. · Zbl 1136.32011 · doi:10.1515/CRELLE.2007.060 |
| [31] | Claus Hertling and Christian Sevenheck, Limits of families of Brieskorn lattices and compactified classifying spaces, Adv. Math. 223 (2010), no. 4, 1155 – 1224. · Zbl 1190.14011 · doi:10.1016/j.aim.2009.09.012 |
| [32] | Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tanisaki, \?-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236, Birkhäuser Boston, Inc., Boston, MA, 2008. Translated from the 1995 Japanese edition by Takeuchi. · Zbl 1136.14009 |
| [33] | Hiroshi Iritani, Quantum \?-modules and equivariant Floer theory for free loop spaces, Math. Z. 252 (2006), no. 3, 577 – 622. · Zbl 1121.53062 · doi:10.1007/s00209-005-0867-9 |
| [34] | Hiroshi Iritani, Convergence of quantum cohomology by quantum Lefschetz, J. Reine Angew. Math. 610 (2007), 29 – 69. · Zbl 1160.14044 · doi:10.1515/CRELLE.2007.067 |
| [35] | Hiroshi Iritani, An integral structure in quantum cohomology and mirror symmetry for toric orbifolds, Adv. Math. 222 (2009), no. 3, 1016 – 1079. · Zbl 1190.14054 · doi:10.1016/j.aim.2009.05.016 |
| [36] | Hiroshi Iritani, \( tt^*\)-geometry in quantum cohomology, Preprint math.AG/0906.1307, 2009. · Zbl 1190.14054 |
| [37] | A. G. Hovanskiĭ, Newton polyhedra, and toroidal varieties, Funkcional. Anal. i Priložen. 11 (1977), no. 4, 56 – 64, 96 (Russian). |
| [38] | L. Katzarkov, M. Kontsevich, and T. Pantev, Hodge theoretic aspects of mirror symmetry, From Hodge theory to integrability and TQFT tt*-geometry, Proc. Sympos. Pure Math., vol. 78, Amer. Math. Soc., Providence, RI, 2008, pp. 87 – 174. · Zbl 1206.14009 · doi:10.1090/pspum/078/2483750 |
| [39] | A. G. Kouchnirenko, Polyèdres de Newton et nombres de Milnor, Invent. Math. 32 (1976), no. 1, 1 – 31 (French). · Zbl 0328.32007 · doi:10.1007/BF01389769 |
| [40] | Yuri I. Manin, Frobenius manifolds, quantum cohomology, and moduli spaces, American Mathematical Society Colloquium Publications, vol. 47, American Mathematical Society, Providence, RI, 1999. · Zbl 0952.14032 |
| [41] | Etienne Mann, Orbifold quantum cohomology of weighted projective spaces, J. Algebraic Geom. 17 (2008), no. 1, 137 – 166. · Zbl 1146.14029 |
| [42] | Laura Felicia Matusevich, Ezra Miller, and Uli Walther, Homological methods for hypergeometric families, J. Amer. Math. Soc. 18 (2005), no. 4, 919 – 941. · Zbl 1095.13033 |
| [43] | Takuro Mochizuki, Asymptotic behaviour of tame nilpotent harmonic bundles with trivial parabolic structure, J. Differential Geom. 62 (2002), no. 3, 351 – 559. · Zbl 1069.32010 |
| [44] | Takuro Mochizuki, Good formal structure for meromorphic flat connections on smooth projective surfaces, Algebraic analysis and around, Adv. Stud. Pure Math., vol. 54, Math. Soc. Japan, Tokyo, 2009, pp. 223 – 253. · Zbl 1183.14027 |
| [45] | Takuro Mochizuki, Holonomic D-module with Betti structure, Preprint math/1001.2336, 2010. · Zbl 1327.14006 |
| [46] | Takuro Mochizuki, Asymptotic behavior of variation of pure polarized TERP structure, Publ. Res. Inst. Math. Sci. 47 (2011), no. 2, 419 – 534. · Zbl 1231.32013 · doi:10.2977/PRIMS/41 |
| [47] | Takuro Mochizuki, Wild harmonic bundles and wild pure twistor \?-modules, Astérisque 340 (2011), x+607 (English, with English and French summaries). · Zbl 1245.32001 |
| [48] | Ezra Miller and Bernd Sturmfels, Combinatorial commutative algebra, Graduate Texts in Mathematics, vol. 227, Springer-Verlag, New York, 2005. · Zbl 1090.13001 |
| [49] | Rahul Pandharipande, Rational curves on hypersurfaces (after A. Givental), Astérisque 252 (1998), Exp. No. 848, 5, 307 – 340. Séminaire Bourbaki. Vol. 1997/98. |
| [50] | Frédéric Pham, Singularités des systèmes différentiels de Gauss-Manin, Progress in Mathematics, vol. 2, Birkhäuser, Boston, Mass., 1979 (French). With contributions by Lo Kam Chan, Philippe Maisonobe and Jean-Étienne Rombaldi. · Zbl 0524.32015 |
| [51] | Thomas Reichelt, A construction of Frobenius manifolds with logarithmic poles and applications, Comm. Math. Phys. 287 (2009), no. 3, 1145 – 1187. · Zbl 1197.53117 · doi:10.1007/s00220-008-0699-7 |
| [52] | Claude Sabbah, Monodromy at infinity and Fourier transform, Publ. Res. Inst. Math. Sci. 33 (1997), no. 4, 643 – 685. · Zbl 0920.14003 · doi:10.2977/prims/1195145150 |
| [53] | Claude Sabbah, Déformations isomonodromiques et variétés de Frobenius, Savoirs Actuels, EDP Sciences, Les Ulis, 2002, Mathématiques. · Zbl 1101.14001 |
| [54] | Claude Sabbah, Hypergeometric periods for a tame polynomial, Port. Math. (N.S.) 63 (2006), no. 2, 173 – 226. · Zbl 1113.14011 |
| [55] | Claude Sabbah, Fourier-Laplace transform of a variation of polarized complex Hodge structure, J. Reine Angew. Math. 621 (2008), 123 – 158. · Zbl 1155.32012 · doi:10.1515/CRELLE.2008.060 |
| [56] | Claude Sabbah, Non-commutative Hodge structures, Ann. Inst. Fourier (Grenoble) 61 (2011), no. 7, 2681 – 2717 (English, with English and French summaries). · Zbl 1300.14011 |
| [57] | Morihiko Saito, On the structure of Brieskorn lattice, Ann. Inst. Fourier (Grenoble) 39 (1989), no. 1, 27 – 72 (English, with French summary). · Zbl 0644.32005 |
| [58] | Morihiko Saito, On the theory of mixed Hodge modules, Selected papers on number theory, algebraic geometry, and differential geometry, Amer. Math. Soc. Transl. Ser. 2, vol. 160, Amer. Math. Soc., Providence, RI, 1994, Translated from Sūgaku, Translation edited by Katsumi Nomizu, pp. 47-61. · Zbl 0815.14008 |
| [59] | Mutsumi Saito, Isomorphism classes of \?-hypergeometric systems, Compositio Math. 128 (2001), no. 3, 323 – 338. · Zbl 1075.33009 · doi:10.1023/A:1011877515447 |
| [60] | Pierre Schapira, Microdifferential systems in the complex domain, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 269, Springer-Verlag, Berlin, 1985. · Zbl 0554.32022 |
| [61] | Christian Sevenheck, Bernstein polynomials and spectral numbers for linear free divisors, Ann. Inst. Fourier (Grenoble) 61 (2011), no. 1, 379 – 400 (English, with English and French summaries). · Zbl 1221.34237 · doi:10.5802/aif.2606 |
| [62] | Carlos T. Simpson, Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization, J. Amer. Math. Soc. 1 (1988), no. 4, 867 – 918. · Zbl 0669.58008 |
| [63] | Mutsumi Saito, Bernd Sturmfels, and Nobuki Takayama, Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol. 6, Springer-Verlag, Berlin, 2000. · Zbl 0946.13021 |
| [64] | Mathias Schulze and Uli Walther, Hypergeometric D-modules and twisted Gauß-Manin systems, J. Algebra 322 (2009), no. 9, 3392 – 3409. · Zbl 1181.13023 · doi:10.1016/j.jalgebra.2008.09.010 |
| [65] | Uli Walther, Duality and monodromy reducibility of \?-hypergeometric systems, Math. Ann. 338 (2007), no. 1, 55 – 74. · Zbl 1126.33006 · doi:10.1007/s00208-006-0067-x |
| [66] | Laurent Bonavero and Michel Brion , Geometry of toric varieties, Séminaires et Congrès [Seminars and Congresses], vol. 6, Société Mathématique de France, Paris, 2002. Lectures from the Summer School held in Grenoble, June 19 – July 7, 2000. · Zbl 1005.00028 |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
