The equivariant Euler characteristic of \(\mathcal{A}_3[2]\). (English) Zbl 1483.14081
Let \(\mathcal{A}_3[2]\) denote the coarse moduli space of principally polarized abelian varieties of dimension \(3\) together with a full level \(2\) structure. There is an action of \(\mathrm{Sp}_2(6)\), the symplectic group of degree \(6\) over the field of two elements, on \(\mathcal{A}_3[2]\), by acting on the level \(2\) structure.
In this paper, the authors compute the weighted Euler characteristic of \(\mathcal{A}_3[2]\), equivariant with respect to the action of \(\mathrm{Sp}_2(6)\). They first stratify \(\mathcal{A}_3[2]\) into three pieces \[ \mathcal{A}_3[2]=\mathcal{A}_3^{\mathrm{in}}[2]\sqcup \mathcal{A}_{2,1}[2] \sqcup \mathcal{A}_{1,1,1}[2] \] where the three strata represents the moduli space of respectively, indecomposable abelian \(3\)-folds, products of an indecomposable abelian \(2\)-fold with an elliptic curve, and products of three elliptic curves.
The weighted Euler characteristic for \(\mathcal{A}_3^{\mathrm{in}}[2]\) was computed by the second author. Their main work is computing the weighted Euler characteristic of the last two pieces \(\mathcal{A}_{2,1}[2]\) and \(\mathcal{A}_{1,1,1}[2]\), in section \(5\) and \(6\). They then combine the results to give the weighted Euler characteristic of \(\mathcal{A}_3[2]\) in section \(4\).
In this paper, the authors compute the weighted Euler characteristic of \(\mathcal{A}_3[2]\), equivariant with respect to the action of \(\mathrm{Sp}_2(6)\). They first stratify \(\mathcal{A}_3[2]\) into three pieces \[ \mathcal{A}_3[2]=\mathcal{A}_3^{\mathrm{in}}[2]\sqcup \mathcal{A}_{2,1}[2] \sqcup \mathcal{A}_{1,1,1}[2] \] where the three strata represents the moduli space of respectively, indecomposable abelian \(3\)-folds, products of an indecomposable abelian \(2\)-fold with an elliptic curve, and products of three elliptic curves.
The weighted Euler characteristic for \(\mathcal{A}_3^{\mathrm{in}}[2]\) was computed by the second author. Their main work is computing the weighted Euler characteristic of the last two pieces \(\mathcal{A}_{2,1}[2]\) and \(\mathcal{A}_{1,1,1}[2]\), in section \(5\) and \(6\). They then combine the results to give the weighted Euler characteristic of \(\mathcal{A}_3[2]\) in section \(4\).
Reviewer: Tangli Ge (Providence)
MSC:
14K10 | Algebraic moduli of abelian varieties, classification |
14H10 | Families, moduli of curves (algebraic) |
14D22 | Fine and coarse moduli spaces |
14F20 | Étale and other Grothendieck topologies and (co)homologies |
14F40 | de Rham cohomology and algebraic geometry |