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.

Étale tame vanishing cycles over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$

On the stability of vanishing cycles of étale sheaves in positive characteristic

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

Cycle caractéristique sur une puissance symétrique d'une courbe et déterminant de la cohomologie étale

Characteristic Cycle and Wild Ramification for Nearby Cycles of Étale Sheaves

Étale cohomology of algebraizable rigid analytic varieties via nearby cycles over general bases

$p$-adic tame Tate twists

Étale degree map and 0-cycles

Descent and étale-Brauer obstructions for 0-cycles

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

Motivic cohomology of equicharacteristic schemes

Étale motives of geometric origin

Tautological projection for cycles on the moduli space of abelian varieties

Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves

Grothendieck Galois theory and étale exodromy

Noether-Lefschetz cycles on the moduli space of abelian varieties

Algebraic Cobordism and Étale Cohomology

Heights and periods of algebraic cycles in families

Non-tautological cycles on moduli spaces of smooth pointed curves

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

Malcev Completions, Hodge Theory, and Motives