Breaking parabolic points along stable directions
CUI Guizhen and TAN Lei
Academy of Mathematics and Systems Science, CAS Universite d’Angers
Pisa, October 2013
1 / 21
Breaking parabolic points along stable directions CUI Guizhen and - - PowerPoint PPT Presentation
Breaking parabolic points along stable directions CUI Guizhen and TAN Lei Academy of Mathematics and Systems Science, CAS Universite dAngers Pisa, October 2013 1 / 21 Motivations We want to generalize the following results to rational
CUI Guizhen and TAN Lei
Academy of Mathematics and Systems Science, CAS Universite d’Angers
Pisa, October 2013
1 / 21
We want to generalize the following results to rational maps: In the quadratic family {z → z2 + c},
the rabbit hyperbolic component. In the main cardioid direction, the parabolic point ’breaks’ into an attracting fixed point and a period-3 repelling cycle, whereas in the rabbit direction, the parabolic point ’breaks’ into a repelling fixed point and a period-3 attracting cycle. These two types of nearby dynamical systems are kind of ’stable’ (as
system.
component. We want to construct such accesses for more general maps, using intrinsic dynamical perturbations, rather than extrinsic parameter parametrizations.
2 / 21
A parabolic point takes the form z(1 + zn + o(zn)), n ≥ 1 (after passing to some iterates) and has a flower P of 2n sepals such that f(P) = P. A nearby map will break the fixed point 0 into a set of nearby fixed points with total multiplicity p following some compatible combinatorics.
P1 P2 P3 P4 P1 P4
bIn this case, P2 and P3 merge after the breaking. You can choose to merge any pair of neighboring sepals, or choose to merge simultaneously two pairs:
τ τ
b b bτ τ
b b b b3 / 21
In general, a compatible stable breaking combinatorics is a choice of pairs
4 / 21
In general, a compatible stable breaking combinatorics is a choice of pairs
Theorem (breaking parabolic points )
Let g be a rational map with parabolic cycles Y and with at most finite
combinatorics of Y , ∃ a continuous path of rational maps {fr}0<r≤r0 realizing the combinatorics and converging dynamically to g.
4 / 21
In general, a compatible stable breaking combinatorics is a choice of pairs
Theorem (breaking parabolic points a more precise statement)
Let g be a rational map with parabolic cycles Y and with at most finite
combinatorics of Y , ∃ a continuous path of rational maps {fr}0<r≤r0 realizing the combinatorics together with qc-conjugacies φr from fr0 to fr such that: fr φr
uniform
− →
r→0
g φ and (fr0, Jfr0 )
φ semi-conjugate
− →
reassembling the breaking(g, Jg).
4 / 21
In general, a compatible stable breaking combinatorics is a choice of pairs
Theorem (breaking parabolic points a more precise statement)
Let g be a rational map with parabolic cycles Y and with at most finite
combinatorics of Y , ∃ a continuous path of rational maps {fr}0<r≤r0 realizing the combinatorics together with qc-conjugacies φr from fr0 to fr such that: fr φr
uniform
− →
r→0
g φ and (fr0, Jfr0 )
φ semi-conjugate
− →
reassembling the breaking(g, Jg).
A particular case concerns Milnor’s conjecture in the geometrically finite setting: that parabolic cycles of a rational map can always be converted to attracting cycles without changing the topology of the Julia set (see also P. Haissinsky and T. Kawahira).
4 / 21
The following is computed by J. Tomasini : For a parabolic fixed point with 2n sepals and with multiplier 1, i.e. in the form z(1 + zn + o(zn)),
5 / 21
The following is computed by J. Tomasini : For a parabolic fixed point with 2n sepals and with multiplier 1, i.e. in the form z(1 + zn + o(zn)), n 2 3 4 5 6 7 · · · #{compa. comb.} = 3n + 1 n
7 30 143 728 3846 21318 · · ·
5 / 21
The following is computed by J. Tomasini : For a parabolic fixed point with 2n sepals and with multiplier 1, i.e. in the form z(1 + zn + o(zn)), n 2 3 4 5 6 7 · · · #{compa. comb.} = 3n + 1 n
7 30 143 728 3846 21318 · · · #{generic comb.} =
n
2 5 14 42 132 429 Therefore a map with a parabolic point of 7 pairs of sepals is stably accessible from 21318 distinct ’hyperbolic components’ on various slices with persistent parabolic points...
5 / 21
The following is computed by J. Tomasini : For a parabolic fixed point with 2n sepals and with multiplier 1, i.e. in the form z(1 + zn + o(zn)), n 2 3 4 5 6 7 · · · #{compa. comb.} = 3n + 1 n
7 30 143 728 3846 21318 · · · #{generic comb.} =
n
2 5 14 42 132 429 Therefore a map with a parabolic point of 7 pairs of sepals is stably accessible from 21318 distinct ’hyperbolic components’ on various slices with persistent parabolic points... The case with rotations seems more complicated ...
5 / 21
Douady-Hubbard (generalized by Kiwi to higher degree polynom.)
For g(z) = z2 + c such that 0 is strictly preperiodic, and θ such that the external ray Rc(θ) lands at c, there is a path c(r)r>0 such that c(r) ∈ Rc(r)(θ) with potential er and c(r) → c as r → 0.
6 / 21
Douady-Hubbard (generalized by Kiwi to higher degree polynom.)
For g(z) = z2 + c such that 0 is strictly preperiodic, and θ such that the external ray Rc(θ) lands at c, there is a path c(r)r>0 such that c(r) ∈ Rc(r)(θ) with potential er and c(r) → c as r → 0. We will see a new proof of this theorem that works for more general settings.
6 / 21
Let: g be a rational map without critical points1 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0;
1or with only finite orbited critical points
7 / 21
Let: g be a rational map without critical points1 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0; {Ux(r)}0<r<1,x∈X0 be families small concentric disc-neighborhoods2 generating by pullback a similar family {Uy(r)} for every y ∈ XX0.
1or with only finite orbited critical points 2after uniformizing Ux(1)
7 / 21
Let: g be a rational map without critical points1 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0; {Ux(r)}0<r<1,x∈X0 be families small concentric disc-neighborhoods2 generating by pullback a similar family {Uy(r)} for every y ∈ XX0.
Theorem (a convergence criterion)
a) Let pr,n normalized univalent maps outside
Uy(r), and V ⊂⊂
→
r→0 id uniformly on n.
1or with only finite orbited critical points 2after uniformizing Ux(1)
7 / 21
Let: g be a rational map without critical points1 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0; {Ux(r)}0<r<1,x∈X0 be families small concentric disc-neighborhoods2 generating by pullback a similar family {Uy(r)} for every y ∈ XX0.
Theorem (a convergence criterion)
a) Let pr,n normalized univalent maps outside
Uy(r), and V ⊂⊂
→
r→0 id uniformly on n.
b) Let fr,n rational map of V
pr,n+1
− → the same degree, g(V ) ⊂ V g ↓ ↓ fr,n and g−1(z) ⊂ V for some z, s.t. V − →
pr,n
Then fr,n − →
r→0 g uniformly on n.
The part a)= ⇒b) is easy. So the main point is a).
1or with only finite orbited critical points 2after uniformizing Ux(1)
7 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
8 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
2 (this does not work) Pullback the standard complex structure infinitely
many times to get an Fr-invariant structure and integrate using Measurable Riemann Mapping Theorem.
8 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
2 Instead pullback step by step the standard complex structure and
integrate, to get − →
pr,n+1
with pr,n+1 univalent outside Fr ↓ ↓ fr,n
n
F −j
r
Wr =
n
g−jWr.
pr,n
− →
8 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
2 Instead pullback step by step the standard complex structure and
integrate, to get − →
pr,n+1
with pr,n+1 univalent outside Fr ↓ ↓ fr,n
n
F −j
r
Wr =
n
g−jWr.
pr,n
− →
3
So for V = the outside V
pr,n+1,univalent
− →
g = Fr ↓ ↓ fr,n V − →
pr,n,univalent
8 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
2 Instead pullback step by step the standard complex structure and
integrate, to get − →
pr,n+1
with pr,n+1 univalent outside Fr ↓ ↓ fr,n
n
F −j
r
Wr =
n
g−jWr.
pr,n
− →
3
So for V = the outside V
pr,n+1,univalent
− →
g = Fr ↓ ↓ fr,n V − →
pr,n,univalent
4
∞ fr ↑ ↑ n fr,n − →
r→0
g unif. on n, with fr : z → z2 + c(r) and c(r) ∈ Rc(r)(θ) (of potential er).
8 / 21
1 Replace g by a (quasi-regular) map Fr which is equal to g outside a small
neighborhood Wr of 0 but Fr(0) = z(r) on a ray Rc(θ) landing at c (of potential er). This new map is not holomorphic in Wr.
2 Instead pullback step by step the standard complex structure and
integrate, to get − →
pr,n+1
with pr,n+1 univalent outside Fr ↓ ↓ fr,n
n
F −j
r
Wr =
n
g−jWr.
pr,n
− →
3
So for V = the outside V
pr,n+1,univalent
− →
g = Fr ↓ ↓ fr,n V − →
pr,n,univalent
4
∞ fr ↑ ↑ so ց n fr,n − →
r→0
g unif. on n, with fr : z → z2 + c(r) and c(r) ∈ Rc(r)(θ) (of potential er).
8 / 21
This surgery makes a new Riemann surface, and a new local holomorphic dynamics with the desired combinatorices.
9 / 21
Given a rational map g with a parabolic sepal flower of size r,
1 use a quasi-regular modification in a neighborhood of the strict first
preimage of the flower, to get a branched covering Fr realizing holomorphically (locally) the prescribed combinatorics, with Fr holomorphic except on
Uy(r).
10 / 21
Given a rational map g with a parabolic sepal flower of size r,
1 use a quasi-regular modification in a neighborhood of the strict first
preimage of the flower, to get a branched covering Fr realizing holomorphically (locally) the prescribed combinatorics, with Fr holomorphic except on
Uy(r).
2 use a consecutive sequence of plumbing surgery to get a pair of sequences
(fr,n, pr,n)n realizing holomorphically (locally) the prescribed combinatorics (see next slice).
10 / 21
Given a rational map g with a parabolic sepal flower of size r,
1 use a quasi-regular modification in a neighborhood of the strict first
preimage of the flower, to get a branched covering Fr realizing holomorphically (locally) the prescribed combinatorics, with Fr holomorphic except on
Uy(r).
2 use a consecutive sequence of plumbing surgery to get a pair of sequences
(fr,n, pr,n)n realizing holomorphically (locally) the prescribed combinatorics (see next slice).
3 prove a generalized Thurston theorem for parabolic maps, use it to
conclude that each Fr is c-equivalent to a rational map fr, and its Thurston’s algorithm gives the same sequence fr,n, so fr ∞ ↑ as ↑ fr,n n .
4 Apply the convergence criterion to (fr,n, pr,n) to get fr,n → g uniformly
∞ fr ↑ ↑ so ց n fr,n − →
r→0
g unif. on n.
10 / 21
11 / 21
11 / 21
11 / 21
12 / 21
12 / 21
Theorem (a convergence criterion)
a) Let pr,n normalized univalent maps outside
Uy(r), and V ⊂⊂
→
r→0 id uniformly on n.
b) Let fr,n rational map of V
pr,n+1
− → the same degree, g(V ) ⊂ V g ↓ ↓ fr,n and g−1(z) ⊂ V for some z, s.t. V − →
pr,n
Then fr,n − →
r→0 g uniformly on n.
Proof of a)= ⇒b). pr,n|V − →
r→0 id uniformly on n implies fr,n|V −
→
r→0 g
uniformly on n.
13 / 21
Theorem (a convergence criterion)
a) Let pr,n normalized univalent maps outside
Uy(r), and V ⊂⊂
→
r→0 id uniformly on n.
b) Let fr,n rational map of V
pr,n+1
− → the same degree, g(V ) ⊂ V g ↓ ↓ fr,n and g−1(z) ⊂ V for some z, s.t. V − →
pr,n
Then fr,n − →
r→0 g uniformly on n.
Proof of a)= ⇒b). pr,n|V − →
r→0 id uniformly on n implies fr,n|V −
→
r→0 g
uniformly on n. By control of degree, fr,n| C − →
r→0 g uniformly on n.
In order to prove a), we first forget the normalization and control the distortion of pr,n from being globally conformal (i.e. M¨
We then use the normalization to control their spherical distance to the identity.
13 / 21
Given η : V
univalent
֒ →
C, How far is η being globally conformal?
14 / 21
Given η : V
univalent
֒ →
C, How far is η being globally conformal?
E′ E η(E) η(E′) V η E′ E η(E) η(E′) A new A η(V )
We choose to define D(η, V ) = sup{|modA − modnewA|, E, E′ disjoint full continua in V }.
14 / 21
Let: g be a rational map without critical points3 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0; ∆ = the unit disc; {Ux(r)}0<r<1,x∈X be families small concentric disc-neighborhoods.
3or with only finite orbited critical points
15 / 21
Let: g be a rational map without critical points3 on the Julia set; X0 be a finite collection of parabolic and repelling cycles; X be the grand orbit of X0; ∆ = the unit disc; {Ux(r)}0<r<1,x∈X be families small concentric disc-neighborhoods.
Theorem (conformal distortion of pr,n)
Let V ⊂⊂ (X)c. Then ∃ C(r) for small r with C(r) − →
r→0 0 such that
∀n ≥ 0, ∀pr,n univalent outside
Uy(r), D(pr,n, V ) ≤ C(r). Clearly only the overlapping properties of the Uy(r)’s will play a role, but not the dynamical relations between them.
3or with only finite orbited critical points
15 / 21
Let X ⊂ C be a finite set together with a family {Dx(r)} of concentric disc-neighborhoods. Let λ ∈ [0, 1) be a constant and d(r) : (0, r0] → (0, 1] is a function with d(r) − →
r→0 0. We will say that the discs {Dx}x∈X are (λ, d(r))-nested if :
(1) Any two are either disjoint or one contains the other. (2) If Dy ∩ Dx(r) = ∅, then Dy ⊂ Dx(d(r)) (near the center they are not too long) (3) area(
y∈Dx{x} Dy) ≤ λ areaDx.
Theorem (a priori bound, no dynamics involved)
There exists a function C(r) − →
r→0 0 depending only on λ and d(r), such that
for any set {Dx}x∈X of (λ, d(r))-nested discs and any disjoint V , ∀ univalent map φ outside
D(φ, V ) ≤ C(r) · M(∪Dx ⊂ (V )c), where M(D ⊂ W) is a constant depending only on D and W.
16 / 21
We use an extremal length argument. Let A be an annulus with Ac ⊂ V . Let ρ0(z) be the extremal metric on A so that ℓwidth(ρ0, A) = 1, ℓheight(ρ0, A) = areaρ0(A) = mod(A).
Key lemma
Let K ⊂ A be compact and ϕ be univalent on A − K. The for any length increasing conformal metric ρ(z)|dz| supported on AK, |modA − modnewA| < areaρ(A) − areaρ0(A).
17 / 21
For k ≥ 1 let Ik, Ik(r) be the union of Dx and Dx(r) of nesting depth k respectively. Fix r > 0 small enough. A disk Dx of depth k is off centered if Dx ∩ Il(r) = ∅ for l < k. Let I′
k , I′ k(r) be the union of off centered Dx and Dx(r) of depth k
respectively. Define ρk(z) inductively on k by ρk(z) = ρk−1(z)
k,
ρ0(z)(1 −
k − I′ k(d(r)),
k(d(r)).
Then after finitely many depths, the metric stabilize to a metric ρ, which increases length ℓheight(ρ, A) ≥ ℓhight(ρ0, A) = modA, ℓwidth(ρ, A) ≥ ℓwidth(ρ0, A) = 1 and 0 ≤ areaρ(A) − areaρ0(A) ≤ C(r)M(D ⊂ W).
18 / 21
Let now φ a univalent map outside ∪Dx(r), A an annulus whose complement is in the domain of definition of φ. Let A′ ⊂ C be the annulus whose complement is φ( CA) and ρ the conformal metric defined above. |mod(A′) − mod(A)|
Key lemma
≤ areaρ(A) − areaρ0(A) ≤ C(r)M(D ⊂ W). So D0(φ, V ) ≤ C(r)M(D ⊂ W).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
(2-5 are almost written).
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
(2-5 are almost written). Next step : go to the implosive direction, for this one needs to control critical orbits...
20 / 21
published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).
(2-5 are almost written). Next step : go to the implosive direction, for this one needs to control critical orbits... ——– Other issues: To check (use the work of Buff-T.) the convergence of the dimension along the paths... Study the strata structure of these nearby ’hyperbolic components’.
20 / 21
21 / 21