Logarithmic Gromov-Witten invariants.(English)Zbl 1281.14044
The paper under review develops the Gromov-Witten theory of logarithmically smooth schemes that occurs in the situations such as non-singular projective varieties containing a normal crossing divisor, semistable degenerations, toroidal pairs etc. The decomposition formula for the ordinary algebraic Gromov-Witten theory was developed by Jun Li using the stacks of expanded degeneration, in which the Gromov-Witten invariants of a target variety is expressed in terms of the relative Gromov-Witten invariants under its semistable degeneration into two components intersecting along a smooth divisor. Using the techniques of this paper this degeneration formula can be recovered and generalized (to the case of normal crossing divisors).
One of the key ingredients of the paper under review is the notion of basic stable log maps replacing the notion of stable maps in the ordinary Gromov-Witten theory. Let \(S\) be a fixed fine saturated log scheme. Another main ingredient is the relation to tropical geometry which gives a way to visualize the stable log maps by the families of tropical curves with values in a piecewise topological space naturally associated to \(X\). The three main results of the paper are as follows:
1) Let \(X\) be a fixed fine saturated log scheme over \(S\). Then the stack \(\mathcal{M}(X/S)\) of basic stable log maps to \(X\) over \(S\) is an algebraic log stack locally of finite type over \(S\), and the forgetful morphism \(\mathcal{M}(X/S)\to M(X/S)\) to the stack of ordinary stable maps is representable.
2) If the morphism between the underlying schemes of \(X\) and \(S\) is projective and \(\beta\) is the degree of the stable log maps satisfying certain finiteness property then \(\mathcal{M}(X/S,\beta)\) is proper over the underlying scheme of \(S\).
3) If furthermore \(X\) is smooth over \(S\) then there exists a virtual fundamental class \([[\mathcal{M}(X/S,\beta)]]\) that gives the corresponding log Gromov-Witten invariants with the expected properties.
The proofs use Olsson’s algebraic stack of fine log schemes, stable reduction, and Olsson’s log cotangent complex. At the end, the paper under review studies the relation to the approach of expanded degenerations.
One of the key ingredients of the paper under review is the notion of basic stable log maps replacing the notion of stable maps in the ordinary Gromov-Witten theory. Let \(S\) be a fixed fine saturated log scheme. Another main ingredient is the relation to tropical geometry which gives a way to visualize the stable log maps by the families of tropical curves with values in a piecewise topological space naturally associated to \(X\). The three main results of the paper are as follows:
1) Let \(X\) be a fixed fine saturated log scheme over \(S\). Then the stack \(\mathcal{M}(X/S)\) of basic stable log maps to \(X\) over \(S\) is an algebraic log stack locally of finite type over \(S\), and the forgetful morphism \(\mathcal{M}(X/S)\to M(X/S)\) to the stack of ordinary stable maps is representable.
2) If the morphism between the underlying schemes of \(X\) and \(S\) is projective and \(\beta\) is the degree of the stable log maps satisfying certain finiteness property then \(\mathcal{M}(X/S,\beta)\) is proper over the underlying scheme of \(S\).
3) If furthermore \(X\) is smooth over \(S\) then there exists a virtual fundamental class \([[\mathcal{M}(X/S,\beta)]]\) that gives the corresponding log Gromov-Witten invariants with the expected properties.
The proofs use Olsson’s algebraic stack of fine log schemes, stable reduction, and Olsson’s log cotangent complex. At the end, the paper under review studies the relation to the approach of expanded degenerations.
Reviewer: Amin Gholampour (College Park)
MSC:
| 14N35 | Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) |
| 14D20 | Algebraic moduli problems, moduli of vector bundles |
Cite
References:
| [1] | D. Abramovich, Q. Chen: Stable logarithmic maps to Deligne-Faltings pairs II, preprint arXiv:1102.4531 [math.AG], 19pp. |
| [2] | D. Abramovich, Q. Chen, W.D. Gillam, S. Marcus: The evaluation space of logarithmic stable maps, preprint arXiv:1012.5416 [math.AG], 19pp. |
| [3] | D. Abramovich, S. Marcus, J. Wise: Comparison theorems for Gromov-Witten invariants of smooth pairs and of degenerations, preprint arXiv:1207.2085 [math.AG], 43pp. ·Zbl 1317.14123 |
| [4] | M. Artin, Versal deformations and algebraic stacks, Invent. Math. 27 (1974), 165 – 189. ·Zbl 0317.14001 ·doi:10.1007/BF01390174 |
| [5] | K. Behrend, Gromov-Witten invariants in algebraic geometry, Invent. Math. 127 (1997), no. 3, 601 – 617. ·Zbl 0909.14007 ·doi:10.1007/s002220050132 |
| [6] | K. Behrend and B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), no. 1, 45 – 88. ·Zbl 0909.14006 ·doi:10.1007/s002220050136 |
| [7] | K. Behrend and Yu. Manin, Stacks of stable maps and Gromov-Witten invariants, Duke Math. J. 85 (1996), no. 1, 1 – 60. ·Zbl 0872.14019 ·doi:10.1215/S0012-7094-96-08501-4 |
| [8] | Q. Chen: Stable logarithmic maps to Deligne-Faltings pairs I, preprint arXiv:1008.3090 [math.AG], 48pp. ·Zbl 1311.14028 |
| [9] | P. Deligne and D. Mumford, The irreducibility of the space of curves of given genus, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 75 – 109. ·Zbl 0181.48803 |
| [10] | W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology, Algebraic geometry — Santa Cruz 1995, Proc. Sympos. Pure Math., vol. 62, Amer. Math. Soc., Providence, RI, 1997, pp. 45 – 96. ·Zbl 0898.14018 ·doi:10.1090/pspum/062.2/1492534 |
| [11] | Andreas Gathmann, Absolute and relative Gromov-Witten invariants of very ample hypersurfaces, Duke Math. J. 115 (2002), no. 2, 171 – 203. ·Zbl 1042.14032 ·doi:10.1215/S0012-7094-02-11521-X |
| [12] | Mark Gross, The Strominger-Yau-Zaslow conjecture: from torus fibrations to degenerations, Algebraic geometry — Seattle 2005. Part 1, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 149 – 192. ·Zbl 1173.14031 ·doi:10.1090/pspum/080.1/2483935 |
| [13] | Alexander Grothendieck, Techniques de construction et théorèmes d’existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki, Vol. 6, Soc. Math. France, Paris, 1995, pp. Exp. No. 221, 249 – 276 (French). |
| [14] | Luc Illusie, Complexe cotangent et déformations. I, Lecture Notes in Mathematics, Vol. 239, Springer-Verlag, Berlin-New York, 1971 (French). Luc Illusie, Complexe cotangent et déformations. II, Lecture Notes in Mathematics, Vol. 283, Springer-Verlag, Berlin-New York, 1972 (French). |
| [15] | Eleny-Nicoleta Ionel and Thomas H. Parker, Relative Gromov-Witten invariants, Ann. of Math. (2) 157 (2003), no. 1, 45 – 96. ·Zbl 1039.53101 ·doi:10.4007/annals.2003.157.45 |
| [16] | Fumiharu Kato, Log smooth deformation and moduli of log smooth curves, Internat. J. Math. 11 (2000), no. 2, 215 – 232. ·Zbl 1100.14502 ·doi:10.1142/S0129167X0000012X |
| [17] | Kazuya Kato, Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp. 191 – 224. ·Zbl 0776.14004 |
| [18] | Bumsig Kim, Logarithmic stable maps, New developments in algebraic geometry, integrable systems and mirror symmetry (RIMS, Kyoto, 2008) Adv. Stud. Pure Math., vol. 59, Math. Soc. Japan, Tokyo, 2010, pp. 167 – 200. ·Zbl 1216.14023 |
| [19] | Finn F. Knudsen, The projectivity of the moduli space of stable curves. II. The stacks \?_{\?,\?}, Math. Scand. 52 (1983), no. 2, 161 – 199. , https://doi.org/10.7146/math.scand.a-12001 Finn F. Knudsen, The projectivity of the moduli space of stable curves. III. The line bundles on \?_{\?,\?}, and a proof of the projectivity of \overline\?_{\?,\?} in characteristic 0, Math. Scand. 52 (1983), no. 2, 200 – 212. ·Zbl 0544.14021 ·doi:10.7146/math.scand.a-12002 |
| [20] | Donald Knutson, Algebraic spaces, Lecture Notes in Mathematics, Vol. 203, Springer-Verlag, Berlin-New York, 1971. ·Zbl 0221.14001 |
| [21] | Andrew Kresch, Cycle groups for Artin stacks, Invent. Math. 138 (1999), no. 3, 495 – 536. ·Zbl 0938.14003 ·doi:10.1007/s002220050351 |
| [22] | Gérard Laumon and Laurent Moret-Bailly, Champs algébriques, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 39, Springer-Verlag, Berlin, 2000 (French). ·Zbl 0945.14005 |
| [23] | An-Min Li and Yongbin Ruan, Symplectic surgery and Gromov-Witten invariants of Calabi-Yau 3-folds, Invent. Math. 145 (2001), no. 1, 151 – 218. ·Zbl 1062.53073 ·doi:10.1007/s002220100146 |
| [24] | Jun Li, Stable morphisms to singular schemes and relative stable morphisms, J. Differential Geom. 57 (2001), no. 3, 509 – 578. ·Zbl 1076.14540 |
| [25] | Jun Li, A degeneration formula of GW-invariants, J. Differential Geom. 60 (2002), no. 2, 199 – 293. ·Zbl 1063.14069 |
| [26] | Jun Li and Gang Tian, Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties, J. Amer. Math. Soc. 11 (1998), no. 1, 119 – 174. ·Zbl 0912.14004 |
| [27] | Takeo Nishinou and Bernd Siebert, Toric degenerations of toric varieties and tropical curves, Duke Math. J. 135 (2006), no. 1, 1 – 51. ·Zbl 1105.14073 ·doi:10.1215/S0012-7094-06-13511-1 |
| [28] | Nitin Nitsure, Construction of Hilbert and Quot schemes, Fundamental algebraic geometry, Math. Surveys Monogr., vol. 123, Amer. Math. Soc., Providence, RI, 2005, pp. 105 – 137. |
| [29] | A. Ogus: Lectures on logarithmic algebraic geometry. TeXed notes (2006). |
| [30] | Martin Christian Olsson, Log algebraic stacks and moduli of log schemes, ProQuest LLC, Ann Arbor, MI, 2001. Thesis (Ph.D.) – University of California, Berkeley. |
| [31] | Martin C. Olsson, Logarithmic geometry and algebraic stacks, Ann. Sci. École Norm. Sup. (4) 36 (2003), no. 5, 747 – 791 (English, with English and French summaries). ·Zbl 1069.14022 ·doi:10.1016/j.ansens.2002.11.001 |
| [32] | Martin C. Olsson, The logarithmic cotangent complex, Math. Ann. 333 (2005), no. 4, 859 – 931. ·Zbl 1095.14016 ·doi:10.1007/s00208-005-0707-6 |
| [33] | Martin C. Olsson, Deformation theory of representable morphisms of algebraic stacks, Math. Z. 253 (2006), no. 1, 25 – 62. ·Zbl 1096.14007 ·doi:10.1007/s00209-005-0875-9 |
| [34] | Brett Parker, Exploded manifolds, Adv. Math. 229 (2012), no. 6, 3256 – 3319. ·Zbl 1276.53092 ·doi:10.1016/j.aim.2012.02.005 |
| [35] | Revêtements étales et groupe fondamental, Lecture Notes in Mathematics, Vol. 224, Springer-Verlag, Berlin-New York, 1971 (French). Séminaire de Géométrie Algébrique du Bois Marie 1960 – 1961 (SGA 1); Dirigé par Alexandre Grothendieck. Augmenté de deux exposés de M. Raynaud. |
| [36] | Bernd Siebert, Virtual fundamental classes, global normal cones and Fulton’s canonical classes, Frobenius manifolds, Aspects Math., E36, Friedr. Vieweg, Wiesbaden, 2004, pp. 341 – 358. ·Zbl 1083.14066 |
| [37] | B. Siebert: Gromov-Witten invariants in relative and singular cases, Lecture given at the workshop “Algebraic aspects of mirror symmetry”, Univ. Kaiserslautern, Germany, June 2001. |
| [38] | B. Siebert: Obstruction theories revisited, manuscript 2002. |
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.
