$p$-adic rational maps having empty Fatou set

Aihua Fan,Shilei Fan,Yahia Mwanis,Yuefei Wang

2024-01-12

Abstract:On any finite algebraic extension $K$ of the field $\Q_p$ of $p$-adic numbers, there exist rational maps $\phi\in K(z)$ such that dynamical system $(\mathbb{P}^{1}(K),\phi)$ has empty Fatou set, i.e. the iteration family $\{\phi^n: n\geq 0\}$ is nowhere equicontinuous.

Dynamical Systems

What problem does this paper attempt to address?

Fatou Components and Julia Sets of Singularly Perturbed Rational Maps with Positive Parameter

Wei Yuan Qiu,Lan Xie,Yong Cheng Yin

DOI: https://doi.org/10.1007/s10114-012-0586-1

2012-01-01

Abstract:In this paper, we discuss the rational maps F_λ (z) = z^n + λ /z^n ,n ⩾ 2 with the positive real parameter λ . It is shown that the immediately attracting basin B λ of ∞ for F λ is always a Jordan domain if the Julia set of F λ is not a Cantor set. Furthermore, B λ is a quasidisk if there is no parabolic fixed point on the boundary of B λ . It is also shown that if the Julia set of F λ is connected, then it is locally connected and all Fatou components are Jordan domains. Finally, a complete description to the problem when the Julia set is a Sierpiński curve is given.
Rational Maps Whose Julia Sets Are Cantor Circles

Weiyuan Qiu,Fei Yang,Yongcheng Yin

DOI: https://doi.org/10.1017/etds.2013.53

2013-01-01

Abstract:In this paper, we give a family of rational maps whose Julia sets are Cantor circles and show that every rational map whose Julia set is a Cantor set of circles must be topologically conjugate to one map in this family on their corresponding Julia sets. In particular, we give the specific expressions of some rational maps whose Julia sets are Cantor circles, but they are not topologically conjugate to any McMullen maps on their Julia sets. Moreover, some non-hyperbolic rational maps whose Julia sets are Cantor circles are also constructed.
$P$-Adic $L$-FUNCTIONS FOR UNITARY GROUPS

Ellen Eischen,Michael Harris,Jianshu Li,Christopher Skinner

DOI: https://doi.org/10.1017/fmp.2020.4

2020-01-01

Forum of Mathematics Pi

Abstract:This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in Harris, Li and Skinner [‘$p$-adic $L$-functions for unitary Shimura varieties. I. Construction of the Eisenstein measure’, Doc. Math.Extra Vol. (2006), 393–464 (electronic)], three of the authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent results, including the first named author’s construction of Eisenstein measures and $p$-adic differential operators [Eischen, ‘A $p$-adic Eisenstein measure for unitary groups’, J. Reine Angew. Math.699 (2015), 111–142; ‘$p$-adic differential operators on automorphic forms on unitary groups’, Ann. Inst. Fourier (Grenoble)62(1) (2012), 177–243], Part II of the present paper provides the calculations of local $\unicode[STIX]{x1D701}$-integrals occurring in the Euler product (including at $p$). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method.
Expanding property and statistical laws for $p$-adic subhyperbolic rational maps

Shilei Fan,Lingmin Liao,Hongming Nie,Yuefei Wang

2024-01-12

Abstract:Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers. A rational map $\phi\in K(z)$ of degree at least $2$ is subhyperbolic if each critical point in the $\mathbb{C}_p$-Julia set of $\phi$ is eventually periodic. We show that subhyperbolic maps in $K(z)$ exhibit expanding property with respect to some (singular) metric. As an application, under a mild assumption, we establish several statistical laws for such maps in $K(z)$ with compact $\mathbb{C}_p$-Julia sets.

Dynamical Systems
Julia sets and geometrically finite maps over finite extensions of the $p$-adic field

Shilei Fan,Lingmin Liao,Hongmin Nie,Yuefei Wang

2024-01-12

Abstract:Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers, and $\phi\in K(z)$ be a rational map of degree at least $2$. We prove that the $K$-Julia set of $\phi$ is the natural restriction of $\mathbb{C}_p$-Julia set, provided that the critical orbits are well-behaved. Moreover, under further assumption that $\phi$ is geometrically finite, we prove that the dynamics on the $K$-Julia set of $\phi$ is a countable state Markov shift.

Dynamical Systems,Complex Variables
On the Exceptional Sets of $p$-adic Transcendental Analytic Functions

Bruno De Paula Miranda,Jean Lelis

2024-07-18

