On certain types of \(p\)-adic representations of the Galois group of a local field; construction of a Barsott-Tate ring.
type: Item
instance of: scholarly article
title: On certain types of \(p\)-adic representations of the Galois group of a local field; construction of a Barsott-Tate ring.
zbMATH Open document ID: 0544.14016
DOI: 10.2307/2007012
author: Jean-Marc Fontaine
published in: Annals of Mathematics. Second Series
publication date: 1982-01-01T00:00:00Z
review text: The paper under review is devoted to \(p\)-adic representations \(G\to \text{Aut}(V)\) of the Galois group \(G=\text{Gal}(\bar K/K)\) of local field \(K\) of characteristic 0 with perfect residue field of positive characteristic \(p\). Here \(V\) is a finite-dimensional vector space over the field \({\mathbb{Q}}_ p\) of \(p\)-adic numbers. The author gives a construction of the Barsotti-Tate ring announced in his previous paper [Astérisque 65, 3-80 (1979; Zbl 0429.14016)]. He also constructs a complete discrete valuation field \(B_{DR}\) enjoying the following properties. \(B_{DR}\) contains \(K\) and the Galois group acts on \(B_{DR}\). The residue field of \(B_{DR}\) coincides with the completion \(C\) of \(K\). The valuation on \(B_{DR}\) defines a filtration and the corresponding graded ring is the Barsotti-Tate ring. For any \(p\)-adic representation \(V\) \(\underline D_{DR}(V)=(B_{DR}\otimes_{{\mathbb{Q}}_ p}V)^ G\) is a finite- dimensional filtered vector space over \(K\) and its dimension does not exceed the dimension of \(V\); if the equality holds then \(V\) is a Hodge-Tate module [\textit{J. Tate}, Proc. Conf. local fields, NUFFIC Summer School Driebergen 1966, 158-183 (1967; Zbl 0157.27601)]. The most important examples of \(p\)-adic representations arised from \(p\)-adic étale cohomology groups \(V=H^ i_{et}(X)=H^ i_{et}(X\times \bar K,{\mathbb{Q}}_ p)\) of smooth projective varieties \(X\) over \(K\). - Conjecture. The filtered \(K\)-space \(\underline{D}_{DR}(H^ i_{et}(X))\) is canonically isomorphic to the de Rham cohomology group \(H^ i_{DR}(X)\) with Hodge filtration. (Since dimensions of étale and de Rham cohomology groups coincide, \(H^ i_{et}(X)\) ought to be a Hodge-Tate module.) - This conjecture is a deep refinement of the famous conjecture of Tate concerning existence of \(p\)-adic Hodge decomposition \textit{J. Tate}, ibid.).
Mathematics Subject Classification ID: 14G99
Mathematics Subject Classification ID: 14G15
Mathematics Subject Classification ID: 14F40
Mathematics Subject Classification ID: 14G20
Mathematics Subject Classification ID: 11S25
Mathematics Subject Classification ID: 14L05
zbMATH DE Number: 3865471
zbMATH Keywords: Barsotti-Tate ring
zbMATH Keywords: p-adic étale cohomology groups
zbMATH Keywords: de Rham cohomology
zbMATH Keywords: Hodge-Tate module
Wikidata QID: Q105709873
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2007012
OpenAlex ID: W2327208976
description: scientific article; zbMATH DE number 3865471