Group Schemes over artinian rings and Applications
[Schémas en groupes sur les anneaux artiniens et applications]
Annales de l'Institut Fourier, Tome 59 (2009) no. 6, pp. 2371-2427.

Soit n un entier positif et A un anneau de valuation discrète complet de caractéristique zéro avec idéal maximal 𝔪, indice de ramification absolu e<p-1 et corps résiduel parfait k de caractéristique p>2. Dans cet article nous classifions les groupes formels lisses p-fidèles de dimension finie sur A n =A /𝔪 n A , i.e. les groupes sur lesquels le morphisme “multiplication par p ” est fidèlement plat, en particulier les groupes p-divisibles. Comme application, nous prouvons que les groupes p-divisibles sur k, et les morphismes entre eux, se relèvent canoniquement à A /pA , et nous étudions les relèvements en caractéristique zéro de certains groupes p-divisibles connexes de dimension d et hauteur h sur k=k ¯, ou d et h sont étrangers. Quand e=1, nous classifions les schémas en groupes finis et plats sur A /p 2 A d’ordre une puissance de p et nous prouvons que tous les schémas en groupes finis et plats sur A /p n A d’ordre une puissance de p, avec p i -torsion plate pour chaque i1, se relèvent à A .

Let n be a positive integer and A a complete characteristic zero discrete valuation ring with maximal ideal 𝔪, absolute ramification index e<p-1 and perfect residue field k of characteristic p>2. In this paper we classify smooth finite dimensional formal p-faithful groups over A n =A /𝔪 n A , i.e. groups on which the “multiplication by p” morphism is faithfully flat, in particular p-divisible groups. As applications, we prove that p-divisible groups over k, and the morphisms between them, lift canonically to A /pA , and we study liftings to characteristic zero of certain connected p-divisible groups of dimension d and height h over k=k ¯, with d and h coprime. When e=1, we classify finite flat group schemes over A /p 2 A of p-power order and prove that a finite flat group scheme over A /p n A of p-power order, having flat p i -torsion for every i1, lifts to A .

DOI : 10.5802/aif.2494
Classification : 14L15, 14L05
Keywords: Group scheme, $p$-divisible group, almost canonical lifting
Mot clés : schéma en groupe, groupe $p$-divisible, relèvement presque canonique
Berbec, Ioan 1

1 University of California at Berkeley Department of Mathematics Berkeley, CA 94720 (USA)
@article{AIF_2009__59_6_2371_0,
     author = {Berbec, Ioan},
     title = {Group {Schemes} over artinian rings and {Applications}},
     journal = {Annales de l'Institut Fourier},
     pages = {2371--2427},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {59},
     number = {6},
     year = {2009},
     doi = {10.5802/aif.2494},
     zbl = {1189.14052},
     mrnumber = {2640924},
     language = {en},
     url = {http://www.numdam.org/articles/10.5802/aif.2494/}
}
TY  - JOUR
AU  - Berbec, Ioan
TI  - Group Schemes over artinian rings and Applications
JO  - Annales de l'Institut Fourier
PY  - 2009
SP  - 2371
EP  - 2427
VL  - 59
IS  - 6
PB  - Association des Annales de l’institut Fourier
UR  - http://www.numdam.org/articles/10.5802/aif.2494/
DO  - 10.5802/aif.2494
LA  - en
ID  - AIF_2009__59_6_2371_0
ER  - 
%0 Journal Article
%A Berbec, Ioan
%T Group Schemes over artinian rings and Applications
%J Annales de l'Institut Fourier
%D 2009
%P 2371-2427
%V 59
%N 6
%I Association des Annales de l’institut Fourier
%U http://www.numdam.org/articles/10.5802/aif.2494/
%R 10.5802/aif.2494
%G en
%F AIF_2009__59_6_2371_0
Berbec, Ioan. Group Schemes over artinian rings and Applications. Annales de l'Institut Fourier, Tome 59 (2009) no. 6, pp. 2371-2427. doi : 10.5802/aif.2494. http://www.numdam.org/articles/10.5802/aif.2494/

[1] Berthelot, Pierre; Breen, Lawrence; Messing, William Théorie de Dieudonné cristalline. II, Lecture Notes in Mathematics, 930, Springer-Verlag, Berlin, 1982 | MR | Zbl

[2] Breuil, Christophe Groupes p-divisibles, groupes finis et modules filtrés, Ann. of Math. (2), Volume 152 (2000) no. 2, pp. 489-549 | DOI | MR | Zbl

[3] Conrad, Brian Finite group schemes over bases with low ramification, Compositio Math., Volume 119 (1999) no. 3, pp. 239-320 | DOI | MR | Zbl

[4] Demazure, M.; Grothendieck, A. Schémas en groupes. I: Propriétés générales des schémas en groupes, Lecture Notes in Mathematics, 151, Springer-Verlag, Berlin, 1970 | MR | Zbl

[5] Fontaine, Jean-Marc Groupes p -divisibles sur les corps locaux, Société Mathématique de France, Paris, 1977 (Astérisque, No. 47-48) | Numdam | MR | Zbl

[6] Gross, Benedict H. On canonical and quasicanonical liftings, Invent. Math., Volume 84 (1986) no. 2, pp. 321-326 | DOI | MR | Zbl

[7] Hazewinkel, Michiel Formal groups and applications, Pure and Applied Mathematics, 78, Academic Press Inc., New York, 1978 | MR | Zbl

[8] Illusie, Luc Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck), Astérisque (1985) no. 127, pp. 151-198 Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84) | Numdam | MR | Zbl

[9] Katz, N. Serre-Tate local moduli, Algebraic surfaces (Orsay, 1976–78) (Lecture Notes in Math.), Volume 868, Springer, Berlin, 1981, pp. 138-202 | MR | Zbl

[10] Lubin, Jonathan One-parameter formal Lie groups over p-adic integer rings, Ann. of Math. (2), Volume 80 (1964), pp. 464-484 | DOI | MR | Zbl

[11] Manin, Ju. I. Theory of commutative formal groups over fields of finite characteristic, Uspehi Mat. Nauk, Volume 18 (1963) no. 6 (114), pp. 3-90 | MR | Zbl

[12] Oort, Frans Embeddings of finite group schemes into abelian schemes, 1967 (N.S.F. Seminar, Bowdoin college)

[13] Rapoport, Michael On the Newton stratification, Astérisque (2003) no. 290, pp. Exp. No. 903, viii, 207-224 (Séminaire Bourbaki. Vol. 2001/2002) | Numdam | MR | Zbl

[14] Raynaud, Michel Schémas en groupes de type (p,,p), Bull. Soc. Math. France, Volume 102 (1974), pp. 241-280 | Numdam | MR | Zbl

[15] Yu, Jiu-Kang On the moduli of quasi-canonical liftings, Compositio Math., Volume 96 (1995) no. 3, pp. 293-321 | Numdam | MR | Zbl

Cité par Sources :