[-divisible groups with Pappas-Rapoport condition and Hasse invariants]
We study -divisible groups endowed with an action of the ring of integers of a finite (possibly ramified) extension of over a scheme of characteristic . We suppose moreover that the -divisible group satisfies the Pappas-Rapoport condition for a certain datum ; this condition consists in a filtration on the sheaf of differentials satisfying certain properties. Over a perfect field, we define the Hodge and Newton polygons for such -divisible groups, normalized with the action. We show that the Newton polygon lies above the Hodge polygon, itself lying above a certain polygon depending on the datum .
We then construct Hasse invariants for such -divisible groups over an arbitrary base scheme of characteristic . We prove that the total Hasse invariant is non-zero if and only if the -divisible group is -ordinary, i.e., if its Newton polygon is minimal. Finally, we study the properties of -ordinary -divisible groups.
The construction of the Hasse invariants can in particular be applied to special fibers of PEL Shimura varieties models as constructed by Pappas and Rapoport.
Nous étudions les groupes -divisibles munis d’une action de l’anneau des entiers d’une extension finie (possiblement ramifiée) de sur un schéma de caractéristique . Nous supposons de plus que le groupe -divisible satisfait à la condition de Pappas-Rapoport pour une certaine donnée ; cette condition consiste en une filtration sur le faisceau des différentielles satisfaisant certaines propriétés. Sur un corps parfait, nous définissons les polygones de Hodge et de Newton pour de tels groupes -divisibles, en tenant compte de l’action. Nous montrons que le polygone de Newton est au-dessus du polygone de Hodge, lui-même au-dessus d’un certain polygone dépendant de la donnée .
Nous construisons ensuite des invariants de Hasse pour de tels groupes -divisibles sur une base arbitraire de caractéristique . Nous prouvons que l’invariant de Hasse total est non nul si et seulement si le groupe -divisible est -ordinaire, c’est-à-dire si son polygone de Newton est minimal. Enfin, nous étudions les propriétés des groupes -divisibles -ordinaires.
La construction des invariants de Hasse s’applique en particulier aux fibres spéciales des modèles des variétés de Shimura PEL construits par Pappas et Rapoport.
Accepted:
Published online:
DOI: 10.5802/jep.60
Mot clés : Groupes $p$-divisibles, $F$-cristal, données de Pappas-Rapoport, invariants de Hasse, $\mu $-ordinaire
Keywords: $p$-divisible groups, $F$-crystal, Pappas-Rapoport datum, Hasse invariants, $\mu $-ordinary
Stéphane Bijakowski 1; Valentin Hernandez 2
CC-BY-ND 4.0
@article{JEP_2017__4__935_0,
author = {St\'ephane Bijakowski and Valentin Hernandez},
title = {Groupes $p$-divisibles avec condition {de~Pappas-Rapoport} et invariants de {Hasse}},
journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
pages = {935--972},
publisher = {\'Ecole polytechnique},
volume = {4},
year = {2017},
doi = {10.5802/jep.60},
mrnumber = {3714367},
language = {fr},
url = {https://jep.centre-mersenne.org/articles/10.5802/jep.60/}
}
TY - JOUR AU - Stéphane Bijakowski AU - Valentin Hernandez TI - Groupes $p$-divisibles avec condition de Pappas-Rapoport et invariants de Hasse JO - Journal de l’École polytechnique — Mathématiques PY - 2017 SP - 935 EP - 972 VL - 4 PB - École polytechnique UR - https://jep.centre-mersenne.org/articles/10.5802/jep.60/ DO - 10.5802/jep.60 LA - fr ID - JEP_2017__4__935_0 ER -
%0 Journal Article %A Stéphane Bijakowski %A Valentin Hernandez %T Groupes $p$-divisibles avec condition de Pappas-Rapoport et invariants de Hasse %J Journal de l’École polytechnique — Mathématiques %D 2017 %P 935-972 %V 4 %I École polytechnique %U https://jep.centre-mersenne.org/articles/10.5802/jep.60/ %R 10.5802/jep.60 %G fr %F JEP_2017__4__935_0
Stéphane Bijakowski; Valentin Hernandez. Groupes $p$-divisibles avec condition de Pappas-Rapoport et invariants de Hasse. Journal de l’École polytechnique — Mathématiques, Volume 4 (2017), pp. 935-972. doi : 10.5802/jep.60. https://jep.centre-mersenne.org/articles/10.5802/jep.60/
[BBM82] - Théorie de Dieudonné cristalline. II, Lect. Notes in Math., vol. 930, Springer-Verlag, Berlin-Heidelberg-New York, 1982 | Zbl
[Bij15] - “Partial Hasse invariants, partial degrees and the canonical subgroup” (2015), à paraître dans Canad. J. Math., arXiv :1508.07604 | Zbl
[Box15] - “Torsion in the coherent cohomology of Shimura varieties and Galois representations” (2015), arXiv :1507.05922 | MR
[DS74] - “Formes modulaires de poids 1”, Ann. Sci. École Norm. Sup. (4) 7 (1974), p. 507-530 | DOI | Numdam | MR | Zbl
[EvdG09] - “Cycle classes of the EO stratification on the moduli of abelian varieties”, in Algebra, arithmetic, and geometry : in honor of Yu. I. Manin. Vol. I, Progress in Math., vol. 269, Birkhäuser Boston, Boston, MA, 2009, p. 567-636 | DOI | Zbl
[FGL08] - L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld, Progress in Math., vol. 262, Birkhäuser Verlag, Basel, 2008 | MR | Zbl
[Fon77] - Groupes -divisibles sur les corps locaux, Astérisque, vol. 47-48, Société Mathématique de France, Paris, 1977 | Numdam | Zbl
[GK15] - “Strata Hasse invariants, Hecke algebras and Galois representations” (2015), arXiv :1507.05032
[GN17] - “The -ordinary Hasse invariant of unitary Shimura varieties”, J. reine angew. Math. 728 (2017), p. 137-151 | MR | Zbl
[Her16] - “Invariants de Hasse -ordinaires” (2016), arXiv :1608.06176 | Zbl
[Kat79] - “Slope filtration of F-crystals”, in Journées de Géométrie Algébrique de Rennes (Rennes, 1978), Vol. I, Astérisque, vol. 63, Société Mathématique de France, Paris, 1979, p. 113-164 | Numdam | MR | Zbl
[Kot97] - “Isocrystals with additional structure. II”, Compositio Math. 109 (1997) no. 3, p. 255-339 | DOI | MR | Zbl
[KW14] - “Generalized Hasse invariants for Shimura varieties of Hodge type” (2014), arXiv :1406.2178
[Mes72] - “The crystals associated to Barsotti-Tate groups”, in The crystals associated to Barsotti-Tate groups : with applications to abelian schemes, Springer, 1972, p. 112-149 | Zbl
[Moo04] - “Serre-Tate theory for moduli spaces of PEL type”, Ann. Sci. École Norm. Sup. (4) 37 (2004) no. 2, p. 223-269 | DOI | Numdam | MR | Zbl
[MV10] - “On the Hodge-Newton filtration for -divisible -modules”, Math. Z. 266 (2010) no. 1, p. 193-205 | DOI | MR | Zbl
[NO80] - “Moduli of abelian varieties”, Ann. of Math. (2) 112 (1980), p. 413-439 | DOI | MR | Zbl
[PR05] - “Local models in the ramified case. II : Splitting models”, Duke Math. J. 127 (2005) no. 2, p. 193-250 | DOI | MR | Zbl
[Rap05] - “A guide to the reduction modulo of Shimura varieties”, in Formes automorphes (I), Astérisque, vol. 298, Société Mathématique de France, Paris, 2005, p. 271-318 | Zbl
[RR96] - “On the classification and specialization of -isocrystals with additional structure”, Compositio Math. 103 (1996) no. 2, p. 153-181 | Numdam | MR | Zbl
[RX17] - “Partial Hasse invariants on splitting models of Hilbert modular varieties”, Ann. Sci. École Norm. Sup. (4) 50 (2017) no. 3, p. 579-607 | DOI | MR | Zbl
[Ser73] - “Formes modulaires et fonctions zêta -adiques”, in Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, 1972), Lect. Notes in Math., vol. 350, Springer, Berlin, 1973, p. 191-268 | DOI | Zbl
[Wed99] - “Ordinariness in good reductions of Shimura varieties of PEL-type”, Ann. Sci. École Norm. Sup. (4) 32 (1999) no. 5, p. 575-618 | DOI | Numdam | MR | Zbl
Cited by Sources: