We study the problem of constructing a contragredient functor on the category of admissible locally analytic representations of a p-adic analytic group G. A naive contragredient does not exist. As a best approximation, we construct an involutive "duality" functor from the bounded derived category of modules over the distribution algebra of G with coadmissible cohomology to itself. On the subcategory corresponding to complexes of smooth representations, this functor induces the usual smooth contragredient (with a degree shift). Although we construct our functor in general we obtain its involutivity, for technical reasons, only in the case of locally Qp-analytic groups.
We show that the continuous cohomology groups of a $ p $-adic reductive group with coefficients in the locally analytic vectors of an admissible $ \mathbb{Q}_p $-Banach space representation are homeomorphic to those with coefficients in the Banach space representation itself. Moreover, we deduce that the canonical topologies on those continuous cohomology groups are Hausdorff and are the uniquely determined finest locally convex topologies.
Let $F$ be a finite extension of $Q_p$, $p>2$. We construct admissible unitary completions of certain representations of $GL_2(F)$ on $L$-vector spaces, where $L$ is a finite extension of $F$. When $F=Q_p$ using the results of Berger, Breuil and Colmez we obtain some results about lifting 2-dimensional mod $p$ representations of the absolute Galois group of $Q_p$ to crystabelline representations with given Hodge-Tate weights.
This paper develops various foundational results in the locally analytic representation theory of p-adic groups. In particular, we define the functor ``pass to locally analytic vectors'', which attaches to any continuous representation of a p-adic analytic group on a locally convex p-adic topological vector space the associated space of locally analytic vectors. Using this functor, and the point of view that its construction suggests, we establish some basic facts about admissible locally analytic representations (as defined by Schneider and Teitelbaum). We also introduce the related notion of…
Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the endomorphism algebra of an irreducible admissible representation.
Let G be a compact, locally L-analytic group, where L is a finite extension of Qp. Let K be a discretely valued extension field of L. We study the algebra D(G,K) of K-valued locally analytic distributions on G, and apply our results to the locally analytic representation theory of G in vector spaces over K. Our objective is to lay a useful and powerful foundation for the further study of such representations. We show that the noncommutative, nonnoetherian ring D(G,K) "behaves" like the ring of functions on a rigid Stein space, and that (at least when G is Qp-analytic) it is a faithfully flat e…
Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex K-vector spaces. We call the objects of this category "admissible" representations and we establish some of their basic properties. Most importantly we show that (at least when G is compact) the category of admissible representations in our sense can be algebraized; it is faithfully full (anti)-embedded into the category of modules over the locally analytic dis…
Let L be a finite extension of Q_p and d a positive integer. A conjecture, due to C. Breuil and P. Schneider, says that the existence of invariant norms on certain locally algebraic representations of GL_{d+1}(L) should be equivalent to the existence of certain (d+1)-dimensional de Rham representations of Gal(\bar{L}/L). We prove the easy direction of this conjecture: the existence of invariant norms implies the existence of admissible filtrations, by generalizing an idea of M.Emerton.
Let $G$ be a $p$-adic Lie group associated to a connected reductive group over $\mathbb{Q}_{p}$. Let $P$ be a parabolic subgroup of $G$ and let $M$ be a Levi quotient of $P$. In this paper, we define a $δ$-functor $H^{\star}J_{P}$ from the category of admissible locally analytic $G$-representations to the category of essentially admissible locally analytic $M$-representations that extends the Jacquet-Emerton module functor $J_{P}$ defined by Emerton.
Given a compact p-adic Lie group G over a finite unramified extension L/Q_p let G_0 be the product over all Galois conjugates of G. We construct an exact and faithful functor from admissible G-Banach space representations to admissible locally L-analytic G_0-representations that coincides with passage to analytic vectors in case L=Q_p. On the other hand, we study the functor "passage to analytic vectors" and its derived functors over general basefields. As an application we determine the higher analytic vectors in certain locally analytic induced representations.
We introduce a derived smooth duality functor on the unbounded derived category of smooth mod p representations of a p-adic Lie group. Using this functor we relate various subcategories of admissible complexes.
Let $H$ be a uniform pro-$p$ group. Associated to $H$ are rigid analytic affinoid groups $\bbH_n$, and their "wide open" subgroups $\bbH_n^{\circ}$. Denote by $D^\la(H)= C^\la(H)'_b$ the locally analytic distribution algebra of $H$ and by $\DHnn$ Emerton's ring of $\bbH_n^{\circ}$-rigid analytic distributions on $H$. If $V$ is an admissible locally analytic representation of $H$, and if $V_{\bbH_n^\circ-\an}$ denotes the subspace of $\bbH_n^\circ$-rigid analytic vectors (with its intrinsic topology), then we show that the continuous dual of $V_{\bbH_n^\circ-\an}$ is canonically isomorphic to $…
Let F be a locally compact non-archimedean field, p its residue characteristic, and G a connected reductive group over F. Let C an algebraically closed field of characteristic p. We give a complete classification of irreducible admissible C-representations of G = G(F), in terms of supercuspidal C-representations of the Levi subgroups of G, and parabolic induction. Thus we push to their natural conclusion the ideas of the third-named author, who treated the case G = GL_m, as further expanded by the first-named author, who treated split groups G. As in the split case, we first get a classificati…
The p-adic local Langlands correspondence for GL2(Qp) attaches to any 2-dimensional irreducible p-adic representation V of the absolute Galois groups of Qp an admissible unitary representation Pi(V) of GL2(Qp). The unitary principal series of GL2(Qp) are those Pi(V) corresponding to trianguline representations. In this article, for p>2, using the machinery of Colmez, we determine the space of locally analytic vectors for all non-exceptional unitary principal series of GL2(Qp) by proving a conjecture of Emerton.
We prove a conjecture of Colmez concerning the reduction modulo $p$ of invariant lattices in irreducible admissible unitary $p$-adic Banach space representations of $GL_2(Q_p)$ with $p\ge 5$. This enables us to restate nicely the $p$-adic local Langlands correspondence for $GL_2(Q_p)$ and deduce a conjecture of Breuil on irreducible admissible unitary completions of locally algebraic representations.
We show that basic notions of locally analytic representation theory can be reformulated in the language of topological coalgebras (Hopf algebras) and comodules. We introduce the notion of admissible comodule and show that it corresponds to the notion of admissible representation in the case of topological Hopf algebra of locally analytic functions on a compact $p$-adic group.
Let G be a connected split reductive group over a p-adic field. In the first part of the paper we prove, under certain assumptions on G and the prime p, a localization theorem of Beilinson-Bernstein type for admissible locally analytic representations of principal congruence subgroups in the rational points of G. In doing so we take up and extend some recent methods and results of Ardakov-Wadsley on completed universal enveloping algebras to a locally analytic setting. As an application we prove, in the second part of the paper, a locally analytic version of Smith's theorem on the canonical di…
By the theory of Colmez and Fontaine, a de Rham representation of the Galois group of a local field roughly corresponds to a representation of the Weil-Deligne group equipped with an admissible filtration on the underlying vector space. Using a modification of the classical local Langlands correspondence, we associate with any pair consisting of a Weil-Deligne group representation and a type of a filtration (admissible or not) a specific locally algebraic representation of a general linear group. We advertise the conjecture that this pair comes from a de Rham representation if and only if the …
We establish duality theory of p-adic unitary Banach representations of locally profinite groups. This is an extension of Iwasawa theory for profinite groups by P. Schneider and J. Teitelbaum. We also establish a criterion for an irreducibility of a unitary representation by certain simpleness of the Iwasawa module dual to it. Through the duality, the continuous induction of a unitary Banach representation of a closed subgroup is interpreted as a certain induction of Iwasawa module. It gives an explicit description of the dual of a continuous parabolic induction on GL_n(Q_p).
Let $k$ be a local field with valuation ring $O_k$ and residue field $\overline{k}$. We extend Hahn--Banach theorem for the class of seminormed $k$-vector spaces to several classes of locally convex spaces and subspaces over $k$, $O_k$, and $\overline{k}$. We establish analogues of Iwasawa-type duality for several classes of locally convex spaces over $k$, $O_k$, and $\overline{k}$.
