Abstract:We study collections of subrings of $H^*(\overline{\mathcal{M}}_{g,n})$ that are closed under the tautological operations that map cohomology classes on moduli spaces of smaller dimension to those on moduli spaces of larger dimension and contain the tautological subrings. Such extensions of tautological rings are well-suited for inductive arguments and flexible enough for a wide range of applications. In particular, we confirm predictions of Chenevier and Lannes for the $\ell$-adic Galois representations and Hodge structures that appear in $H^k(\overline{\mathcal{M}}_{g,n})$ for $k = 13$, $14$, and $15$. We also show that $H^4(\overline{\mathcal{M}}_{g,n})$ is generated by tautological classes for all $g$ and $n$, confirming a prediction of Arbarello and Cornalba from the 1990s. In order to establish the final bases cases needed for the inductive proofs of our main results, we use Mukai's construction of canonically embedded pentagonal curves of genus 7 as linear sections of an orthogonal Grassmannian and a decomposition of the diagonal to show that the pure weight cohomology of $\mathcal{M}_{7,n}$ is generated by algebraic cycle classes, for $n \leq 3$.

Computing Top Intersections in the Tautological Ring of $${\Mathcal{m}_g}$$

Computing top intersections in the tautological ring of ℳ_g

Recursion Formulae of Higher Weil-Petersson Volumes

Recursions and Asymptotics of Intersection Numbers

Higher Weil-petersson Volumes and Tautological Constants

A Genus-3 Topological Recursion Relation

Topological Recursion Relations on $$\overline M _{3,2} $$

New Topological Recursion Relations

An effective recursion formula for computing intersection numbers

The tautological ring of $\overline{\mathcal{M}}_{g,n}$ is rarely Gorenstein

Descendent integrals and tautological rings of moduli spaces of curves

New Results of Intersection Numbers on Moduli Spaces of Curves

On the Tautological Ring of ℳg

Intersection Numbers and Automorphisms of Stable Curves

Global Topology of Hyperbolic Components: Cantor Circle Case

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

Cut-and-join operators for higher Weil-Petersson volumes

A Proof of the Faber Intersection Number Conjecture

Stable curves and chromatic polynomials

Intersections of $ω$ classes in $\overline{\mathcal{M}}_{g,n}$