Représentations cristallines dans le cas d’un corps résiduel imparfait

Brinon, Olivier

Annales de l'Institut Fourier, Tome 56 (2006) no. 4, pp. 919-999.

Soit $K$ un corps de valuation discrète complet de caractéristique $0$, dont le corps résiduel $k_K$ est de caractéristique $p$. On suppose que $k_K$ admet une $p$-base finie. Soient $\overline{K}$ une clôture algébrique de $K$ et $G_K=\mathrm{Gal}\left(\overline{K}/K\right)$. On construit et étudie des anneaux de périodes $p$-adiques ${\mathrm{B}}_{\mathrm{cris}}\subset {\mathrm{B}}_{\mathrm{dR}}$ qui généralisent ceux définis par J.-M. Fontaine dans le cas où le corps résiduel $k_K$ est parfait. Ces anneaux sont munis des structures supplémentaires habituelles ainsi que d’une connexion. Ils permettent d’étendre les notions de représentation $p$-adique cristalline et de représentation $p$-adique de Rham de $G_K$ au cas où $k_K$ n’est pas parfait. Le résultat principal de ce travail est le fait que la catégorie des représentations $p$-adiques cristallines de $G_K$ est équivalente à la catégorie des $F$-isocristaux filtrés sur $K$ faiblement admissibles, ce qui généralise un théorème de P.Colmez et J.-M.Fontaine.

Let $K$ be a complete discrete valuation field of characteristic $0$, with residue field $k_K$ of characteristic $p$. We assume that $k_K$ admits a finite $p$-basis. Let $\overline{K}$ be an algebraic closure of $K$ and $G_K=\mathrm{Gal}\left(\overline{K}/K\right)$. We construct and study $p$-adic periods rings ${\mathrm{B}}_{\mathrm{cris}}\subset {\mathrm{B}}_{\mathrm{dR}}$ generalizing those defined by J.-M.Fontaine when $k_K$ is perfect. Those rings are endowed with the usual extra structures plus a connection. They allow to extend the notions of crystalline and de Rham $p$-adic representations of $G_K$ to the case of non perfect $k_K$. The main result of this work, generalizing a theorem of P.Colmez and J.-M.Fontaine, is the fact that the category of crystalline $p$-adic representations of $G_K$ is equivalent to the category of weakly admissible $F$-isocrystals filtered over $K$.

Classification : 11F80, 11F85, 11S15, 11S20, 11S25
Mot clés : Corps locaux, périodes $p$-adiques, représentations galoisiennes
Keywords: Local fields, $p$-adic periods, Galois representations

[1] Berger, L. Équations différentielles $p$-adiques et $(\varphi ,N)$-modules filtrés, Prépublication, 2004

[2] Berger, L. An introduction to the theory of $p$-adic representations, Geometric aspects of Dwork theory, Volume I, Walter de Gruyter, 2004, pp. 255-292 | MR | Zbl

[3] Berthelot, P.; Ogus, A. Notes on crystalline cohomology, Mathematical Notes, Volume 21, Princeton University Press, 1978 | MR | Zbl

[4] Brinon, O. Une généralisation de la théorie de Sen, Math. Ann., Volume 327 (2003), pp. 793-813 | DOI | MR | Zbl

[5] Colmez, P. Théorie d’Iwasawa des représentations de deRham d’un corps local, Ann. Math., Volume 148 (1998), pp. 485-571 | DOI | MR | Zbl

[6] Colmez, P. Espaces de Banach de dimension finie, J. Inst. Math. Jussieu, Cambridge Univ. Press, Volume 1 (2000), pp. 331-439 | MR | Zbl

[7] Colmez, P.; Fontaine, J.-M. Construction des représentations $p$-adiques semi-stables, Invent. Math., Volume 140 (2000), pp. 1-43 | DOI | MR | Zbl

[8] Deligne, P. Cohomologie étale (SGA 4${}^{\frac{1}{2}}$), Lecture Notes in Math., Volume 569, Springer-Verlag, 1977 | MR | Zbl

[9] Deligne, P.; Milne, J. Tannakian categories, dans ‘Hodge cycles, motives and Shimura varieties’, Lecture Notes in Math., Volume 900, Springer-Verlag, 1982 | MR | Zbl

[10] Faltings, G. $p$-adic Hodge theory, J. Amer. Math. Soc., Volume 1 (1988), pp. 255-299 | MR | Zbl

[11] Faltings, G. Crystalline cohomology and $p$-adic Galois representations, Algebraic analysis, geometry and number theory (éd. J.Igusa), John Hopkins Univ. Press, 1989, pp. 25-80 | MR | Zbl

[12] Faltings, G. Almost étale extensions, Astérisque, Volume 279, Soc. Math. France, 2002, pp. 185-270 | Numdam | MR | Zbl

[13] Fontaine, J.-M. Formes différentielles et modules de Tate des variétés abéliennes sur les corps locaux, Invent. Math., Volume 65 (1982), pp. 379-409 | DOI | MR | Zbl

[14] Fontaine, J.-M. Représentations $p$-adiques des corps locaux I, dans ‘The Grothendieck Festschrift’, vol.II, Progress in Math., Volume 87, Birkhäuser, 1990 | MR | Zbl

[15] Fontaine, J.-M. Le corps des périodes $p$-adiques, p.59–101 dans ‘Périodes $p$-adiques’, Astérisque, Volume 223, Soc. Math. France, 1994 | Numdam | MR | Zbl

[16] Fontaine, J.-M. Représentations $p$-adiques semi-stables, dans ‘Périodes $p$-adiques’, Astérisque, Volume 223, Soc. Math. France, 1994, pp. 113-184 | MR | Zbl

[17] Fontaine, J.-M.; Messing, W. $p$-adic periods and $p$-adic étale cohomology, Contemp. Math., Volume 67 (1987), pp. 179-207 | MR | Zbl

[18] Grothendieck, A. Éléments de Géométrie Algébrique IV, Étude locale des schémas et des morphismes de schémas (première partie), Publ. Math. IHÉS, Volume 20 (1964), pp. 5-259 | Numdam | MR | Zbl

[19] Hyodo, O. On the Hodge-Tate decomposition in the imperfect residue field case, Crelle, Volume 365 (1987), pp. 97-113 | MR | Zbl

[20] Hyodo, O. On variation of Hodge-Tate structures, Math. Ann., Volume 283 (1989), pp. 7-22 | DOI | MR | Zbl

[21] Katz, N. Nilpotent connections and the monodromy theorem : applications of a result of Turrittin, Publ. Math. IHÉS, Volume 39 (1970), pp. 175-232 | Numdam | MR | Zbl

[22] Katz, N. Slope filtration of $F$-crystals, Journées de Géométrie Algébrique de Rennes I, Astérisque, Volume 63, Soc. Math. France, 1979, pp. 113-164 | Numdam | MR | Zbl

[23] Matsumura, H. Commutative ring theory, Cambridge University Press, 1986 | MR | Zbl

[24] Sen, S. Continuous cohomology and $p$-adic Galois representations, Invent. Math., Volume 62 (1980), pp. 89-116 | DOI | MR | Zbl

[25] Tsuji, T. $p$-adic étale cohomology and crystalline cohomology in the semi-stable reduction case, Invent. Math., Volume 137 (1999), pp. 233-411 | DOI | MR | Zbl

[26] Wintenberger, J.-P. Théorème de comparaison $p$-adique pour les schémas abéliens. I : Construction de l’accouplement des périodes, dans Périodes $p$-adiques, Astérisque, Volume 223, Soc. Math. France, 1994 | Numdam | MR | Zbl