A representation theorem for a class of rigid analytic functions (Q558154)

For a prime number \(p\), let \({\mathbb Q}_ p\) denote the field of \(p\)-adic numbers and \({\mathbb C} _ p\) the completion of a fixed algebraic closure \(\overline{\mathbb Q}_ p\) of \({\mathbb Q}_ p\). Let \(G\) be the absolute Galois group of \({\mathbb Q}_ p\): \(G=\text{Gal}(\overline{\mathbb Q}_ p/{\mathbb Q}_ p)\). The group \(G\) is canonically isomorphic with the group of all continuous automorphisms of \({\mathbb C} _ p\) over \({\mathbb Q}_ p\). The purpose of the paper under review is to obtain a representation theorem for rigid analytic functions on \(E(t,\varepsilon)= ({\mathbb C}_ p \cup \infty)\setminus C(t,\varepsilon)\) which are equivariant with respect \(G\), where \(t\) is a {\textsl{Lipschitzian}} element of \({\mathbb C}_ p\) and \(C(t,\varepsilon)\) denotes the \(\varepsilon\)-neighborhood of the orbit of \(t\) under the action of \(G\). When \(t\) is algebraic over \({\mathbb Q}_ p\), these functions can be described easily: sending \(t\) to the point at infinity, they correspond to the power series \(\sum_{n=0}^{\infty} a_ n z^ n\) with \(a_ n\in {\mathbb Q}_ p\) and \(\lim_{n\to\infty} \root n \of {| a_ n| }=0\). It \(t\) is transcendental over \({\mathbb Q}_ p\) it is not obvious that there exist nonconstant equivariant rigid analytic functions on \(E(t,\varepsilon)\). However, for Lipschitzian elements, the authors [J. Number Theory 88, No. 1, 13--38 (2001; Zbl 0965.11049)] construct such a function \(z\mapsto F(t,z)\). In this paper rigid analytic functions \(F_ {m,n} (t,z)\) are defined on \(E(t,\varepsilon)\) for any Lipschitzian element \(t\) and any nonnegative integer numbers \(m,n\). Then any equivariant rigid analytic function on \(E(t,\varepsilon)\) is expressed in terms of these functions \(F_{m,n}(t,z)\).