arxiv: v1 [math.ds] 11 Oct 2017

Transcription

1 HYPERBOLIC COMPONENTS AND CUBIC POLYNOMIALS arxiv: v1 [math.ds] 11 Oct 201 XIAOGUANG WANG Abstract. In the space of cubic polynomials, Milnor defined a notable curve S p, consisting of cubic polynomials with a periodic critical point, whose period is exactly p. In this paper, we show that for any integer p 1, any bounded hyperbolic component on S p is a Jordan disk. 1. Main Theorem Polynomial maps f : C C, viewed as dynamical systems, yield complicated behaviors under iterations. Their bifurcations, both in the dynamical plane and in the parameter space, are the major attractions in the field of complex dynamics in recent thirty years. To start, let P(d) be the space of monic and centered polynomials of degree d 2. The connectedness locus C(d) consists of f P(d) whose Julia set is connected, while the shift locus S(d) consists of maps in P(d) for which all critical orbits escape to infinity under iterations. The topology of C(d) and S(d) attracts lots of people. A well-known theorem states that C(d) is compact and cellular, this is proven by Douady-Hubbard [DH1] for d = 2, Branner-Hubbard [BH1] for d = 3, and Lavaurs [L], DeMarco-Pilgrim [DP1] for the general cases. On the other hand, the shift locus S(d) is studied from a different viewpoint. It s fundamental group is studied by Blanchard, Devaney and Keen [BDK], while its simplicial structure and bifurcations are studied comprehensively by DeMarco and Pilgrim [DP1, DP2, DP3]. When d = 3, more amazing structure of the parameter space are revealed. Pioneering work of Branner and Hubbard [BH1] exhibited two dynamically meaningful solid tori with linking number 3 in the parameter space. Meanwhile, it is observed by Milnor, and proven by Lavaurs [L] that C(3) is not locally connected. Later, Epstein and Yampolski [EY] proved the existence of products of the Mandelbrot set in C(3). These striking results indicate the complexity of the cubic polynomial space. In their papers [BH1,BH2], Branner and Hubbard used the following form f c,a (z) = z 3 3c 2 z + a, Date: September 11, Mathematics Subject Classification. Primary 3F45; Secondary 3F10, 3F15. Key words and phrases. hyperbolic component, periodic curve, cubic polynomials. 1

2 2 Xiaoguang Wang where (c, a) C 2 is a pair of parameters. This critically marked form are widely adopted by the followers. Note that f c,a has two critical points ±c. To study the parameter space of f c,a, Milnor suggested to study the one dimensional slices, and defined a kind of notable slices called the criticallyperiodic curves S p, p 1. The curve S p consists of (c, a) C 2 for which the critical point c has period exactly p under iterations of f c,a : S p = {(c, a) C 2 ; f p c,a(c) = c and f k c,a(c) c, 1 k < p}. Milnor showed that S p is a smooth affine algebraic curve, and asked whether it is irreducible. A proof of irreducibility is recently announced by Arfeux and Kiwi [AK]. The curve S p has a remarkable topology. It is known that S 1 is biholomorphic to the C, S 2 is biholomorphic to the punctured plane C, S 3 has genus one with 8 punctures (see Figure 1), S 4 has genus 15 with 20 punctures. Both the genus g p and the number N p of punctures of S p grow exponentially with p. Bonifant, Kiwi and Milnor [BKM] proved that the Euler characteristic of S p (without assuming its irreducibility) is given by χ(s p ) = (2 p)d(p), where d(p) is the degree of S p, satisfying the formula: n p d(n) = 3p 1. The genus g p and the number N p of punctures of S p have no explicit formulas. An algorithm to compute N p (hence also g p ) is designed by DeMarco and Schiff [DS], building on previous work of DeMarco and Pilgrim [DP3]. By pluripotential methods, Dujardin [Du] showed that χ(s p ) + N p lim p + 3 p. Assuming the irreducibility [AK], the above behavior implies that the genus g p actually grows faster than 3 p. Figure 1. S 3 has a non-trivial topology. torus with 8 punctures. It is a complex

3 Hyperbolic components and cubic polynomials 3 In this article, we study the bifurcations of dynamical systems on the algebraic curve S p, see Figure 2. Precisely, the bifurcations on the boundary of stable regions are the main focus. Here, stable refers to hyperbolic. Recall that, a rational map f is hyperbolic if all the critical points are attracted by the attracting cycles. In a holomorphic family of rational maps, hyperbolic maps form an open (and conjecturally dense) subset, each component is called a hyperbolic component. Figure 2. Bifurcations on S 1 (left) and S 2 (right). In this paper, we establish the following Theorem 1.1. For any integer p 1, any bounded hyperbolic component on S p is a Jordan disk. Theorem 1.1 is among one of several conjectural pictures of S p, proposed by Milnor [M2, p.13], [M3]. The case p = 1 is proven independently by Faught [F] and Roesch [R]. The main analytical tool in their proof is the so-called para-puzzle technique, whose philosophy, as interpreted by Douady, is: sowing in the dynamical plane and harvesting in the parameter space. However, the para-puzzle technique loses its power when dealing with the parameter space with a complicated topology. Since the topology of S p is far beyond understanding when p is large, this makes a tough enemy of the para-puzzles. Instead of using para-puzzle technique, our approach makes the most of the dynamical puzzles, combinatorial rigidity, and holomorphic motion theory. Our arguments are local, this makes our techniques being powerful and serve as a model to study bifurcations on more general algebraic curves: those defined by critical relations, in any critically marked polynomial space. The strategy and organization of the proof is as follows: A classification and dynamical parameterization of hyperbolic components, due to Milnor, is given in Section 2. Then some basics of dynamical rays are recalled in Section 3.

4 4 Xiaoguang Wang Section 4 solves one main technical difficulty in the Branner-Hubbard- Yoccoz puzzle theory: finding a puzzle with a non-degenerate critical annulus. The idea is to discuss the relative position of the critical orbits with respect to the candidate graphs, the proof logics has an independent interest. In Section 5, we prove the combinatorial rigidity for maps on S p. The ideas and methods for quadratic polynomials [H, L, M5] can not work here. We take advantage of recent development [AKLS, KL1, KL2, KSS, KS] in deriving rigidity phenomenon to treat our situations. We then prove Theorem 1.1 for two types of hyperbolic components in Section 6, using rigidity and characterization of boundary maps. Finally, we deal with the capture type hyperbolic components in Section. Instead of using rigidity there, we make the best use of holomorphic motion theory. Theorem 1.1 then follows from Theorems 2.1(4), 6.1 and.1. Note that its statement is complete because unbounded hyperbolic components on S p are not Jordan disks, see [BKM]. To the author s knowledge, Theorem 1.1 is the first complete description of boundary regularity of stable regions whose parameter space has a non-trivial topology. Acknowledgement The author thanks Yongcheng Yin for helpful discussions on polynomials rays and puzzles. The research is supported by NSFC. 2. Hyperbolic components In this paper, for any (c, a) S p, any point z in the Fatou set of f c,a, let U c,a (z) be the Fatou component containing z. Let s use the notations B c,a = {U c,a (f k c,a(c)); 0 k < p}, A c,a = U c,a (c) U c,a (f c,a (c)) U c,a (fc,a p 1 (c)). The boundary of each V B c,a, according to the work of Roesch and Yin [RY], is a Jordan curve. The connectedness locus of S p is denoted by C(S p ). For any z, let orb(z) = {f k c,a(z); k N} be the set of forward orbit of z. According to Milnor [M3], there are four types of bounded hyperbolic components on S p (see Figures 3 and 4): Type A (Adjacent critical points), with both critical points in the same periodic Fatou component. Type B (Bitransitive), with two critical points in different Fatou components belonging to the same periodic cycle. Type C (Capture), with just one critical point in the cycle of periodic Fatou components. The orbit of the other critical point must eventually land in (or be captured by) this cycle. Type D (Disjoint attracting orbits), with two distinct attracting periodic orbits, each of which necessarily attracts just one critical orbit. All these four types of hyperbolic components admit the following natural dynamical parameterizations, due to Milnor [M3, Lemma 6.8]. This serves as the first step to study the boundaries of hyperbolic components.

