Multivariable (φ,Γ)(φ,Γ)-modules and smooth oo-torsion representations

preprint2016arXivOpen access

Abstract

Let GG be a Qp\mathbb{Q}_p-split reductive group with connected centre and Borel subgroup B=TNB=TN. We construct a right exact functor DΔ∨D^\vee_Δ from the category of smooth modulo pnp^n representations of BB to the category of projective limits of finitely generated étale (φ,Γ)(φ,Γ)-modules over a multivariable (indexed by the set of simple roots) commutative Laurent-series ring. These correspond to representations of a direct power of Gal(Qp‾/Qp)\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p) via an equivalence of categories. Parabolic induction from a subgroup P=LPNPP=L_PN_P corresponds to a basechange from a Laurent-series ring in those variables with corresponding simple roots contained in the Levi component LPL_P. DΔ∨D^\vee_Δ is exact and yields finitely generated objects on the category SPASP_A of finite length representations with subquotients of principal series as Jordan-Hölder factors. Lifting the functor DΔ∨D^\vee_Δ to all (noncommuting) variables indexed by the positive roots allows us to construct a GG-equivariant sheaf Yπ,Δ\mathfrak{Y}_{π,Δ} on G/BG/B and a GG-equivariant continuous map from the Pontryagin dual π∨π^\vee of a smooth representation ππ of GG to the global sections Yπ,Δ(G/B)\mathfrak{Y}_{π,Δ}(G/B). We deduce that DΔ∨D^\vee_Δ is fully faithful on the full subcategory of SPASP_A with Jordan-Hölder factors isomorphic to irreducible principal series.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.