On certain types of \(p\)-adic representations of the Galois group of a local field; construction of a Barsott-Tate ring. (Q796599)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On certain types of \(p\)-adic representations of the Galois group of a local field; construction of a Barsott-Tate ring.
scientific article

    Statements

    On certain types of \(p\)-adic representations of the Galois group of a local field; construction of a Barsott-Tate ring. (English)
    0 references
    0 references
    1982
    0 references
    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.).
    0 references
    Barsotti-Tate ring
    0 references
    p-adic étale cohomology groups
    0 references
    de Rham cohomology
    0 references
    Hodge-Tate module
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references