Schottky Set: Geometry, Uniformization, and Analysis

• A Schottky set is a residual geometric structure formed by deleting disjoint round balls or disks from a sphere or planar domain, encapsulating its defining features.
• It serves as the limit set for Schottky groups in Kleinian, p-adic, and higher-dimensional settings, often exhibiting Cantor set-like properties crucial for uniformization.
• In planar analysis, relative Schottky sets underpin conformal mapping theories and rigidity results, where local bi-Lipschitz and quasisymmetric properties ensure unique map behavior.

A Schottky set is a geometric object that appears in several closely related forms. In the metric formulation on the sphere, it is the complement of a family of pairwise disjoint round balls or disks; in planar analysis, one works with relative Schottky sets inside a domain; in Kleinian, $p$-adic, and higher-dimensional uniformization, the same term is closely tied to the limit set of a Schottky group, typically a compact perfect totally disconnected set whose complement is the region of discontinuity. This suggests a common core notion: a residual set produced by deleting disjoint geometric holes, or equivalently the invariant limit set determined by the corresponding Schottky dynamics (Bonk et al., 2011, Merenkov, 2013, Hidalgo, 2017, Bradley, 2024).

1. Definitions and principal variants

In the metric sense used for $S^n$, a Schottky set is a subset of the form

$S = S^n \setminus \bigcup_{i\in I} B_i,$

where each $B_i$ is an open round ball, the balls are pairwise disjoint, and $|I|\ge 3$. In the literature focused on $n=2$, one identifies $S^2$ with the Riemann sphere $\widehat{\mathbb C}$, so the complementary components are open round disks. Typical examples include the Sierpiński carpet and the Apollonian gasket (Haïssinsky et al., 2023, Bonk et al., 2011, Ntalampekos, 30 Jul 2025).

A relative Schottky set in a planar domain $D\subset \mathbb C$ is

$S = D \setminus \bigcup_{i\in I} B_i,$

where the $S^n$0 are open geometric disks, $S^n$1, and the closures are pairwise disjoint. The boundary circles $S^n$2 are the peripheral circles. In the global case $S^n$3, half-planes are also allowed in the definition of a Schottky set (Merenkov, 2013, Merenkov, 2013).

A purely topological analogue replaces round disks by Jordan domains. A topological Schottky set $S^n$4 is a proper compact subset whose complementary components form a countable nonempty family of closed disks, with pairwise intersections of closures of size at most one point, empty triple intersections, and a null-sequence condition on the complementary disks. From these axioms, $S^n$5 is connected and locally connected, hence arcwise connected, and it has no cut points and no cut pairs (Haïssinsky et al., 2023).

2. Limit sets of Schottky groups and classical uniformization

A Schottky group of rank $S^n$6 is a Kleinian group $S^n$7 generated by loxodromic elements $S^n$8 for which there exist pairwise disjoint simple loops

$S^n$9

on $S = S^n \setminus \bigcup_{i\in I} B_i,$0 bounding a $S = S^n \setminus \bigcup_{i\in I} B_i,$1-connected domain $S = S^n \setminus \bigcup_{i\in I} B_i,$2, with

$S = S^n \setminus \bigcup_{i\in I} B_i,$3

Such a group is free of rank $S = S^n \setminus \bigcup_{i\in I} B_i,$4, its region of discontinuity $S = S^n \setminus \bigcup_{i\in I} B_i,$5 is connected, and the quotient $S = S^n \setminus \bigcup_{i\in I} B_i,$6 is a closed Riemann surface of genus $S = S^n \setminus \bigcup_{i\in I} B_i,$7. When the fundamental loops are round circles, $S = S^n \setminus \bigcup_{i\in I} B_i,$8 is classical (Hidalgo, 2017).

For a classical Schottky group, the limit set

$S = S^n \setminus \bigcup_{i\in I} B_i,$9

is a compact, perfect, totally disconnected set. Starting from the fundamental domain $B_i$0, one applies all elements of $B_i$1 to the complementary disks bounded by the circles $B_i$2; their images are disjoint open disks, and the complement of their union is exactly the limit set. In this sense the classical Schottky set is the round Cantor-type limit set determined by the group (Hidalgo, 2017).

