In this article, we prove that every unicritical polynomial map that has only rational multipliers is either a power map or a Chebyshev map. This provides some evidence in support of a conjecture by Milnor concerning rational maps whose multipliers are all integers.
For rational numbers $c$, we present a trichotomy of the set of totally real (totally $p$-adic, respectively) preperiodic points for maps in the quadratic unicritical family $f_c(x)=x^2+c$. As a consequence, we classify quadratic polynomials $f_c$ with rational parameters $c\in\mathbb{Q}$ so that $f_c$ has only finitely many totally real (totally $p$-adic, respectively) preperiodic points. These results rely on an adelic Fekete-type theorem and dynamics of the filled Julia set of $f_c$. Moreover, using a numerical criterion introduced in [NP], we make explicit calculations of the set of totall…
We show that if $β>1$ is a rational number and the Julia set $J$ of the holomorphic correspondence $z^β+c$ is a locally eventually onto hyperbolic repeller, then the Hausdorff dimension of $J$ is bounded from above by the zero of the associated pressure function. As a consequence, we conclude that the Julia set of the correspondence has zero Lebesgue measure for parameters close to zero, whenever $q^2<p$ and $β=p/q$ in lowest terms.
Let $K$ be an algebraically closed field of characteristic zero, and let $\mathcal{K} := K(t)$ be the rational function field over $K$. For each $d \ge 2$, we consider the unicritical polynomial $f_d(z) := z^d + t \in \mathcal{K}[z]$, and we ask the following question: If we fix $α\in \mathcal{K}$ and integers $M \ge 0$, $N \ge 1$, and $d \ge 2$, does there exist a place $\mathfrak{p} \in \operatorname{Spec} K[t]$ such that, modulo $\mathfrak{p}$, the point $α$ enters into an $N$-cycle after precisely $M$ steps under iteration by $f_d$? We answer this question completely, concluding that the a…
In an analogy with the Galois homothety property for torsion points of abelian varieties that was used in the proof of the Mordell-Lang conjecture, we describe a correspondence between the action of a Galois group and the dynamical action of a rational map. For nonlinear polynomials with rational coefficients, the irreducibility of the associated dynatomic polynomial serves as a convenient criterion, although we also verify that the correspondence occurs in several cases when the dynatomic polynomial is reducible. The work of Morton, Morton-Patel, and Vivaldi-Hatjispyros in the early 1990s con…
Given a polynomial $p$, the degree of its Chebyshev's method $C_p$ is determined. If $p$ is cubic then the degree of $C_p$ is found to be $4,6$ or $7$ and we investigate the dynamics of $C_p$ in these cases. If a cubic polynomial $p$ is unicritical or non-generic then, it is proved that the Julia set of $C_p$ is connected. The family of all rational maps arising as the Chebyshev's method applied to a cubic polynomial which is non-unicritical and generic is parametrized by the multiplier of one of its extraneous fixed points. Denoting a member of this family with an extraneous fixed point with …
Let $k$ be a number field with algebraic closure $\bar{k}$, and let $S$ be a finite set of places of $k$ containing all the archimedean ones. Fix $d\geq 2$ and $α\in \bar{k}$ such that the map $z\mapsto z^d+α$ is not postcritically finite. Assuming a technical hypothesis on $α$, we prove that there are only finitely many parameters $c\in\bar{k}$ for which $z\mapsto z^d+c$ is postcritically finite and for which $c$ is $S$-integral relative to $(α)$. That is, in the moduli space of unicritical polynomials of degree d, there are only finitely many PCF $\bar{k}$-rational points that are $((α),S)$-…
We show that the set of conjugacy classes of cubic polynomials with a prefixed critical point, of preperiod $k\geq 1$, is an irreducible algebraic curve. We also establish an analogous result for quadratic rational maps. We then study a closely related question concerning the irreducibility (over $\mathbb Q$) of the set of conjugacy classes of unicritical polynomials, of degree $D\geq 2$, with a preperiodic critical point. Our proofs are purely algebraic.
In this article, we show that every rational map whose multipliers all lie in a given number field is a power map, a Chebyshev map or a Lattès map. This strengthens a conjecture by Milnor concerning rational maps with integer multipliers, which was recently proved by Ji and Xie.
In this article, we consider a counting problem for orbits of hyperbolic rational maps on the Riemann sphere, where constraints are placed on the multipliers of orbits. Using arguments from work of Dolgopyat, we consider varying and potentially shrinking intervals, and obtain a result which resembles a local central limit theorem for the logarithm of the absolute value of the multiplier and an equidistribution theorem for the holonomies.
We consider the space of degree $n\ge 2$ rational maps of the Riemann sphere with $k$ distinct marked periodic orbits of given periods. First, we show that this space is irreducible. For $k=2n-2$ and with some mild restrictions on the periods of the marked periodic orbits, we show that the multipliers of these periodic orbits, considered as algebraic functions on the above mentioned space, are algebraically independent over $\mathbb C$. Equivalently, this means that at its generic point, the moduli space of degree $n$ rational maps can be locally parameterized by the multipliers of any $2n-2$ …
In the moduli space of degree d polynomials, we prove the equidistribution of postcritically finite polynomials toward the bifurcation measure. More precisely, using complex analytic arguments and pluripotential theory, we prove the exponential speed of convergence for C 2-observables. This improves results obtained with arithmetic methods by Favre and Rivera-Letellier in the unicritical family and Favre and the first author in the space of degree d polynomials. We deduce from that the equidistribution of hyperbolic parameters with (d -- 1) distinct attracting cycles of given multipliers towar…
In this article, we prove that every quadratic rational map whose multipliers all lie in the ring of integers of a given imaginary quadratic field is a power map, a Chebyshev map or a Lattès map. In particular, this provides some evidence in support of a conjecture by Milnor concerning rational maps whose multipliers are all integers.
In an algebraic family of rational maps of $\mathbb{P}^1$, we show that, for almost every parameter for the trace of the bifurcation current of a marked critical value, the critical value is Collet-Eckmann. This extends previous results of Graczyk and Świcatek in the unicritical family, using Makarov theorem. Our methods are based instead on ideas of laminar currents theory.
Let f be a rational function such that the multipliers of all repelling periodic points are real. We prove that the Julia set of such a function belongs to a circle. Combining this with a result of Fatou we conclude that whenever J(f) belongs to a smooth curve, it also belongs to a circle. Then we discuss rational functions whose Julia sets belong to a circle.
We study angles of multipliers of repelling cycles for hyperbolic rational maps in $\mathbb C(z)$. For a fixed $K \gg 1$, we show that almost all intervals of length $2π/K$ in $(-π,π]$ contain a multiplier angle with the property that the norm of the multiplier is bounded above by a polynomial in $K$.
Given a polynomial or a rational map f we associate to it a space of maps. We introduce local coordinates in this space, which are essentially the set of critical values of the map. Then we consider an arbitrary periodic orbit of f with multiplier ρ\not=1 as a function of the local coordinates, and establish a simple connection between the dynamical plane of f and the function ρin the space associated to f. The proof is based on the theory of quasiconformal deformations of rational maps. As a corollary, we show that multipliers of non-repelling periodic orbits are also local coordinates in the…
We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces. The rationality of the moduli space of degree $(d,e)$ correspondences is obtained from a representation-theoretic projection to the one for the usual dynamical systems of degree $d+e-1$. We also show that the multiplier maps for the fixed points and the multiplier index theorem (Woods Hole formula) are also reduced through the projection and obtain the reduced…
We study critical orbits and bifurcations within the moduli space of quadratic rational maps on $\mathbb{P}^1$. We focus on the family of curves, $Per_1(λ)$ for $λ$ in $\mathbb{C}$, defined by the condition that each $f\in Per_1(λ)$ has a fixed point of multiplier $λ$. We prove that the curve $Per_1(λ)$ contains infinitely many postcritically-finite maps if and only if $λ= 0$; addressing a special case of [BD2, Conjecture 1.4]. We also show that the two critical points of a map $f$ define distinct bifurcation measures along $Per_1(λ)$.
Generalized rescaling limits of a sequence of rational maps
CNRS - Centre de Mathématiques Laurent Schwartz, École Polytechnique(法国国家科学研究中心-洛朗·施瓦茨数学中心,巴黎综合理工学院);Institute for Theoretical Sciences of Westlake University, Westlake University(西湖大学理论科学研究院,西湖大学)
Let $K$ be an algebraically closed field of characteristic 0 that is complete with respect to a non-archimedean absolute value. We establish a locally uniform approximation formula of the Lyapunov exponent of a rational map $f$ of $\mathbb{P}^1$ of degree $d>1$ over $K$, in terms of the multipliers of $n$-periodic points of $f$, with an explicit control in terms of $n$, $f$ and $K$. As an immediate consequence, we obtain an estimate for the blow-up of the Lyapunov exponent near a pole in one-dimensional families of rational maps over $K$. Combined with our former archimedean version, this non-…
McMullen proved the moduli space of complex rational maps can be parametrized by the spectrum of all periodic-point multipliers up to a finite amount of data, with the well-understood exception of Lattès maps. We generalize his method to large positive characteristic. McMullen's method is analytic; a modified version of the method using rigid analysis works over a function field over a finite field of characteristic larger than the degree of the map. Over a finite field with such characteristic it implies that, generically, rational maps can indeed be parametrized by their multiplier spectra u…
We discuss analogues of the prime number theorem for a hyperbolic rational map f of degree at least two on the Riemann sphere. More precisely, we provide counting estimates for the number of primitive periodic orbits of f ordered by their multiplier, and also obtain equidistribution of the associated holonomies; both estimates have power savings error terms. Our counting and equidistribution results will follow from a study of dynamical zeta functions that have been twisted by characters of $S^1$. We will show that these zeta functions are non-vanishing on a half plane $\Re(s) > δ- ε$, where $…
In this paper, we study the dynamics of degenerating sequences of rational maps on Riemann sphere $\hat{\mathbb{C}}$ using $\mathbb{R}$-trees. Given a sequence of degenerating rational maps, we give two constructions for limiting dynamics on $\mathbb{R}$-trees: one geometric and one algebraic. The geometric construction uses the ultralimit of rescalings of barycentric extensions of rational maps, while the algebraic construction uses the Berkovich space of complexified Robinson's field. We show the two approaches are equivalent. The limiting dynamics on the $\mathbb{R}$-tree are analogues to i…
Let $K$ be a complete, algebraically closed non-archimedean valued field, and let $φ(z) \in K(z)$ have degree two. We describe the crucial set of $φ$ in terms of the multipliers of $φ$ at the classical fixed points, and use this to show that the crucial set determines a stratification of the moduli space $\mathcal{M}_2(K)$ related to the reduction type of $φ$. We apply this to settle a special case of a conjecture of Hsia regarding the density of repelling periodic points in the non-archimedean Julia set.
Let $Λ$ be a quasi-projective variety and assume that, either $Λ$ is a subvariety of the moduli space $\mathcal{M}_d$ of degree $d$ rational maps, or $Λ$ parametrizes an algebraic family $(f_λ)_{λ\inΛ}$ of degree $d$ rational maps on $\mathbb{P}^1$. We prove the equidistribution of parameters having $p$ distinct neutral cycles towards the $p$-th bifurcation current letting the periods of the cycles go to $\infty$, with an exponential speed of convergence. We deduce several fundamental consequences of this result on equidistribution and counting of hyperbolic components. A key step of the proof…
In this paper we study analytic families of degree 2 parabolic-like mappings (as we defined in arXiv:1111.7150). We prove that the corresponding family of hybrid conjugacies induces a continuous map, which associates to each parameter the multiplier of the fixed point of the hybrid equivalent rational map P_A. We prove that, under suitable conditions, this map restricts to a ramified covering from the connectedness locus of the family of parabolic-like maps to the connectedness locus M_1 \ {1}.
Queen Mary University of London(伦敦玛丽女王大学);Instituto de Matemática Pura e Aplicada(巴西纯粹与应用数学研究所);Institute for Mathematical Sciences, Stony Brook University(石溪大学数学科学研究所);Tata Institute of Fundamental Research(塔塔基础研究所)
We prove that given any $θ_1,\ldots,θ_{2d-2}\in \R\setminus\Z$, the support of the bifurcation measure of the moduli space of degree $d$ rational maps coincides with the closure of classes of maps having $2d-2$ neutral cycles of respective multipliers $e^{2iπθ_1},\ldots,e^{2iπθ_{2d-2}}$. To this end, we generalize a famous result of McMullen, proving that homeomorphic copies of $(\partial \Mand)^{k}$ are dense in the support of the $k^{th}$-bifurcation current $T^k_\bif$ in general families of rational maps, where $\Mand$ is the Mandelbrot set. As a consequence, we also get sharp dimension est…