Exactness of the reduction on étale modules (Q716472)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Exactness of the reduction on étale modules
scientific article

    Statements

    Exactness of the reduction on étale modules (English)
    0 references
    0 references
    22 September 2011
    0 references
    This paper belongs to the emerging theory of \(p\)-adic local Langlands correspondences, which relate irreducible \(p\)-adic Banach space representations of \(p\)-adic reductive groups to representations of \(p\)-adic Galois groups. In the work of \textit{P. Colmez} [Astérisque 330, 281--509 (2010; Zbl 1218.11107)] on the \(p\)-adic local Langlands correspondence for \(\text{GL}(2,\mathbb Q_p)\), an important role is played by the observation that Fontaine's étale \((\varphi, \Gamma)\)-modules, semilinear objects introduced to classify representations of \(\text{Gal}(\overline{\mathbb Q}_p / \mathbb Q_p)\), can be regarded naturally as representations of a monoid contained in the Borel subgroup of \(\mathbb{Q}_p\). More recently, Schneider and Vignéras (unpublished) have proposed a notion of an étale \((\varphi, \Gamma)\)-module for a parabolic subgroup in a split reductive group over \(\mathbb Q_p\), which recovers Fontaine's modules in the case of the Borel subgroup of \(\text{GL}(2,\mathbb Q_p)\). There is a natural reduction map from \((\varphi, \Gamma)\)-modules for a general \(P\) to Fontaine \((\varphi, \Gamma)\)-modules, which forms part of a \(\delta\)-functor \((D^i)_{i \geq 0}\) constructed by Schneider and Vignéras. This is intended to generalize part of Colmez's construction (the so-called ``Montreal functor'') to this setting. The key open problem in this theory is to determine conditions on a \(P\)-representation \(V\) under which the modules \(D^i(V)\) are finitely generated. In the present paper, the author proves that the reduction map is exact on étale \((\varphi, \Gamma)\)-modules for \(P\). He uses these results to calculate the Schneider-Vignéras modules \(D^i(V)\) where \(V\) is the Steinberg representation of \(\text{GL}_{n}\) for \(n \geq 2\), showing in particular that they are finitely generated in this case.
    0 references
    0 references
    0 references
    0 references
    0 references
    p-adic Langlands programme
    0 references
    Phi-Gamma modules
    0 references
    p-adic Hodge theory
    0 references
    0 references
    0 references