Soit un corps de caractéristique . Soit un sur (i.e., un groupe de Barsotti-Tate tronqué en échelon sur ). Soient un -schéma et un sur . Soit le sous-schéma de correspondant au lieu où est isomorphe à localement pour la topologie fppf. Si , nous montrons que est pur dans , i.e. l’immersion est affine. Pour , nous prouvons la pureté pour satisfaisant une certaine propriété technique dépendant uniquement de la -torsion . Pour , nous utilisons les techniques développées pour montrer que toutes les stratifications par l’échelon associées aux variétés de Shimura de type Hodge sont pures.
Let be a field of characteristic . Let be a over (i.e., an -truncated Barsotti-Tate group over ). Let be a -scheme and let be a over . Let be the subscheme of which describes the locus where is locally for the fppf topology isomorphic to . If , we show that is pure in , i.e. the immersion is affine. For , we prove purity if satisfies a certain technical property depending only on its -torsion . For , we apply the developed techniques to show that all level stratifications associated to Shimura varieties of Hodge type are pure.
@article{ASENS_2010_4_43_6_925_0, author = {Nicole, Marc-Hubert and Vasiu, Adrian and Wedhorn, Torsten}, title = {Purity of level $m$ stratifications}, journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure}, volume = {43}, year = {2010}, pages = {925-955}, doi = {10.24033/asens.2136}, mrnumber = {2778452}, zbl = {1223.14052}, language = {en}, url = {http://dml.mathdoc.fr/item/ASENS_2010_4_43_6_925_0} }
Nicole, Marc-Hubert; Vasiu, Adrian; Wedhorn, Torsten. Purity of level $m$ stratifications. Annales scientifiques de l'École Normale Supérieure, Tome 43 (2010) pp. 925-955. doi : 10.24033/asens.2136. http://gdmltest.u-ga.fr/item/ASENS_2010_4_43_6_925_0/
[1] Néron models, Ergebn. Math. Grenzg. 21, Springer, 1990. | Zbl 0705.14001
, & ,[2] Induced modules and affine quotients, Math. Ann. 230 (1977), 1-14. | MR 470094 | Zbl 0378.20033
, & ,[3] Variétés de Shimura: interprétation modulaire, et techniques de construction de modèles canoniques 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., 1979, 247-289. | MR 546620 | Zbl 0437.14012
,[4] Hasse invariants for Hilbert modular varieties, Israel J. Math. 122 (2001), 157-174. | MR 1826497 | Zbl 1066.11018
,[5] Éléments de Géométrie Algébrique. II. Étude globale élémentaire de quelques classes de morphismes, Publ. Math. I.H.É.S. 8 (1961), 222. | Numdam | Zbl 0118.36206
,[6] Éléments de Géométrie Algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Publ. Math. I.H.É.S. 24 (1965), 231. | Numdam | Zbl 0135.39701
,[7] Éléments de Géométrie Algébrique, I. Le langage des schémas, Grundl. der Math. Wiss. 166, Springer, 1971. | Zbl 0203.23301
& ,[8] Über die Galoiskohomologie halbeinfacher Matrizengruppen. II, Math. Z. 92 (1966), 396-415. | MR 202918 | Zbl 0152.01001
,[9] Déformations de groupes de Barsotti-Tate (d'après A. Grothendieck), Séminaire sur les pinceaux arithmétiques : la conjecture de Mordell (Paris, 1983/84), Astérisque 127 (1985), 151-198. | MR 801922 | Zbl 1182.14050
,[10] Hasse invariants for some unitary Shimura varieties, in Algebraische Zahlentheorie, Mathematisches Forschungsinstitut Oberwolfach, 2005, 1565-1568.
,[11] Purity of the stratification by Newton polygons, J. Amer. Math. Soc. 13 (2000), 209-241. | MR 1703336 | Zbl 0954.14007
& ,[12] Points on some Shimura varieties over finite fields, J. Amer. Math. Soc. 5 (1992), 373-444. | MR 1124982 | Zbl 0796.14014
,[13] Kommutative algebraische -Gruppen (mit Anwendungen auf -divisible Gruppen und abelschen Varietäten), preprint, 86 p., Univ. Bonn, 1975. | MR 393051
,[14] Champs algébriques, Ergebn. Math. Grenzg. 39, Springer, 2000. | MR 1771927 | Zbl 0945.14005
& ,[15] The theory of commutative formal groups in finite caracteristic, Russian Math. Surv. 18 (1963), 1-83. | Zbl 0128.15603
,[16] Group schemes with additional structures and Weyl group cosets, in Moduli of abelian varieties (Texel Island, 1999), Progr. Math. 195, Birkhäuser, 2001, 255-298. | MR 1827024 | Zbl 1084.14523
,[17] Discrete invariants of varieties in positive characteristic, Int. Math. Res. Not. 2004 (2004), 3855-3903. | MR 2104263 | Zbl 1084.14023
& ,[18] Geometric invariant theory, third éd., Ergebn. Math. Grenzg. 34, Springer, 1994. | MR 1304906 | Zbl 0797.14004
, & ,[19] Newton polygons and formal groups: conjectures by Manin and Grothendieck, Ann. of Math. 152 (2000), 183-206. | MR 1792294 | Zbl 0991.14016
,[20] A stratification of a moduli space of abelian varieties, in Moduli of abelian varieties (Texel Island, 1999), Progr. Math. 195, Birkhäuser, 2001, 345-416. | MR 1827027 | Zbl 1052.14047
,[21] Monodromie du faisceau pervers des cycles évanescents de quelques variétés de Shimura simples, Invent. Math. 177 (2009), 239-280. | MR 2511742 | Zbl 1172.14016
,[22] -divisible groups over fields, in Symposia Mathematica, Vol. XI (Convegno di Algebra Commutativa, INDAM, Rome, 1971), Academic Press, 1973, 45-65. | MR 344262 | Zbl 0293.14011
,[23] Specializations of Barsotti-Tate groups, in Symposia Mathematica, Vol. XXIV (Sympos., INDAM, Rome, 1979), Academic Press, 1981, 1-21. | MR 619238 | Zbl 0466.14016
,[24] Crystalline boundedness principle, Ann. Sci. École Norm. Sup. 39 (2006), 245-300. | Numdam | MR 2245533 | Zbl 1143.14037
,[25] Level stratifications of versal deformations of -divisible groups, J. Algebraic Geom. 17 (2008), 599-641. | MR 2424922 | Zbl 1152.14022
,[26] Mod classification of Shimura -crystals, Math. Nachr. 283 (2010), 1068-1113. | MR 2680723 | Zbl 1264.11053
,[27] Manin problems for Shimura varieties of Hodge type, preprint, arXiv:math/0209410. | MR 2789744 | Zbl 1228.11088
,[28] The dimension of Oort strata of Shimura varieties of PEL-type, in Moduli of abelian varieties (Texel Island, 1999), Progr. Math. 195, Birkhäuser, 2001, 441-471. | MR 1827029 | Zbl 1052.14026
,[29] On the slope filtration, Duke Math. J. 109 (2001), 79-95. | MR 1844205 | Zbl 1061.14045
,