zbMATH — the first resource for mathematics

Ordinariness in good reductions of Shimura varieties of PEL-type. (English) Zbl 0983.14024
Let \({\mathbf A}_{g,N}/ \mathbb{P}_p\) denote the moduli scheme of principally polarized Abelian varieties of a fixed dimension \(g\geq 1\), over a finite field, \(\mathbb{F}_p\), with level-\(N\)-structure, where \(N\geq 3\) is an integer prime to \(p\), and denote by \(\chi\to {\mathbf A}_{g,N}\) the universal family. It is a classical result (see below) that the ordinary locus in \({\mathbf A}_{g,N}\) (that is, the points \(s\in{\mathcal A}_{g,N}\) such that the \(p\)-divisible group of \(X_{\overline s}\) has slopes only in \(\{0,1\})\) is open and dense.
The fact that the ordinary locus is open follows from Grothendieck’s specialization theorem for crystals [A. Grothendieck, “Groupes de Barsotti-Tate et cristaux de Dieudonné” (Montréal 1974; Zbl 0331.14021)].
The fact that the ordinary locus is dense may be proved in three ways:
(a) by deformation theory applied to the stratification of \({\mathbf A}_{g,N}\) by the \(p\)-rank of \(\chi\) [N. Koblitz, Compos. Math. 31, 119-218 (1975; Zbl 0332.14008)];
(b) by constructing deformations explicitly [D. Mumford, Algebr. Geom., Bombay Colloq. 1968, 307-322 (1969; Zbl 0216.33101); P. Norman and F. Oort, Ann. Math. (2) 112, 413-439 (1980; Zbl 0483.14010)]; and
(c) by applying Zariski’s connectedness theorem to the construction of a smooth compactification of the moduli stack \({\mathbf A}_g\) over \(\mathbb{Z}\) of the principally polarized Abelian varieties [C.-L. Chai and G. Faltings, “Degeneration of abelian varieties” (1990; Zbl 0744.14031)].
In this paper, the author generalizes the ideas of the foregoing to the case of good reduction of Shimura varieties of PEL-type (see below). For such varieties it turns out that the reduction can be considered as a moduli space of Abelian varieties, with additional structures, and in that case a method based on the ideas of method (b) may be used. It is not in general true that the locus is dense when the underlying variety is ordinary.
The author states and proves his principal result in terms of the concept of a \(\mu\)-ordinary locus, which, in the Siegel case, reduces to the ordinary locus. The notion of \(\mu\)-ordinariness depends on that of Shimura varieties in relation to an underlying connected reductive group, \(G\), and on the notion of the Shimura field, \(E\), and its \(\nu\)-adic completions at the places \(\nu\) over primes \(p\); to each point of the Shimura variety over \(O_{E_\nu}\) there corresponds an Abelian variety with additional structure. If one takes the arithmetic mean \(\overline\mu\in\overline C\), for some closed Weyl chamber \(\overline C\), then the locus of points \(x\) such that \(\overline\nu(x) =\overline\mu\) is open and is the \(\mu\)-ordinary locus.
A PEL-datum is a collection of data, \(D\), related to an algebraic group \(G\) over \(\mathbb{Q}\), which is reducible and which is defined in terms of a certain finite dimensional semi-simple \(\mathbb{Q}\)-algebra, equipped with a positive involution, and a finitely generated \(B\)-module, \(V\), equipped with an alternating, non degenerate \(\mathbb{Q}\)-valued, skew-Hermitian pairing \(\langle\;,\;\rangle\). One now defines a moduli problem, which turns out to be representable by a moduli scheme \({\mathbf A}_D\) that is smooth over \(O_E\otimes \mathbb{Z}_{(p)}\) [R. E. Kottwitz, J. Am. Math. Soc., 5, 373-444, (1992; Zbl 0796.14014)]. In the case when \(G\) is connected, the generic field of \({\mathbf A}_D\) consists of isomorphic copies of the Shimura field and the generic fibre of \({\mathbf A}_D\) consists of isomorphic copies of the Shimura canonical model, \(Sh(G,h)_C\), over the Shimura field \(E\). Denote by \(\kappa\) the residue class field of the \(\nu\)-adic completion \(E_\nu\) of \(E\). The author’s main result is the density theorem:
The \(\mu\)-ordinary locus is open and dense in \({\mathbf A}_D\otimes \kappa(O_{E_\nu})\).
The paper contains a good account of the background and the necessary preliminaries (which the reviewer found particularly helpful) and then deals with the reduction to a deformation problem in four special cases and with the construction of deformations. The author then returns to the four special cases and completes the proof of the main theorem.

