Breaking parabolic points along stable directions CUI Guizhen and - - PowerPoint PPT Presentation

breaking parabolic points along stable directions
SMART_READER_LITE
LIVE PREVIEW

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


slide-1
SLIDE 1

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

slide-2
SLIDE 2

Motivations

We want to generalize the following results to rational maps: In the quadratic family {z → z2 + c},

  • 1. the fat rabbit parameter is accessible from both the main cardioid and

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

  • pposite to ’implosive’) perturbations of the parabolic rabbit dynamical

system.

  • 2. a Misiurewicz parameter is accessible from the escape hyperbolic

component. We want to construct such accesses for more general maps, using intrinsic dynamical perturbations, rather than extrinsic parameter parametrizations.

2 / 21

slide-3
SLIDE 3

§1. Breaking parabolic points along stable directions

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

b

In 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
  • r

τ τ

b b b b

3 / 21

slide-4
SLIDE 4

In general, a compatible stable breaking combinatorics is a choice of pairs

  • f sepals to be merged, so that:
  • distinct pairs do not cross
  • each group of consecutive un-paired sepals has an even number of sepals
  • compatible with the dynamics (rotation, period).

4 / 21

slide-5
SLIDE 5

In general, a compatible stable breaking combinatorics is a choice of pairs

  • f sepals to be merged, so that:
  • distinct pairs do not cross
  • each group of consecutive un-paired sepals has an even number of sepals
  • compatible with the dynamics (rotation, period).

Theorem (breaking parabolic points )

Let g be a rational map with parabolic cycles Y and with at most finite

  • rbited critical points on the Julia set. Given any compatible stable breaking

combinatorics of Y , ∃ a continuous path of rational maps {fr}0<r≤r0 realizing the combinatorics and converging dynamically to g.

4 / 21

slide-6
SLIDE 6

In general, a compatible stable breaking combinatorics is a choice of pairs

  • f sepals to be merged, so that:
  • distinct pairs do not cross
  • each group of consecutive un-paired sepals has an even number of sepals
  • compatible with the dynamics (rotation, period).

Theorem (breaking parabolic points a more precise statement)

Let g be a rational map with parabolic cycles Y and with at most finite

  • rbited critical points on the Julia set. Given any compatible stable breaking

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

slide-7
SLIDE 7

In general, a compatible stable breaking combinatorics is a choice of pairs

  • f sepals to be merged, so that:
  • distinct pairs do not cross
  • each group of consecutive un-paired sepals has an even number of sepals
  • compatible with the dynamics (rotation, period).

Theorem (breaking parabolic points a more precise statement)

Let g be a rational map with parabolic cycles Y and with at most finite

  • rbited critical points on the Julia set. Given any compatible stable breaking

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

slide-8
SLIDE 8

How many compatible combinatorics?

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

slide-9
SLIDE 9

How many compatible combinatorics?

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

  • n + 1

7 30 143 728 3846 21318 · · ·

5 / 21

slide-10
SLIDE 10

How many compatible combinatorics?

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

  • n + 1

7 30 143 728 3846 21318 · · · #{generic comb.} =

  • 2n

n

  • n + 1

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

slide-11
SLIDE 11

How many compatible combinatorics?

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

  • n + 1

7 30 143 728 3846 21318 · · · #{generic comb.} =

  • 2n

n

  • n + 1

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

slide-12
SLIDE 12

§2. Misiurewicz polynomials are accessible by external rays

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

slide-13
SLIDE 13

§2. Misiurewicz polynomials are accessible by external rays

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

slide-14
SLIDE 14

§3. A preliminary convergence criterion

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

slide-15
SLIDE 15

§3. A preliminary convergence criterion

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

slide-16
SLIDE 16

§3. A preliminary convergence criterion

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

  • y∈g−n(X0)

Uy(r), and V ⊂⊂

  • X
  • c. Then pr,n|V −

r→0 id uniformly on n.

1or with only finite orbited critical points 2after uniformizing Ux(1)

7 / 21

slide-17
SLIDE 17

§3. A preliminary convergence criterion

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

  • y∈g−n(X0)

Uy(r), and V ⊂⊂

  • X
  • c. Then pr,n|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

slide-18
SLIDE 18

§4. Application to g(z) = z2 + c with 0 preperiodic

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

slide-19
SLIDE 19

§4. Application to g(z) = z2 + c with 0 preperiodic

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

slide-20
SLIDE 20

§4. Application to g(z) = z2 + c with 0 preperiodic

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

  • j=0

F −j

r

Wr =

n

  • j=0

g−jWr.

pr,n

− →

8 / 21

slide-21
SLIDE 21

§4. Application to g(z) = z2 + c with 0 preperiodic

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

  • j=0

F −j

r

Wr =

n

  • j=0

g−jWr.

pr,n

− →

3

So for V = the outside V

pr,n+1,univalent

− →

  • f a large equipotential,

g = Fr ↓ ↓ fr,n V − →

pr,n,univalent

8 / 21

slide-22
SLIDE 22

§4. Application to g(z) = z2 + c with 0 preperiodic

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

  • j=0

F −j

