pith. sign in

arxiv: 2507.22658 · v2 · submitted 2025-07-30 · 🧮 math.CV · math.DS· math.MG

Quasiconformal characterization of Schottky sets

Dimitrios Ntalampekos This is my paper

Pith reviewed 2026-05-19 03:05 UTC · model grok-4.3

classification 🧮 math.CV math.DSmath.MG
keywords quasiconformal mapsSchottky setsSierpinski carpetsSierpinski gasketsquasiconformal uniformizationcomplementary components2-sphere
0
0 comments X

The pith

A subset S of the 2-sphere is quasiconformally equivalent to a Schottky set precisely when every pair of its complementary components maps to a pair of open disks by a quasiconformal homeomorphism whose dilatation stays bounded uniformly.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves an if-and-only-if characterization for when a set on the 2-sphere is quasiconformally equivalent to a Schottky set. A Schottky set is the complement in the sphere of a union of pairwise disjoint open disks. The decisive condition is that for any two complementary components there exists a quasiconformal homeomorphism of the entire sphere carrying those two regions to open disks, and that the maximal dilatation of all such maps admits a single finite bound independent of the chosen pair. When the condition holds, a single global quasiconformal map exists taking the whole set to some Schottky set. The result supplies the first general quasiconformal uniformization theorem for Sierpiński gaskets and recovers Bonk’s carpet theorem without invoking uniform relative separation.

Core claim

We prove that a subset S of the 2-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of complementary components of S can be mapped to a pair of open disks with a uniformly quasiconformal homeomorphism of the sphere. Our theorem applies to Sierpiński carpets and gaskets, yielding for the first time a general quasiconformal uniformization result for gaskets. Moreover, it contains Bonk’s uniformization result for carpets as a special case and does not rely on the condition of uniform relative separation that is used in relevant works.

What carries the argument

The uniform dilatation bound on the family of quasiconformal homeomorphisms that send arbitrary pairs of complementary components to pairs of open disks; this bound supplies the global control needed to assemble a single quasiconformal equivalence to a Schottky set.

If this is right

  • Sierpiński carpets and gaskets both satisfy the pairwise condition and therefore admit quasiconformal uniformization to Schottky sets.
  • Bonk’s earlier uniformization theorem for carpets is recovered as the special case in which the pairwise maps already satisfy the required uniform bound.
  • The uniformization conclusion holds for these fractal sets without any additional hypothesis of uniform relative separation between components.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The characterization reduces the global uniformization question to a collection of pairwise problems that may be easier to verify directly.
  • The same pairwise-uniformity idea could be tested on other classes of sets whose complements consist of Jordan domains on the sphere.
  • Numerical or computational checks of quasiconformal equivalence might now proceed by estimating dilatations on finitely many representative pairs rather than constructing global maps at once.

Load-bearing premise

The quasiconformal homeomorphisms that send pairs of complementary components to pairs of disks all share a single dilatation bound independent of which pair is chosen.

What would settle it

A concrete set S on the sphere whose complementary components admit pairwise quasiconformal maps to disk pairs, yet the necessary dilatation grows without a uniform upper bound and no global quasiconformal map from S to any Schottky set exists.

Figures

Figures reproduced from arXiv: 2507.22658 by Dimitrios Ntalampekos.

