Cycles representing the top Chern class of the Hodge bundle on the moduli space of abelian varieties (Q2566608)

Let \({\mathcal A}_g\) be the moduli stack of principally polarized abelian verieties of dimension \(g\) over \(\mathbb{Z}\) and let \({\mathcal A}_g'\) be its partial compactification of rank-1 degenerations, parametrizing semiabelian varieties with torus rank \(\leq 1\). It is a canonical partial compactification. Let \(\lambda_g\) denote the top Chern class of the Hodge bundle and \(\delta_g\) the class of the irreducible closed locus in \({\mathcal A}_g'\) parametrising semiabelian varieties of torus rank 1, both considered as classes in the Chow group \(\text{CH}^g_{\mathbb{Q}}({\mathcal A}_g'\otimes k)\) with rational coefficients of codimension \(g\) cycles in \({\mathcal A}_g'\) for any field \(k\). The main result of the paper is a proof of the relation \(\lambda_g= (-1)^g\zeta(1- 2g)\delta_g\), valid in \(\text{CH}^g_{\mathbb{Q}}({\mathcal A}_g'\otimes k)\), where \(\zeta\) is the Riemann zeta function. For \(g= 1\) the relation is equivalent to the well-known fact that there exists a cusp form of weight 12 on \(\text{SL}(2,\mathbb{Z})\) with a simple zero at the cusp and no other zero in the upper half plane. In the last section the authors introduce the tautological module, which by definition is the push down of the tautological ring to the Satake compactification of \({\mathcal A}_g\). It is only a subspace of the rational Chow homology group and not of the Chow cohomology ring. For some problems this is more natural than the tautological ring, since some natural classes have loci in different compactifications. Finally some examples are given, showing how to express the classes of natural loci as elements of the tautological module.