Abstract:In this paper, we study the exceptional sets $S_f$ of $p$-adic transcendental analytic functions $f$ with rational and algebraic coefficients. We establish a necessary condition for a subset $S \subseteq \overline{\mathbb{Q}} \cap B(0, \rho)$ to be the exceptional set of a $p$-adic transcendental analytic function with rational coefficients, demonstrating that, in general, the answer to Mahler's Problem C over $\mathbb{C}_p$ is negative. However, we prove that if $S$ is closed under algebraic conjugation and contains 0, there exist uncountably many transcendental analytic functions $f \in \mathbb{Q}_{\rho}[[z]]$ such that $S_f = S$. Furthermore, if $\rho \geq 1$, $f$ can be taken in $\mathbb{Z}_{\rho}[[z]]$. Additionally, we demonstrate that any $S \subseteq \overline{\mathbb{Q}} \cap B(0, \rho)$ containing 0 can be the exceptional set of uncountably many transcendental analytic functions $f \in \overline{\mathbb{Q}}_{\rho}[[z]]$.

Number Theory
Rational Maps Admitting Meromorphic Invariant Line Fields

Xiaoguang Wang

DOI: https://doi.org/10.1017/s0004972709000495

2009-01-01

Bulletin of the Australian Mathematical Society

Abstract:It is shown that a rational map of degree at least 2 admits a meromorphic invariant line field if and only if it is conformally conjugate to either an integral Lattes map, a power map, or a Chebyshev polynomial.
Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Khoa D. Nguyen,Anwesh Ray

2024-10-04

Abstract:We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $\phi$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.

Number Theory,Dynamical Systems
Many $p$-adic odd zeta values are irrational

Li Lai,Johannes Sprang

2023-06-18

Abstract:For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are irrational. The constant $c_p$ is positive and does only depend on $p$. This result establishes a $p$-adic version of the elimination technique used by Fischler--Sprang--Zudilin and Lai--Yu to prove a similar result on classical zeta values. The main difficulty consists in proving the non-vanishing of the resulting linear forms. We overcome this problem by using a new irrationality criterion.

Number Theory
Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps

Yohsuke Matsuzawa,Long Wang

2024-06-20

Abstract:A dominant rational self-map on a projective variety is called $p$-cohomologically hyperbolic if the $p$-th dynamical degree is strictly larger than other dynamical degrees. For such a map defined over $\overline{\mathbb{Q}}$, we study lower bounds of the arithmetic degrees, existence of points with Zariski dense orbit, and finiteness of preperiodic points. In particular, we prove that, if $f$ is an $1$-cohomologically hyperbolic map on a smooth projective variety, then (1) the arithmetic degree of a $\overline{\mathbb{Q}}$-point with generic $f$-orbit is equal to the first dynamical degree of $f$; and (2) there are $\overline{\mathbb{Q}}$-points with generic $f$-orbit. Applying our theorem to the recently constructed rational map with transcendental dynamical degree, we confirm that the arithmetic degree can be transcendental.

Algebraic Geometry,Dynamical Systems,Number Theory
Distribution of preperiodic points in one-parameter families of rational maps

Matt Olechnowicz

2023-07-26

Abstract:Let $f_t$ be a one-parameter family of rational maps defined over a number field $K$. We show that for all $t$ outside of a set of natural density zero, every $K$-rational preperiodic point of $f_t$ is the specialization of some $K(T)$-rational preperiodic point of $f$. Assuming a weak form of the Uniform Boundedness Conjecture, we also calculate the average number of $K$-rational preperiodic points of $f$, giving some examples where this holds unconditionally. To illustrate the theory, we give new estimates on the average number of preperiodic points for the quadratic family $f_t(z) = z^2 + t$ over the field of rational numbers.

Number Theory,Dynamical Systems
A dynamical construction of small totally $p$-adic algebraic numbers

Clayton Petsche,Emerald Stacy

DOI: https://doi.org/10.48550/arXiv.1901.07661

2019-01-23

Abstract:We give a dynamical construction of an infinite sequence of distinct totally $p$-adic algebraic numbers whose Weil heights tend to the limit $\frac{\log p}{p-1}$, thus giving a new proof of a result of Bombieri-Zannier. The proof is essentially equivalent to the explicit calculation of the Arakelov-Zhang pairing of the maps $\sigma(x)=x^2$ and $\phi_p(x)=\frac{1}{p}(x^p-x)$.

Number Theory
Frobenius structure and $p$-adic zeta function

Frits Beukers,Masha Vlasenko

2023-11-15

Abstract:For differential operators of Calabi-Yau type, Candelas, de la Ossa and van Straten conjecture the appearance of $p$-adic zeta values in the matrix entries of their $p$-adic Frobenius structure expressed in the standard basis of solutions near a MUM-point. We prove that this phenomenon holds for simplicial and hyperoctahedral families of Calabi-Yau hypersurfaces in $n$ dimensions, in which case the Frobenius matrix entries are rational linear combinations of products of $\zeta_p(k)$ with $1 < k < n$.

Number Theory,Mathematical Physics,Algebraic Geometry
Rational maps without Herman rings

Fei Yang

DOI: https://doi.org/10.48550/arXiv.1310.2802

2016-06-18

