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.

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

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

Curvatures of Moduli Space of Curves and Applications

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

On the Chow ring of the Hurwitz space of degree three covers of ${\bf P}^{1}$

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

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

The (almost) integral Chow ring of $\widetilde{\mathcal{M}}_3^7$

The integral Chow rings of moduli of Weierstrass fibrations

On Chow Rings of Quiver Moduli

Chow ring of the stack of plane nodal curves

The Integral Chow Ring of the Stack of Pointed Hyperelliptic Curves

Logarithmic tautological rings of the moduli spaces of curves

Moduli spaces of curves with polynomial point counts

Real moduli space of stable rational curves revised

The Chow Ring of the Hilbert Scheme of Rational Normal Curves

Chow ring of moduli spaces of quasi-polarised K3 surfaces in lower genus

Holomorphic vector fields and Chow groups

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

Wonderful compactifications and rational curves with cyclic action