Relations in the tautological ring

Abstract

These notes cover our series of three lectures at Humboldt University in Berlin for the October 2010 conference "Intersection theory on moduli space" (organized by G. Farkas). The topic concerns relations among the kappa classes in the tautological ring of the moduli space of genus g curves. After a discussion of classical constructions in Wick form, we derive an explicit set of relations obtained from the virtual geometry of the moduli space of stable quotients. In a series of steps, the stable quotient relations are transformed to simpler and simpler forms. Our final result establishes a previously conjectural set of tautological relations proposed a decade ago by Faber-Zagier. The Faber-Zagier relations are defined using g and a single series in one variable with coefficients (6i)!/(3i)!(2i)!. Whether these relations span the complete set of relations among the kappa classes on the moduli space of genus g curves is an interesting question.

27 pages

References in corpus (2)

• The moduli space of stable quotients
• The kappa ring of the moduli of curves of compact type: II

Cited by in corpus (17)

• 13/2 ways of counting curves
• The Gorenstein conjecture fails for the tautological ring of ${\bar{\mathcal{M}}}_{2,n}$
• Relations in the tautological ring of the moduli space of curves
• Conjectural relations in the tautological ring of ${\bar{M}}_{g,n}$
• Tautological and non-tautological cohomology of the moduli space of curves
• Tautological relations in moduli spaces of weighted pointed curves
• Computing top intersections in the tautological ring of $M_g$
• Comparing tautological relations from the equivariant Gromov-Witten theory of projective spaces and spin structures
• On the tautological rings of M_{g, 1} and its universal Jacobian
• The kappa classes on the moduli spaces of curves
• Canonical metric on the space of symplectic invariant tensors and its applications
• The Geometry of Stable Quotients in Genus One
• Cycles on curves and Jacobians: a tale of two tautological rings
• Tautological classes with twisted coefficients
• Relations on Mbar_{g,n} via orbifold stable maps
• On the tautological ring of $M_{g,n}$
• Relations in the Tautological Ring of the Universal Curve