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.

Two Cycle Class Maps on Torsion Cycles

On tropical cycle class maps

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

On the injectivity and non-injectivity of the $l$-adic cycle class maps

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Tautological projection for cycles on the moduli space of abelian varieties

Sur l'injectivité de l'application cycle de Jannsen

$d$-elliptic loci and the Torelli map

Noether-Lefschetz cycles on the moduli space of abelian varieties

Étale degree map and 0-cycles

Torsion phenomena for zero-cycles on a product of curves over a number field

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

Algebraic cycles and the classical groups II: Quaternionic cycles

A few computations about the real cycle class map in low dimensions

The Gersten conjecture for $p$-adic étale Tate twists and the $p$-adic cycle class map

Non-torsion algebraic cycles on the Jacobians of Fermat quotients

Non-tautological cycles on moduli spaces of smooth pointed curves

Zero cycles with modulus and zero cycles on singular varieties

Algebraic cycles on hyper-Kähler varieties of generalized Kummer type

The Generalized Hodge conjecture for 1-cycles and codimension two algebraic cycles

On analogues of the Kato conjectures and proper base change for $1$-cycles on rationally connected varieties