The moduli spaces of polarized abelian varieties (Q1318019)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The moduli spaces of polarized abelian varieties
scientific article

    Statements

    The moduli spaces of polarized abelian varieties (English)
    0 references
    0 references
    24 April 1994
    0 references
    In this article we study the moduli spaces \({\mathcal A}_{g,d}\) over \(\text{Spec} (\mathbb{Z})\) parametrizing abelian varieties of dimension \(g\) with a polarization of degree \(d^2\). We use the language of algebraic stacks. -- Although these moduli spaces are in a sense the most basic moduli spaces of abelian varieties not much seems to be known about their local and global structure. \textit{D. Mumford}, in Actes Congr. internat. Math. 1970, Vol. 1, 457-465 (1971; Zbl 0222.14023), determined the components of \({\mathcal A}_{g,d}\) using the spaces \({\mathcal A}_{g, \delta}\) parametrizing the polarized abelian varieties with a fixed sequence of ``elementary divisors'' \(\delta=(\delta_1, \dots, \delta_g)\) of positive integers \(\delta_1 |\delta_2 \dots |\delta_g\) such that \(\prod^g_{i=1} \delta_i=d\) associated to the polarization. \textit{S. E. Crick} jun. [Am. J. Math. 97, 851-861 (1975; Zbl 0321.14020)] determined the local structure of \({\mathcal A}_{g,d}\) at a point of \({\mathcal A}_{g, \delta}\). Finally, \textit{P. Norman} and \textit{F. Oort} [Ann. Math., II. Ser. 112, 413-439 (1980; Zbl 0483.14010)]\ studied the stratification by \(p\)-rank \({\mathcal V}_0 \subset {\mathcal V}_1 \subset \cdots \subset {\mathcal V}_{g-1} \subset {\mathcal V}_g={\mathcal A}_{g,d} \otimes \mathbb{F}_p\); it is shown there that the dimension of \({\mathcal V}_{g-i}\) is equal to \({1 \over 2} g(g+1)-i\). In section 1 we (re)define the locally closed substacks \({\mathcal A}_{g,\delta} \subset {\mathcal A}_{g,d}\) whose closures are the components of \({\mathcal A}_{g,d}\). We prove that all geometric fibres of the morphisms \({\mathcal A}_{g, \delta} \to \text{Spec} (\mathbb{Z})\) are irreducible; this answers a question of Mumford (loc. cit.). It follows that the closures of \({\mathcal A}_{g, \delta} \otimes \overline \mathbb{F}_p \) are the irreducible components of \({\mathcal A}_{g,d} \otimes \overline \mathbb{F}_p\). -- In section 2 we determine how the fibres of the components of \({\mathcal A}_{g,d}\) over the finite primes split up into irreducible components. -- In section 3 we continue the study of the stratification by \(p\)-rank of \({\mathcal A}_{g,d} \otimes \overline \mathbb{F}_p\) which was started by P. Norman and F. Oort (loc. cit.).
    0 references
    0 references
    \(p\)-rank
    0 references
    algebraic stacks
    0 references
    moduli spaces of abelian varieties
    0 references
    dimension
    0 references
    0 references
    0 references