Théorie de Fontaine en égales caractéristiques
Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 2, pp. 263-360.

Les chtoucas locaux sont des analogues en égales caractéristiques des groupes p-divisibles - par exemple on leur associe un module de Tate, qui est un module libre sur l’anneau d’entiers d’un corps local K de caractéristique positive. Nous associons à un chtouca local une structure de Hodge (ou, plus précisément, une structure de Hodge-Pink), ce qui induit un morphisme de périodes analogue à celui construit par Rapoport et Zink. Pour les structures de Hodge-Pink définies sur une extension finie de K nous démontrons un analogue du théorème « faiblement admissible implique admissible » de Colmez et Fontaine. Nous développons aussi une théorie entière. Les démonstrations sont élémentaires et ne font pas intervenir de clôture algébrique de K. Les arguments utilisés dans la théorie entière sont très proches de ceux qui interviennent dans la théorie rationnelle.

Local shtukas are analogs in equal characteristics of p-divisible groups: for example one can associate to them a Tate module, which is a free module over the ring of integers of a local field K of positive characteristic. We associate to a local shtuka a Hodge structure (or more precisely a Hodge-Pink structure) which gives rise to a period morphism analogous to the one constructed by Rapoport and Zink. For Hodge-Pink structures defined over a finite extension of K we prove an analog of the “ weakly admissible implies admissible ” theorem of Colmez and Fontaine. We also develop an integral theory. The proofs are elementary and do not use an algebraic closure of K. The arguments used in the integral theory are very close to those used in the rational theory.

