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.

Multiplicativity of the double ramification cycle

Logarithmic double ramification cycles

Polynomiality of the double ramification cycle

Double ramification cycles within degeneracy loci via moduli of roots

Compactified universal jacobian and the double ramification cycle

Extending the Double Ramification Cycle using Jacobians

Relative cycles with moduli and regulator maps

Characteristic cycle of a rank one sheaf and ramification theory

Rooted trees with level structures, $Ω$-classes and double ramification cycles

Zero cycles with modulus and zero cycles on singular varieties

Algebraic cycles and Gushel-Mukai fivefolds

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

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

Hodge cycles for cubic hypersurfaces

Tautological relations and integrable systems

Infinitesimal dilogarithm on curves over truncated polynomial rings

Semi-continuity of Conductors, and Ramification Bound of Nearby Cycles

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

Twisted triple product root numbers and a cycle of Darmon-Rotger

Additive cycle complex and coherent duality

Duality for Hodge-Witt cohomology with modulus