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$.

Hochschild cohomology and support varieties for tame Hecke algebras

Support varieties and the Hochschild cohomology ring modulo nilpotence

On the First Hochschild Cohomology of Admissible Algebras

On the Hochschild cohomology ring of tensor products of algebras

Hecke algebras for tame supercuspidal types

The Hochschild cohomology ring of monomial algebras

Cohomology and support varieties for Lie superalgebras II

Bounds on cohomological support varieties

Projective Modules and Cohomology for Integral Basic Algebras

A comparison of Hochschild homology in algebraic and smooth settings

Hecke algebras for tame genuine principal series and local Shimura correspondence

A study of nil Hecke algebras via Hopf algebroids

Cohomological dimension of braided Hopf algebras

On the First Hochschild Cohomology of Cocommutative Hopf Algebras of Finite Representation Type

Nil-Hecke rings and the Schubert calculus

Hochschild and ordinary cohomology rings of small categories

Hochschild cohomology of the algebra of conformal endomorphisms

The cohomology of the nilCoxeter algebra

Self-injective algebras and the second Hochschild cohomology group

On the Hochschild Homology of Curved Algebras

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