14K10 Algebraic moduli of abelian varieties, classification
14G35 Modular and Shimura varieties
11G18 Arithmetic aspects of modular and Shimura varieties
14D20 Algebraic moduli problems, moduli of vector bundles
Full Text: DOI Numdam EuDML
[1] BÜLTEL , On the mod-p reduction of ordinary CM-points , preprint Harvard, 1997 .
[2] C.-L. CHAI , G. FALTINGS , Degeneration of Abelian Varieties , Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Band 22, Springer, 1990 . MR 92d:14036 | Zbl 0744.14031 · Zbl 0744.14031
[3] V.G. DRINFIELD , Coverings of p-adic symmetric regions , Funct. Anal. and Appl. 10, 29-40, 1976 . Zbl 0346.14010 · Zbl 0346.14010
[4] A. GROTHENDIECK , Groupes de Barsotti-Tate et cristaux de Dieudonné , Presses de l’Université de Montréal, 1974 . MR 54 #5250 | Zbl 0331.14021 · Zbl 0331.14021
[5] L. ILLUSIE , Déformations de Groupes de Barsotti-Tate , in Séminaire sur les Pinceaux Arithmétiques : la conjecture de Mordell, Astérisque 127, 151-198, 1985 . MR 801922 · Zbl 1182.14050
[6] M.-A. KNUS , Quadratic and Hermitian Forms over Rings , Grundlehren der mathematischen Wissenschaft 294, Springer, 1991 . MR 92i:11039 | Zbl 0756.11008 · Zbl 0756.11008
[7] R. KOTTWITZ , Points on some Shimura varieties over finite fields , J. AMS 5, 373-444, 1992 . MR 93a:11053 | Zbl 0796.14014 · Zbl 0796.14014
[8] R. KOTTWITZ , Isocrystals with additional structure , Comp. math. 56, 201-220, 1985 . Numdam | MR 87i:14040 | Zbl 0597.20038 · Zbl 0597.20038
[9] R. KOTTWITZ , Isocrystals with additional structure II , preprint Chicago, 1995 . · Zbl 0966.20022
[10] R. KOTTWITZ , Shimura Varieties and Twisted Orbital Integrals , Math. Ann. 269, 287-300, 1984 . MR 87b:11047 | Zbl 0533.14009 · Zbl 0533.14009
[11] N. KOBLITZ , p-adic variation of the zeta function over families of varieties defined over finite fields , Comp. math. 31, 119-218, 1975 . Numdam | MR 54 #2658 | Zbl 0332.14008 · Zbl 0332.14008
[12] W. MESSING , The Crystals Associated to Barsotti-Tate Groups, with Applications to Abelian Schemes , Lecture Notes in Mathematics 264, Springer, 1972 . MR 50 #337 | Zbl 0243.14013 · Zbl 0243.14013
[13] D. MUMFORD , Bi-extensions of formal groups , Algebraic Geometry, Bombay Colloquium 1968 , 307-322, Tata Inst. Fund. Research and Oxford Univ. Press, 1969 . Zbl 0216.33101 · Zbl 0216.33101
[14] R. NOOT , Models of Shimura varieties in mixed characteristic , J. Algebraic Geometry 5, No. 1, 187-207, 1996 . MR 96k:14018 | Zbl 0864.14015 · Zbl 0864.14015
[15] P. NORMAN , F. OORT , Moduli of abelian varieties , Ann. of Math., II. Ser. 112, 413-439, 1980 . MR 82h:14026 | Zbl 0483.14010 · Zbl 0483.14010
[16] F. OORT , Finite Group Schemes, Local Moduli for Abelian Varieties, and Lifting Problems , Proc. 5th Nordic Summer School, Wolters-Noordhoff Pub., The Netherlands, 1970 . Zbl 0239.14018 · Zbl 0239.14018
[17] M. RAPOPORT , talk in Princeton, 1996 .
[18] M. RAPOPORT , M. RICHARTZ , On the classification and specialization of F-isocrystals with additional structure , Comp. Math. 103, 153-181, 1996 . Numdam | MR 98c:14015 | Zbl 0874.14008 · Zbl 0874.14008
[19] M. RAPOPORT , Th. ZINK , Period Spaces for p-divisible Groups , Annals of Mathematics Studies 141, Princeton University Press, Princeton, 1996 . MR 97f:14023 | Zbl 0873.14039 · Zbl 0873.14039
[20] H. STAMM , On the reduction of the Hilbert-Blumenthal moduli scheme with \Gamma 0(p)-level structure , Forum Mathematicum 9, 405-455, 1997 . Article | MR 98h:14030 | Zbl 0916.14022 · Zbl 0916.14022
[21] A. VASIU , Integral Canonical Models of Shimura Varieties of Preabelian Type , preprint Zürich, 1995 . · Zbl 1002.11052
[22] Th. ZINK , Cartier Theory and Crystalline Dieudonné Theory , preprint Bielefeld, 1997 .
[23] Th. ZINK , Cartiertheorie kommutativer formaler Gruppen , Teubner-Texte zur Mathematik 68, Teubner Verlagsgesellschaft, Leipzig, 1984 . MR 86j:14046 | Zbl 0578.14039 · Zbl 0578.14039
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.