Construction of \(p\)-adic representations. (Construction de représentations \(p\)-adiques.) (French) Zbl 0579.14037

Fontaine, Jean-Marc; Laffaille, Guy

Ann. Sci. Éc. Norm. Supér. (4) 15, 547-608 (1982).

Let \(K\) be a local field of characteristic 0 with residue field \(k\) of characteristic \(p>0\) and \(G=\text{Gal}(\bar K/K)\). In a recent work of the first of the authors [Astérisque 65, 3–80 (1979; Zbl 0429.14016)] equivalence has been established between a certain full subcategory \(\text{Rep}_{\text{cris}}(G)\) of the category \(\text{Rep}(G)\) of \(p\)-adic finite-dimensional representations of the group \(G\) and a certain full subcategory \({\mathcal M}\) of the category \({\mathcal M}F_ K^{\phi}\) of finite-dimensional filtered Dieudonné modules over \(K\). Unfortunately, there was no success in obtaining an explicit description of \({\mathcal M}.\)
In the present paper, the authors prove a series of results related both to necessary and to sufficient conditions for the embedding of a module into \({\mathcal M}\). They state the remarkable hypothesis that, for a scheme \(X\) over \(W(k)\), the \(p\)-adic representation in \(H^ i_{\text{ét}}(X_{\bar k}{\mathbb{Q}}_ p)\) lies in \(\text{Rep}_{\text{cris}}(G)\) and the Dieudonné module corresponding to it is the de Rham cohomology module \(H^ i_{\text{DR}}(X_ K)\). In the light of this hypothesis, the result of the paper is interesting concerning the fact that if \(\dim\, X<p\), then \(H^ i_{\text{DR}}(X_ K)\) lie in \({\mathcal M}\) and, for the \(p\)-adic representations obtained from \(H^ i_{\text{DR}}(X_ K)\), the Tate hypotheses and the Serre hypothesis on the “tame inertia” are fulfilled.

Reviewer: Alexei N. Rudakov (Moskva) (R. Zh. Mat. 1983, 12A493)

MSC:

14L05	Formal groups, \(p\)-divisible groups
14F30	\(p\)-adic cohomology, crystalline cohomology
14G20	Local ground fields in algebraic geometry
20G05	Representation theory for linear algebraic groups

Keywords:

\(p\)-adic finite-dimensional representations of absolute Galois; group; crystalline cohomology; Dieudonné modules

Citations:

Zbl 0429.14016

References:

[1]	P. BERTHELOT , Systèmes de Honda des schémas en Fq-vectoriels , (Bull. Soc. Math. Fr., vol. 105, 1977 , p. 225-239). Numdam | MR 58 #16704 | Zbl 0373.14015 · Zbl 0373.14015
[2]	J.-M. FONTAINE , Modules galoisiens, modules filtrés et anneaux de Barsotti-Tate , in Journées de Géométrie Algébrique de Rennes, (Astérisque, vol. 65, Soc. math. de France, Paris, 1979 , p. 3-80). MR 82k:14046 | Zbl 0429.14016 · Zbl 0429.14016
[3]	J.-M. FONTAINE , Sur certains types de représentations p-adiques du groupe de Galois d’un corps local : construction d’un anneau de Barsotti-Tate , (Annals of Math., vol. 115, 1982 , p. 529-577). MR 84d:14010 | Zbl 0544.14016 · Zbl 0544.14016 · doi:10.2307/2007012
[4]	J.-M. FONTAINE , Groupes finis commutatifs sur les vecteurs de Witt (C.R. Acad. Sc., Paris, vol. 280, 1975 , p. 1423-1425). MR 51 #10353 | Zbl 0331.14023 · Zbl 0331.14023
[5]	J.-M. FONTAINE , Groupes p-divisibles sur les corps locaux (Astérisque, vol. 47-48, Soc. math. de France, Paris, 1977 ). MR 58 #16699 | Zbl 0377.14009 · Zbl 0377.14009
[6]	J.-M. FONTAINE et J.-P. WINTENBERGER , Extensions algébriques et corps des normes des extensions APF des corps locaux (C.R. Acad. Sc., Paris, vol. 288, 1979 , p. 441-444). MR 80h:12014 | Zbl 0403.12018 · Zbl 0403.12018
[7]	N. JACOBSON , The Theory of Rings (Math. Surveys II, 3rd Printing, Amer. Math. Society, 1966 ).
[8]	G. LAFFAILLE , Groupes p-divisibles et modules filtrés : le cas peu ramifié (Bull. Soc. Math. Fr., vol. 108, 1980 , p. 187-206). Numdam | MR 82i:14028 | Zbl 0453.14021 · Zbl 0453.14021
[9]	B. MAZUR , Frobenius and the Hodge Filtration (Bull. Amer. Math. Soc., vol. 78, 1972 , p. 653-667). Article | MR 48 #8507 | Zbl 0258.14006 · Zbl 0258.14006 · doi:10.1090/S0002-9904-1972-12976-8
[10]	B. MAZUR , Frobenius and the Hodge Filtration (Estimates) (Ann. of Math., vol. 98, 1973 , p. 58-95). MR 48 #297 | Zbl 0261.14005 · Zbl 0261.14005 · doi:10.2307/1970906
[11]	I. MANIN , The Theory of Commutative Formal Groups Over Fields of Finite Characteristic (Russian math. Surveys, vol. 18, 1963 , p. 1-83). MR 28 #1200 | Zbl 0128.15603 · Zbl 0128.15603 · doi:10.1070/rm1963v018n06ABEH001142
[12]	M. RAYNAUD , Schémas en groupes de type (p, p, ..., p) (Bull. Soc. Math. Fr., vol. 102, 1974 , p. 241-280). Numdam | MR 54 #7488 | Zbl 0325.14020 · Zbl 0325.14020
[13]	N. SAAVEDRA RIVANO , Catégories tannakiennes (Lecture Notes n^\circ 265, Springer, Berlin, 1972 ). MR 49 #2769 | Zbl 0241.14008 · Zbl 0241.14008
[14]	J.-P. SERRE , Groupes algébriques associés aux modules de Hodge-Tate , in Journées de Géométrie Algébrique de Rennes (Astérisque, vol. n^\circ 65, Soc. math. de France, Paris, 1979 , p. 155-187). MR 81j:14027 | Zbl 0446.20028 · Zbl 0446.20028
[15]	J.-P. SERRE , Corps locaux , 2e éd., Hermann, Paris, 1968 . MR 50 #7096