The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C_p\) (Q442637)

Let \(p\) be a prime number and let \({\mathbb C}_p\) be the completion of an algebraic closure \(\bar{\mathbb Q}_p\) of the field of \(p\)-adic numbers \({\mathbb Q}_p\). Let \(G:=\mathrm{Gal}(\bar{\mathbb Q}_p /{\mathbb Q}_p)\cong \mathrm{Gal}_{\mathrm{cont}}({\mathbb C}_p/ {\mathbb Q}_p)\). For an element \(x\in {\mathbb C}_p\), \({\mathcal O}(x)\) denotes the orbit of \(x\) with respect \(G\). This paper studies the behavior of rigid analytic functions defined on \(E(x)=({\mathbb C}_p\cup\{\infty\}) \setminus {\mathcal O}(x)\). When \(x\) is algebraic, the main result is that if \(S\) is a nonempty finite subset of \({\mathbb C}_p\) and \(f: ({\mathbb C}_p\cup \{ \infty\})\setminus S \to {\mathbb C}_p\) is a rigid analytic function that is not rational, then \(f\) has infinitely many zeros in any neighborhood of at least one point of \(S\). The authors give two different proofs of this result; one using the analogue of the classical result of Picard and the second one by exploiting that certain function has a Weierstrass product uniquely determined by its family of zeros. For the transcendental case \(x\in{\mathbb C}_p\), let \(\delta\) be a fixed positive real number, \(B(x,\delta):= \{y\in{\mathbb C}_p\mid |x-y|< \delta\}\), \(B[x,\delta]:= \{y\in{\mathbb C}_p\mid |x-y|\leq \delta\}\) and let \(f: E[x,\delta]:=B[x,\delta]\setminus{\mathcal O}(x) \to {\mathbb C}_p\) be a rigid analytic function such that the set of real numbers \(\{\epsilon \|f\|_{E[x,\epsilon, \delta]}\}_{\delta>\epsilon>0}\) is bounded where \(E[x,\epsilon,\delta]=\{y\in B[x,\delta]\mid |y-t|\geq \epsilon, \text{ for all } t\in{\mathcal O}(x)\cap B(x,\delta)\}\). Then there exists a unique \(p\)-adic measure \(\mu_f\) on \({\mathcal O}(x)\cap B[x,\delta]\) such that \(f(z)=g(z)+\int_{{\mathcal O}(x)\cap B[x,\delta]} \frac{1}{z-t} d\mu_f(t)\), \(z\in E[x,\delta]\) where \(g(z)\) is an entire function on \(B[x,\delta]\) and the representation of \(f\) is unique. It is also obtained that if \(f: E[x,\delta]\to {\mathbb C}_p\) is a rigid analytic function such that all the points of \({\mathcal O}(x)\cap B[x,\delta]\) are singular points of \(f\) then \(\liminf_{z\to x} |f(z)|=0\). The authors give examples of rigid analytic functions with and without zeros.