Abstract:Let $f$ be a rational map with degree at least two. We prove that $f$ has at least $2$ disjoint and infinite critical orbits in the Julia set if it has a Herman ring. This result is sharp in the following sense: there exists a cubic rational map having exactly two critical grand orbits but also having a Herman ring. In particular, $f$ has no Herman rings if it has at most one infinite critical orbit in the Julia set. These criterions derive some known results about the rational maps without Herman rings.

Dynamical Systems,Complex Variables
Asymptotic Variation of Elementary Abelian p-Extensions over $P^1$

Hui June Zhu

2024-10-05

Abstract:In this paper, we prove that there exists a Zariski dense open subset $U$ in the parameter space of all elementary $p$-covers of the projective line that ramified at exactly one point, defined over the rationals, such that for every curve $X$ in $U(\overline{Q})$ and for any prime $p$ large enough, the reduction of $X$ at all primes lying over $p$ achieves its generic Newton slopes.

Number Theory,Algebraic Geometry
Flat morphisms with regular fibers do not preserve $F$-rationality

Eamon Quinlan-Gallego,Austyn Simpson,Anurag K. Singh

2024-06-02

Abstract:For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the process we also obtain standard graded $F$-rational rings $R$ for which $R\otimes_K R$ is not $F$-rational.

Commutative Algebra
On sets of rational functions which locally represent all of $\mathbb{Q}$

Benjamin Klahn,Joachim König

2024-08-16

Abstract:We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We give strong necessary conditions on the shape of functions appearing in a minimal set with this property, as well as numerous concrete examples showing that these necessary conditions are in a way also close to sufficient. We connect the problem to well-studied concepts such as intersective polynomials and arithmetically exceptional functions.

Number Theory
Symmetrization of Rational Maps: Arithmetic Properties and Families of Lattès Maps of $\mathbb P^k$

Thomas Gauthier,Benjamin Hutz,Scott Kaschner

DOI: https://doi.org/10.48550/arXiv.1603.04887

2022-12-06

Abstract:In this paper we study properties of endomorphisms of $\p^k$ using a symmetric product construction $(\p^1)^k/\mathfrak{S}_k \cong \p^k$. Symmetric products have been used to produce examples of endomorphisms of $\p^k$ with certain characteristics, $k\geq2$. In the present note, we discuss the use of these maps to enlighten stability phenomena in parameter spaces. In particular, we study $k$-deep post-critically finite maps and characterize families of Lattès maps.

Dynamical Systems
An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Alain Couvreur

DOI: https://doi.org/10.1090/proc/13015

IF: 0.9709

2016-02-12

Proceedings of the American Mathematical Society

Abstract:<p> We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field <math alttext="bold upper F Subscript q"> <semantics> <msub> <mrow> <mi mathvariant="bold">F</mi> </mrow> <mi>q</mi> </msub> <annotation>\mathbf {F}_q</annotation> </semantics> </math> . This bound depends only on the dimensions and degrees of the irreducible components and holds for very general projective varieties, even reducible and nonequidimensional. As a consequence, we prove a conjecture of Ghorpade and Lachaud on the maximal number of rational points of an equidimensional projective variety. </p>

mathematics, applied
Area of the Fatou Sets of a Family of Entire Functions

Song Zhang,Fei Yang

2017-01-01

Abstract:Let $f$ be an entire function with the form $f(z)=P(e^z)/e^z$, where $P$ is a polynomial with degree at least $2$ and $P(0)\neq 0$. We prove that the area of the complement of the fast escaping set (hence the Fatou set) of $f$ in a horizontal strip of width $2\pi$ is finite. In particular, the corresponding result can be applied to the sine family $\alpha\sin(z+\beta)$, where $\alpha\neq 0$ and $\beta\in\mathbb{C}$.

$p$-adic rational maps having empty Fatou set

Fatou Components and Julia Sets of Singularly Perturbed Rational Maps with Positive Parameter

Rational Maps Whose Julia Sets Are Cantor Circles

$P$-Adic $L$-FUNCTIONS FOR UNITARY GROUPS

Expanding property and statistical laws for $p$-adic subhyperbolic rational maps

Julia sets and geometrically finite maps over finite extensions of the $p$-adic field

On the Exceptional Sets of $p$-adic Transcendental Analytic Functions

Rational Maps Admitting Meromorphic Invariant Line Fields

Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Many $p$-adic odd zeta values are irrational

Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps

Distribution of preperiodic points in one-parameter families of rational maps

A dynamical construction of small totally $p$-adic algebraic numbers

Frobenius structure and $p$-adic zeta function

Rational maps without Herman rings

Asymptotic Variation of Elementary Abelian p-Extensions over $P^1$

Flat morphisms with regular fibers do not preserve $F$-rationality

On sets of rational functions which locally represent all of $\mathbb{Q}$

Symmetrization of Rational Maps: Arithmetic Properties and Families of Lattès Maps of $\mathbb P^k$

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Area of the Fatou Sets of a Family of Entire Functions