## Duke Mathematical Journal

### Relative virtual localization and vanishing of tautological classes on moduli spaces of curves

#### Abstract

We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension $i$ tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least $i-g+1$ genus 0 components. As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Diaz, Faber, Getzler, Ionel, Looijenga, Pandharipande, and others). This theorem appears to be the geometric content behind these results; the rest is straightforward graph combinatorics. The theorem also suggests the importance of the stratification of the moduli space by the number of rational components.

#### Article information

Source
Duke Math. J. Volume 130, Number 1 (2005), 1-37.

Dates
First available in Project Euclid: 12 November 2005

http://projecteuclid.org/euclid.dmj/1131804018

Digital Object Identifier
doi:10.1215/S0012-7094-05-13011-3

Mathematical Reviews number (MathSciNet)
MR2176546

#### Citation

Graber, Tom; Vakil, Ravi. Relative virtual localization and vanishing of tautological classes on moduli spaces of curves. Duke Math. J. 130 (2005), no. 1, 1--37. doi:10.1215/S0012-7094-05-13011-3. http://projecteuclid.org/euclid.dmj/1131804018.

#### References

• E. Arbarello and M. D. T. Cornalba, The Picard groups of the moduli spaces of curves, Topology 26 (1987), 153--171. emindCited in apps of \thmstar \lremindacharer
• K. Behrend and B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), 45--88.
• L. Caporaso and J. Harris, Counting plane curves of any genus, Invent. Math. 131 (1998), 345--392. emindCited once in discussion of $Z_{\thin} \subset Z_{\thick}$
• M. D. T. Cornalba, On the projectivity of the moduli spaces of curves, J. Reine Angew. Math. 443 (1993), 11--20. emindCited in applications of \thmstar.
• S. Diaz, Complete subvarieties of the moduli space of smooth curves'' in Algebraic Geometry, Bowdoin, 1985, Part 1 (Brunswick, Maine, 1985), Proc. Sympos. Pure Math. 46, Amer. Math. Soc., Providence, 1987, 77--81. emindCited in Diaz discussion.
• \Hskip-2ptt. ekedahl, S. Lando, M. Shapiro, and A. Vainshtein, On Hurwitz numbers and Hodge integrals, C. R. Acad. Sci. Paris Sér. I Math. 328 (1999), 1175--1180. \lremindelsv1 emindCited in intro.
• —, Hurwitz numbers and intersections on moduli spaces of curves, Invent. Math. 146 (2001), 297--327. emindCited in intro. \lremindelsv2
• C. Faber, Chow rings of moduli spaces of curves, I: The Chow ring of $\cmbar_{\hbox{\scriptsize\rm 3}}$, Ann. of Math. (2) 132 (1990), 331--419. emindCited in low dimension discussion.
• —, Chow rings of moduli spaces of curves, II: Some results on the Chow ring of $\cmbar_{\hbox{\scriptsize\rm 4}}$, Ann. of Math. (2) 132 (1990), 421--449. emindCited in consequences in low dimension.
• —, A conjectural description of the tautological ring of the moduli space of curves'' in Moduli of Curves and Abelian Varieties, Aspects Math. E33, Vieweg, Braunschweig, Germany, 1999, 109--129. \lremindfconj emindCited in Poincare-duality speculations
• C. Faber and E. Looijenga, Remarks on moduli of curves'' in Moduli of Curves and Abelian Varieties, Aspects Math. E33, Vieweg, Braunschweig, Germany, 1999, 23--45. \lremindfl emindCited in Diaz discussion.
• C. Faber and R. Pandharipande, Logarithmic series and Hodge integrals in the tautological ring, Michigan Math. J. 48 (2000), 215--252. \lremindfpconj emindCited in PD discussion.
• —, Relative maps and tautological classes, J. Eur. Math. Soc., (JEMS) 7 (2005), 13--49. emindCited in intro.
• B. Fantechi and R. Pandharipande, Stable maps and branch divisors, Compositio Math. 130 (2002), 345--364. \lremindfnp emindCited in proof of \thmstar.
• W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology'' in Algebraic Geometry, Part 2 (Santa Cruz, Calif., 1995), Proc. Sympos. Pure Math. 62, Amer. Math. Soc., Providence, 1997, 45--96. emindCited in global equivariant embedding''
• A. Gathmann, Absolute and relative Gromov-Witten invariants of very ample hypersurfaces, Duke Math. J. 115 (2002), 171--203. emindCited in intro
• —, in preparation. emindCited just before ackno
• E. Getzler, Intersection theory on $\cmbar_{\hbox{\scriptsize {\rm 1,4}}}$ and elliptic Gromov-Witten invariants, J. Amer. Math. Soc. 10 (1997), 973--998. \lremindm14 emindCited in Low dimension''
• —, Topological recursion relations in genus $2$'' in Integrable Systems and Algebraic Geometry (Kobe/Kyoto, 1997), World Sci., River Edge, N.J., 1998, 73--106. emindCited in Getzler's conj discussion. \lremindgconj
• I. P. Goulden, D. M. Jackson, and R. Vakil, Faber's intersection number conjecture for a small number of points, in preparation.
• T. Graber and R. Pandharipande, Localization of virtual classes, Invent. Math. 135 (1999), 487--518. emindCited in Section \refrvl.
• —, Constructions of nontautological classes on moduli spaces of curves, Michigan Math. J. 51 (2003), 93--109. \lremindnontaut emindCited in tautological ring definition.
• T. Graber and R. Vakil, On the tautological ring of $\cmbar_{\hbox{\scriptsize g,n}}$, Turkish J. Math. 25 (2001), 237--243. \lremindsocle emindCited repeatedly, esp. in PD discussion.
• —, Hodge integrals and Hurwitz numbers via virtual localization, Compositio Math. 135 (2003), 25--36. \lremindgvelsv emindCited in intro.
• —, in preparation. \lremindgvlater emindCited in PD discussion.
• R. Hain and E. Looijenga, Mapping class groups and moduli spaces of curves'' in Algebraic Geometry, Part 2 (Santa Cruz, Calif., 1995), Proc. Sympos. Pure Math. 62, Amer. Math. Soc., Providence, 1997, 97--142. emindCited in PD discussion. \lremindhl
• J. Harris and I. Morrison, Moduli of Curves, Grad. Texts in Math. 187, Springer, New York, 1998. emindCited in PD discussion.
• E.-N. Ionel, Topological recursive relations in $H^{\hbox{\scriptsize {\rm 2}g}}({\mathcal{M}}_{\hbox{\scriptsize g,n}})$, Invent. Math. 148 (2002), 627--658. \lremindigetz emindCited in proof of \thmstar and applications
• E.-N. Ionel and T. H. Parker, Relative Gromov-Witten invariants, Ann. of Math. (2) 157 (2003), 45--96. emindCited in intro
• —, The symplectic sum formula for Gromov-Witten invariants, Ann. of Math. (2), 159 (2004), 935--1025. emindCited in intro
• E. Katz, A formalism for relative Gromov-Witten invarients, Ph.D. dissertation, Stanford University, Stanford, Calif., 2004. emindCited in discussion of RVL.
• S. Keel, Intersection theory of moduli space of stable $n$-pointed curves of genus zero, Trans. Amer. Math. Soc. 330 (1992), 545--574. emindCited in rt socle proof.
• A.-M. Li and Y. Ruan, Symplectic surgery and Gromov-Witten invariants of Calabi-Yau $3$-folds, Invent. Math. 145 (2001), 151--218. emindCited in intro
• J. Li, Stable morphisms to singular schemes and relative stable morphisms, J. Differential Geom. 57 (2001), 509--578. \lremindli1 emindCited everywhere.
• —, A degeneration formula of GW-invariants, J. Differential Geom. 60 (2002), 199--293. \lremindli2 emindCited everywhere.
• C.-C. M. Liu, K. Liu, and J. Zhou, A proof of a conjecture of Mariño-Vafa on Hodge integrals, J. Differential Geom. 65 (2003), 289--340. emindCited in intro.
• —, On a proof of a conjecture of Mariño-Vafa on Hodge integrals, Math. Res. Lett. 11 (2004), 259--279. emindCited in intro.
• E. Looijenga, On the tautological ring of $\cm_{\hbox{\scriptsize g}}$, Invent. Math. 121 (1995), 411--419. \lremindlthm emindCited in Diaz discussion.
• —, personal communication, 2001.
• D. Mumford, Towards an enumerative geometry of the moduli space of curves'' in Arithmetic and Geometry, Vol. 2, Prog. Math. 36, Birkhäuser, Boston, 1983, 271--328. \lremindm emindCited repeatedly.
• D. Mumford, J. Fogarty, and F. Kirwan, Geometric Invariant Theory, 3rd ed., Ergeb. Math. Grenzgeb. (2) 34, Springer, Berlin, 1994. \lremindgit emindCited in global equivariant embedding.
• A. Okounkov and R. Pandharipande, Virasoro constraints for target curves, to appear in Invent. Math., preprint.
• R. Pandharipande, Three questions in Gromov-Witten theory'' in Proceedings of the International Congress of Mathematicians, Vol. 2 (Beijing, 2002), Higher Ed. Press, Beijing, 2002, 503--512. \lremindicm emindCited in Poincare-duality speculations
• M. Polito, The fourth tautological group of $\overline{M}_{\hbox{\scriptsize{g,n}}}$ and relations with the cohomology, Atti Accad. Naz. Lincei. Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 14 (2003), 137--168. emindCited in low dimension discussion.
• R. Vakil, The enumerative geometry of rational and elliptic curves in projective space, J. Reine Angew. Math. 529 (2000), 101--153. emindCited once in discussion of $Z_{\thin} \subset Z_{\thick}$
• —, Genus $0$ and $1$ Hurwitz numbers: Recursions, formulas, and graph-theoretic interpretations, Trans. Amer. Math. Soc. 353 (2001), 4025--4038. emindCited once in discussion of $Z_{\thin} \subset Z_{\thick}$
• —, The moduli space of curves and its tautological ring, Notices Amer. Math. Soc. 50 (2003), 647--658. emindCited in intro.