## The structure of the tautological ring in genus one.(English)Zbl 1291.14045

Let $$\overline{\mathcal M}_{g,n}$$ be the moduli space of stable genus $$g$$ curves with $$n$$ ordered marked points. The main results of this paper show that for $$g=1$$ the even-dimensional cohomology of $$\overline{\mathcal M}_{1,n}$$ is generated additively by the classes of the boundary strata, and moreover all relations among these generators are given by the WDVV equation and E. Getzler’s relation [J. Am. Math. Soc. 10, No. 4, 973–998 (1997; Zbl 0909.14002)] (The results were announced previously in [loc. cit.] without proof). As a corollary, the tautological ring of $$\overline{\mathcal M}_{1,n}$$ is isomorphic to its even cohomology and it is Gorenstein. The main tools in the proof are Deligne’s mixed Hodge theory and Eichler-Shimura theory for local systems.

### MSC:

 14H10 Families, moduli of curves (algebraic) 14D21 Applications of vector bundles and moduli spaces in mathematical physics (twistor theory, instantons, quantum field theory)

### Keywords:

moduli space of curves; tautological ring; cohomology ring

Zbl 0909.14002
Full Text:

### References:

 [1] D. Arapura, The Leray spectral sequence is motivic , Invent. Math. 160 (2005), 567-589. · Zbl 1083.14011 [2] P. Belorousski, Chow rings of moduli spaces of pointed elliptic curves , PhD thesis, University of Chicago, Chicago, 1998. [3] M. Bendersky and S. Gitler, The cohomology of certain function spaces , Trans. Amer. Math. Soc. 326 (1991), 423-440. · Zbl 0738.54007 [4] E. Brieskorn, “Sur les groupes de tresses [d’après V. I. Arnol’d]” in Séminaire Bourbaki, 24ème année (1971/1972) , exp. no. 401, Lecture Notes in Math. 317 , Springer, Berlin, 1973, 21-44. [5] T. Church, Homological stability for configuration spaces of manifolds , Invent. Math. 188 (2012), 465-504. · Zbl 1244.55012 [6] F. R. Cohen and L. R. Taylor, “Computations of Gel’fand-Fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces” in Geometric Applications of Homotopy Theory (Evanston, Ill., 1977), I , Lecture Notes in Math. 657 , Springer, Berlin, 1978, 106-143. · Zbl 0398.55004 [7] V. Dotsenko, S. Shadrin, and B. Vallette, Givental group action on topological field theories and homotopy Batalin-Vilkovisky algebras , Adv. Math. 236 (2013), 224-256. · Zbl 1294.14019 [8] B. Dubrovin and Y. Zhang, Bi-Hamiltonian hierarchies in $$2\mathrm{D}$$ topological field theory at one-loop approximation , Comm. Math. Phys. 198 (1998), 311-361. · Zbl 0923.58060 [9] B. Dubrovin and Y. Zhang, Frobenius manifolds and Virasoro constraints , Selecta Math. (N.S.) 5 (1999), 423-466. · Zbl 0963.81066 [10] C. Faber, “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, 1999, 109-129. · Zbl 0978.14029 [11] C. Faber and R. Pandharipande, Relative maps and tautological classes , J. Eur. Math. Soc. 7 (2005), 13-49. · Zbl 1084.14054 [12] W. Fulton and J. Harris, Representation Theory: A First Course , Graduate Texts in Math. 129 , Springer, New York, 1991. · Zbl 0744.22001 [13] E. Getzler, “Operads and moduli spaces of genus $$0$$ Riemann surfaces” in The Moduli Space of Curves (Texel Island, 1994) , Progr. Math. 129 , Birkhäuser, Boston, 1995, 199-230. · Zbl 0851.18005 [14] Ezra Getzler, Intersection theory on $$\overline{\mathscr{M}}_{1,4}$$ and elliptic Gromov-Witten invariants , J. Amer. Math. Soc. 10 (1997), 973-998. · Zbl 0909.14002 [15] Ezra Getzler, Resolving mixed Hodge modules on configuration spaces , Duke Math. J. 96 (1999), 175-203. · Zbl 0986.14005 [16] E. Getzler, The homology groups of some two-step nilpotent Lie algebras associated to symplectic vector spaces , preprint, [math.KT]. [17] A. Gorinov, Rational cohomology of the moduli spaces of pointed genus $$1$$ curves , preprint, [math.AG]. 1303.5693 · Zbl 0306.76052 [18] T. Graber and R. Pandharipande, Constructions of nontautological classes on moduli spaces of curves , Michigan Math. J. 51 (2003), 93-109. · Zbl 1079.14511 [19] S. Keel, Intersection theory of moduli space of stable $$n$$-pointed curves of genus zero , Trans. Amer. Math. Soc. 330 (1992), 545-574. · Zbl 0768.14002 [20] M. Kontsevich and Yu. I. Manin, Gromov-Witten classes, quantum cohomology, and enumerative geometry , Comm. Math. Phys. 164 (1994), 525-562. · Zbl 0853.14020 [21] Y.-P. Lee, Invariance of tautological equations, I: Conjectures and applications , J. Eur. Math. Soc. (JEMS) 10 (2008), 399-413. · Zbl 1170.14021 [22] D. Mumford, “Towards an enumerative geometry of the moduli space of curves” in Arithmetic and Geometry, Vol. II , Progr. Math. 36 (1983), Birkhäuser, Boston, 1983, 271-328. · Zbl 0554.14008 [23] N. Pagani, The Chen-Ruan cohomology of moduli of curves of genus 2 with marked points , Adv. Math. 229 (2012), 1643-1687. · Zbl 1236.14032 [24] R. Pandharipande, A geometric construction of Getzler’s elliptic relation , Math. Ann. 313 (1999), 715-729. · Zbl 0933.14035 [25] Rahul Pandharipande, “Three questions in Gromov-Witten theory” in Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) , Higher Ed. Press, Beijing, 2002, 503-512. · Zbl 1047.14043 [26] C. A. M. Peters and J. H. M. Steenbrink, Mixed Hodge Structures , Ergeb. Math. Grenzgeb. (3) 52 , Springer, Berlin, 2008. [27] M. Saito, Mixed Hodge modules , Publ. Res. Inst. Math. Sci. 26 (1990), 221-333. · Zbl 0727.14004 [28] B. Z. Shapiro, The mixed Hodge structure of the complement to an arbitrary arrangement of affine complex hyperplanes is pure , Proc. Amer. Math. Soc. 117 (1993), 931-933. · Zbl 0798.32029 [29] G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions , Publications of the Mathematical Society of Japan 11 , Iwanami Shoten, Tokyo, 1971. · Zbl 0221.10029 [30] B. Totaro, Configuration spaces of algebraic varieties , Topology 35 (1996), 1057-1067. · Zbl 0857.57025 [31] J.-L. Verdier, “Sur les intégrales attachées aux formes automorphes (d’après Goro Shimura)” in Séminaire Bourbaki, 13ième année, 1960/61: Textes des conférences, Exposés 205 à 222 , fasc. 2, exp. no. 216, Secrétariat mathématique, Paris, 1961. [32] S. Yang, Calculating intersection numbers on moduli spaces of pointed curves , preprint, [math.AG]. 0808.1974 [33] S. Zucker, Variation of mixed Hodge structure, II , Invent. Math. 80 (1985), 543-565. · Zbl 0615.14003
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.