Abstract:The tautological Chow ring of the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$ was defined and calculated by van der Geer in 1999. By studying the Torelli pullback of algebraic cycles classes from $\mathcal{A}_g$ to the moduli space $\mathcal{M}_g^{\mathrm{ct}}$ of genus $g$ of curves of compact type, we prove that the product class $[\mathcal{A}_1\times \mathcal{A}_5]\in \mathsf{CH}^{5}(\mathcal{A}_6)$ is non-tautological, the first construction of an interesting non-tautological algebraic class on the moduli spaces of abelian varieties. For our proof, we use the complete description of the the tautological ring $\mathsf{R}^*(\mathcal{M}_6^{\mathrm{ct}})$ in genus 6 conjectured by Pixton and recently proven by Canning-Larson-Schmitt. The tautological ring $\mathsf{R}^*(\mathcal{M}_6^{\mathrm{ct}})$ has a 1-dimensional Gorenstein kernel, which is geometrically explained by the Torelli pullback of $[\mathcal{A}_1\times \mathcal{A}_5]$. More generally, the Torelli pullback of the difference between $[\mathcal{A}_1\times \mathcal{A}_{g-1}]$ and its tautological projection always lies in the Gorenstein kernel of $\mathsf{R}^*(\mathcal{M}_g^{\mathrm{ct}})$. The product map $\mathcal{A}_1\times \mathcal{A}_{g-1}\rightarrow \mathcal{A}_g$ is a Noether-Lefschetz locus with general Neron-Severi rank 2. A natural extension of van der Geer's tautological ring is obtained by including more general Noether-Lefschetz loci. Results and conjectures related to cycle classes of Noether-Lefschetz loci for all $g$ are presented.

On the Chow and cohomology rings of moduli spaces of stable curves

The Chow rings of the moduli spaces of curves of genus 7, 8, and 9

Tautological and non-tautological cycles on the moduli space of abelian varieties

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

Holomorphic forms and non-tautological cycles on moduli spaces of curves

The eleventh cohomology group of $\bar{\mathcal{M}}_{g,n}$

Non-tautological cycles on moduli spaces of smooth pointed curves

The Chow ring of the universal Picard stack over the hyperelliptic locus

Logarithmic tautological rings of the moduli spaces of curves

The Chow ring of the moduli space of degree $2$ quasi-polarized K3 surfaces

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Chow ring of the stack of plane nodal curves

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

On Chow Rings of Quiver Moduli

On the Tautological Ring of ℳg

The Integral Chow Ring of the Stack of Pointed Hyperelliptic Curves

Cohomology of Moduli Space of Multiscale Differentials in Genus 0

Real moduli space of stable rational curves revised

Moduli spaces of curves with polynomial point counts