The behaviour of rigid analytic functions around orbits of elements of C_p
The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C p\)
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.NEWLINENEWLINEFor 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.
- The \(p\)-adic measure on the orbit of an element of \(\mathbb{C}_p\)
- Representation results for equivariant rigid analytic functions
- On the zeros of Krasner analytic functions
- A representation theorem for a class of rigid analytic functions
- On Krasner analytic functions and the p-adic Mellin transform
- \(p\)-adic \(L\)-functions for CM fields
- A representation theorem for a class of rigid analytic functions
- Arithmetic of Weil curves
- scientific article; zbMATH DE number 3880972 (Why is no real title available?)
- scientific article; zbMATH DE number 3489249 (Why is no real title available?)
- scientific article; zbMATH DE number 1482142 (Why is no real title available?)
- scientific article; zbMATH DE number 3309311 (Why is no real title available?)
- On the closed subfields of C_p
- On the continuity of the trace
- On the transcendence of the trace function
- The \(p\)-adic measure on the orbit of an element of \(\mathbb{C}_p\)
- Transformation de Cauchy p-adique et algèbre d'Iwasawa. (p-adic Cauchy transformation and Iwasawa algebra)
- Zeros of polynomials over local fields. The Galois action
- On the zeros of Krasner analytic functions
- Generating sets of Galois equivariant Krasner analytic functions
- Integral representations and the behavior of Krasner analytic functions around singular points
- Representation results for equivariant rigid analytic functions
- scientific article; zbMATH DE number 1973902 (Why is no real title available?)
- On the orbits of analytic functions with respect to a Pommiez type operator
- Transformation formulas for L-functions associated with Galois orbits in C_p
- A representation theorem for a class of rigid analytic functions
- On p-adic analytic continuation with applications to generating elements
- scientific article; zbMATH DE number 7759908 (Why is no real title available?)
- Galois equivariant functions on Galois orbits in large p-adic fields
- On the Iwasawa algebra associated to a normal element of C_p
This page was built for publication: The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C_p\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q442637)