Schottky sets are also central to uniformization theory. Koebe’s retrosection theorem states that every closed Riemann surface of genus $B_i$3 is Schottky-uniformizable. The classical Schottky uniformization problem asked whether every such surface can be uniformized by a classical Schottky group. A proof based on Belyi curves shows that every Belyi curve can be uniformized by a classical Schottky group, and therefore every closed Riemann surface can be uniformized by a classical Schottky group (Hidalgo, 2017).

3. Relative Schottky sets and planar analysis

In planar geometric function theory, relative Schottky sets are the natural setting for fine regularity questions. For relative Schottky sets of measure zero in Jordan domains, every locally quasisymmetric orientation-preserving map between them is conformal on the set in the intrinsic sense that the derivative

$B_i$4

exists and is nonzero at every point; moreover the map is locally bi-Lipschitz and its derivative is continuous. The same framework yields a locally bi-Lipschitz uniformization theorem for relative Schottky sets in Jordan domains and a rigidity statement for local quasisymmetric maps in the unit disk (Merenkov, 2013).

A Schottky map is a local homeomorphism between relative Schottky sets that is conformal at every point and has continuous derivative. This notion supports an intrinsic calculus: Schottky maps satisfy a chain rule, local inverses are Schottky maps, and there is an analogue of the fundamental theorem of calculus along rectifiable curves contained in the set (Merenkov, 2013).

Local porosity is the decisive rigidity hypothesis. A relative Schottky set is locally porous at $B_i$5 if every sufficiently small ball near $B_i$6 meets a complementary disk whose diameter is comparable to the scale. For locally porous sets, weak tangents are Schottky sets in $B_i$7, and local Schottky dynamics becomes extremely rigid: if $B_i$8 is a Schottky map on a connected set $B_i$9, $|I|\ge 3$0, and $|I|\ge 3$1, then $|I|\ge 3$2 is the identity on $|I|\ge 3$3. Correspondingly, if two Schottky maps agree on a set with an accumulation point, they agree everywhere on the connected domain, and equality of value and derivative at one point already determines the map (Merenkov, 2013).

4. Rigidity, quasiconformal characterization, and boundary models

A recent quasiconformal characterization gives a global criterion for when a compact planar set is quasiconformally equivalent to a Schottky set. If $|I|\ge 3$4 is a collection of disjoint Jordan regions in $|I|\ge 3$5, then the following are quantitatively equivalent: every pair $|I|\ge 3$6 is uniformly quasiconformally circularizable, and there exists a quasiconformal homeomorphism of the sphere sending

$|I|\ge 3$7

to a Schottky set

$|I|\ge 3$8

with pairwise disjoint open disks $|I|\ge 3$9, while being $n=2$0-quasiconformal on $n=2$1. The restriction to $n=2$2 is unique up to postcomposition by a Möbius transformation. This applies to Sierpiński carpets and gaskets, contains Bonk’s uniformization result for carpets as a special case, and does not rely on uniform relative separation (Ntalampekos, 30 Jul 2025).

Rigidity in the metric sense is sharp in dimension $n=2$3. Every Schottky set of spherical measure zero is rigid: every quasisymmetric homeomorphism to another Schottky set is the restriction of a Möbius transformation. In $n=2$4, the converse also holds: a Schottky set is rigid if and only if it has spherical measure zero. In higher dimensions the picture changes, because for each $n=2$5 there exists a Schottky set of positive measure that is nevertheless rigid (Bonk et al., 2011).

Topological Schottky sets also occur as Bowditch boundaries of relatively hyperbolic group pairs. In that setting, one associates an incidence graph whose vertices record complementary disks and rank-$n=2$6 parabolic points. If the boundary is a topological Schottky set, then the incidence graph has $n=2$7, $n=2$8, or infinitely many components, and the stabilizer of each component is a virtual surface group. When the incidence graph has one component, the group is virtually a free product of a free group and finite-index subgroups of peripheral groups; when it has exactly two components, the group is virtually a closed surface group (Haïssinsky et al., 2023).

5. Non-archimedean and $n=2$9-adic Schottky sets

In non-archimedean uniformization, the Schottky set is the limit set of a Schottky group acting on $S^2$0. For a $S^2$1-adic Schottky group

$S^2$2

the limit set $S^2$3 is the set of accumulation points of $S^2$4-orbits, and the regular domain is

$S^2$5

