The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C_p\) (Q442637): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Sever Achimescu / rank | |||
Property / author | |||
Property / author: Victor Alexandru / rank | |||
Property / author | |||
Property / author: Nicolae Popescu / rank | |||
Property / author | |||
Property / author: Marian Vâjâitu / rank | |||
Property / author | |||
Property / author: Sever Achimescu / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Victor Alexandru / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Nicolae Popescu / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Marian Vâjâitu / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11S99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11J25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11S20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11S80 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6063123 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigid analytic functions | |||
Property / zbMATH Keywords: rigid analytic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local fields | |||
Property / zbMATH Keywords: local fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(p\)-adic distributions | |||
Property / zbMATH Keywords: \(p\)-adic distributions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cauchy transforms | |||
Property / zbMATH Keywords: Cauchy transforms / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Gabriel Daniel Villa-Salvador / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3417135 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5458783 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(p\)-adic measure on the orbit of an element of \(\mathbb{C}_p\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the closed subfields of \(C_p\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A representation theorem for a class of rigid analytic functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4071850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590141 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zeros of polynomials over local fields. The Galois action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transformation de Cauchy \(p\)-adique et algèbre d'Iwasawa. (\(p\)-adic Cauchy transformation and Iwasawa algebra) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic \(L\)-functions for CM fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic of Weil curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4492826 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3346515 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:08, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C_p\) |
scientific article |
Statements
The behaviour of rigid analytic functions around orbits of elements of \(\mathbb C_p\) (English)
0 references
3 August 2012
0 references
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.
0 references
rigid analytic functions
0 references
local fields
0 references
\(p\)-adic distributions
0 references
Cauchy transforms
0 references
0 references