5 Hyperbolic components and cubic polynomials 5 D A D B B D A D Figure 3. Hyperbolic components of Types-A, B, D on S 2. B D C C Figure 4. Some Type-C components on S 2. Theorem 2.1. Let H be a hyperbolic component in C(S p ) of Type-ω. 1. If ω = A, i.e. c U c,a (c), then the map Φ : H D, (c, a) B c,a ( c) is a double cover ramified at a single point, where B c,a is the Böttcher map of f p c,a defined in a neighborhood of c. 2. If ω = B, i.e. c U c,a (f l c,a(c)) for some 1 l < p, then the map Φ : H D, (c, a) B c,a ( c) is a triple cover ramified at a single point, where B c,a is the Böttcher map of f p c,a defined in a neighborhood of f l c,a(c). 3. If ω = C, i.e. f l c,a( c) A c,a for some smallest integer l > 0, then Φ : H D, (c, a) B c,a (f l c,a( c))

6 6 Xiaoguang Wang is a conformal isomorphism, where B c,a is the Böttcher map of f p c,a defined in U c,a (f l c,a( c)). 4. If ω = D, let z c,a U c,a ( c) be the attracting point with period say q, then the multiplier map ρ : H D, (c, a) (f q c,a) (z c,a ) is a conformal isomorphism. In this case, ρ can be extended to a homeomorphism ρ : H D (implying that H is a Jordan curve). We remark that for each p 1, there are only finitely many Type-A, B components on S p, but there are infinitely many Type-C or D components. By Theorem 2.1, for a Type-ω {A, B} component H, one has deg(φ) = deg(f p c,a Uc,a(c)) 1, where f c,a is a representative map in H. The above number depends only on the type ω {A, B}, not the specific component H. For this, we write d ω = deg(φ). Clearly d A = 3, d B = 2. The notation d ω will be used later. 3. Dynamical rays We introduce the dynamical rays in this section, as a preparation for further discussions. These materials are standard in polynomial dynamics Dynamical internal rays. There are finitely many maps on S p, for which c meets the orbit of c [M3, Lemma 5.8]. Let S p = S p {(c, a); f k c,a(c) = c for some 0 < k p}. Let (c, a) Sp. For any V B c,a, its Green function G V c,a : V [, 0) is defined by G V c,a(z) = lim n + 2 n log fc,a(z) pn w, where w orb(c) V. One may verify that { G fc,a(v c,a ) 2G V f c,a = c,a, if V = U c,a (c), G V c,a, if V = U c,a (fc,a(c)), k 1 k < p. The locus (G V c,a) 1 (l) = {z V ; G V c,a(z) = l} with l < 0 is called an equipotential curve in V. The internal rays are defined as follows. If f c,a is hyperbolic and c U := U c,a (f l c,a(c)) for some 0 l < p, then the Böttcher map B U c,a of f p c,a is defined in a neighborhood of f l c,a(c). For any t S, the set R U c,a(t) in U is defined as the orthogonal trajectory (possibly bifurcates) of the equipotential curves, starting from f l c,a(c) and containing (B U c,a) 1 ((0, ɛ)e 2πit ) for some ɛ (0, 1). By conformal pushing forward or pulling back via some iterations of f c,a, we can define R W c,a(t) for any W B c,a {U}. The set R U c,a(t) or R W c,a(t) is called an internal ray if it does not bifurcate, namely 2 n t arg B U c,a( c) for any n N. The pulling

7 Hyperbolic components and cubic polynomials back procedure allows one to define internal rays in any Fatou component whose orbit meets U. In all other situations, set V = U c,a (c). The Böttcher map Bc,a V of fc,a p can be defined in V, and the internal ray Rc,a(t) V = (Bc,a) V 1 ((0, 1)e 2πit ), t S. By conformal pulling back Rc,a(t) V via iterations of f c,a, one can define the internal ray Rc,a(t) U in any Fatou component U( V ) whose orbit meets V. One may verify that { f c,a (Rc,a(t)) V Rc,a fc,a(v ) (2t), if V = U c,a (c), = Rc,a fc,a(v ) (t), if V = U c,a (fc,a(c)), k 1 k < p Dynamical external rays. For any (c, a) S p, let A c,a be the basin of for f c,a. Near, the Böttcher map B c,a is defined as B c,a(z) = lim n + 3 n f n c,a(z). The Böttcher map B c,a is unique if we require that it is asymptotic to the identity map at. It satisfies B c,a(f c,a (z)) = B c,a(z) 3 when z is large. The Green function G c,a : A c,a (0, + ) is defined by G c,a(z) = lim n + 3 n log fc,a(z). n Each locus (G c,a) 1 (l) = {z A c,a; G c,a(z) = l} with l > 0 is called an equipotential curve. For t R/Z, the set R c,a(t) is the orthogonal trajectory (possibly bifurcates) of the equipotential curves, starting from and containing (B c,a) 1 ((R, )e 2πit ) for some R > 0. It is called an external ray if it does not bifurcate. Clearly f c,a (R c,a(t)) = R c,a(3t) Continuity of dynamical rays. If an internal (or external) ray lands at a repelling point, then they satisfy the following local stability property: Lemma 3.1. Let (c 0, a 0 ) Sp so that the dynamical ray Rc ε 0,a 0 (θ) with ε B c,a { } lands at a repelling periodic point p c0,a 0. Then there is a neighborhood U Sp of (c 0, a 0 ) such that for all (c, a) U, 1. the set Rc,a(θ) ε is a ray landing at a repelling periodic point, and 2. the closure Rc,a(θ) ε moves continuously in Hausdorff topology with respect to (c, a) U. Proof. We only prove the result for external rays, the argument is similar for internal rays. The idea is to cut the external ray Rc 0,a 0 (θ) into two parts: one near and the other near the repelling point p c0,a 0. Each part moves continuously w.r.t parameters. This implies that, after gluing them together, the external ray itself moves continuously. Here is the detail: There exist a neighborhood U of (c 0, a 0 ) and a large number R > 1 such that for all (c, a) U, the Böttcher map Bc,a is defined in Uc,a R = {z A c,a; G c,a(z) > log R}, and Bc,a : Uc,a R {w C; w > R} is conformal.

8 8 Xiaoguang Wang For all t R/Z, (c, a) U and k N, let L 0 c,a(t) = (B c,a) 1 ((R, + )e 2πit ) and L k c,a(t) be the component of f k c,a (L 0 c,a(3 k t)) containing L 0 c,a(t). We may shrink U if necessary so that after perturbation in U, the f c0,a 0 -repelling periodic point p c0,a 0 becomes an f c,a -repelling periodic point p c,a, and there is a large integer s (independent of (c, a) U) so that E c,a := L s+1 c,a (θ) \ L s c,a(θ) is included in a linearized neighborhood Y c,a of p c,a. c / k 0 Ls+1 c,a (3 k θ) for all (c, a) U. Note that θ is periodic under the angle tripling map t 3t (mod Z). Let l be its period. Since the inverse h = (fc,a l Yc,a ) 1 is contracting, the arc T c,a = k 0 h k (E c,a ) moves continuously with respect to (c, a) U. Note that neither E c,a nor T c,a meets the backward orbit of c. Hence the set Rc,a(θ) defines an external ray. Finally, the continuity of (c, a) Rc,a(θ) follows from the fact that Rc,a(θ) = L s+1 c,a (θ) T c,a and the continuity of L s+1 c,a (θ) and T c,a Intersection of attracting components. Proposition 3.2. Let (c, a) S p, and V 1, V 2 B c,a with V 1 V 2. If V 1 V 2, then V 1 V 2 is a singleton {q}, satisfying that f p c,a(q) = q. Proof. Let U be the unbounded component of C V 1 V 2, and B = C U. Clearly, V 1 V 2 B. If V 1 V 2 contains at least two points, then B J(f c,a ). Let s consider the iterations {fc,a n B } n 1. Note that the iterations {fc,a n B } n 1 is uniformly bounded. By the maximum principle, the iterations {fc,a n B } n 1 is uniformly bounded too. By Montel s theorem, {fc,a n B } n 1 is a normal family, implying that B is contained in the Fatou set. This contradicts B J(f c,a ). If q V 1 V 2, then obviously fc,a(q) p V 1 V 2. Above argument shows that V 1 V 2 consists of a singleton, implying that fc,a(q) p = q. Remark 3.3. Assume c / A c,a, and V 1 V 2 = {q} for V 1, V 2 B c,a. Then q is the common landing point of the internal rays R V 1 c,a(0) and R V 2 c,a(0). 4. Branner-Hubbard-Yoccoz Puzzle In this section, we first introduce some basic definitions for the Branner- Hubbard-Yoccoz Puzzle theory. Among these definitions, the most important one (for this section) is the admissible puzzle. The main result here is to show the existence of admissible puzzles for maps on S p (Theorem 4.2).

9 Hyperbolic components and cubic polynomials Definitions. Let X, X be open subsets of Ĉ, each is bounded by finitely many Jordan curves, such that X X Ĉ. A proper holomorphic map f : X X is called a rational-like map. We denote by deg(f) the topological degree of f and by K(f) = n 0 f n (X) the filled Julia set, by J(f) = K(f) the Julia set. The set of critical points on K(f) is denoted by C(f). A rational-like map f : X X is called polynomial-like if X, X are Jordan disks and K(f) is connected. A finite graph Γ X is called a puzzle of f if it satisfies the conditions: X Γ, f(γ X ) Γ, and the orbit of each critical point of f avoids Γ. The puzzle pieces P n of depth n 0 are the connected components of f n (X \ Γ), and the one containing the point z is denoted by P n (z). Let Γ = k 0 f k (Γ). For any z J(f) Γ, the puzzle piece P n (z) is well defined for all n 0. In this case, let P n(z) = P n (z). For z J(f) Γ, let P n(z) = P n, where the union is taken for those P n s satisfying that z P n. The impression Imp(z) of z is defined by Imp(z) = n 0 P n(z). For any z J(f) Γ, the tableau T f (z) is the two-dimensional array (P n,l (z)) n,l 0 with P n,l (z) = P n (f l (z)). The tableau T f (z) is called periodic if there is an integer k 1 such that P n (z) = f k (P n+k (z)) for all n 0. Otherwise, T f (z) is said to be aperiodic. For n, l 0, we say the position (n, l) of T f (z) is critical if P n,l (z) contains some critical point c C(f) (in this case, we say (n, l) is c-critical). We say the tableau T f (z) is non-critical if there exists an integer n 0 0 such that (n 0, j) is not critical for all j > 0. Otherwise T f (z) is called critical. All the tableaus satisfy the following two rules [BH2, M5]: R1. If P n,l (z) = P n (z ), then P i,j (z) = P i,j (z ) for all 0 i + j n. R2. Let c C(f). Assume T f (c) and T f (z) satisfy (a) P n+1 l,l (c) = P n+1 l (c ) for some c C(f) and n > l > 0, and P n i,i (c) contains no critical points for 0 < i < l. (b) P n,m (z) = P n (c) and P n+1,m (z) P n+1 (c) for some m > 0. Then P n+1 l,m+l (z) P n+1 l (c ). We say the forward orbit of x combinatorially accumulates to y, written as x f y, if for any n > 0, there exists j > 0 such that y P n,j (x), i.e. f j (P n+j (x)) = P n (y). It is clear that if x f y and y f z, then x f z. An aperiodic tableau T f (c) with c C(f) is said to be recurrent if c f c. Otherwise T f (c) is called non-recurrent. For two critical puzzle pieces, we say that P n+k (c ) is a child of P n (c) if f k 1 : P n+k 1 (f(c )) P n (c) is a conformal map.

10 10 Xiaoguang Wang Assume that T f (c) is recurrent, let s define [c] f = {c C(f); c f c and c f c}. We say that T f (c) is persistently recurrent if for any c 1 [c] f and any n 0, the piece P n (c 1 ) has only finitely many children. Otherwise, T f (c) is said to be reluctantly recurrent. Definition 4.1 (Admissible puzzle). Let l 1 be an integer, a puzzle Γ is said l-admissible for f if it satisfies the conditions: (1). for each c C(f), there is an integer d c 0 with P dc+l(c) P dc (c). (2). all periodic points on Γ J(f) are repelling, and (3). each puzzle piece is a Jordan disk. By definition, an l-admissible puzzle is always l -admissible, where l l. The existence of an admissible puzzle, when combining with analytic techniques, leads to significant properties of the map f (e.g. local connectivity of Julia set, rigidity, see Section 5). Our task in next subsection is to show the existence of admissible puzzles for most maps on S p Cubic polynomials. Define C 0 (S p ) C(S p ) by C 0 (S p ) = {(c, a) C(S p ); f k c,a( c) / A c,a for any k N}. Let f c,a C 0 (S p ) and X c,a = C \ ((G c,a) 1 ([1, )) ) (G V c,a) 1 ((, 1]). V B c,a Obviously, the set X c,a := f p c,a (X c,a ) satisfies X c,a X c,a. Let V = U c,a (q) for q {f k c,a(c); 0 k < p}, and τ be the angle doubling map. Given a τ-(pre-)periodic angle θ, let ζ(v, θ) be the landing point of the internal ray R V c,a(θ). The point ζ(v, θ) is either (pre-)repelling or (pre- )parabolic and hence it is also the landing point of finitely many external rays (See [M1, Theorems and 18.11]), say R c,a(α 1 ),, R c,a(α m ). If ζ(v, θ) is periodic and repelling, then these external rays are all periodic with the same period. We define: R q c,a(θ) = R V c,a(θ) R c,a(α 1 ) R c,a(α m ), γ c,a (θ) = k 0 f k c,a(r q c,a(θ)). Clearly, when θ is τ-periodic, the graph γ c,a (θ) satisfies f c,a (γ c,a (θ)) = γ c,a (θ). Given two rational angles θ 1 θ 2, let S q (θ 1, θ 2 ) be the component of C\(R q c,a(θ 1 ) R q c,a(θ 2 )) containing the internal rays R V c,a(t) with θ 1 t θ 2. Let S q (θ 1, θ 2 ) = C \ S q (θ 2, θ 1 ). Clearly, S q (θ 1, θ 2 ) is a closed set containing S q (θ 1, θ 2 ). See Figure 5.

11 Hyperbolic components and cubic polynomials 11 Q 1 Q Q q = c V 1 Figure 5. The graph γ c,a ( 1 ) in the case p = 1. The regions Q, Q 1, Q 2 are three components of C γ c,a ( 1 ). Note that S q ( 1, 2 ) = Q, S q ( 1, 2 ) = Q Q 1 Q 2. Here V = U c,a (q). 2 1 c 4 4 q 1 2 Figure 6. A possible structure of Γ c,a ( 1 ) in the case p = 2, here q = f c,a (c). The graph Γ c,a (θ) induced by θ is defined as follows (see Figure 6): Γ c,a (θ) = X c,a (X c,a γ c,a (θ)). The following is the main result of this section.

12 12 Xiaoguang Wang Theorem 4.2. Any map f c,a C 0 (S p ) admits a p-admissible puzzle Γ. In fact, at least one of the graphs ( 1 ) ( 3 ) ( 1 ) ( 3 ) Γ c,a, Γ c,a, Γ c,a Γ c,a is a p-admissible puzzle. Before the proof, we explain our strategy. Equivalent statement and strategy. Note that for any k N and any graph Γ {Γ c,a ( 1 ), Γ c,a( 3 ), Γ c,a( 1 ) Γ c,a( 3 )}, the set f k c,a (Γ) is connected (because the pre-images of external rays are external rays, connecting the rest parts of fc,a k (Γ)), so each component of fc,a k (X c,a \ Γ) is a Jordan disk. Our goal is to show that there is a puzzle Γ among the three candidate graphs, with the property that there is a component Q of fc,a p (X c,a \ Γ), a component P of X c,a \ Γ, satisfying that orb( c) Q, Q P. Then it s not hard to see that Γ is a p-admissible puzzle. In fact, assume fc,a( c) n Q for some n 0. The puzzle pieces induced by Γ satisfy that P p (fc,a( c)) n P 0 (fc,a( c)). n By taking fc,a-preimages, n we see that P p+n ( c) P n ( c), implying that Γ is p-admissible. The main idea of the proof is to discuss the relative position of the critical orbit with respect to the candidate graphs. The argument has some independent interest. We first treat the case p = 1 to illustrate the idea, then deal with the more delicate case p > 1. Proof of Theorem 4.2 when p = 1. First note that τ 1({ 1, 2, 4 }) { 1 =, 2, 4 { 1 }, 9, 11 }, τ 1({ 3, 5, 6 }) { 3 =, 5, 6 { 3 }, 5, 13 }. We first assume that the graph Γ = Γ c,a ( 1 ) Γ c,a( 3 ) avoids the orbit of c, and Γ J(f c,a ) contains no parabolic point. Figure will be helpful to understand the proof. We first assert that either we are in Case 1: ( 9 orb( c) Sc ), 5, or in Case 2: we can find a component Q of f 1 c,a (X c,a \ Γ), a component P of X c,a \ Γ, satisfying that orb( c) Q, Q P. To see this, note that C = S c ( 5, 9 ) S c ( 9, 5 ). If orb( c) S c ( 9, 5 ) =, then we have orb( c) S c ( 5, 9 ). Let Q be a component of f 1 c,a (X c,a \Γ) so that Q orb( c), and let P be the component of X c,a \Γ that contains Q. Clearly Q S c ( 5, 9 ). We claim Q P. In fact, if it is not true, then Q U c,a (c). This would imply that f c,a (Q) Sc ( 9, 5 ), and further

13 Hyperbolic components and cubic polynomials 13 orb( c) Sc ( 9 ), leading to a contradiction. This shows that we are in Case 2, in which case Γ is 1-admissible and the proof is done., Figure. The graphs γ c,a ( 1 ) (black), γ c,a( 3 ) (red) and their first fc,a-preimages p (dashed black, dashed red, respectively) near c. Here U c,a (c) is bounded by blue curve. We need further discuss Case 1. In this case, we have ( 9 fc,a( c) k Sc ), 1 ( 1 Sc, 5 ) for some integer k 0. If fc,a( c) k Sc ( 9, 1 ), then let s consider the graph Γ c,a ( 1 ). There is a component Q of f 1 c,a (X c,a \ Γ c,a ( 1 )) and a component P of X c,a \ Γ c,a ( 1 ) satisfying that f k c,a( c) Q P. In this case, the boundaries of Q and P will not touch (see Figure), therefore Q P, implying that Γ c,a ( 1 ) is 1-admissible. If f c,a( c) k Sc ( 1, 5 ), with the similar argument, we see that the graph Γ c,a ( 3 ) is 1-admissible. Finally, we treat the rest cases. Write V = U c,a (c). If Γ c,a ( 1 ) orb( c) or ζ(v, 1 ) (recall that it is the landing point of Rc,a( V 1 )) is parabolic, then Γ c,a( 3 ) is a puzzle. In the former case, one has

14 Xiaoguang Wang ζ(v, 1 ) = f c,a( c) k for some k 0. In the latter case, let W be a parabolic basin so that ζ(v, 1 ) W V, then f c,a( c) k W for some k 0. In either case, there is a component of fc,a 1 (X c,a \ Γ c,a ( 3 )), say Q, containing fc,a( c), k and a component P of X c,a \ Γ c,a ( 3 ) containing Q. This implies that Γ c,a ( 3 ) is 1-admissible. If Γ c,a ( 3 ) orb( c) or ζ(v, 3 ) is parabolic, by similar argument as above, we see that Γ c,a ( 1 ) is 1-admissible. This completes the proof in the case p = 1. To deal with the case p > 1, we first prove the following fact: Lemma 4.3. Assume p > 1. Let q = fc,a(c) k for some 0 k < p and let Γ be one of the graphs ( 1 ) ( 3 ) ( 1 ) ( 3 ) Γ c,a, Γ c,a, Γ c,a Γ c,a. Let Q be a component of fc,a p (X c,a \ Γ). Q U c,a (q). Then we have Q f p c,a(q). Suppose that Q f p c,a(q) and Before the proof, we need a notation. For any integer k 0, any component P of fc,a k (X c,a \Γ), let ν(p ) be the number of attracting basins V B c,a whose boundary touches P : ν(p ) = {V B c,a ; P V }. q Q Q 1 Q 2 Figure 8. A possible graph structure, q = fc,a(c). k Here ν(q) = ν(q 1 ) = 1, ν(q 2 ) = 0. Dashed rays are first preimage of the dynamical rays defining the graph. Equipotential curves are not included.

15 Hyperbolic components and cubic polynomials 15 q Q q 1 Figure 9. A possible graph structure, q q and q = f k c,a(c), q = f l c,a(c). Here ν(q) = 2. Dashed rays are first preimage of the dynamical rays defining the graph. Equipotential curves are not included. Proof of Lemma 4.3. By the graph structure, the assumption Q U c,a (q) implies that either Q U c,a (q) is a singleton or Q U c,a (q). Another assumption Q fc,a(q) p implies that the former case is impossible. To see this, suppose Q U c,a (q) = {ζ}, then fc,a(q) p U c,a (q) is also a singleton, say {ζ }. From Q fc,a(q), p we see that ζ = ζ, equivalently fc,a(ζ) p = ζ. But this is a contradiction, because ζ is of period three under the map fc,a. p Now we know that Q U c,a (q), which implies that fc,a(q) p U c,a (q). Note that fc,a(q) p S q (α q, β q ), where (α q, β q ) has three choices ( 1, 2 ), ( 2, 4 ), ( 4, 1 ) if Γ = Γ c,a( 1 ); three choices ( 3, 5 ), ( 5, 6 ), ( 6, 3 ) if Γ = Γ c,a( 3 ); six choices ( 1, 2 ), ( 2, 3 ), ( 3, 4 ), ( 4, 5 ), ( 5, 6 ), ( 6, 1 ) if Γ = Γ c,a( 1 ) Γ c,a( 3 ). The fact Q fc,a(q) p implies that there is a component C of τ 1 ((α q, β q )) that is contained in (α q, β q ). This situation can happen only if ( 4, 1 ), if Γ = Γ c,a( 1 ), (α q, β q ) = ( 6, 3 ), if Γ = Γ c,a( 3 ), ( 6, 1 ), if Γ = Γ c,a( 1 ) Γ c,a( 3 ). In either case, one may verify that C (α q, β q ). This implies that if ν(q) = 1, then Q f p c,a(q) and the proof is done (see Figure 8). If ν(q) 2 (see Figure 9), then for any q = f l c,a(c) with q q and Q U c,a (q ), by the same argument as above, we see that Q U c,a (q ) and Q U c,a (q ) f p c,a(q). Therefore in this case, Q f p c,a(q).

16 16 Xiaoguang Wang Proof of Theorem 4.2 when p > 1. Let Γ = Γ c,a ( 1 ) Γ c,a( 3 ). We first assume that Γ orb( c) = and Γ J(f c,a ) contains no parabolic point. Let Q be a component of fc,a p (X c,a \ Γ) so that orb( c) Q, and let P be the component of X c,a \ Γ containing Q. Case 1. ν(q) = 0. This is equivalent to say that Q A c,a =. Therefore Q fc,a p (Γ) \ Γ and Q P. Case 2. ν(q) 2. Note that V Q = V fc,a(q) p for any V B c,a. Therefore ν(fc,a(q)) p ν(q) 2. Clearly, both fc,a(q) p and P intersect those V s with V B c,a and V Q. Since there is only one component of X c,a \ Γ satisfying this property, we have fc,a(q) p = P. Then by Lemma 4.3, we get Q P. Case 3. ν(q) = 1. Let q {fc,a(c); k 0 k < p} be the unique point with Q U c,a (q). Note that ( 9 Sq ), 1 ( 1 Sq, 5 ) ( 5 S q, 9 ) = C. Case 3.1. Q S q ( 9, 1 ). Let Q be the component of f p c,a (X c,a \Γ c,a ( 1 )) containing Q, and P the component of X c,a \Γ c,a ( 1 ) containing Q. Clearly, ν(p ) ν(q ) ν(q) = 1. If ν(q ) 2, then by the same argument as Case 2, we have Q P. If ν(q ) = 1, the fact Q U c,a (q) P (see Figure 8) implies that Q P. In either case, the graph Γ c,a ( 1 ) is a p-admissible puzzle. Case 3.2. Q Sq ( 1, 5 ). Let Q be the component of fc,a p (X c,a \Γ c,a ( 3 )) containing Q, and P the component of X c,a \Γ c,a ( 3 ) containing Q. Similarly as Case 3.1, we have Q P, implying that Γ c,a ( 3 ) is a p-admissible puzzle. Case 3.3. Q S q ( 5, 9 ). In this case, f c,a(q) p is a component of X c,a \Γ satisfying that ( 9 fc,a(q) p Sq ), 1 ( 1 Sq ), 5 and ν(fc,a(q)) p 1. Note that orb( c) fc,a(q) p. There is a component Q of fc,a p (X c,a \ Γ) satisfying that Q fc,a(q) p and orb( c) Q. Clearly either Q Sq ( 9, 1 ) or Q Sq ( 1, 5 ), meaning that we are again in Case 3.1 or Case 3.2. With the same argument, we see that Γ c,a ( 1 ) or Γ c,a( 3 ) is p-admissible. Rest Cases. Finally, we handle the rest cases: Γ orb( c) or Γ J(f c,a ) contains a parabolic point. Suppose that Γ c,a ( 1 ) orb( c) or Γ c,a( 1 ) J(f c,a) contains a parabolic point. Let V = U c,a (c), then the landing point ζ(v, 1 ) of RV c,a( 1 ) is either fc,a( c) k for some k 1, or parabolic. In the latter case, ζ(v, 1 ) is on the boundary of some parabolic basin W, which contains fc,a( c) k for some k (here we use the same k because the two cases can not happen simultaneously). In either case, let Q be the component of f p c,a (X c,a \ Γ c,a ( 3 ))

17 Hyperbolic components and cubic polynomials 1 containing fc,a( c), k and let P be the component of X c,a \ Γ c,a ( 3 ) containing Q. The fact Q V implies that ν(q) 1. If ν(q) 2, then by the same argument as in Case 2, we have Q P. If ν(q) = 1, note that Q V P, we also have Q P. Therefore Γ c,a ( 3 ) is p-admissible. The last cases are Γ c,a ( 3 ) orb( c) or Γ c,a( 3 ) J(f c,a) contains a parabolic point. Similarly as above, we have that Γ c,a ( 1 ) is p-admissible. The proof of the theorem is completed. 5. Rigidity via puzzles This section is devoted to proving the combinatorial rigidity for maps on S p. Rigidity is one of the most remarkable phenomena in holomorphic dynamics. One of its applications is to study the boundaries of hyperbolic components in the next section. To simplify notations, write f = f c,a, f = f c,ã, X = X c,a, c = c. Here, X c,a is defined in Section 4.2. The corresponding objects (graphs, puzzles, tableau, etc) for f are marked with tilde. In this section, we assume f, f C 0 (S p ). Let s take a p-admissible puzzle Γ for f, given by Theorem 4.2. The puzzle pieces and tableau (in particular T f (c )) are induced by Γ. Write Γ k = f k (Γ) for k 0, the collection P k of puzzle pieces of depth k consists of the connected components of P k := f k (X Γ). Let Γ be the graph of f with the same structure as Γ. We first define the combinatorial equivalence between f and f. Roughly speaking, it means that the two maps have the same puzzle structures at any depth. Rigorous definition goes as follows. Let φ : Γ Γ be a homeomorphism, written as the identity map in the Böttcher coordinates. For an integer k 1, we say that f and f have the same combinatorics up to depth k, if there is a homeomorphism φ k : Γ k Γ k so that f φ k = φ f on Γ k and φ k Γk Γ = φ Γk Γ. We say that f and f are combinatorially equivalent if they have the same combinatorics up to any depth. If furthermore φ can be extended to a quasi-conformal map Φ : C C, we say that f and f are qc-combinatorially equivalent. Combinatorial equivalence allows one to extend φ as a homeomorphism φ : k 0 Γ k k 0 Γ k by setting φ Γk = φ k Γk for any k. Further, φ induces a bijection φ between puzzle pieces: φ : P k P k, k 0 k 0 here φ (P k ) is defined to be the puzzle piece of f bounded by φ( P k ). Theorem 5.1. If f, f C 0 (S p ) are qc-combinatorially equivalent and T f (c ) is aperiodic, then f = f.

18 18 Xiaoguang Wang The assumption that T f (c ) is aperiodic implies that f is not renormalizable 1 and J(f) = K(f) 2. The proof of Theorem 5.1 actually gives more: Theorem 5.2. Let f C 0 (S p ), suppose that T f (c ) is aperiodic. Then (1). The Julia set J(f) is locally connected. (2). f carries no invariant line fields on J(f). Here, a line field µ supported on E is a Beltrami differential µ = µ(z) d z dz supported on E with µ = 1. A line field µ is called measurable if µ(z) is a measurable function. We say that f carries an invariant line field if there is a measurable line field µ = µ(z) d z dz supported on a positive measurable subset of J(f) such that f µ = µ almost everywhere. Theorem 5.1 and Theorem 5.2 (1) generalize Yoccoz s famous theorem to cubic maps f C 0 (S p ). In fact, in the case p = 1, Yoccoz s proof of local connectivity [H,M5], Lyubich s proof of zero measure [L] for quadratic Julia sets both work here. However, their arguments will break down for cubic f C 0 (S p ) in the persistently recurrent case when p 2. This is because the existence of a p-admissible puzzle with p 2 makes the situation essentially as complicated as the multicritical case. The principle nest of critical puzzle pieces (see Theorem 5.8) will be involved to deal with this case. This section is organized as follows. We first recall some analytic lemmas to be used in our approach (Section 5.1). For further discussions, we distinguish T f (c ) into the persistently recurrent case and the other (nonrecurrent, reluctantly recurrent) cases. We will recall the principal nest in Section 5.2 and use it to deal with the persistently recurrent case in Section 5.3. Finally, we treat the rest cases in Section 5.4. The methods for these cases are slightly different Analytic tools. To prove Theorems 5.1 and 5.2, we need some analytic tools, including a qc-extension lemma (Lemma 5.3); a criterion of no invariant field (Lemma 5.4); a qc-criterion (Lemma 5.5); an analytic fact on Lebesgue density and geometry (Lemma 5.6). The first two will be used in the persistently recurrent case, while the last two take effect in other cases. Lemma 5.3 (see [AKLS, Lemma 3.2]). For every number ρ (0, 1) and integer d 2, there exist numbers r = r(ρ, d) (ρ, 1) and K 0 = K 0 (ρ, d) with the following property. Let G, G : D D be proper holomorphic maps of degree d. Let h 1, h 2 : D D be such that G h 2 = h 1 G. Assume that (1). G(0), G(0) ρ; (2). The critical values of G, G are contained in D ρ ; (3). h 1 has a K 1 -qc extension H 1 : D D which is the identity on D r. 1 We say that f is renormalizable, there exist an integer k 0, two open disks U, V with U V, such that f k : U V is a polynomial-like map of degree 2, with connected Julia set, which is not equal to J(f). 2 To see this, note that K(f) J(f) = there is a periodic Fatou component U K(f) = there exists puzzles pieces P n P n+k U = deg(f k : P n+k P n) 2 (by Schwarz Lemma) = c is in the cycle of U = T f (c ) is periodic.

19 Hyperbolic components and cubic polynomials 19 Then h 2 admits a K 2 -qc extension H 2 : D D which is the identity on D r, where K 2 = max{k 1, K 0 }. Lemma 5.3 is a variant of [AKLS, Lemma 3.2] which require that G(0) = G(0) = 0. The rewritten condition (1) here allows more flexible applications. Their proofs are essentially same. For a topological disk U C and a point z U, the shape of U with respect to z is a quantity to measure the geometry of U, defined by S(U, z) = sup w z / min w z. w U w U Lemma 5.4 (see [Sh, Prop. 3.2]). Let R be a rational map of degree 2 with / J(R). Let z J(R). If there exist a constant C 1, positive integers N 2, n k s, and proper maps h k = R n k Uk : U k V k, k 1 with the following properties: (1). U k, V k are topological disks in C and as k diam(u k ) 0, diam(v k ) 0. (2). 2 deg(h k ) N, for all k 1. (3). For some u U k with h k (u) = 0 and for v = h k(u), we have S(U k, u), S(V k, v) C. (4). d(u k, z) Cdiam(U k ), d(v k, z) Cdiam(V k ). Here diam and d denote the Euclidean diameter and distance. Then for any line field µ with R µ = µ, either z / supp(µ) or µ is not almost continuous at z. The following qc-criterion is a simplified version of [KSS, Lemma 12.1], with a slightly difference in the second assumption (that is, we replace a sequence of round disks in [KSS] by a sequence of disks with uniformly bounded shape), and the original proof goes through without any problem. Lemma 5.5 (see [KSS, Lemma 12.1]). Let φ : Ω Ω be a homeomorphism between two Jordan domains, k (0, 1) be a constant. Let X be a subset of Ω such that both X and φ(x) have zero Lebesgue measures. Assume: 1. φ k φ a.e. on Ω\X. 2. There is a constant M > 0 such that for all x X, there is a sequence of open topological disks D 1 D 2 containing x, satisfying that (a). j D j = {x}, and (b). sup j S(D j, x) M, sup j S(φ(D j ), φ(x)) <. Then φ is a K-quasi-conformal map, where K depends on k and M. Lastly, the following fact is useful when dealing with the non persistently recurrent cases, see [QWY, Prop. 6.1] and [QRWY, Lemma 9.4]. Lemma 5.6. Let R be a rational (or rational-like) map with / J(R). Let z J(R). Suppose there exist integers D z > 0 and 0 n 1 < n 2 <, a sequence of disk neighborhoods U j U j of z, two disks V z V z so that R n j : U j V z and R n j : U j V z are proper maps of degree D z. Then

20 20 Xiaoguang Wang (1). diam(u j ) 0 as j. (2). z is not a Lebesgue density point of J(R). (3). Assume further {R n j (z)} j 1 V z for some disk V z V z. Then S(U j, z) C(D z, m z ), j 1, where C(D z, m z ) depends on D z and m z = {mod(v z V z), mod(v z V z )} Principal nest. We assume that T f (c ) is persistently recurrent. Since Γ is a p-admissible puzzle for f, we see that P d0 +p(c ) P d0 (c ) for some d 0 0. The recurrence of T f (c ) allows us to find infinitely many integers L d 0 so that P L+p (c ) P L (c ). Sometimes, we work with g = f p. It s critical set C(g) = 0 k<p f k (c ). View Γ as a graph of g, one can define the puzzle pieces of g induced by Γ. The tableau T g (z) consists of the pn pn-positions of the tableau T f (z). We may decompose C(g) = C 0 (g) C 1 (g), where C 0 (g) = {ζ C(g); ζ g ζ}, C 1 (g) = C(g) C 0 (g). Lemma 5.. Assume that T f (c ) is persistently recurrent, then c C 0 (g). Proof. The recurrence of T f (c ) implies that there is an integer 0 l p, so that the (l + pn)-columns of the tableau T f (c ) contain c -positions of arbitrarily large depth. It follows that one can find ζ f l (c ), so that the pn-columns of the tableau T f (c ) contain ζ-positions of arbitrarily large depth. This means that ζ g ζ. By tableau rules, f l (ζ) g f l (ζ). For any ζ C 0 (g), clearly ζ g c. On the other hand, by Lemma 5. and tableau rules, we see that c g ζ. So we have [c ] g = {ζ C 0 (g); c g ζ}. Let orb g ([c ] g ) = k N gk ([c ] g ). Clearly orb g ([c ] g ) orb(c ) C(g). ζ 2 We may assume the graph Γ (by choosing L 0 d 0 suitably) satisfy that A1. P L0 +p(c ) P L0 (c ). A2. For any ζ 1, ζ 2 C(g) with ζ 1 ζ 2, one has P L0 (ζ 1 ) P L0 (ζ 2 ). A3. For any ζ 1, ζ 2 C(g) (not necessarily distinct), if they do not satisfy g ζ1, then the {L 0 } pn + positions of T f (ζ 2 ) are not ζ 1 -positions. The assumption A1 implies that the puzzle piece Y 0 (c ) = P L0 +p(c ) satisfies g( Y 0 (c )) Y 0 (c ) =. In literature, a puzzle piece Y satisfying g( Y ) Y = is called nice. Nice puzzle piece allows one to construct the principle nest, whose significant properties are summarized as follows Theorem 5.8. Assume T f (c ) is persistently recurrent and the puzzle Γ satisfies A1, A2, A3. Then there exist a nest of c -puzzle pieces Y 0 (c ) Y 1 (c ) Y 1(c ) Y 2 (c ) Y 2(c ), each is a suitable pull back of Y 0 (c ), satisfying the following properties: (1). There exist integers D 0 > 0, n j > m j 1 for all j 1, so that g m j : Y j (c ) Y j (c ), g n j : Y j+1 (c ) Y j (c )

21 Hyperbolic components and cubic polynomials 21 are proper maps of degree D 0, and g n j (Y j+1 (c )) Y j (c ). (2). For all j 1, (Y j (c ) Y j (c )) orb g ([c ] g ) =. (3). There is a constant ν > 0 so that for all j 1, mod(y j (c ) Y j (c )) ν. (4). There is a constant C 0 > 0 so that for all j 1, S(Y j (c ), c ) C 0. Moreover, for j 1, there is another c -piece Y j (c ) Y j (c ) with (Y j (c ) Y j (c )) orb g ([c ] g ) = and mod(y j (c ) Y j (c )) ν. The construction of the principal nest is attributed to Kahn-Lyubich [KL1] in the unicritical case, Kozlovski-Shen-van Strien [KSS] in the multicritical case. The complex bounds are proven by Kahn-Lyubich [KL1, KL2] (unicritical case), Kozlovski-van Strien [KS] and Qiu-Yin [QY] independently (the multicritical case). The bounded geometry property (4) is derived by Yin-Zhai [YZ, Lemma 6 and Prop.1] 3. See these references for a detail construction of the nest and the proof of its properties. Remark 5.9. Theorem 5.8 with the assumptions A2, A3, implies that (Y j (c ) Y j (c )) orb(c ) = Proof of Theorems 5.1 and 5.2: persistently recurrent case. Assume T f (c ) is persistently recurrent. Recall that P k = f k (X Γ) and φ : k 0 Γ k k 0 Γ k is a homeomorphism induced by the combinatorial equivalence. Our proof follows the strategy of [AKLS] and has six steps. Step 1: Construction of qc maps at any depth. For any n 0, there is a qc-map φ n : C C, so that f φ n = φ n f on C P n. Note that φ C P0 is the identity map in Böttcher coordinates. The restriction φ C P0 can be extended to a qc map φ 0 : (C, f(c )) (C, f( c )). Then there is a qc map φ 1 : C C so that f φ 1 = φ 0 f and φ 1 C P0 = φ 0 C P0. We may adjust φ 1 so that φ 1 (f(c )) = f( c ). This allows us to get a lift φ 2 of φ 1, in the way that f φ 2 = φ 1 f and φ 2 C P1 = φ 1 C P1. By induction, for any n, there is a qc-map φ n+1, such that f φ n+1 = φ n f and φ n+1 C Pn = φ n C Pn. We remark that the dilatations of φ n s might not be uniformly bounded, to overcome this, we prove: Step 2: Bounding dilatation by critical piece. For any j 1, if φ Yj (c ) has a K-qc-extension Φ j : Y j (c ) Ỹj( c ), then it has a further K-qc-extension H j : C C such that f H j = H j f on C Y j (c ). 3 The notations Yj(c ), Y j (c ), Y j (c ) here correspond to K n, K n, K n in [YZ].

22 22 Xiaoguang Wang To prove the implication, let s define Z = k 1 f k (Y j (c )) Y j (c ). For each component U of Z, there is an integer l = l(u) 1 (called return time) so that f l : U Y j (c ) is conformal (clearly its counterpart f l : Ũ Ỹ j ( c ) is also conformal). We define H j U : U Ũ by H j U = ( f l Ũ) 1 Φ j f l U. On F (f) Z (where F (f) is the Fatou set of f), we may define H j to be identity map in the Böttcher coordinates, hence conformal. These maps match on the common boundary of the pieces U. Since the residual set J res = k 0 f k (J(f) Y j (c )) is hyperbolic hence has zero Lebesgue measure, we see that H j admits a qc-extension to the plane, with the same dilatation as that of Φ j. Step 3. An induction procedure. For any j 1, we have that φ Yj (c ) has a qc-extension Φ j : Y j (c ) Ỹj( c ) = φ Y j+1 (c ) has a qc-extension Φ j+1 : Y j+1 (c ) Ỹj+1( c ) and the dilatations K j, K j+1 of Φ j, Φ j+1 satisfy K j+1 max{k j, K(ν, ν, D 0 )} max{k 1, K(ν, ν, D 0 )}, where ν, ν, D 0 are given by Theorem 5.8, and K(ν, ν, D 0 ) depends on them. For each j 1, let ψ j : (Y j (c ), c ) (D, 0) be a conformal map, then G j = ψ j g n j ψj+1 1 : D D is proper holomorphic, and 2 deg(g j) D 0. Let Ω j = ψ(y j (c )) for j 1. By Theorem 5.8, we have G j (Ω j+1 ) Ω j, the critical values of G j are in Ω j (in particular G j (0) Ω j ), and mod(d Ω j ) = mod(y j (c ) Y j (c )) ν. So there is a constant ρ(ν) (0, 1) with Ω j D ρ(ν). Let s define h j, h j+1 : D D by h j = ψ j φ Yj (c ) ψj 1, h j+1 = ψ j+1 φ Yj+1 (c ) ψj+1 1. Clearly h j G j = G j h j+1. By induction hypothesis, h j has an extension L j = ψ j Φ j ψj 1. Note that G j, G j, h j, h j+1 satisfy the assumptions in Lemma 5.3. Let ρ = max{ρ(ν), ρ( ν)}, r 0 = min{r(ρ, d); 2 d D 0 } (ρ, 1), where r(ρ, d) s are given by Lemma 5.3. Assume that L j is identity 4 on D r0, then by Lemma 5.3, h j+1 has a qc extension L j+1, which is identity 4 This assumption is satisfied by making L1 satisfy L 1 Dr0 = id and by induction.

23 Hyperbolic components and cubic polynomials 23 on D r0, with dilatation K j+1 max{k j, K(ν, ν, D 0 )}. Finally, we take 1 Φ j+1 = ψ j+1 L j+1 ψ j+1 and get an extension of φ Yj+1 (c ). Step 4: Conjugacy via taking a limit. By Step 3, the map φ Yj (c ) has a qc extension Φ j : Y j (c ) Ỹj( c ), with dilatation K = max{k 1, K(ν, ν, D 0 )}. By Step 2, there is an extension H j of Φ j, conjugate f to f on C Y j (c ), without increasing the dilatation of Φ j. Then {H j ; j 1} is a normal family, whose limit is a K -qc map H, satisfying f H = H f on the Fatou set of f. Since J(f) has no interior, H is a conjugacy on C by continuity. Step 5: f carries no invariant line fields on J(f). First note that the set X := j 1 f k (J(f) Y j (c )) k 1 has Lebesgue measure zero and Γ J(f) X. Suppose that f carries an invariant line field µ. Let z supp(µ) (J(f) X ). Clearly, T f (z) is critical. Let Y j (c ), Y j (c ), Y j (c ) be given by Theorem 5.8, and write Y j (c ) = P dj (c ), Y j (c ) = P d j (c ), Y j (c ) = P d j (c ). Let s j 0 be the first integer with f s j (P d j +s (z)) = P j d (c ). By Theorem j 5.8 (2)(4), one has f s j (P dj +s j (z)) = P dj (c ), f s j (P d j +s j (z)) = P d j (c ), and f s j Pdj +s j (z) is conformal (in particular, if z P d (c ), then s j j = 0 and f s j = id), we have mod(p dj +s j (z) P d j +s j (z)) ν, mod(p d j +s j (z) P d j +s (z)) ν. j It follows that S(P d j +s j (z), z) C 1 (ν)s(y d j (c ), f s j (z)) (by Koebe distortion) C 1 (ν)c 2 (ν)s(y d j (c ), c ) (by [Mc, Thm 2.5]) C 1 (ν)c 2 (ν)c 0, where C 1 (ν), C 2 (ν) are constants depending on ν, and C 0 is given by Theorem 5.8. To apply Lemma 5.4, we take V j = P d j +s j (z). It remains to find U j. Let t j > 0 be the first integer such that f t j (P d j +t j (c )) = P d (c ) j and r j 0 be the first integer such that f r j (P d j +t j+r j (z)) = P d j +t j (c ). Again Theorem 5.8 (2)(4) assert that f r j (P dj +t j +r j (z)) = P dj +t j (c ) and f r i (P d j +t j +r j (z)) = P d j +t j (c ). Similarly as above, one has S(P d j +t j +r j (z), z) C 1 (ν)c 2 (ν)c 0.

24 24 Xiaoguang Wang We take U j = P d j +t j +r j (z), and h j = f t j+r j s j Uj (one may verify that s j r j ). Then h j : U j V j is of degree two, and satisfies the assumptions of Lemma 5.4. Hence µ is not almost continuous at z, which gives a contradiction. The proof of Step 5 is completed. It follows that the qc conjugacy H obtained in Step 4 is conformal, and H(z) = z + O(1) near, therefore H(z) = z and f = f. The proof of Theorem 5.1 in the persistently recurrent case is finished. Step 6: Local connectivity of J(f). Note that for any z J(f) and any n 0, the intersection Pn(z) J(f) is connected (because each connected component of Pn(z) J(f) is simply connected). It suffices to show that Imp(z) = {z}. Let d j, d j, d j be given in Step 5. For z J(f) Γ with T f (z) critical, let l j 0 be an integer so that f l j : P d j +l j (z) P d j (c ) is conformal. Clearly f l j : P dj +l j (z) P dj (c ) is also conformal, by Theorem 5.8 (2). Therefore mod(p dj +l j (z) P d j +l j (z)) ν, and hence Imp(z) = P dj +l j (z) = {z}. In particular, Imp(c ) = {c }. For z J(f) Γ with T f (z) non critical, or z Γ J(f), the proof of the fact Imp(z) = {z} is the same as the quadratic case [M4]. This case involves the so called thickened puzzle piece technique, see [M4] for its construction and [M4, Lemmas 1.6 and 1.8, Theorem 1.9] for its applications. For this, we skip the details. The proof of Theorem 5.2 in the persistently recurrent case is finished Proof of Theorems 5.1 and 5.2: other cases. In this part, we assume T f (c ) is either reluctantly recurrent or non recurrent. For Theorem 5.2(2), a stronger fact that J(f) has zero Lebesgue measure is proven. Lemmas 5.5 and 5.6 will take effect in the proof. To verify the assumptions of these lemmas, we first show: Lemma For any z J(f), there exist integers D, m > 0(both independent of z) and n j s, Jordan disks U j (z) U j (z) U j (z) s and V z V z V z such that 1. {f n j (z); j 1} V z. 2. deg(f n j : U j (z) V z ) D for all j mod(v z V z) m, mod(v z V z ) m. Proof. Recall that P L0 +p(c ) P L0 (c ). Let q > 0 be an integer (to be determined later). We first treat the points in J(f) Γ whose tableau is critical, then deal with points in J(f) Γ or in J(f) Γ whose tableau is non critical. The choices of D, n j s, and the Jordan disks can be seen in the proof. The numbers m and q will be determined in the final step. (1). z J(f) Γ and T f (z) is critical. Case 1. T f (c ) is not recurrent. In this case, D c := sup deg(f k Pk (c )) < +. k

25 Hyperbolic components and cubic polynomials 25 Let (L 0 + p + q, n j ), j 1 be all the c -positions in the tableau T f (z). By the tableau rules, we have that for all j 1, It suffices to take deg(f n j : P nj +L 0 (z) P L0 (c)) D c. (U j (z), U j (z), U j (z)) = (P n j +L 0 (z), P nj +L 0 +p(z), P nj +L 0 +p+q(z)), (V z, V z, V z ) = (P L0 (c ), P L0 +p(c ), P L0 +p+q(c )). Case 2. T f (c ) is reluctantly recurrent. The recurrence of T f (c ) implies that there is an integer L L 0 so that P L+p (c ) P L (c ) and P L (c ) has infinitely many children, say P L+nj (c ), j 1. Let J be the collection of indices j N so that P L+p (c ) has a child P L+l+p (c ) with l [n j, n j+1 ) N. For each j J, let m j [n j, n j+1 ) N be the first integer so that P L+mj +p(c ) is a child of P L+p (c ). Define J J by J = {j J ; P L+p+q (c ) has a child P L+l+p+q (c ) with l [m j, n j ) N}. The recurrence of T f (c ) implies that J is an infinite set. For each j J, let l j [m j, n j+1 ) N be the first integer so that P L+lj +p+q(c ) is a child of P L+p+q (c ). The choices of m j, l j imply that deg(f l j : P L+lj (c ) P L (c )) 2 2 p+q, j J. For c, we take (V c, V c, V c ) = (P L(c ), P L+p (c ), P L+p+q (c )) and (U j (c ), U j(c ), U j (c )) = (P L+lj (c ), P L+p+lj (c ), P L+p+q+lj (c )). Let z J(f) Γ with z c and T f (z) critical. For each j J, let k j 0 be the first integer so that f k j : P L+lj +k j (z) P L+lj (c ) is conformal. Fix k j, let s j k j be the first integer so that f s j : P L+p+lj +s j (z) P L+p+lj (c ) is conformal. Fix s j, let t j s j be the first integer so that f t j : P L+p+q+lj +t j (z) P L+p+q+lj (c ) is conformal. Then the degree of f t j : P L+lj +t j (z) P L+lj (c ) is bounded by 2 p+q. It follows that the degree of f l j+t j : P L+lj +t j (z) P L (c ) is bounded by 2 2 p+q 2 p+q = 2 4 p+q. We may take (U j (z), U j (z), U j (z)) = (P L+l j +t j (z), P L+p+lj +t j (z), P L+p+q+lj +t j (z)), (V z, V z, V z ) = (P L (c ), P L+p (c ), P L+p+q (c )). (2). z J(f) Γ and T f (z) is non critical, or z J(f) Γ. Suppose z J(f) Γ and T f (z) is non critical. By the same argument as step 6 in Section 5.3, one can show that Imp(z) = {z}. Based on this fact, we can find integers d > d > d, n j s, three puzzle pieces P d, P d, P d of depths d, d, d respectively, with the following properties: mod(p d P d ) 1 and mod(p d P d ) 1. For j 1 and l {d, d, d }, the map f n j : P l+nj (z) P l is proper. {f n j (z); j 1} P d and deg(f n j : P d+nj (z) P d ) 2.