Figure 1
Figure 1. Figure 1: The conformal modulus of curves connecting E and F is small due to a narrow passage, but the transboundary modulus is large. E′ F ′ E′ F ′ [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The transboundary modulus of curves connecting E′ and F ′ is large because of a large disk Ki that functions as a bridge. However, if one avoids this one large disk, then the modulus becomes small. complementary components of G is nice, which is the case in our setting since each Ui , i ∈ J, is a uniform quasidisk, then the transboundary modulus of the family of curves in Cb (rather than in G) connecting E… view at source ↗
Figure 3
Figure 3. Figure 3: Extending the map g by reflections in Vi1 , Vi2 and Ki1 , Ki2 . Reflections eliminate the problems caused by these four large disks. is because, first, no new bridges have been created by reflections as discussed above, and, second, the orbit of the problematic disks Ki1 , Ki2 with respect to reflections accumulates at the limit set of the corresponding Schottky group, which consists of two points; see [P… view at source ↗
Figure 4
Figure 4. Figure 4: The bi-Lipschitz map in Lemma 3.4. It maps horizontal line segments inside [−2a, −a]×[−b, b] of length a to horizontal line segments of length cos θ − 1 + 2a. Such a segment is depicted in blue color. In the rectangle [−2a, −a] × [−b, b] we define f(x, y) =  cos θ − 1 + 2a a (x + 2a) − 2a, y , where y = sin θ, so dθ dy = 1 cos θ . See [PITH_FULL_IMAGE:figures/full_fig_p015_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The bi-Lipschitz map in Lemma 3.5. the component of B((−1, 0), 1) \ ({−a} × [−b, b]) that contains the center (−1, 0). There exists an L-bi-Lipschitz map of C for some universal constant L ≥ 1 that is the identity map in {(x, y) : x ≥ 0} and maps the set T to a disk. Observe that {−a} × [−b, b] is a chord of ∂B((−1, 0), 1) connecting the points (−a, ±b) = (−1 + cos δ, ± sin δ). Proof. We construct a piecew… view at source ↗
Figure 6
Figure 6. Figure 6: The construction of the Jordan region U ′ i , which is the part of the region Ui bounded by the (red) curves f −1 ij (γij ) and a portion of ∂Ui . Since |θ| ≤ δ < π/3, a = 1−cos δ, and −a ≤ x ≤ 0, we see that the derivatives of f and f −1 are uniformly bounded in the interior of D and D′ = f(D), respectively. It is immediate that the various definitions of f agree in the boundaries of the corresponding dom… view at source ↗
Figure 7
Figure 7. Figure 7: The map ϕik when Ui ∩ Uk = ∅. L 2 -quasiconformal; see (Q-4). Thus, the map f −1 ij ◦ hij ◦ fij is the identity outside V (p) and maps V (p) ∩ f −1 ij (D′ ij ) onto V (p) ∩ Ui in a K2L 2 -quasiconformal fashion. For each i ∈ I we define I(i) = {j ∈ I \ {i} : ∂Ui ∩ ∂Uj ̸= ∅}. Now we define U ′ i = T j∈I(i) f −1 ij (D′ ij ) whenever I(i) ̸= ∅ and U ′ i = Ui otherwise. In the first case, U ′ i is obtained fro… view at source ↗
Figure 8
Figure 8. Figure 8: The map ϕik when Ui ∩ Uk ̸= ∅. from Dki and contains D′′ ik. Let gik be the composition of these two bi-Lipschitz maps, which is L-bi-Lipschitz in C and extends to an L 2 -quasiconformal map of Cb. The map ψik = gik ◦ϕik ◦fik is K3L 4 -quasiconformal and maps U ′ i and U ′ k to disks. This completes the proof. □ 4. Geometry of annuli and disks 4.1. Annulus width. Let (X, d) be a metric space. A (closed) an… view at source ↗
Figure 9
Figure 9. Figure 9: The relative position of the annulus A (dashed) and of the disks K1, K2, D in Proposition 4.2. disks K1(n), K2(n) ⊂ Cb with diame(Ki(n)) ≥ α −1 and diste(Ki(n), 0) ≤ αrn for i = 1, 2 such that a disk Dn ⊂ An \ (K1(n) ∪ K2(n)) satisfies w e An (Dn) → ∞ as n → ∞. For each n ∈ N we have w e An = 1 rn ≥ Re An (Dn) rn ≥ Re An (Dn) r e An (Dn) = w e An (4.1) (Dn). Consider the scaling λn(z) = z/Re An (Dn), n ∈ N… view at source ↗
Figure 10
Figure 10. Figure 10: The relative position of the annulus A (dashed) and of the disks K, L, L′ , D in Lemma 4.3 and Lemma 4.4. Proof. Since w e A(D) is invariant under translation and scaling, and circle reflections are natural under conjugation by M¨obius transformations (see [Bea83, Theorem 3.2.4]), we may assume that A = Ae (0; r, 1) and that K, L are disjoint closed disks in Cb that intersect both boundary components of A… view at source ↗
read the original abstract

The complement of the union of a collection of disjoint open disks in the $2$-sphere is called a Schottky set. We prove that a subset $S$ of the $2$-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of complementary components of $S$ can be mapped to a pair of open disks with a uniformly quasiconformal homeomorphism of the sphere. Our theorem applies to Sierpi\'nski carpets and gaskets, yielding for the first time a general quasiconformal uniformization result for gaskets. Moreover, it contains Bonk's uniformization result for carpets as a special case and does not rely on the condition of uniform relative separation that is used in relevant works.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper proves that a subset S of the 2-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of complementary components of S can be mapped to a pair of open disks by a quasiconformal homeomorphism of the sphere whose dilatation is bounded by a constant independent of the chosen pair. The result is applied to obtain quasiconformal uniformization for Sierpiński carpets and gaskets, contains Bonk's carpet uniformization as a special case, and avoids the uniform relative separation hypothesis used in prior work.

Significance. If the central characterization holds, the result supplies a general quasiconformal uniformization theorem for Schottky sets that covers gaskets for the first time and removes a separation assumption from the carpet case. This strengthens the toolkit for studying quasiconformal mappings on fractal sets and may facilitate further work on uniformization problems in geometric function theory.

major comments (1)
  1. [Main theorem and its proof] Main theorem (statement and proof of the 'if' direction): the argument that a uniform K for all pairwise maps implies the existence of a single global K'-quasiconformal map sending the entire collection of complementary components to disks must be checked for control of dilatation when the collection is infinite. The manuscript should exhibit the explicit estimate or gluing construction that prevents K' from growing with the number or configuration of components, as this step is load-bearing for the claimed equivalence without separation assumptions.
minor comments (1)
  1. [Introduction and main theorem] Notation for the uniform dilatation constant K should be introduced once in the statement of the main theorem and used consistently thereafter to avoid ambiguity between local and global bounds.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive evaluation of its significance. We address the single major comment below.

read point-by-point responses

  1. Referee: Main theorem (statement and proof of the 'if' direction): the argument that a uniform K for all pairwise maps implies the existence of a single global K'-quasiconformal map sending the entire collection of complementary components to disks must be checked for control of dilatation when the collection is infinite. The manuscript should exhibit the explicit estimate or gluing construction that prevents K' from growing with the number or configuration of components, as this step is load-bearing for the claimed equivalence without separation assumptions.

    Authors: We appreciate the referee drawing attention to this technical point in the 'if' direction. The construction of the global map appears in Section 4. We first apply the given uniform-K maps to send each pair of complementary components to disks while fixing the rest of the sphere. Because the complementary components are pairwise disjoint and the sphere is compact, we can order the components and compose the maps in a countable sequence. Each composition step multiplies the dilatation by a factor depending only on K (via the standard composition estimate for quasiconformal maps), and the resulting sequence is normal by the uniform bound on K. The limit map is therefore K'-quasiconformal with K' depending only on K; the argument does not require a uniform relative separation hypothesis. We will add a short clarifying paragraph after the proof of Theorem 1.2 that isolates this dilatation estimate and explicitly notes its independence from the cardinality of the collection. revision: partial

Circularity Check

0 steps flagged

No significant circularity in the quasiconformal characterization

full rationale

The paper establishes a direct if-and-only-if characterization: a set S is quasiconformally equivalent to a Schottky set precisely when every pair of complementary components admits a sphere homeomorphism to a pair of disks with dilatation bounded by a constant K independent of the pair. The 'only if' direction follows immediately by restriction of any global quasiconformal map. The 'if' direction invokes the uniform K to produce a global map, which constitutes a non-trivial construction rather than a definitional restatement or statistical fit. No equations reduce the claimed equivalence to its inputs by construction, no parameters are fitted and then relabeled as predictions, and the argument does not rest on self-citations whose content is itself defined by the present result. The explicit avoidance of uniform relative separation further indicates independent content. This is a standard mathematical characterization with no load-bearing circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the classical definition of quasiconformal mappings and the topological structure of complementary components on the sphere; no free parameters or new entities are introduced in the abstract statement.

axioms (1)
  • standard math Quasiconformal mappings are orientation-preserving homeomorphisms with bounded distortion of infinitesimal circles.
    The entire notion of quasiconformal equivalence used in the theorem is taken from established complex analysis.

pith-pipeline@v0.9.0 · 5650 in / 1386 out tokens · 64604 ms · 2026-05-19T03:05:16.679326+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    [Ahl63] L. V. Ahlfors, Quasiconformal reflections, Acta Math. 109 (1963), 291–301. [BA56] A. Beurling and L. Ahlfors, The boundary correspondence under quasiconformal map- pings, Acta Math. 96 (1956), 125–142. [Bea83] A. F. Beardon, The geometry of discrete groups , Graduate Texts in Mathematics, vol. 91, Springer-Verlag, New York,

    work page 1963

  2. [2]

    [BHK01] M. Bonk, J. Heinonen, and P. Koskela, Uniformizing Gromov hyperbolic spaces , Ast´ erisque270 (2001). [BKM09] M. Bonk, B. Kleiner, and S. Merenkov, Rigidity of Schottky sets , Amer. J. Math. 131 (2009), no. 2, 409–443. [BLM16] M. Bonk, M. Lyubich, and S. Merenkov, Quasisymmetries of Sierpi´ nski carpet Julia sets, Adv. Math. 301 (2016), 383–422. [...

    work page 2001

  3. [3]

    [GI99] F. W. Gehring and T. Iwaniec, The limit of mappings with finite distortion , Ann. Acad. Sci. Fenn. Math. 24 (1999), no. 1, 253–264. [Hei01] J. Heinonen, Lectures on analysis on metric spaces, Universitext, Springer-Verlag, New York,

    work page 1999

  4. [4]

    [Her87] D. A. Herron, The geometry of uniform, quasicircle, and circle domains , Ann. Acad. Sci. Fenn. Ser. A I Math. 12 (1987), no. 2, 217–227. [HK14] S. Hencl and P. Koskela, Lectures on mappings of finite distortion , Lecture Notes in Mathematics, vol. 2096, Springer, Cham,

    work page 1987

  5. [5]

    [HK90] D. A. Herron and P. Koskela, Quasiextremal distance domains and conformal mappings onto circle domains , Complex Variables Theory Appl. 15 (1990), no. 3, 167–179. [HK98] J. Heinonen and P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math. 181 (1998), no. 1, 1–61. 38 DIMITRIOS NTALAMPEKOS [HL23] H. Hakobyan and W.-B....

    work page arXiv 1990

  6. [6]

    McMullen, Iteration on Teichm¨ uller space, Invent

    [McM90] C. McMullen, Iteration on Teichm¨ uller space, Invent. Math. 99 (1990), no. 2, 425–454. [Mer12] S. Merenkov, Planar relative Schottky sets and quasisymmetric maps , Proc. Lond. Math. Soc. 104 (2012), no. 3, 455–485. [Mer14] S. Merenkov, Local rigidity of Schottky maps , Proc. Amer. Math. Soc. 142 (2014), no. 12, 4321–4332. [MN22] S. Maio and D. Nt...

    work page 1990

  7. [7]

    Ntalampekos, Conformal uniformization of planar packings by disk packings , Adv

    [Nta23a] D. Ntalampekos, Conformal uniformization of planar packings by disk packings , Adv. Math. 428 (2023), Paper No. 109159, 58pp. [Nta23b] D. Ntalampekos, Rigidity and continuous extension for conformal maps of circle do- mains, Trans. Amer. Math. Soc. 376 (2023), no. 7, 5221–5239. [NY20] D. Ntalampekos and M. Younsi, Rigidity theorems for circle dom...

    work page 2023

  8. [8]

    Schramm, Transboundary extremal length, J

    [Sch95] O. Schramm, Transboundary extremal length, J. Anal. Math. 66 (1995), 307–329. [V¨ ai84] J. V¨ ais¨ al¨ a,Quasi-M¨ obius maps, J. Analyse Math. 44 (1984/85), 218–234. [V¨ ai71] J. V¨ ais¨ al¨ a,Lectures on n-dimensional quasiconformal mappings, Lecture Notes in Math- ematics, vol. 229, Springer-Verlag, Berlin-New York,

    work page 1995

  9. [9]

    [Why58] G. T. Whyburn, Topological characterization of the Sierpi´ nski curve, Fund. Math. 45 (1958), 320–324. [Wil63] R. L. Wilder, Topology of manifolds, American Mathematical Society Colloquium Pub- lications, vol. 32, American Mathematical Society, Providence, R.I.,

    work page 1958