Universal completions for representations of \(\mathrm{GL}_2(\mathbb{Q}_p)\) (Q461316): Difference between revisions

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\). The 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)\)).