Algebraic homomorphism conjecture for the tautological projection on the moduli of abelian varieties

Let d53cgd53c_g be the moduli space of principally polarized abelian varieties of dimension gg, and let d53c(d53cg)d53c^*(d53c_g) be its Chow ring. The homomorphism property means that the tautological projection preserves products of classes in this Chow ring.

Algebraic homomorphism conjecture. The homomorphism property holds for all classes d6fc,d6fdCH(Ag)d6fc,d6fd\in\mathsf{CH}^*(\mathcal{A}_g) defined over d53ed53e.

This is a weakening of the strong form, motivated by characteristic-pp compact subvarieties of the correct codimension. It remains open.

Sources & referencesView supporting material

Primary source

Samir Canning, Lycka Drakengren, Jeremy Feusi, Daniel Holmes, Aitor Iribar López, Denis Nesterov, Dragos Oprea, Rahul Pandharipande, Johannes Schmitt and Zheming Sun, “Torelli loci, product cycles, and the homomorphism conjecture for A_g”, arXiv:2601.04353 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.