Universal completions for representations of GL₂(Q_p)

From MaRDI portal
Publication:461316



Abstract: Let Pi be a unitary representation of GL_2(Q_p), topologically of finite length. We describe the sub-representation Pi^{an} made of its locally analytic vectors, and its filtration by radius of analyticity, in terms of the phi-Gamma module attached to Pi via the p-adic local Langlands correspondence, and we deduce that the universal completion of Pi^{an} is Pi itself.


Let \(G\) denote the \(p\)-adic analytic group \(\mathrm{GL}_2({\mathbb Q}_p)\). Let \(L\) be a finite extension of \({\mathbb Q}_p\) and let \(\Pi\) be a continuous representation of \(G\) on an \(L\)-Banach space. \(\Pi\) is assumed to be unitary, residually of finite length, having a central character. The subspace \(\Pi ^{\text{an}}\) of locally analytic vectors in \(\Pi\) is dense in \(\Pi\). In the present article it is proved that \(\Pi\) is the universal unitary completion of \(\Pi ^{\text{an}}\). This means that any continuous \(L[G]\)-morphism of \(\Pi ^{\text{an}}\) into a unitary \(L\)-Banach representation \(W\) of \(G\) can be extended to a continuous \(L[G]\)-morphism of \(\Pi\) into \(W\).NEWLINENEWLINEThe proof uses the theory of \((\phi,\Gamma)\)-modules. The main reference for these is: \textit{P. Colmez} [in: Représentations \(p\)-adiques de groupes \(p\)-adiques II: Représentations de \(\text{GL}_2 (\mathbb Q_p)\) et \((\varphi, \Gamma)\)-modules. Paris: Société Mathématique de France. 281--509 (2010; Zbl 1218.11107)]. Let \(\delta :{\mathbb Q}_p^{\times} \rightarrow {\mathcal O}_L^{\times}\) be a unitary character. Consider representations \(\Pi\) as above with central character \(\delta\). From [loc. cit.] we have the functor \(\Pi \mapsto D(\Pi)\), which assigns a \((\phi, \Gamma)\)-module to each \(\Pi\). Note that this functor kills the finite-dimensional representations. A functor \(D\mapsto \Pi_{\delta}(D)\) in the opposite direction is constructed explicitly. By means of an extensive study of the filtration of \(\Pi ^{\text{an}}\) by radius of analyticity for \(\Pi = \Pi _{\delta}(D)\), it is proved that \(\Pi ^{\text{an}}\) has \(\Pi\) as its universal unitary completion (all \(\Pi\) are of the form \(\Pi _{\delta}(D)\)).




Cited in
(31)








This page was built for publication: Universal completions for representations of \(\mathrm{GL}_2(\mathbb{Q}_p)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q461316)