A non-vanishing result for the tautological ring of {\cal M}_g

Abstract

Looijenga recently proved that the tautological ring of M_g vanishes in degree d>g-2 and is at most one-dimensional in degree g-2, generated by the class of the hyperelliptic locus. Here we show that K_{g-2} is non-zero on M_g. The proof uses the Witten conjecture, proven by Kontsevich. With similar methods, we expect to be able to prove some (possibly all) of the identities in degree g-2 in the tautological ring that are part of the author's conjectural explicit description of the ring.

Cited by in corpus (12)

• Virasoro constraints and the Chern classes of the Hodge bundle
• Hodge integrals and degenerate contributions
• The Hurwitz Enumeration Problem of Branched Covers and Hodge Integrals
• The class of the locus of intermediate Jacobians of cubic threefolds
• Structure of the mapping class groups of surfaces: a survey and a prospect
• Cohomology of moduli spaces
• On the tautological rings of M_{g, 1} and its universal Jacobian
• Poincaré duality of wonderful compactifications and tautological rings
• Tautological classes with twisted coefficients
• Cycles on curves and Jacobians: a tale of two tautological rings
• Lower Bounds for Enumerative Counts of Positive-Genus Real Curves
• Relations in the Tautological Ring of the Universal Curve