polynomial matings and rational maps with cluster cyclestsharland/harvard.pdfγ2(−θ). the maps fi...
TRANSCRIPT
![Page 1: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/1.jpg)
Polynomial Matings and Rational Maps with ClusterCycles
Thomas Sharland
Mathematics InstituteUniversity of Warwick
4th April 2012Harvard Informal Seminar
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 1 / 27
![Page 2: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/2.jpg)
Outline
1 IntroductionStandard DefinitionsMatingsThurston Equivalence
2 ClusteringCombinatorial data
3 ResultsThurston EquivalenceFixed Cluster pointsPeriod 2 cluster cycle resultsHigher Degrees
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 2 / 27
![Page 3: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/3.jpg)
Definitions.
Let f : C → C be a rational map.
The Julia set J(f) is the closure of the set of repelling periodicpoints of f .
The Fatou set F (f) is C \ J(f).
If f is a polynomial
The point ∞ is a superattracting fixed point.
The filled Julia set is K(f) = z ∈ C | fn(z) 9 ∞, so thatJ(f) = ∂K(f)
In this talk, we will generally assume that f has a (finite)superattracting periodic cycle of period p > 1.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 3 / 27
![Page 4: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/4.jpg)
Definitions.
Let f : C → C be a rational map.
The Julia set J(f) is the closure of the set of repelling periodicpoints of f .
The Fatou set F (f) is C \ J(f).
If f is a polynomial
The point ∞ is a superattracting fixed point.
The filled Julia set is K(f) = z ∈ C | fn(z) 9 ∞, so thatJ(f) = ∂K(f)
In this talk, we will generally assume that f has a (finite)superattracting periodic cycle of period p > 1.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 3 / 27
![Page 5: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/5.jpg)
Böttcher’s theorem and external rays
There exists an analytic conjugacy φ between f on C \K(f) and themap z 7→ zd on C \ D.
φ is asymptotic to the identity at ∞.
The set Rθ = φ−1re2πiθ | r ∈ (1,∞) is called the external ray ofangle θ.
If J(f) is locally connected, the point γ(θ) = limr→1 φ−1(re2πiθ)
exists for all θ and belongs to J(f).We have the identities f(Rθ) = Rdθ and f(γ(θ)) = γ(dθ).
The points βk = γ(k/(d− 1)), k = 0, 1, . . . , d− 2 are fixed points onJ(f).If α ∈ J(f) is another fixed point and α = γ(θ), thenα = γ(dθ), γ(d2θ), . . .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 4 / 27
![Page 6: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/6.jpg)
Böttcher’s theorem and external rays
There exists an analytic conjugacy φ between f on C \K(f) and themap z 7→ zd on C \ D.
φ is asymptotic to the identity at ∞.
The set Rθ = φ−1re2πiθ | r ∈ (1,∞) is called the external ray ofangle θ.
If J(f) is locally connected, the point γ(θ) = limr→1 φ−1(re2πiθ)
exists for all θ and belongs to J(f).We have the identities f(Rθ) = Rdθ and f(γ(θ)) = γ(dθ).
The points βk = γ(k/(d− 1)), k = 0, 1, . . . , d− 2 are fixed points onJ(f).If α ∈ J(f) is another fixed point and α = γ(θ), thenα = γ(dθ), γ(d2θ), . . .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 4 / 27
![Page 7: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/7.jpg)
Böttcher’s theorem and external rays
There exists an analytic conjugacy φ between f on C \K(f) and themap z 7→ zd on C \ D.
φ is asymptotic to the identity at ∞.
The set Rθ = φ−1re2πiθ | r ∈ (1,∞) is called the external ray ofangle θ.
If J(f) is locally connected, the point γ(θ) = limr→1 φ−1(re2πiθ)
exists for all θ and belongs to J(f).We have the identities f(Rθ) = Rdθ and f(γ(θ)) = γ(dθ).
The points βk = γ(k/(d− 1)), k = 0, 1, . . . , d− 2 are fixed points onJ(f).If α ∈ J(f) is another fixed point and α = γ(θ), thenα = γ(dθ), γ(d2θ), . . .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 4 / 27
![Page 8: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/8.jpg)
An exampleDouady’s Rabbit
Douady’s rabbit with the external rays of angle p/7.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 5 / 27
![Page 9: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/9.jpg)
Formal MatingsNew maps from old
Denote fi(z) = zd + ci. Define C = C ∪ ∞ · e2πis | s ∈ R/Z.
Extend f1 and f2 to the boundary circle at infinity, e.g.f1(∞ · e2πis) = ∞ · e2dπis.
Define S2f1,f2
= Cf1 ⊎ Cf2/(∞ · e2πis, f1) ∼ (∞ · e−2πis, f2).
The formal mating is a branched covering f1 ⊎ f2 : S2f1,f2
→ S2f1,f2
.
f1 ⊎ f2 = f1 on Cf1
f1 ⊎ f2 = f2 on Cf2
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 6 / 27
![Page 10: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/10.jpg)
Formal MatingsNew maps from old
Denote fi(z) = zd + ci. Define C = C ∪ ∞ · e2πis | s ∈ R/Z.
Extend f1 and f2 to the boundary circle at infinity, e.g.f1(∞ · e2πis) = ∞ · e2dπis.
Define S2f1,f2
= Cf1 ⊎ Cf2/(∞ · e2πis, f1) ∼ (∞ · e−2πis, f2).
The formal mating is a branched covering f1 ⊎ f2 : S2f1,f2
→ S2f1,f2
.
f1 ⊎ f2 = f1 on Cf1
f1 ⊎ f2 = f2 on Cf2
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 6 / 27
![Page 11: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/11.jpg)
Formal MatingsNew maps from old
Denote fi(z) = zd + ci. Define C = C ∪ ∞ · e2πis | s ∈ R/Z.
Extend f1 and f2 to the boundary circle at infinity, e.g.f1(∞ · e2πis) = ∞ · e2dπis.
Define S2f1,f2
= Cf1 ⊎ Cf2/(∞ · e2πis, f1) ∼ (∞ · e−2πis, f2).
The formal mating is a branched covering f1 ⊎ f2 : S2f1,f2
→ S2f1,f2
.
f1 ⊎ f2 = f1 on Cf1
f1 ⊎ f2 = f2 on Cf2
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 6 / 27
![Page 12: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/12.jpg)
Topological Matings
Denote fi(z) = zd + ci with filled Julia set Ki = K(fi).Define a new map f1 ⊥⊥ f2 on K1 ⊥⊥ K2.
Take the disjoint union of K1 and K2.K1 ⊥⊥ K2 is the quotient space formed by identifying γ1(θ) withγ2(−θ).The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2.
We say f1 and f2 are mateable if this quotient K1 ⊥⊥ K2 is a sphere.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 7 / 27
![Page 13: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/13.jpg)
Topological Matings
Denote fi(z) = zd + ci with filled Julia set Ki = K(fi).Define a new map f1 ⊥⊥ f2 on K1 ⊥⊥ K2.
Take the disjoint union of K1 and K2.K1 ⊥⊥ K2 is the quotient space formed by identifying γ1(θ) withγ2(−θ).The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2.
We say f1 and f2 are mateable if this quotient K1 ⊥⊥ K2 is a sphere.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 7 / 27
![Page 14: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/14.jpg)
Topological Matings
Denote fi(z) = zd + ci with filled Julia set Ki = K(fi).Define a new map f1 ⊥⊥ f2 on K1 ⊥⊥ K2.
Take the disjoint union of K1 and K2.K1 ⊥⊥ K2 is the quotient space formed by identifying γ1(θ) withγ2(−θ).The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2.
We say f1 and f2 are mateable if this quotient K1 ⊥⊥ K2 is a sphere.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 7 / 27
![Page 15: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/15.jpg)
Topological Matings
Denote fi(z) = zd + ci with filled Julia set Ki = K(fi).Define a new map f1 ⊥⊥ f2 on K1 ⊥⊥ K2.
Take the disjoint union of K1 and K2.K1 ⊥⊥ K2 is the quotient space formed by identifying γ1(θ) withγ2(−θ).The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2.
We say f1 and f2 are mateable if this quotient K1 ⊥⊥ K2 is a sphere.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 7 / 27
![Page 16: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/16.jpg)
Obstructed matings
Let f1 be the rabbit polynomial and f2 the anti-rabbit polynomial.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 8 / 27
![Page 17: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/17.jpg)
Obstructed matings
Let f1 be the rabbit polynomial and f2 the anti-rabbit polynomial.
The quotient space created by the ray equivalence class is nothomeomorphic to the sphere.
So f1 ⊥⊥ f2 is not equivalent to a rational map.
The same holds for any mating of f1 with a map in the anti-rabbitlimb.
DefinitionA multicurve Γ = γ1, . . . , γn of F is called a Levy cycle if fori = 1, 2, . . . , n, the curve γi−1 is homotopic (rel PF ) to a componentγ′i−1 of F−1(γi) and the map F : γ′i → γi is a homeomorphism.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 8 / 27
![Page 18: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/18.jpg)
Obstructed matings
Let f1 be the rabbit polynomial and f2 the anti-rabbit polynomial.
The quotient space created by the ray equivalence class is nothomeomorphic to the sphere.
So f1 ⊥⊥ f2 is not equivalent to a rational map.
The same holds for any mating of f1 with a map in the anti-rabbitlimb.
DefinitionA multicurve Γ = γ1, . . . , γn of F is called a Levy cycle if fori = 1, 2, . . . , n, the curve γi−1 is homotopic (rel PF ) to a componentγ′i−1 of F−1(γi) and the map F : γ′i → γi is a homeomorphism.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 8 / 27
![Page 19: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/19.jpg)
Thurston’s Theorem
Let F : Σ → Σ and F : Σ → Σ be postcritically finiteorientation-preserving branched self-coverings of topological2-spheres. An equivalence is given by a pair of orientation-preservinghomeomorphisms (Φ,Ψ) from Σ to Σ such that
Φ|PF= Ψ|PF
Φ F = Ψ F
Φ and Ψ are isotopic via a family of homeomorphisms t 7→ Φtwhich is constant on PF .
Theorem (Thurston)Let F : Σ → Σ be a postcritically finite branched cover with hyperbolicorbifold. Then F is equivalent to a rational map if and only if F has noThurston obstructions. This rational map is unique up to Möbiustransformation. In particular, any equivalence between two rationalmaps is realised by a Möbius transformation.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 9 / 27
![Page 20: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/20.jpg)
Thurston’s Theorem
Let F : Σ → Σ and F : Σ → Σ be postcritically finiteorientation-preserving branched self-coverings of topological2-spheres. An equivalence is given by a pair of orientation-preservinghomeomorphisms (Φ,Ψ) from Σ to Σ such that
Φ|PF= Ψ|PF
Φ F = Ψ F
Φ and Ψ are isotopic via a family of homeomorphisms t 7→ Φtwhich is constant on PF .
Theorem (Thurston)Let F : Σ → Σ be a postcritically finite branched cover with hyperbolicorbifold. Then F is equivalent to a rational map if and only if F has noThurston obstructions. This rational map is unique up to Möbiustransformation. In particular, any equivalence between two rationalmaps is realised by a Möbius transformation.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 9 / 27
![Page 21: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/21.jpg)
Simplifying Thurston’s criterion
In general it is difficult to find Thurston obstructions. Levy cyclessimplify the search.
F has a Levy cycle ⇒ F has a Thurston obstruction.
In the bicritical case: F has a Thurston obstruction ⇒ F has aLevy cycle.
Theorem (Rees, Shishikura, Tan)
In the bicritical case, if [α1] 6= [α2], K1 ⊥⊥ K2 is homeomorphic to S2
and we can give this sphere a unique conformal structure to makef1 ⊥⊥ f2 a holomorphic degree d rational map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 10 / 27
![Page 22: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/22.jpg)
Simplifying Thurston’s criterion
In general it is difficult to find Thurston obstructions. Levy cyclessimplify the search.
F has a Levy cycle ⇒ F has a Thurston obstruction.
In the bicritical case: F has a Thurston obstruction ⇒ F has aLevy cycle.
Theorem (Rees, Shishikura, Tan)
In the bicritical case, if [α1] 6= [α2], K1 ⊥⊥ K2 is homeomorphic to S2
and we can give this sphere a unique conformal structure to makef1 ⊥⊥ f2 a holomorphic degree d rational map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 10 / 27
![Page 23: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/23.jpg)
Clusters (Definition)
Let F be a bicritical rational map such that the two critical points belongto the attracting basins of two disjoint (super)attracting periodic orbitsof the same period.Clustering is the condition that the critical orbit Fatou componentsgroup together to form a periodic cycle...
The dynamics on each Fatou component can be conjugated usingBöttcher’s theorem.
Internal rays
The 0 internal ray is fixed under the first return map.
If the 0 internal rays meet at a point c, and this point is periodic,we say c is a cluster point for F .
e.g. Rabbit ⊥⊥ Airplane.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 11 / 27
![Page 24: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/24.jpg)
Clusters (Definition)
Let F be a bicritical rational map such that the two critical points belongto the attracting basins of two disjoint (super)attracting periodic orbitsof the same period.Clustering is the condition that the critical orbit Fatou componentsgroup together to form a periodic cycle...
The dynamics on each Fatou component can be conjugated usingBöttcher’s theorem.
Internal rays
The 0 internal ray is fixed under the first return map.
If the 0 internal rays meet at a point c, and this point is periodic,we say c is a cluster point for F .
e.g. Rabbit ⊥⊥ Airplane.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 11 / 27
![Page 25: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/25.jpg)
Clusters (Definition)
Let F be a bicritical rational map such that the two critical points belongto the attracting basins of two disjoint (super)attracting periodic orbitsof the same period.Clustering is the condition that the critical orbit Fatou componentsgroup together to form a periodic cycle...
The dynamics on each Fatou component can be conjugated usingBöttcher’s theorem.
Internal rays
The 0 internal ray is fixed under the first return map.
If the 0 internal rays meet at a point c, and this point is periodic,we say c is a cluster point for F .
e.g. Rabbit ⊥⊥ Airplane.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 11 / 27
![Page 26: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/26.jpg)
Example
The Julia set for Rabbit ⊥⊥ Airplane(and Airplane ⊥⊥ Rabbit!).
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 12 / 27
![Page 27: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/27.jpg)
Another example
The Julia set for a map with a period two cluster cycle.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 13 / 27
![Page 28: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/28.jpg)
Combinatorial data
Restrict attention to the period one and two cases.We can describe a cluster in simple combinatorial terms.
1 (The period of the critical cycles n.)2 The combinatorial rotation number ρ.3 The critical displacement δ.
The combinatorial data of the cluster will be the pair (ρ, δ).
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 14 / 27
![Page 29: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/29.jpg)
Combinatorial data
Restrict attention to the period one and two cases.We can describe a cluster in simple combinatorial terms.
1 (The period of the critical cycles n.)2 The combinatorial rotation number ρ.3 The critical displacement δ.
The combinatorial data of the cluster will be the pair (ρ, δ).
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 14 / 27
![Page 30: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/30.jpg)
Combinatorial data
Restrict attention to the period one and two cases.We can describe a cluster in simple combinatorial terms.
1 (The period of the critical cycles n.)2 The combinatorial rotation number ρ.3 The critical displacement δ.
The combinatorial data of the cluster will be the pair (ρ, δ).
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 14 / 27
![Page 31: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/31.jpg)
Clusters and Thurston Equivalence
Theorem (S., 2010)If F and G are bicritical rational maps of the same degree and
F and G have fixed cluster points and are of degree d
F and G are quadratic with a period 2 cluster cycle
then F and G have the same combinatorial data if and only if they areThurston equivalent.
In particular, this means that a rational map is entirely determined byits behaviour inside the cluster cycle.The theorem is not true in the case where F and G have degree d ≥ 3and a period two cluster cycle (An example is given in joint work withAdam Epstein.)
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 15 / 27
![Page 32: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/32.jpg)
Clusters and Thurston Equivalence
Theorem (S., 2010)If F and G are bicritical rational maps of the same degree and
F and G have fixed cluster points and are of degree d
F and G are quadratic with a period 2 cluster cycle
then F and G have the same combinatorial data if and only if they areThurston equivalent.
In particular, this means that a rational map is entirely determined byits behaviour inside the cluster cycle.The theorem is not true in the case where F and G have degree d ≥ 3and a period two cluster cycle (An example is given in joint work withAdam Epstein.)
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 15 / 27
![Page 33: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/33.jpg)
Clusters and Thurston Equivalence
Theorem (S., 2010)If F and G are bicritical rational maps of the same degree and
F and G have fixed cluster points and are of degree d
F and G are quadratic with a period 2 cluster cycle
then F and G have the same combinatorial data if and only if they areThurston equivalent.
In particular, this means that a rational map is entirely determined byits behaviour inside the cluster cycle.The theorem is not true in the case where F and G have degree d ≥ 3and a period two cluster cycle (An example is given in joint work withAdam Epstein.)
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 15 / 27
![Page 34: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/34.jpg)
Proof Outline
In both cases we use the following method. let XF and XG be theunion of the stars of the clusters of F and G.
1 There exists φ : XF → XG which conjugates the dynamics.2 Extend φ to a map Φ: C → C.3 Construct a new map Φ such that Φ F = G Φ.4 Modify Φ so that it is equal to φ on XF .5 Modify this new Φ so that it is isotopic to Φ rel XF .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 16 / 27
![Page 35: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/35.jpg)
Proof Outline
In both cases we use the following method. let XF and XG be theunion of the stars of the clusters of F and G.
1 There exists φ : XF → XG which conjugates the dynamics.2 Extend φ to a map Φ: C → C.3 Construct a new map Φ such that Φ F = G Φ.4 Modify Φ so that it is equal to φ on XF .5 Modify this new Φ so that it is isotopic to Φ rel XF .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 16 / 27
![Page 36: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/36.jpg)
Proof Outline
In both cases we use the following method. let XF and XG be theunion of the stars of the clusters of F and G.
1 There exists φ : XF → XG which conjugates the dynamics.2 Extend φ to a map Φ: C → C.3 Construct a new map Φ such that Φ F = G Φ.4 Modify Φ so that it is equal to φ on XF .5 Modify this new Φ so that it is isotopic to Φ rel XF .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 16 / 27
![Page 37: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/37.jpg)
A bit more detail. . .
(C,XF )
(Φ,φ)
F%%JJJJJJJJJ
(C \ Ω, ∂Ω)ηFoo
(Ψ,ψ)
(C,XF )
(Φ,φ)
(C \ Ω, ∂Ω)ηFoo
(Ψ,ψ)
(C,XG) (C \ Ω, ∂Ω)ηG
oo
(C,XG)
G99ttttttttt
(C \ Ω, ∂Ω)ηG
oo
Ω is either D (fixed case) or an annulus (period 2 case).
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 17 / 27
![Page 38: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/38.jpg)
Period 1 Results
A rabbit is any map with a “star-shaped” Hubbard tree. They belong tohyperbolic components which bifurcate from the (unique) period onecomponent in the Multibrot set.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 18 / 27
![Page 39: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/39.jpg)
Period 1 Results
A rabbit is any map with a “star-shaped” Hubbard tree. They belong tohyperbolic components which bifurcate from the (unique) period onecomponent in the Multibrot set.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 18 / 27
![Page 40: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/40.jpg)
Period 1 Results
A rabbit is any map with a “star-shaped” Hubbard tree. They belong tohyperbolic components which bifurcate from the (unique) period onecomponent in the Multibrot set.
LemmaIf F = f1 ⊥⊥ f2 has a fixed cluster point, then precisely one of the fi isa rabbit.
LemmaAll combinatorial data can be realised (in precisely 2d− 2 ways), savefor the case with δ = 1 or δ = 2n − 1.
The rotation number is fixed by the rotation number of the α-fixed pointfor the rabbit. The critical displacement is determined by the choice ofthe complementary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 18 / 27
![Page 41: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/41.jpg)
Period 1 Results
A rabbit is any map with a “star-shaped” Hubbard tree. They belong tohyperbolic components which bifurcate from the (unique) period onecomponent in the Multibrot set.
LemmaIf F = f1 ⊥⊥ f2 has a fixed cluster point, then precisely one of the fi isa rabbit.
LemmaAll combinatorial data can be realised (in precisely 2d− 2 ways), savefor the case with δ = 1 or δ = 2n − 1.
The rotation number is fixed by the rotation number of the α-fixed pointfor the rabbit. The critical displacement is determined by the choice ofthe complementary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 18 / 27
![Page 42: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/42.jpg)
Period 1 Results
A rabbit is any map with a “star-shaped” Hubbard tree. They belong tohyperbolic components which bifurcate from the (unique) period onecomponent in the Multibrot set.
LemmaIf F = f1 ⊥⊥ f2 has a fixed cluster point, then precisely one of the fi isa rabbit.
LemmaAll combinatorial data can be realised (in precisely 2d− 2 ways), savefor the case with δ = 1 or δ = 2n − 1.
The rotation number is fixed by the rotation number of the α-fixed pointfor the rabbit. The critical displacement is determined by the choice ofthe complementary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 18 / 27
![Page 43: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/43.jpg)
Period 2 (quadratic) Results
A bi-rabbit is a map bifurcating off the period 2 component. . .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 44: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/44.jpg)
Period 2 (quadratic) Results
. . . but there is another component of the same period in the wake ofthe bi-rabbit!
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 45: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/45.jpg)
Period 2 (quadratic) Results
The rays landing on the period 2 cycle of the bi-rabbit. . .
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 46: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/46.jpg)
Period 2 (quadratic) Results
. . . have the same angles as those landing on the period 2 cycle of thesecondary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 47: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/47.jpg)
Period 2 (quadratic) Results
A bi-rabbit is a map bifurcating off the period 2 component.
Theorem (S., 2009)If F = f1 ⊥⊥ f2 has a period two cluster cycle, one of the fi is either abi-rabbit or a secondary map which lies in the limb of the bi-rabbit.
Lemma (S., 2009)All combinatorial data can be realised (in at least two ways).
Theorem (S., 2010)The cases δ = 1 and δ = 2n − 1 can be constructed from mating withthe secondary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 48: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/48.jpg)
Period 2 (quadratic) Results
A bi-rabbit is a map bifurcating off the period 2 component.
Theorem (S., 2009)If F = f1 ⊥⊥ f2 has a period two cluster cycle, one of the fi is either abi-rabbit or a secondary map which lies in the limb of the bi-rabbit.
Lemma (S., 2009)All combinatorial data can be realised (in at least two ways).
Theorem (S., 2010)The cases δ = 1 and δ = 2n − 1 can be constructed from mating withthe secondary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 49: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/49.jpg)
Period 2 (quadratic) Results
A bi-rabbit is a map bifurcating off the period 2 component.
Theorem (S., 2009)If F = f1 ⊥⊥ f2 has a period two cluster cycle, one of the fi is either abi-rabbit or a secondary map which lies in the limb of the bi-rabbit.
Lemma (S., 2009)All combinatorial data can be realised (in at least two ways).
Theorem (S., 2010)The cases δ = 1 and δ = 2n − 1 can be constructed from mating withthe secondary map.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 19 / 27
![Page 50: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/50.jpg)
Example
The mating of these two components. . .
This is a well-known example. . .Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 20 / 27
![Page 51: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/51.jpg)
Example
. . . is equivalent to the mating of these two components
This is a well-known example. . .Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 20 / 27
![Page 52: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/52.jpg)
Higher degrees
Consider the degree d Multibrot set Md. It has d− 1 period twohyperbolic components.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 21 / 27
![Page 53: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/53.jpg)
Joint work with Epstein
We can mate the corresponding period two polynomials (if they are notcomplex conjugate) to get a degree d rational map with a period twocluster cycle. Each cluster contains precisely one periodic Fatoucomponent from each critical orbit.
The rotation number must be 0/1
The displacement must be 1
But not all maps arising from these matings are equivalent! We caneven write the maps in normal form as
Fa(z) =zd − a
zd − 1,
where a 6= 1 is a (d− 1)th root of unity.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 22 / 27
![Page 54: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/54.jpg)
Joint work with Epstein
All the maps look like this. . .
. . . and in degree d, there are d− 2 configurations which can occur andwhich are not equivalent.
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 23 / 27
![Page 55: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/55.jpg)
A schematic proof
We can describe the Julia sets of the maps schematically
We have a modified notion of displacement. . . and this helps usclassify the maps.Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 24 / 27
![Page 56: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/56.jpg)
News just in. . .
Figure:(10
63, 17
63
)⊥⊥
(29
63, 34
63
),(28
63, 35
63
)⊥⊥
(55
63, 56
63
)and
(46
63, 53
63
)⊥⊥
(19
63, 20
63
)
These all have period 3 cluster cycles with the same intrinsic data. Butthey certainly don’t all look the same!
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 25 / 27
![Page 57: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/57.jpg)
Summary
In simple cases, the combinatorial data of a cluster completelydefines a rational map.
Period 3 - experimental pictures suggest not?
Period 1 and period 2 cases are very similar, but with anincreased level of complexity for the period 2 case.
“Non-trivial” shared matingsDifferent combinatorial dataSimple Thurston classification only works in the quadratic case forperiod 2
Combinatorics of the matings
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 26 / 27
![Page 58: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/58.jpg)
Outlook
How to completely classify the period two case?Positions of fixed points - how can we describe this combinatorially?Joint work with Epstein may help describe the new combinatorics.
Cluster cycles of period ≥ 3.More “secondary maps”Early results suggest far more complexity in the descriptions of thematings
What about a more general notion of clustering (not restricted tothe bicritical case)?
Parameter space (cf. discussion in Buff, Écalle and Epstein for theparabolic case)?
Thanks for listening!
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 27 / 27
![Page 59: Polynomial Matings and Rational Maps with Cluster Cyclestsharland/Harvard.pdfγ2(−θ). The maps fi on the Ki fit together to form a new map f1 ⊥⊥ f2. We say f1 and f2 are mateable](https://reader036.vdocuments.site/reader036/viewer/2022071107/5fe21f2ba42b173e51654a82/html5/thumbnails/59.jpg)
Outlook
How to completely classify the period two case?Positions of fixed points - how can we describe this combinatorially?Joint work with Epstein may help describe the new combinatorics.
Cluster cycles of period ≥ 3.More “secondary maps”Early results suggest far more complexity in the descriptions of thematings
What about a more general notion of clustering (not restricted tothe bicritical case)?
Parameter space (cf. discussion in Buff, Écalle and Epstein for theparabolic case)?
Thanks for listening!
Tom Sharland (University of Warwick) Mating and Clustering 4th April 2012 27 / 27