In this paper, we construct geometrically finite rational maps with buried critical points on the boundaries of some hyperbolic components by using the pinching and plumbing deformations.
It is known that the disconnected Julia set of any polynomial map does not contain buried Julia components. But such Julia components may arise for rational maps. The first example is due to Curtis T. McMullen who provided a family of rational maps for which the Julia sets are Cantor of Jordan curves. However all known examples of buried Julia components, up to now, are points or Jordan curves and comes from rational maps of degree at least 5. This paper introduce a family of hyperbolic rational maps with disconnected Julia set whose exchanging dynamics of postcritically separating Julia compo…
Let $f$ be a rational map with degree $d\geq 2$ whose Julia set is connected but not equal to the whole Riemann sphere. It is proved that there exists a rational map $g$ such that $g$ contains a buried Julia component on which the dynamics is quasiconformally conjugate to that of $f$ on the Julia set if and only if $f$ does not have parabolic basins and Siegel disks. If such $g$ exists, then the degree can be chosen such that $\text{deg}(g)\leq 7d-2$. In particular, if $f$ is a polynomial, then $g$ can be chosen such that $\text{deg}(g)\leq 4d+4$. Moreover, some quartic and cubic rational maps…
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.
This is a preliminary investigation of the geometry and dynamics of rational maps with only two critical points. (originally titled ``On Bicritical Rational Maps'' in September 1997; revised and retitled April 1999)
We show that the set of Misiurewicz maps has Lebesgue measure zero in the parameter space of rational maps for any fixed degree greater than or equal to 2.
We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.
If $R$ is a rational map, the Main Result is a uniformization Theorem for the space of decompositions of the iterates of $R$. Secondly, we show that Fatou conjecture holds for decomposable rational maps.
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.
Let ${\cal H}$ be a hyperbolic component of quadratic rational maps possessing two distinct attracting cycles. We show that ${\cal H}$ has compact closure in moduli space if and only if neither attractor is a fixed point.
We show that the topological entropy is monotonic for unimodal interval maps which are obtained from the restriction of quadratic rational maps with real coefficients. This is done by ruling out the existence of certain post-critical curves in the moduli space of aforementioned maps, and confirms a conjecture made in [Fil19] based on experimental evidence.
In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence…
In this short note we observe that within the family of slowly recurrent rational maps on the Riemann sphere, the Collet-Eckmann, second Collet-Eckmann, and topological Collet-Eckmann conditions are equivalent and also invariant under topological conjugacy.
We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree greater than or equal to 2 (generalising the earlier version math.DS/0701382).
We develop a Thurston-like theory to characterize geometrically finite rational maps, then apply it to study pinching and plumbing deformations of rational maps. We show that in certain conditions the pinching path converges uniformly and the quasiconformal conjugacy converges uniformly to a semi-conjugacy from the original map to the limit. Conversely, every geometrically finite rational map with parabolic points is the landing point of a pinching path for any prescribed plumbing combinatorics.
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.
A construction is given of Markov partitions for some rational maps, which persist over regions of parameter space, not confined to single hyperbolic components. The set on which the Markov partition exists, and its boundary, are analysed.
We discuss rescaling limits for sequences of complex rational maps in one variable which approach infinity in parameter space.It is shown that any given sequence of maps of degree $d \ge 2$ has at most $2d-2$ dynamically distinct rescaling limits which are not postcritically finite. For quadratic rational maps, a complete description of the possible rescaling limits is given. These results are obtained employing tools from non-Archimedean dynamics.
We give a complete characterization of degree two rational maps with potential good reduction over local fields. We show this happens exactly when the map corresponds to an integral point in the moduli space. We detail an algorithm by which to conjugate any degree two rational map corresponding to an integral point in the moduli space into a map with unit resultant. The local fields result is used to solve the same problem for fields over a principal ideal domain. Some additional results are given for degree 2 rational maps over the rationals.
This paper deepens the connections between critically finite rational maps and finite subdivision rules. The main theorem is that if f is a critically finite rational map with no periodic critical points, then for any sufficiently large integer n the iterate f^n is the subdivision map of a finite subdivision rule.
We study the dimension spectrum for Lyapunov exponents for rational maps acting on the Riemann sphere and characterize it by means of the Legendre-Fenchel transform of the hidden variational pressure. This pressure is defined by means of the variational principle with respect to non-atomic invariant probability measures and is associated to certain $σ$-finite conformal measures. This allows to extend previous results to exceptional rational maps.
The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps admitting antiholomorphic automorphisms. The locus of the real points ${\rm M}_{d}({\mathbb R})$ decomposes as a disjoint union of the loci ${\rm M}_{d}^{\mathbb R}$, consisting of the real rational maps, and ${\mathcal P}_{d}$, consisting of the pseudo-real ones. We obtain that, both ${\rm M}_{d}^{\mathbb R}$ and ${\rm M}_{d}({\mathbb R})$, are connected and…
We discuss the dynamical, topological, and algebraic classification of rational maps $f$ of the Riemann sphere to itself each of whose critical points $c$ is also a fixed-point of $f$, i.e. $f(c)=c$.
The aim of this paper is to show $J$-stability of immediately expanding rational maps over an algebraically closed, complete, and non-Archimedean field, which is an analogue of R. Mane, P. Sad, and D. Sullivan's theorem of $J$-stability in complex dynamical systems.
This continues the investigation of a combinatorial model for the variation of dynamics in the family of rational maps of degree two, by concentrating on those varieties in which one critical point is periodic. We prove some general results about nonrational critically finite degree two branched coverings, and finally identify the boundary of the rational maps in the combinatorial model, thus completing the proofs of results announced in Part 1.
We provide a natural canonical decomposition of postcritically finite rational maps with non-empty Fatou sets based on the topological structure of their Julia sets. The building blocks of this decomposition are maps where all Fatou components are Jordan disks with disjoint closures (Sierpiński maps), as well as those where any two Fatou components can be connected through a countable chain of Fatou components with common boundary points (crochet or Newton-like maps). We provide several alternative characterizations for our decomposition, as well as an algorithm for its effective computation. …
In this paper we investigate the perturbation properties of rational Misiurewicz maps, when the Julia set is the whole sphere (the other case is treated in [1]). In particular, we show that if f is a Misiurewicz map and not a flexible Lattes map, then we can find a hyperbolic map arbitrarily close to f.
This will is an expository description of quadratic rational maps. Sections 2 through 6 are concerned with the geometry and topology of such maps. Sections 7--10 survey of some topics from the dynamics of quadratic rational maps. There are few proofs. Section 9 attempts to explore and picture moduli space by means of complex one-dimensional slices. Section 10 describes the theory of real quadratic rational maps. For convenience in exposition, some technical details have been relegated to appendices: Appendix A outlines some classical algebra. Appendix B describes the topology of the space of r…
In this paper, we prove that a postcritically finite rational map with non-empty Fatou set is Thurstion equivalent to an expanding Thurston map if and only if its Julia set is homeomorphic to the standard Sierpinski carpet
We analyze the infinitesimal effect of holomorphic perturbations of the dynamics of a structurally stable rational map on a neighborhood of its Julia set. This implies some restrictions on the behavior of critical points.
In this article, we show that all admissible rational maps with fixed or period two cluster cycles can be constructed by the mating of polynomials. We also investigate the polynomials which make up the matings that construct these rational maps. In the one cluster case, one of the polynomials must be an $n$-rabbit and in the two cluster case, one of the maps must be either $f$, a "double rabbit", or $g$, a secondary map which lies in the wake of the double rabbit $f$. There is also a very simple combinatorial way of classifiying the maps which must partner the aforementioned polynomials to cre…
Let $f$ be a postcritically finite rational map. We prove that, as $n$ large enough, there exists an $f^n$-invariant (finite connected) graph on $\widehat{\mathbb{C}}$ such that it contains the postcritical set of $f$.
We describe the behaviour at infinity of the bifurcation current in the moduli space of quadratic rational maps. To this purpose, we extend it to some closed, positive (1, 1)-current on a two-dimensional complex projective space and then compute the Lelong numbers and the self-intersection of the extended current.
We show that in the family of degree $d\geq 2$ rational maps of the Riemann sphere, the closure of strictly postcritically finite maps contains a (relatively) Baire generic subset of maps displaying maximal non-statistical behavior: for a map $f$ in this generic subset, the set of accumulation points of the sequence of empirical measures of almost every point in the phase space is the largest possible one that is, the set of all $f$-invariant measures. The proofs is based on a transversality argument which allows us to control the behavior of the orbits of critical points for maps close to str…
We prove that a Latt' es map admits an eventually simply-connected wandering continuum precisely when it is flexible. The simply-connected wandering continuum is a line segment in a bi-infinite geodesic under the flat metric.
Let $ R $ be a rational map with totally disconnected Julia set $ J(R). $ If the postcritical set on $ J(R) $ contains a non-persistently recurrent (or conical) point, then we show that the map $ R $ can not be a structurally stable map.
Consider a rational map $R$ of degree $d\geq 2$ with coefficients over the non-archimedean field $\mathbb{C}_p$, with $p$ a fixed prime number. If $R$ has a cycle of Siegel disks and has good reduction, then it was shown by Rivera-Letelier in his PhD dissertation that a new rational map $Q$ can be constructed from $R$, in such a way that $Q$ will exhibit a cycle of $m$-Herman rings. In this paper, we address the case of rational maps with bad reduction and provide an extension of Rivera-Letelier's result for these class of maps.
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.
We investigate rational maps with period one and two cluster cycles. Given the definition of a cluster, we show that, in the case where the degree is $d$ and the cluster is fixed, the Thurston class of a rational map is fixed by the combinatorial rotation number $ρ$ and the critical displacement $δ$ of the cluster cycle. The same result will also be proved in the case that the rational map is quadratic and has a period two cluster cycle, but that the statement is no longer true in the higher degree case.
Given a rational map $f:\widehat{\mathbb C}\to\widehat{\mathbb C}$ on the Riemann sphere, we define $\mathrm{Deck}(f)$ to be the group of Möbius transformations $μ$ satisfying $f \circ μ= f$. In this note, we consider the groups $\mathrm{Deck}(f^k)$, where $f$ is a \emph{bicritical} rational map (that is, a rational map with exactly two critical points) and $f^k$ denotes the $k$th iterate of $f$. In particular, we give a complete description of which groups (up to isomorphism) arise as the groups $\mathrm{Deck}(f^k)$ for bicritical rational maps $f$.
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 define arithmetical and dynamical degrees for dynamical systems with several rational maps on projective varieties, study their properties and relations, and prove the existence of a canonical height function associated with divisorial relations in the Néron-Severi Group over Global fields of characteristic zero, when the rational maps are morphisms. For such, we show that for any Weil height $h_X$ with respect to an ample divisor on a projective variety $X$, any dynamical system $\mathcal{F}$ of rational self-maps on $X$, and any $ε>0$, there is a positive constant $C=C(X, h_X, f, ε)$ such…
We prove that the entropy function on the moduli space of real quadratic rational maps is not monotonic by exhibiting a continuum of disconnected level sets. This entropy behavior is in stark contrast with the case of polynomial maps, and establishes a conjecture on the failure of monotonicity for bimodal real quadratic rational maps of shape $(+-+)$ which was posed in arXiv:1901.03458 based on experimental evidence.
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(西湖大学理论科学研究院,西湖大学)
One of the conspicuous features of real slices of bicritical rational maps is the existence of Tricorn-type hyperbolic components. Such a hyperbolic component is called invisible if the non-bifurcating sub-arcs on its boundary do not intersect the closure of any other hyperbolic component. Numerical evidence suggests an abundance of invisible Tricorn-type components in real slices of bicritical rational maps. In this paper, we study two different families of real bicritical maps and characterize invisible Tricorn-type components in terms of suitable topological properties in the dynamical plan…
A study of real quadratic maps with real critical points, emphasizing the effective construction of critically finite maps with specified combinatorics. We discuss the behavior of the Thurston algorithm in obstructed cases, and in one exceptional badly behaved case, and provide a new description of the appropriate moduli spaces. There is also an application to topological entropy.
Markov partitions persisting in a neighbourhood of hyperbolic components of rational maps were constructed under the condition that closures of Fatou components are disjoint in \cite{R1}. Given such a partition, we characterize all nearby hyperbolic components in terms of the symbolic dynamics. This means we can count them, and also obtain topological information. We also determine extra conditions under which all nearby type IV hyperbolic components are given by matings. These are probably the first known results of this type.