×

A classification of bicritical rational maps with a pair of period two superattracting cycles. (English. French summary) Zbl 1343.37035

Let \(f\) and \(g\) be unicritical monic polynomials of degree \(d\) (that is, the form \(z \longmapsto z^d+c,\) for some \(c\)). Denote by \(\widetilde{\mathbb{C}}=\mathbb{C} \cup \Big\{\infty\cdot e^{2 \pi i t},~~t \in \mathbb{R}/\mathbb{Z}\Big\}\) the complex plane compactified by the circle at infinity. We continuously extend the two polynomials to the circle at infinity by \[ f(\infty\cdot e^{2 \pi i t})=g(\infty\cdot e^{2 \pi i t})=\infty\cdot e^{2 d \pi i t}. \]
The extended dynamical plane of \(f\) (respectively \(g\)) is denoted by \(\widetilde{\mathbb{C}}_f\) (respectively \(\widetilde{\mathbb{C}}_g\)). We define a topological sphere \(\Sigma_{f,g}\) by gluing the two extended planes together along the circle at infinity, that is, \[ \Sigma_{f,g}= \widetilde{\mathbb{C}}_f \cup \widetilde{\mathbb{C}}_g/\sim, \] where \(\sim\) is the relation which identifies the point \(\infty\cdot e^{2 \pi i t} \in \widetilde{\mathbb{C}}_f \) with the point \(\infty.e^{-2 \pi i t} \in \widetilde{\mathbb{C}}_g\). The formal mating is defined to be the branched covering \(f \uplus g:\Sigma_{f,g} \longrightarrow \Sigma_{f,g}\) such that \(f \uplus g|_{\widetilde{\mathbb{C}}_f}=f\) and \(f \uplus g|_{\widetilde{\mathbb{C}}_g}=g\).
Assume that the filled Julia set \(K_h\) of a monic polynomial \(h :\widetilde{\mathbb{C}} \rightarrow \widetilde{\mathbb{C}}\) of degree \(d \geq 2\) is connected. Then, by Böttcher’s theorem, there is a conformal isomorphism \[ \phi=\phi_h:\widetilde{\mathbb{C}}\setminus \overline{\mathbb{D}} \rightarrow \widetilde{\mathbb{C}}\setminus K_h \] which can be chosen so that it conjugates \(z \longmapsto z^d\) on \(\widetilde{\mathbb{C}}\setminus \overline{\mathbb{D}}\) with the map \(h\) on \(\widetilde{\mathbb{C}}\setminus K_h\). The external ray of angle \(t\) is given by \(R_h(t)=\phi_h(r_t),\) where \(r_t=\{r\exp(2\pi i t), r>1\}\subset \mathbb{C}\setminus \mathbb{D}\). We denote by \(\sim_h\) the smallest equivalence relation on \(\widetilde{\mathbb{C}_h}\) such that \(x \sim_h y\) if and only if \(x,y \in \overline{R_h(t)}\) for some \(t\). We further define the ray-equivalence relation \(\approx\) on \(\Sigma_{f,g}\) as the smallest equivalence relation on \(\Sigma_{f,g}\) generated by \(\sim_f\) and \(\sim_g\). We say that a rational map \(F\) is the geometric mating of \(f\) and \(g\) if \(F\) is topological conjugate via an orientation-preserving homeomorphism \(\phi:\Sigma_{f,g} \rightarrow \Sigma_{f,g}\) which is holomorphic on the interior of \(K_f \uplus K_g\).
In the paper under review, the authors prove the following theorem.
Theorem. A degree-\(d\) bicritical rational map with labeled critical points and with two periodic superattracting cycles may be realized as a mating in precisely \(d-1\) ways. Furthermore, the rational map is completely defined (up to Möbius conjugacy) by one piece of combinatorial data.

MSC:

37F50 Small divisors, rotation domains and linearization in holomorphic dynamics
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Douady (A.) and Hubbard (J. H.).— A proof of Thurston’s topological characterization of rational functions, Acta. Math. 171, p. 263-297 (1993). · Zbl 0806.30027
[2] Gantmacher (F. R.).— The Theory of Matrices, Chelsea (1959). · Zbl 0927.15001
[3] Milnor (J.).— Periodic orbits, external rays and the Mandelbrot set: An expository account, Astérisque 261, p. 277-333 (2000). · Zbl 0941.30016
[4] Milnor (J.).— Pasting together Julia sets: A worked out example of mating, Experimental Math. 13, p. 55-92 (2004). · Zbl 1115.37051
[5] Milnor (J.).— Dynamics in One Complex Variable, 3rd ed., Princeton University Press (2006). · Zbl 1085.30002
[6] Schleicher (D.).— On fibers and local connectivity of Mandelbrot and multibrot sets, Fractal Geometry and Applications: A Jubilee of Benoît Mandelbrot, Amer. Math. Soc., p. 477-517 (2004). · Zbl 1074.30025
[7] Seneta (E.).— Nonnegative Matrices and Markov Chains, 3rd ed., Springer (1981). · Zbl 1099.60004
[8] Sharland (T.).— Rational maps with clustering and the mating of polynomials, Ph.D. thesis, University of Warwick, 2011, Can be found at http://wrap.warwick.ac.uk/35776/.
[9] Sharland (T.).— Constructing rational maps with cluster points using the mating operation, J. Lond. Math. Soc., to appear (2012).
[10] Sharland (T.).— Thurston equivalence for rational maps with clusters, Ergodic Th. Dyn. Sys., to appear (2012). · Zbl 1335.37025
[11] Shishikura (M.) and Lei (T.).— A family of cubic rational maps and matings of cubic polynomials, Experimental Math. 9, p. 29-53 (2000). · Zbl 0969.37020
[12] Tan (Lei).— Accouplements des polynomes complexes, Ph. D. thesis, Université de Paris-Sud, Orsay (1987). · Zbl 0596.58043
[13] Tan (Lei).— Matings of quadratic polynomials, Ergodic Th. Dyn. Sys. 12, p. · Zbl 0756.58024
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.