quasisymmetric rigidity for sierpi nski carpets
play

Quasisymmetric rigidity for Sierpi nski carpets Mario Bonk - PowerPoint PPT Presentation

Quasisymmetric rigidity for Sierpi nski carpets Mario Bonk University of California, Los Angeles Geometry, Analysis, Probability Birthday Conference for Peter Jones Seoul, May 2017 Mario Bonk Rigidity for carpets The standard Sierpi


  1. Quasisymmetric rigidity for Sierpi´ nski carpets Mario Bonk University of California, Los Angeles Geometry, Analysis, Probability Birthday Conference for Peter Jones Seoul, May 2017 Mario Bonk Rigidity for carpets

  2. The standard Sierpi´ nski carpet S 3 Carpet: Metric space homeomorphic to the standard Sierpi´ nski carpet. 2 / 23

  3. Standard square carpets The standard square Sierpi´ nski carpet S p , p odd, is defined as follows: Subdivide the unit square into p × p squares of equal size, remove the middle, repeat on the remaining squares, etc. 3 / 23

  4. Sierpi´ nski carpets can be Julia sets 1 The Julia set of the function f ( z ) = z 2 − 16 z 2 . 4 / 23

  5. Sierpi´ nski carpet as a limit set of a Kleinian group Limit set of a (convex cocompact) Kleinian group acting on H 3 5 / 23

  6. Round carpets A round carpet is a carpet embedded in the Riemann sphere � C whose peripheral circles are geometric circles. M¨ obius transformations preserve the class of round carpets. 6 / 23

  7. Topological properties of carpets Whyburn (1958): A metric space S is a carpet if and only if it is a planar continuum of topological dimension one, is locally connected, and has no local cut points. C \ � D i , where D i are pairwise disjoint open Jordan If S = � regions for i ∈ N , then S is a carpet if and only if S has empty interior, ∂ D i ∩ ∂ D j = ∅ for i � = j , diam( D i ) → 0. 7 / 23

  8. The Kapovich-Kleiner conjecture Version I Suppose G is a Gromov hyperbolic group s.t. ∂ ∞ G is a carpet. Then G admits a discrete, cocompact, and isometric action on a convex subset of H 3 with non-empty totally geodesic boundary. 8 / 23

  9. The Kapovich-Kleiner conjecture Version I Suppose G is a Gromov hyperbolic group s.t. ∂ ∞ G is a carpet. Then G admits a discrete, cocompact, and isometric action on a convex subset of H 3 with non-empty totally geodesic boundary. This is equivalent to: Version II Suppose G is a Gromov hyperbolic group s.t. ∂ ∞ G is a carpet. Then there exists a quasisymmetric homeomomorphism of ∂ ∞ G onto a round carpet in � C . 8 / 23

  10. Inradius and outradius of images of balls Let ( X , d X ) and ( Y , d Y ) be metric spaces, and f : X → Y be a homeomorphism. Define L r ( x ) := sup { d Y ( f ( z ) , f ( x )) : z ∈ B ( x , r ) } , and l r ( x ) := inf { d Y ( f ( z ) , f ( x )) : z ∈ X \ B ( x , r ) } . l r ( x ) is the “inradius” and L r ( x ) the “outradius” of the image f ( B ( x , r )) of the ball B ( x , r ). 9 / 23

  11. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  12. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  13. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  14. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  15. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  16. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  17. Classes of homeomorphisms The homeomorphism f : X → Y is called: L r ( x ) l r ( x ) = 1 for all x ∈ X , conformal if lim sup r → 0 quasiconformal (=qc) if there exists a constant H ≥ 1 such L r ( x ) that lim sup l r ( x ) ≤ H for all x ∈ X , r → 0 if there exists a constant H ≥ 1 such quasisymmetric (=qs) that L r ( x ) l r ( x ) ≤ H for all x ∈ X , r > 0. 10 / 23

  18. Geometry of a quasisymmetric map R 2 / R 1 ≤ Const. 11 / 23

  19. Remarks f is quasisymmetric if it maps balls to “roundish” sets of uniformly controlled eccentricity. Quasisymmetry is on the one hand weaker than conformality, because we allow distortion of small balls; on the other hand it is stronger , because we control distortion for all balls. bi-Lipschitz ⇒ qs ⇒ qc. For homeos on R n , n ≥ 2: qs ⇔ qc. Definition. Two metric spaces X and Y are qs-equivalent if there exists a quasisymmetric homeomorphism f : X → Y . 12 / 23

  20. Remarks f is quasisymmetric if it maps balls to “roundish” sets of uniformly controlled eccentricity. Quasisymmetry is on the one hand weaker than conformality, because we allow distortion of small balls; on the other hand it is stronger , because we control distortion for all balls. bi-Lipschitz ⇒ qs ⇒ qc. For homeos on R n , n ≥ 2: qs ⇔ qc. Definition. Two metric spaces X and Y are qs-equivalent if there exists a quasisymmetric homeomorphism f : X → Y . 12 / 23

  21. The quasisymmetric Riemann mapping theorem Theorem (Ahlfors 1963) A region Ω ⊆ C is qs-equivalent to D if and only if Ω is a Jordan domain bounded by a quasicircle. Definition. A Jordan curve J ⊆ C is called a quasicircle iff it is qs-equivalent to the unit circle ∂ D . This is true if and only if there exists a constant K ≥ 1 such that diam( γ ) ≤ K | x − y | , whenever x , y ∈ J , and γ is the smaller subarc of J with endpoints x and y . 13 / 23

  22. Qs-equivalence of carpets Basic Problem. When are two carpets X and Y qs-equivalent? Theorem (B., Kleiner, Merenkov 2005) Every quasisymmetry between two round carpets of measure 0 is a M¨ obius transformation. Corollary Two round carpets of measure 0 are qs-equivalent if and only if they are M¨ obius equivalent. Corollary The set of qs-equivalence classes of round carpets has the cardinality of the continuum. 14 / 23

  23. Qs-equivalence of carpets Basic Problem. When are two carpets X and Y qs-equivalent? Theorem (B., Kleiner, Merenkov 2005) Every quasisymmetry between two round carpets of measure 0 is a M¨ obius transformation. Corollary Two round carpets of measure 0 are qs-equivalent if and only if they are M¨ obius equivalent. Corollary The set of qs-equivalence classes of round carpets has the cardinality of the continuum. 14 / 23

  24. Qs-equivalence of carpets Basic Problem. When are two carpets X and Y qs-equivalent? Theorem (B., Kleiner, Merenkov 2005) Every quasisymmetry between two round carpets of measure 0 is a M¨ obius transformation. Corollary Two round carpets of measure 0 are qs-equivalent if and only if they are M¨ obius equivalent. Corollary The set of qs-equivalence classes of round carpets has the cardinality of the continuum. 14 / 23

  25. Qs-equivalence of carpets Basic Problem. When are two carpets X and Y qs-equivalent? Theorem (B., Kleiner, Merenkov 2005) Every quasisymmetry between two round carpets of measure 0 is a M¨ obius transformation. Corollary Two round carpets of measure 0 are qs-equivalent if and only if they are M¨ obius equivalent. Corollary The set of qs-equivalence classes of round carpets has the cardinality of the continuum. 14 / 23

  26. Outline for the proof of the theorem Let S , S ′ ⊆ � C be round carpets with | S | = 0 and ϕ : S → S ′ be a quasisymmetry. 1. Extend ϕ to a quasiconformal map ϕ : � C → � C by successive reflections. 2. For a.e. z ∈ � C : (i) z does not lie in any of the countably many copies of S obtained by reflection and (ii) the linear map D ϕ ( z ) is non-singular. 3. For such z : there is a sequence of (geometric) disks D i with diam( D i ) → 0 such that z ∈ D i and ϕ ( D i ) is a disk. Then D ϕ ( z ) maps some disk to a disk and so D ϕ ( z ) is conformal. 4. ϕ is 1-quasiconformal and hence a M¨ obius transformation. 15 / 23

  27. Uniformization Theorem (B. 2004) Let S ⊆ � C be a carpet whose peripheral circles are uniform quasicircles with uniform relative separation . Then S is qs-equivalent to a round carpet. 16 / 23

Recommend


More recommend