Spaces of functions of class \(C^r\) on \(\mathcal O_F\) (Q391063): Difference between revisions

Let \(p\) be a prime number and let \(\mathbb{Q}_p\) be the field of \(p\)-adic numbers. The theory of the \(p\)-adic Langlands correspondence for \(GL_2(\mathbb{Q}_p)\) was initiated by \textit{C. Breuil} [Compos. Math. 138, No.~2, 165--188 (2003; Zbl 1044.11041); J. Inst. Math. Jussieu 2, No.~1, 23--58 (2003; Zbl 1165.11319)] and since then has been studied by several researchers, among them the author. The Banach space of \(C^{r}\)-differentiable functions (\(r\) a nonnegative rational number) over the ring \(\mathbb{Z}_p\) of \(p\)-adic integers plays a key role in the construction of this correspondence. In [``Sur certains complétés unitaires universels explicites pour \(GL2(F)\)'', \url{arxiv:1111.1016}, to appear in à Bull. Soc. Math. Fr.], the author posed the following question: generalize that construction for certain locally \(\mathbb{Q}_p\)-analytic representations of \(GL_2(F)\), where \(F\) is a finite extension of \(\mathbb{Q}_p\). This problem is solved in the present paper. The first task is to introduce and study a notion of \(C^{r}\)-differentiability for functions defined on the integer ring \({\mathcal O}_F\) of \(F\) and with values in a certain finite extension \(E\) of \(\mathbb{Q}_p\). This notion, which extends the one given by P. \textit{P. Colmez} [Astérisque 330, 13--59 (2010; Zbl 1223.11144)] for \(F = \mathbb{Q}_p\), can be summarized as follows: A function \(f: {\mathcal O}_F \rightarrow E\) is \(C^{r}\)-differentiable if, for each \(x\), \(f(x+y)\) has a development of order \(\leq \) the integer part of \(r\), and the rest is \(o(\left|y \right|^r)\) uniformly on \(x\). The first main result of the paper states that the space of all \(C^{r}\)-differentiable functions \({\mathcal O}_F \rightarrow E\) is an \(E\)-Banach algebra having a countable topological base consisting of locally \(\mathbb{Q}_p\)-polynomial functions. Then the author pays attention to topological duals. The second main result characterizes the continuous linear functionals on the space of locally \(\mathbb{Q}_p\)-algebraic functions on \({\mathcal O}_F\) that can be extended to a distribution of order \(r\). This result generalizes the classical ones given by Y. Amice, J. Vélu and M. Vishik in the 1970's.