r

Wr =

n

  • j=0

g−jWr.

pr,n

− →

3

So for V = the outside V

pr,n+1,univalent

− →

  • f a large equipotential,

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

slide-23
SLIDE 23

§4. Application to g(z) = z2 + c with 0 preperiodic

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

  • j=0

F −j

r

Wr =

n

  • j=0

g−jWr.

pr,n

− →

3

So for V = the outside V

pr,n+1,univalent

− →

  • f a large equipotential,

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

slide-24
SLIDE 24

§5 Application to parabolic points: plumbing surgery

This surgery makes a new Riemann surface, and a new local holomorphic dynamics with the desired combinatorices.

9 / 21

slide-25
SLIDE 25

two ways to get a global map

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

  • y∈g−1(X0)X0

Uy(r).

10 / 21

slide-26
SLIDE 26

two ways to get a global map

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

  • y∈g−1(X0)X0

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

slide-27
SLIDE 27

two ways to get a global map

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

  • y∈g−1(X0)X0

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

  • n n. Therefore

∞ fr ↑ ↑ so ց n fr,n − →

r→0

g unif. on n.

10 / 21

slide-28
SLIDE 28

Consecutive plumbing surgery

11 / 21

slide-29
SLIDE 29

Consecutive plumbing surgery

11 / 21

slide-30
SLIDE 30

Consecutive plumbing surgery

11 / 21

slide-31
SLIDE 31

Hope to get a limit like this

12 / 21

slide-32
SLIDE 32

Hope to get a limit like this

12 / 21

slide-33
SLIDE 33

§6. Proof of the convergence criterion (sketch)

Theorem (a convergence criterion)

a) Let pr,n normalized univalent maps outside

  • y∈g−n(X0)

Uy(r), and V ⊂⊂

  • X
  • c. Then pr,n|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

slide-34
SLIDE 34

§6. Proof of the convergence criterion (sketch)

Theorem (a convergence criterion)

a) Let pr,n normalized univalent maps outside

  • y∈g−n(X0)

Uy(r), and V ⊂⊂

  • X
  • c. Then pr,n|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¨

  • bius transformation).

We then use the normalization to control their spherical distance to the identity.

13 / 21

slide-35
SLIDE 35

§7. Univalent maps and M¨

  • bius transformations

Given η : V

univalent

֒ →

  • C on an open set V ⊂

C, How far is η being globally conformal?

14 / 21

slide-36
SLIDE 36

§7. Univalent maps and M¨

  • bius transformations

Given η : V

univalent

֒ →

  • C on an open set V ⊂

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

slide-37
SLIDE 37

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

slide-38
SLIDE 38

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

  • y∈g−n(X0)

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

slide-39
SLIDE 39

§8. Univalent maps outside overlapped disks

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

  • Dx(r),

D(φ, V ) ≤ C(r) · M(∪Dx ⊂ (V )c), where M(D ⊂ W) is a constant depending only on D and W.

16 / 21

slide-40
SLIDE 40

§9. Proof of the apriori bound

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

slide-41
SLIDE 41

§9. Proof of the apriori bound

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)

  • n A − I′

k,

ρ0(z)(1 −

  • d(r))−k
  • n I′

k − I′ k(d(r)),

  • n I′

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

slide-42
SLIDE 42

§9. Proof of the apriori bound

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).

  • 19 / 21
slide-43
SLIDE 43

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.

20 / 21

slide-44
SLIDE 44

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

20 / 21

slide-45
SLIDE 45

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles

20 / 21

slide-46
SLIDE 46

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps

20 / 21

slide-47
SLIDE 47

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps
  • 4. Breaking parabolic points along arbitrary stable combinatorics (today)

20 / 21

slide-48
SLIDE 48

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps
  • 4. Breaking parabolic points along arbitrary stable combinatorics (today)
  • 5. Convergence of pinching paths to boundary parabolic maps.

20 / 21

slide-49
SLIDE 49

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps
  • 4. Breaking parabolic points along arbitrary stable combinatorics (today)
  • 5. Convergence of pinching paths to boundary parabolic maps.

(2-5 are almost written).

20 / 21

slide-50
SLIDE 50

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps
  • 4. Breaking parabolic points along arbitrary stable combinatorics (today)
  • 5. Convergence of pinching paths to boundary parabolic maps.

(2-5 are almost written). Next step : go to the implosive direction, for this one needs to control critical orbits...

20 / 21

slide-51
SLIDE 51

§10. Cui’s program (around 1998)

  • 0. Characterization of postcritically finite rational maps, by W. Thurston.
  • 1. Characterization of hyperbolic and sub hyperbolic rational maps (two

published proofs by Jiang-Zhang and Cui-T. respectively, see also the sub sequel thesis of Godillon and Wang).

  • 2. Breaking parabolic points to star-like attracting cycles
  • 3. Characterization of geometrically finite rational maps
  • 4. Breaking parabolic points along arbitrary stable combinatorics (today)
  • 5. Convergence of pinching paths to boundary parabolic maps.

(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

slide-52
SLIDE 52

Grazie ! Thank you !

21 / 21