The quotient $S^2$6 is a Mumford curve. In the analytic framework of $S^2$7-adic diffusion, a parametrised diffusion operator is constructed on $S^2$8 for $S^2$9-invariant functions, using a $\widehat{\mathbb C}$0-invariant regular differential $\widehat{\mathbb C}$1-form $\widehat{\mathbb C}$2; $\widehat{\mathbb C}$3-invariant extensions of Kozyrev wavelets form an orthonormal eigenbasis, and the associated heat equation yields a strong Markov process on the orbit space (Bradley, 2024).

For complete valued fields with value group $\widehat{\mathbb C}$4, Schottky groups over valuation rings admit a tree-theoretic description. The associated compact invariant set $\widehat{\mathbb C}$5 is the closure of the fixed points of nontrivial elements of $\widehat{\mathbb C}$6. It is compact, perfect, and totally disconnected, and it is identified with the ends of a locally finite tree $\widehat{\mathbb C}$7. The group $\widehat{\mathbb C}$8 acts freely on $\widehat{\mathbb C}$9, the quotient graph $D\subset \mathbb C$0 is finite, and $D\subset \mathbb C$1 is identified with the fundamental group of that quotient graph (Xarles et al., 2016).

These non-archimedean formulations preserve the classical logic of Schottky geometry. The Schottky set is again the minimal closed invariant subset; its complement is the regular domain on which the group acts properly discontinuously; and the quotient carries the analytic or algebraic structure of the uniformized curve (Bradley, 2024, Xarles et al., 2016).

6. Infinite configurations and higher-dimensional Schottky spaces

The Schottky-set picture extends beyond finite rank. Infinite Schottky groups are purely loxodromic free Kleinian groups defined by a countable Schottky admissible configuration of simple loops. Such a group $D\subset \mathbb C$2 has a $D\subset \mathbb C$3-invariant connected component $D\subset \mathbb C$4 of its region of discontinuity, every other component is a topological disc with trivial $D\subset \mathbb C$5-stabilizer, and $D\subset \mathbb C$6 is an infinite type Riemann surface without planar ends. Every infinite type Riemann surface without planar ends can be obtained in this way, giving an infinite-type retrosection theorem (Hidalgo, 16 Apr 2026).

In higher-dimensional hyperbolic geometry, classical Schottky groups in $D\subset \mathbb C$7 are defined by pairwise strongly disjoint closed hyperbolic half-spaces $D\subset \mathbb C$8 with

$D\subset \mathbb C$9

Their limit sets are Cantor sets in $S = D \setminus \bigcup_{i\in I} B_i,$0, and dense families of such groups admit systolic lattice extensions: for every $S = D \setminus \bigcup_{i\in I} B_i,$1, one can embed the Schottky group in a torsion-free lattice $S = D \setminus \bigcup_{i\in I} B_i,$2 so that every loxodromic element of translation length at most $S = D \setminus \bigcup_{i\in I} B_i,$3 is conjugate into the Schottky subgroup (Huang et al., 30 May 2025).

The parameter spaces of higher-dimensional Schottky groups display new topological features with no classical analogue. The marked Schottky space records, up to conjugacy, all actions of a free group of fixed rank as a Schottky group on hyperbolic space of fixed dimension. In the borderline dimension $S = D \setminus \bigcup_{i\in I} B_i,$4, a dense open part has fundamental group a product of cyclic groups of order two, one per generator, yet the whole space is simply connected because those loops contract through the most degenerate configurations. The rotationally symmetric core is a strong deformation retract in every dimension, and the analogous locus one dimension below has two connected components. A stated consequence is that any two Schottky groups of the same rank in this borderline dimension are quasiconformally isotopic (Seo, 1 Jul 2026).

Across these settings, the Schottky set remains the geometric trace of a free group action: in the classical case a round Cantor set in $S = D \setminus \bigcup_{i\in I} B_i,$5, in planar analysis a round-holed residual set, in non-archimedean geometry a limit set in $S = D \setminus \bigcup_{i\in I} B_i,$6, and in higher dimensions a Cantor limit set at infinity. The modern literature treats these manifestations as parts of a single program linking uniformization, quasiconformal rigidity, geometric group theory, and analytic structures built directly on the residual set itself (Hidalgo, 2017, Ntalampekos, 30 Jul 2025, Seo, 1 Jul 2026).