DOI : 10.24033/asens.2144
Classification : 11G09, 13A35, 14F30, 14L05
Mot clés : théorie de Fontaine, Chtoucas, cristaux
Keywords: Fontaine's theory, Shtukas, crystals
@article{ASENS_2011_4_44_2_263_0,
     author = {Genestier, Alain and Lafforgue, Vincent},
     title = {Th\'eorie de {Fontaine} en \'egales caract\'eristiques},
     journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
     pages = {263--360},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {4e s{\'e}rie, 44},
     number = {2},
     year = {2011},
     doi = {10.24033/asens.2144},
     mrnumber = {2830388},
     zbl = {1277.14036},
     language = {fr},
     url = {http://www.numdam.org/articles/10.24033/asens.2144/}
}
TY  - JOUR
AU  - Genestier, Alain
AU  - Lafforgue, Vincent
TI  - Théorie de Fontaine en égales caractéristiques
JO  - Annales scientifiques de l'École Normale Supérieure
PY  - 2011
SP  - 263
EP  - 360
VL  - 44
IS  - 2
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/asens.2144/
DO  - 10.24033/asens.2144
LA  - fr
ID  - ASENS_2011_4_44_2_263_0
ER  - 
%0 Journal Article
%A Genestier, Alain
%A Lafforgue, Vincent
%T Théorie de Fontaine en égales caractéristiques
%J Annales scientifiques de l'École Normale Supérieure
%D 2011
%P 263-360
%V 44
%N 2
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/asens.2144/
%R 10.24033/asens.2144
%G fr
%F ASENS_2011_4_44_2_263_0
Genestier, Alain; Lafforgue, Vincent. Théorie de Fontaine en égales caractéristiques. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 2, pp. 263-360. doi : 10.24033/asens.2144. http://www.numdam.org/articles/10.24033/asens.2144/

[1] V. Abrashkin, Galois modules arising from Faltings's strict modules, Compos. Math. 142 (2006), 867-888. | MR | Zbl

[2] G. Anderson, Drinfeld motives, cours donné à Princeton du 27 octobre au 8 décembre 1987.

[3] L. Berger, Équations différentielles p-adiques et (φ,N)-modules filtrés, Astérisque 319 (2008), 13-38. | Numdam | MR | Zbl

[4] P. Berthelot, Cohomologie cristalline des schémas de caractéristique p>0, Lect. Notes in Math. 407 (1974). | Zbl

[5] P. Berthelot, Cohomologie rigide et cohomologie rigide à supports propre, preprint 96-03 de l'université de Rennes, http://perso.univ-rennes1.fr/pierre.berthelot/publis/Cohomologie_Rigide_I.pdf, 1996.

[6] P. Berthelot, L. Breen & W. Messing, Théorie de Dieudonné cristalline. II, Lect. Notes in Math. 930 (1982). | Zbl

[7] P. Berthelot & W. Messing, Théorie de Dieudonné cristalline. I, in Journées de Géométrie Algébrique de Rennes (Rennes, 1978), Vol. I, Astérisque 63, Soc. Math. France, 1979, 17-37. | Numdam | MR | Zbl

[8] P. Berthelot & W. Messing, Théorie de Dieudonné cristalline. III. Théorèmes d'équivalence et de pleine fidélité, in The Grothendieck Festschrift, Vol. I, Progr. Math. 86, Birkhäuser, 1990, 173-247. | MR | Zbl

[9] P. Berthelot & A. Ogus, Notes on crystalline cohomology, Princeton Univ. Press, 1978. | MR | Zbl

[10] S. Bosch, U. Güntzer & R. Remmert, Non-Archimedean analysis, Grund. Math. Wiss. 261, Springer, 1984. | MR | Zbl

[11] N. Bourbaki, Algèbre commutative. Chapitres 8 et 9, Masson, 1983. | MR

[12] C. Breuil, Schémas en groupes et corps des normes, preprint http://www.ihes.fr/~breuil/PUBLICATIONS/groupesnormes.pdf, 1998.

[13] C. Breuil, Une application de corps des normes, Compositio Math. 117 (1999), 189-203. | MR | Zbl

[14] C. Breuil, Integral p-adic Hodge theory, in Algebraic geometry 2000, Azumino (Hotaka), Adv. Stud. Pure Math. 36, Math. Soc. Japan, 2002, 51-80. | MR | Zbl

[15] X. Caruso, Représentations semi-stables de torsion dans le case er<p-1, J. reine angew. Math. 594 (2006), 35-92. | MR | Zbl

[16] P. Colmez & J.-M. Fontaine, Construction des représentations p-adiques semi-stables, Invent. Math. 140 (2000), 1-43. | MR | Zbl

[17] V. G. DrinfelʼD, Coverings of p-adic symmetric domains, Funkcional. Anal. i Priložen. 10 (1976), 29-40 ; traduction : Funct. Anal. Appl. 10 (1976), 107-115. | MR | Zbl

[18] V. G. DrinfelʼD, Cohomology of compactified moduli varieties of F-sheaves of rank 2, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 162 (1987), 107-158 ; traduction : J. Soviet Math. 46 (1989), 1789-1821. | MR | Zbl

[19] V. G. DrinfelʼD, Moduli varieties of F-sheaves, Funktsional. Anal. i Prilozhen. 21 (1987), 23-41 ; traduction : Funct. Anal. Appl. 21 (1987), 107-122. | MR | Zbl

[20] G. Faltings, Integral crystalline cohomology over very ramified valuation rings, J. Amer. Math. Soc. 12 (1999), 117-144. | MR | Zbl

[21] G. Faltings, Group schemes with strict 𝒪-action, Mosc. Math. J. 2 (2002), 249-279. | MR | Zbl

[22] J.-M. Fontaine, Groupes p-divisibles sur les corps locaux, Astérisque 47-48 (1977). | Numdam | MR | Zbl

[23] J.-M. Fontaine, Représentations p-adiques des corps locaux. I, in The Grothendieck Festschrift, Vol. II, Progr. Math. 87, Birkhäuser, 1990, 249-309. | MR | Zbl

[24] J.-M. Fontaine & G. Laffaille, Construction de représentations p-adiques, Ann. Sci. École Norm. Sup. 15 (1982), 547-608. | Numdam | MR | Zbl

[25] F. Gardeyn, The structure of analytic τ-sheaves, J. Number Theory 100 (2003), 332-362. | MR | Zbl

[26] A. Genestier, Espaces symétriques de Drinfeld, Astérisque 234 (1996). | Numdam | Zbl

[27] A. Grothendieck, Crystals and the de Rham cohomology of schemes, in Dix Exposés sur la Cohomologie des Schémas, North-Holland, 1968, 306-358. | MR | Zbl

[28] A. Grothendieck, Groupes de Barsotti-Tate et cristaux, in Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, 1971, 431-436. | MR | Zbl

[29] U. Hartl, On period spaces for p-divisible groups, C. R. Math. Acad. Sci. Paris 346 (2008), 1123-1128. | MR | Zbl

[30] U. Hartl, A dictionary between Fontaine-theory and its analogue in equal characteristic, J. Number Theory 129 (2009), 1734-1757. | MR | Zbl

[31] U. Hartl, Period spaces in equal characteristic, preprint arXiv :math/0511686, to appear in Annals of Math..

[32] U. Hartl & R. Pink, Vector bundles with a Frobenius structure on the punctured unit disc, Compos. Math. 140 (2004), 689-716. | MR | Zbl

[33] M. J. Hopkins & B. H. Gross, Equivariant vector bundles on the Lubin-Tate moduli space, in Topology and representation theory (Evanston, IL, 1992), Contemp. Math. 158, Amer. Math. Soc., 1994, 23-88. | MR | Zbl

[34] L. Illusie, Déformations de groupes de Barsotti-Tate (d'après A. Grothendieck), Astérisque 127 (1985), 151-198. | Numdam | MR | Zbl

[35] M. Kapranov & É. Vasserot, Formal loops. II. A local Riemann-Roch theorem for determinantal gerbes, Ann. Sci. École Norm. Sup. 40 (2007), 113-133. | Numdam | MR | Zbl

[36] N. M. Katz, Slope filtration of F-crystals, in Journées de Géométrie Algébrique de Rennes (Rennes, 1978), Vol. I, Astérisque 63, Soc. Math. France, 1979, 113-163. | Numdam | MR | Zbl

[37] N. M. Katz, Serre-Tate local moduli, Lect. Notes in Math. 868 (1981), 138-202. | MR | Zbl

[38] K. S. Kedlaya, Slope filtrations revisited, Doc. Math. 10 (2005), 447-525. | MR | Zbl

[39] M. Kisin, Crystalline representations and F-crystals, in Algebraic geometry and number theory, Progr. Math. 253, Birkhäuser, 2006, 459-496. | MR | Zbl

[40] M. Kisin, Moduli of finite flat group schemes, and modularity, Ann. of Math. 170 (2009), 1085-1180. | MR | Zbl

[41] G. Laffaille, Groupes p-divisibles et modules filtrés : le cas peu ramifié, Bull. Soc. Math. France 108 (1980), 187-206. | Numdam | MR | Zbl

[42] L. Lafforgue, Une compactification des champs classifiant les chtoucas de Drinfeld, J. Amer. Math. Soc. 11 (1998), 1001-1036. | MR | Zbl

[43] L. Lafforgue, Cours à l'Institut Tata sur les chtoucas de Drinfeld et la correspondance de Langlands, preprint IHÉS M/02/45 http://www.ihes.fr/~lafforgue/math/M02-45.pdf.

[44] S. G. Langton, Valuative criteria for families of vector bundles on algebraic varieties, Ann. of Math. 101 (1975), 88-110. | MR | Zbl

[45] T. Liu, On lattices in semi-stable representations : a proof of a conjecture of Breuil, Compos. Math. 144 (2008), 61-88. | MR | Zbl

[46] H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Math. 8, Cambridge Univ. Press, 1986. | MR | Zbl

[47] B. Mazur & W. Messing, Universal extensions and one dimensional crystalline cohomology, Lect. Notes in Math. 370 (1974). | MR | Zbl

[48] W. Messing, The crystals associated to Barsotti-Tate groups, Lect. Notes in Math. 264 (1972). | Zbl

[49] R. Pink, Hodge structures over function fields, preprint http://www.math.ethz.ch/~pink/ftp/HS.pdf, 1997.

[50] R. Pink, Uniformisierung von t-Motiven, exposé du 12 juillet 2000.

[51] M. Rapoport & T. Zink, Period spaces for p-divisible groups, Annals of Math. Studies 141, Princeton Univ. Press, 1996. | MR | Zbl

[52] M. Rapoport & T. Zink, A finiteness theorem in the Bruhat-Tits building : an application of Landvogt's embedding theorem, Indag. Math. (N.S.) 10 (1999), 449-458. | MR | Zbl

[53] J-P. Serre, Corps locaux, 2e éd., Publications de l'Université de Nancago VIII, Hermann, 1968. | MR | Zbl

[54] J-P. Serre, Classes des corps cyclotomiques (d'après K. Iwasawa), Sém. Bourbaki 1958/59, exp. no 174, réédition Soc. Math. France 5 (1995), 83-93. | Numdam | MR | Zbl

[55] T. Zink, Windows for displays of p-divisible groups, in Moduli of abelian varieties (Texel Island, 1999), Progr. Math. 195, Birkhäuser, 2001, 491-518. | MR | Zbl

Cité par Sources :