Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups

Peter Ha\"issinsky; Yusheng Luo

REVIEW 3 major objections 4 minor 12 references

Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves a complete quasi-isometric classification of finitely generated Kleinian groups: topology of the Bowditch boundary, the conformal gauges of every embedded carpet, and the coarse order at rank-two cut points determine the…

desk verdict Genuinely new classification results with a coherent proof strategy, but the central rigidity mechanism sits in a companion paper and needs referee scrutiny before the main theorems can be certified. read the letter →

arxiv 2608.12287 v1 pith:Q2GYE74J submitted 2026-08-12 math.GT math.GRmath.MG

Peter Haïssinsky , Yusheng Luo This is my paper · ORCID

classification math.GTmath.GRmath.MG MSC 30F4020F6530C6257M50

keywords Kleiniangroupsquasisymmetricmapsquasi-isometricclassificationBowditchboundarylimitsetsSierpińskicarpetsSchottkytopologicalrigidity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies when the topology of a Kleinian group's limit set forces its quasisymmetric geometry. Its main answer is that embedded Sierpiński carpets are the only obstruction: for convex cocompact limit sets, and with the extra condition that rank-two cut points be homogeneous in the geometrically finite case, homeomorphism of limit sets upgrades to quasisymmetry exactly in the carpet-free case. This yields a quasi-isometric classification of finitely generated Kleinian groups: two groups with non-spherical Bowditch boundary are quasi-isometric precisely when their Bowditch boundaries are homeomorphic in a way that is quasisymmetric on every embedded carpet and coarsely order-respecting at rank-two cut points. A complementary rigidity theorem pins down the exceptional rigid regime: virtual topological rigidity holds exactly for carpet-free Schottky limit sets, where every homeomorphism is Möbius.

What carries the argument

The load-bearing mechanism is the JSJ decomposition of the pared hyperbolic $3$-manifold underlying $G$, read off purely topologically from cut points and exact cut pairs in $\Lambda(G)$. It splits the limit set into rigid pieces whose quotients are Schottky sets, maximal hanging Fuchsian pieces whose quotients are circles, and elementary parabolic or loxodromic pieces. On rigid pieces, Theorem D supplies virtual topological rigidity, so any homeomorphism is already quasisymmetric; on Fuchsian pieces, quasisymmetries with prescribed local behaviour are constructed using Bowen–Series maps and their $d$-adic Markov models, giving local equivariance at gluing points; at rank-two cut points only the coarse linear order of the neighbouring components matters. De-parabolization—replacing each rank-one cusp by a geodesic lamination and collapsing its leaves—lifts any limit-set homeomorphism to an $L$-preserving homeomorphism of a minimally parabolic model, where the decomposition and the piecewise rigidity arguments apply.

What would settle it

Take two convex cocompact Kleinian groups with homeomorphic carpet-free limit sets and compare their conformal dimensions: the paper's universality forces the two limit sets to be quasisymmetrically equivalent, so a pair with different conformal dimensions would contradict Theorem A and Corollary 1.4.

Watch

Extended reading notes

Core claim

Let $G$ be a geometrically finite Kleinian group acting on the Riemann sphere, with limit set $\Lambda(G)$ and parabolic locus $\mathcal{P}(G)$. The central claim is a sharp trichotomy. In the rigid regime, if $\Lambda(G)$ is homeomorphic to a carpet-free Schottky set—a compact set whose complement is a union of round disks and which contains no Sierpiński carpet—then every homeomorphism to another such limit set is quasisymmetric, virtually equivariant, and Möbius in the round case, and $G$ has finite index in the homeomorphism group of its limit set. In the universal regime, if $\Lambda(G)$ is carpet-free and every rank-two cut point is homogeneous, then quasisymmetric and quasiconformal universality hold: any other limit set homeomorphic to it is quasisymmetrically, respectively quasiconformally, equivalent. In the obstruction regime, if a carpet is embedded or a rank-two cut point is non-homogeneous, the homeomorphism class splits into infinitely many quasisymmetric classes. The quasi-isometric classification follows: excluding $\mathbb{S}^2$, finitely generated Kleinian groups are quasi-isometric if and only if their Bowditch boundaries admit a homeomorphism that is quasisymmetric on every embedded carpet and coarsely order-respecting at every rank-two cut point.

Load-bearing premise

The companion results from the authors' earlier work—[HL26+, Prop. 3.21], [HL26+, Thm 3.18], and [HL26+, Thm 6.6]—are used as black boxes in the base case and in the only-if direction; if any of them is wrong, the quasi-isometric classification and the universality and rigidity theorems built on them collapse.

Editorial extensions

If this is right

If two convex cocompact Kleinian groups have homeomorphic carpet-free limit sets, they are quasi-isometric; in this case boundary topology alone determines the quasi-isometry class.
If a limit set contains an embedded Sierpiński carpet and is not the sphere, its homeomorphism class contains infinitely many distinct quasisymmetric classes, so topology alone cannot determine the geometry.
Any homeomorphism between two geometrically finite carpet-free Schottky limit sets is quasisymmetric, virtually equivariant, and extends to a quasiconformal map of the sphere; between actual Schottky sets it is Möbius and the groups are commensurable.
A homeomorphism between general Schottky limit sets is quasisymmetric exactly when it is quasisymmetric on every dynamical carpet-quotient, equivalently when it is virtually equivariant.
For Kleinian groups whose Bowditch boundary is the sphere, quasisymmetric equivalence no longer captures quasi-isometry: non-uniform lattices in $\mathrm{PSL}_2(\mathbb{C})$ are all relatively quasisymmetric, but only commensurable ones are quasi-isometric.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same proof mechanism—topological splittings read off the boundary plus piecewise rigidity on rigid and Fuchsian pieces—likely applies to other conformal dynamical systems such as Julia sets of hyperbolic rational maps, where the paper already points to a broader conjecture that embedded carpets are the only obstruction to universality.
The paper predicts concrete pairs of limit sets that are quasiconformally but not quasisymmetrically equivalent whenever a non-homogeneous rank-two cut point is present, since quasiconformal universality drops the coarse order-respecting condition; building such pairs would test the sharpness of Theorem B.
Theorem D's criterion is purely topological, so it invites the question whether virtual topological rigidity continues to characterize carpet-free Schottky boundaries beyond geometrically finite groups, for instance for word hyperbolic groups with planar boundary.
The classification suggests that for relatively hyperbolic groups more generally, quasi-isometry classes should be determined by boundary topology plus a conformal gauge on carpet-like subsets and order data at parabolic cut points; Theorem 8.4 already moves in this direction, but the full statement for all relatively hyperbolic groups is not proven here.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is the paper that the quasisymmetric/QI classification of geometrically finite Kleinian groups has been waiting for. The main theorems — the universality dichotomy for limit sets, the quasi-isometric classification via boundary data, and the topological rigidity classification — are genuinely new and go well beyond the Schottky and convex-cocompact cases in the literature. The proof program is coherent and shows real mastery of both 3-manifold topology and conformal dynamics. The new tools (ivy buds, d-adic Markov models with prescribed multipliers, the carpet-quotient machinery) look like they will be useful beyond this paper.

The necessity directions in §5 are mostly self-contained and already give interesting flexibility results: uncountable homeomorphism groups unless the limit set is a carpet-free Schottky set, and explicit carpet and cut-point obstructions. I have no serious doubts about the overall shape of the argument.

That said, the paper is not self-contained at exactly the load-bearing point. The base case of Theorem 6.1, Lemma 6.39, and the 'only if' direction of Theorem 1.5 all invoke [HL26+, Thm 6.6] — the virtual equivariance of quasisymmetric maps between geometrically finite Schottky limit sets — and the present text neither states its hypotheses nor proves it. The stress-test worry is legitimate: the application in Lemma 6.39 passes to quotient groups whose Schottky limits are not necessarily round and may have parabolics, and the paper does not explain why [HL26+, Thm 6.6] covers that generality. If that companion theorem is false or narrower than needed, Theorem C and Theorem D collapse. The companion papers may well be correct, but a referee cannot verify this from the present text.

There is also a small red flag in Lemma 5.8: as written, "Conf(Λ(G2)) is an infinite index subgroup of Conf(Λ(G1))" looks reversed, since the two limit sets appear to coincide. This is probably a typo or a missing detail, but it sits in the proof of the carpet obstruction, so it should be fixed before publication.

Overall: this is a serious paper, not a desk-reject. A referee needs the full versions of [HL26+] and [LMM26], and should be asked to check the precise hypotheses under which [HL26+, Thm 6.6] is applied, including non-round Schottky limits with parabolics. If those hold up, the paper is likely the definitive classification result in this area. I would send it to review.

Referee Report

3 major / 4 minor

Summary. The paper develops a quasisymmetric classification of limit sets of geometrically finite Kleinian groups. Its main results are: Theorem A, characterizing quasisymmetric and quasiconformal universality among convex cocompact limit sets by carpet-freeness (or the sphere); Theorem B, the analogous relative statement for geometrically finite groups, with homogeneity of rank-two cut points as an additional condition; Theorem C, a quasi-isometric classification of finitely generated Kleinian groups with non-spherical Bowditch boundary in terms of the topology of the boundary, the conformal gauges of embedded carpets, and the coarse order structures at rank-two cut points; and Theorem D, asserting that virtual topological rigidity holds exactly for geometrically finite groups whose limit set is homeomorphic to a carpet-free Schottky set. The proofs combine JSJ and incompressible decompositions of pared 3-manifolds, lamination rigidity arguments, strong accessibility hierarchies, and a theory of colored Bowen–Series maps with d-adic Markov models. The paper is clearly organized and explicitly records how the main theorems reduce to auxiliary results, but several of the load-bearing reductions rely on results from the companion papers [HL26+] and [LMM26] that are not stated or proved in the submitted text.

Significance. If the companion results on which it depends are valid, this is a substantial advance: it gives a complete quasisymmetric classification of geometrically finite Kleinian limit sets, a quasi-isometric classification of finitely generated Kleinian groups, and a characterization of virtual topological rigidity. The paper's strengths include a very detailed and coherent proof architecture, a clear separation of the rigidity and universality mechanisms, explicit statements of the logical dependencies among theorems, and the use of established 3-manifold techniques rather than ad-hoc assumptions. The results are sharp in that the authors also prove converse directions via explicitly constructed obstructions (carpets and non-homogeneous cut points). However, as submitted, the central claims are conditional on external companion theorems, most importantly [HL26+, Thm 6.6], and one step in the carpet-obstruction proof appears to contain a substantive gap. These issues are fixable in principle, but they currently prevent the manuscript from being independently verifiable.

major comments (3)

[§6.4 (base case and Lemma 6.39)]
[§5.2.1, Lemma 5.8]
[§8.1, Theorem 8.1 and Theorem C]

minor comments (4)

[§1.1, Figure 1.2 caption]
[§7, Definition 7.5]
[§7.4, proof of Theorem 7.1]
[§3.5]

Circularity Check

1 steps flagged · score 4.0 of 10

Rigidity engine is imported from the authors' companion [HL26+, Thm 6.6]; the rest of the derivation is independent.

uniqueness imported from authors [Section 6.4, proof of Theorem 6.1 (base case); reused in Lemma 6.39]
"Suppose that pG is a carpet group. Then HQ+(Λ(G))=QS(Λ(G)) by definition. The conclusion then follows for instance from [HL26+, Theorem 6.6]."

Theorem 6.1 (G has finite index in HQ+(Λ(G)) when Λ(G) is a Schottky set) is the engine for Theorem D's (2)=>(1), for the virtual equivariance on rigid vertices used in Theorem 8.1, and hence for Theorems C, 1.2 and 1.5. In the carpet-group base case the proof does not derive the finite-index rigidity conclusion; it imports it verbatim from [HL26+, Thm 6.6], a companion preprint by the same authors. The induction step (Lemma 6.39) again cites [HL26+, Thm 6.6] to promote membership in HQ+ to virtual equivariance on maximal carpet-quotients before applying Tukia's theorem. Thus the key uniqueness/rigidity step is not proved in this paper but is borrowed from the authors' own unpublished work, so the derivation chain for the classification passes through this black box.

full rationale

No fitted parameters are renamed as predictions, no quantity is defined in terms of the target conclusion, and the main universality and classification statements do not reduce by construction to their hypotheses. Theorems 8.1, 7.1, 6.10 and the ivy-bud rigidity results contain substantial independent content. The only load-bearing circularity concern is the repeated invocation of the authors' companion results [HL26+, Prop. 3.21, Thm 3.18, Thm 6.6]. In particular, [HL26+, Thm 6.6] is a uniqueness/rigidity theorem imported from the same authors' unpublished work: it supplies the carpet-group base case of Theorem 6.1 and the key virtual-equivariance step in Lemma 6.39. If that theorem is not accepted as an independent input, the proof of Theorem D's sufficiency and the 'if' direction of Theorem C are not self-contained. However, the imported theorem is parameter-free and its statement concerns Schottky limit sets, not the full quasi-isometric classification; the present paper's JSJ/ivy-bud/Bowen-Series machinery provides independent structural support for the remaining steps. Accordingly, the appropriate score is 4: some load-bearing self-citation, but the central claim still has substantial independent derivation.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

Pure mathematics; no free parameters fitted to data. The paper's dependencies are standard 3-manifold topology (JSJ decomposition, strong accessibility, Tukia de-parabolization) and the authors' own companion papers [HL26+, LMM26] used as black boxes. The new definitions (dynamical carpet-quotients, ivy buds, coarse order-respecting maps) are proof tools, not new postulated entities.

assumptions (8)

standard math Selberg's lemma: any finitely generated Kleinian group has a torsion-free finite-index subgroup.
Used at the start of §1.4 and §3 to pass to torsion-free groups and use 3-manifold topology.
domain assumption Thurston's hyperbolisation: hyperbolizable pared 3-manifolds are uniformized by geometrically finite Kleinian groups.
Used in §3.1.1 to associate pared manifolds to Kleinian groups.
domain assumption Strong accessibility of minimally parabolic geometrically finite Kleinian groups [LT17].
Provides the hierarchy of JSJ and incompressible decompositions used in §3.5 for the induction in Theorem 6.1.
standard math Tukia's de-parabolization theorem [Tuk88a].
Replaces rank-one parabolics by loxodromics; used throughout §§3.2, 5, and 6.
standard math JSJ decomposition, characteristic cylinder decomposition (Theorem 3.5, [Joh79, JS79, Bon02]).
Structural backbone for the limit set decomposition in §3.3.
domain assumption Rigidity of Schottky limit sets [BKM09] and the companion paper result [HL26+, Theorem 6.6] that quasisymmetric homeomorphisms of geometrically finite Schottky limit sets are virtually equivariant.
Used as a black box in the base case of Theorem 6.1, in Lemma 5.8, and in Corollary 6.4. This is a load-bearing external dependency.
domain assumption Identification of Bowditch boundary with limit set of the minimally parabolic model [HL26+, Prop 3.21] and relative QI to QS boundary equivalence [HL26+, Thm 3.18].
These companion results connect group quasi-isometry to boundary quasisymmetry in Theorem C and Theorem 1.5.
standard math Moore's theorem on carpet subsets [Moo25] and Whyburn's topological characterization of Sierpiński carpets.
Used in Proposition 3.7 to find buried carpets and in the definition of carpet.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups." pith.science (2026). https://pith.science/paper/Q2GYE74J

@misc{pith2026260812287,
  author       = {Pith},
  title        = {Pith review of: Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q2GYE74J}},
  note         = {Machine review of arXiv:2608.12287}
}

read the original abstract

We study the quasisymmetric classification of limit sets of Kleinian groups and obtain a characterization of those geometrically finite limit sets that are quasisymmetrically universal. This allows us to obtain a quasi-isometric classification of finitely generated Kleinian groups. We also obtain a classification of virtually topologically rigid geometrically finite Kleinian groups.

Figures

Figures reproduced from arXiv: 2608.12287 by the authors.

**Figure 1.1.** A schematic summary of the dichotomy of quasiconformal universality and quasiconformal rigidity, and their connection to topological rigidity [PITH_FULL_IMAGE:figures/full_fig_p002_1_1.png] view at source ↗

**Figure 1.2.** Four examples of Schottky limit sets. The top two are carpetfree, while the bottom two contain carpets. The first example is the Apollonian circle packing and has connected nerve. In contrast, the nerve of the second has infinitely many components. The third is a carpet, whose nerve consists of infinitely many isolated vertices. The last example contains Möbius copies of both the second and third, and thus it conta… view at source ↗

**Figure 1.3.** Left: A carpet-free convex cocompact limit set. Right: A geometrically finite limit set, which is homeomorphic but not quasiconformally homeomorphic to the left limit set. Both limit sets are relatively quasisymmetrically and quasiconformally universal in Xgf. The second subtlety created by parabolic elements is the existence of cut points. Let a be a rank-two cut point (see [PITH_FULL_IMAGE:figures/full_fig_p005… view at source ↗

Figures from the paper (16 more)

**Figure 1.4.** Figure 1.4: Left: a carpet-free Schottky limit set whose nerve has infinitely many components. Right: the corresponding de-parabolized Kleinian group, whose limit set contains homogeneous rank-two cut points forming double Hawaiian earrings. Thus, the limit set is relatively qua…

**Figure 1.5.** Figure 1.5: Two additional examples of limit sets homeomorphic to carpetfree Schottky sets. The nerve of the left example has exactly two components: one contains the outermost circle, and the other contains the two prominent horizontal circles. The nerve of the right example h…

**Figure 1.6.** Figure 1.6: Organization of the paper. The main ingredient in proving the sufficiency of the hypotheses in our universality results, Theorems A and B, where topology implies geometry, comes from low-dimensional topology: geometrically finite groups admit splittings over elemen…

**Figure 1.7.** Figure 1.7: The road map to quasi-isometries By [PapWhy02], for the quasisymmetric universality it suffices to consider connected limit sets. The rigid pieces are handled by Theorem D, which implies that any homeomorphism on such pieces is already quasisymmetric. The planarity …

**Figure 3.1.** Figure 3.1: A schematic drawing of the lamination Lv for a type Ip vertex with finite valence valpvq “ 4. Each black circle represents a component of Λztavu. The blue curves represent the leaves in Lv. Type Il. Let v be a loxodromic two-ended vertex with Λv “ tav, bvu. Then Lv c…

**Figure 6.1.** Figure 6.1: Left: a pair of mixed multicurves, shown in red and blue. For simplicity, both are drawn on a single surface. The pair is acylindrical. Right: the associated geodesic laminations. The purple leaves arise from lifts of the boundary components BS ˘ and form LB “ L ` B …

**Figure 6.2.** Figure 6.2: An illustration of the linking condition. The leaf l is linked with l1, l2, l4, rpl4q, l5, rpl5q, where r is the reflection along S 1 . It is not linked with l3, although l intersects rpl3q. Note that l is linked with l4 and l4 is linked with l3. Lemma 6.8. Let h P H…

**Figure 6.3.** Figure 6.3: Left: A carpet-free Schottky set associated to ΛpGq{„L for a cocompact Fuchsian group with an acylindrical lamination; its nerve has two components. Right: A zoom showing that the outer disk and the largest disk are not connected by any finite chain of touching disks…

**Figure 6.4.** Figure 6.4: An illustration of a non-simple cycle in ΛpGq{ „L on the left and a non-induced simple cycle in ΛpGq{ „L on the right. The black dashed curve represents the image of the Jordan curve C under the quotient map. The images after the modification are represented in orang…

**Figure 6.** Figure 6: ). We also denote the leaves of [PITH_FULL_IMAGE:figures/full_fig_p048_6.png]

**Figure 6.5.** Figure 6.5: Left: An illustration of an ivy bud W. Its limit set ΛW is the full circle Λv. Each complementary component of fillp|W|q gives a disk component on the right figure. Right: The Schottky limit set ΛpGpq associated with the quotient ΛpGq{„L. The red circle corresponds t…

**Figure 6.6.** Figure 6.6: Left: An illustration of the union of ivy buds at a vertex v from inside. Each ivy bud has limit set ΛW equal to a Cantor subset of the quasicircle Λv. Right: The limit set ΛpGpq “ ΛpGq{„L, homeomorphic to a Schottky limit set. Note that infinitely many complementary…

**Figure 6.7.** Figure 6.7: An illustration of finitely many induced simple cycles of length N that contains a1, a2, x in the proof of Corollary 6.29. The round circles associated to x and a1 have disjoint closures, so they bound an annulus in Cp. Thus, given any N, there are only finitely many…

**Figure 6.** Figure 6: where we have examples of ideal boundaries [PITH_FULL_IMAGE:figures/full_fig_p053_6.png]

**Figure 7.1.** Figure 7.1: An illustration of Lemma 7.10 for d “ 2. The left and right figures give the two extreme configurations of B1, . . . , B5 for the case M “ 5 “ 1 ` 4 ˆ p2 ´ 1q: |B1|{|A| “ 1 2 on the left and |B1|{|A| “ 1 2 4 on the right. Cyclically colored conformal Markov maps. Let…

**Figure 7.2.** Figure 7.2: Left: The Bowen-Series map for the geometrically finite Fuchsian group Gq of the first kind with g “ 2, n “ 3. Right: The corresponding blown-up Bowen-Series map G for the convex cocompact Fuchsian group of second kind with g “ 2, n “ 3. Note that under A0, the geode…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 8 canonical work pages

[6]

[LMM26] Y. Luo, M. Mj, and S. Mukherjee. Universality of the Basilica.arXiv:2601.13553,

arXiv
[8]

[Moi77] E. E. Moise. Geometric topology in dimensions 2 and 3Grad. Texts in Math., Vol. 47, Springer-Verlag, New York-Heidelberg, 1977, x+262 pp. [Moo25] R.L.Moore.Concerninguppersemi-continuouscollectionsofcontinua.Trans. Amer. Math. Soc., 27(4): 416–428,

work page 1977
[1960]

[AndMas96] J. W. Anderson and B. Maskit. On the local connectivity of limit sets of Kleinian groups.Complex Variables Theory Appl.31(1996), 177–183. [BM74] A. Beardon and B. Maskit. Limit points of Kleinian groups and finite sided funda- mental polyhedra.Acta Math., 132: 1–12,

work page 1996
[1981]

Princeton Univ. Press. [Thu82] W. Thurston. Hyperbolic geometry and3-manifolds. InLow-dimensional topology (Bangor, 1979), volume 48 ofLondon Math. Soc. Lecture Note Ser., pages 9–25. Cambridge Univ. Press, Cambridge-New York,

work page 1979
[1984]

Potyagailo and S

[PotWan99] L. Potyagailo and S. Wang. On the co-Hopficity of3-manifold groups.Algebra i Analiz, 11(5): 194–220, 1999; English transl. inSt. Petersburg Math. J., 11(5): 861– 881,

work page 1999
[1985]

[Tuk88a] P. Tukia. A remark on a paper by Floyd. InHolomorphic functions and moduli, Vol. II (Berkeley, CA, 1986), volume 11 ofMath. Sci. Res. Inst. Publ., pages 165–172. Springer, New York,

work page 1986
[1995]

Sullivan

[Sul78] D. Sullivan. On the ergodic theory at infinity of an arbitrary discrete group of hyper- bolic motions. InRiemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), volume 97 of Ann. of Math. Stud., pages 465–496, Princeton, N.J.,

work page 1978
[2001]

[Her99] D. A. Herron. John domains and the quasihyperbolic metric.Complex Variables Theory Appl.39(1999), no. 4, 327–334. [Hid26+] R. A. Hidalgo. On quasiconformal equivalence of Schottky regions, arXiv:2306.06469,Groups Geom. Dyn., to appear, 2026+. [JS79] W. H. Jaco and P. B. Shalen. Seifert fibered spaces in3-manifolds.Mem. Amer. Math. Soc., 21(220): viii+192,

work page Pith review arXiv 1999

Show all 12 references

[2008]

Groves, E

[GSWW26] D. Groves, E. Stark, G. S. Walsh, and K. Whyte. Hyperbolic spaces with geometric and geometrically finite quasi-actions are symmetric.arXiv:2604.13898,

arXiv
[2017]

Haïssinsky and C

[HL26+] P. Haïssinsky and C. Lecuire. Quasi-isometric rigidity of three manifold groups. arXiv:2005.06813,J. Assoc. Math. Res., to appear, 2026+. [HPW16] P. Haïssinsky, L. Paoluzzi and G. Walsh. Boundaries of Kleinian groups.Illinois J. Math., 60(1): 353–364,

2005 arXiv
[2023]

[HeaH20] B. B. Healy and G. C. Hruska. Cusped spaces and quasi-isometries of relatively hyperbolic groups.arXiv:2010.09876,

2010 arXiv
[2026]

Luo and D

[LN26+] Y. Luo and D. Ntalampekos. Uniformization of gasket Julia sets.arXiv:2411.17227, J. Eur. Math. Soc. (JEMS), to appear, 2026+. [LZ26] Y. Luo and Y. Zhang. Circle packings, renormalizations and subdivision rules.Proc. London Math. Soc., 132: e70142,

2026 arXiv

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [6]

[LMM26] Y. Luo, M. Mj, and S. Mukherjee. Universality of the Basilica.arXiv:2601.13553,

arXiv

[2] [8]

[Moi77] E. E. Moise. Geometric topology in dimensions 2 and 3Grad. Texts in Math., Vol. 47, Springer-Verlag, New York-Heidelberg, 1977, x+262 pp. [Moo25] R.L.Moore.Concerninguppersemi-continuouscollectionsofcontinua.Trans. Amer. Math. Soc., 27(4): 416–428,

work page 1977

[3] [1960]

[AndMas96] J. W. Anderson and B. Maskit. On the local connectivity of limit sets of Kleinian groups.Complex Variables Theory Appl.31(1996), 177–183. [BM74] A. Beardon and B. Maskit. Limit points of Kleinian groups and finite sided funda- mental polyhedra.Acta Math., 132: 1–12,

work page 1996

[4] [1981]

Princeton Univ. Press. [Thu82] W. Thurston. Hyperbolic geometry and3-manifolds. InLow-dimensional topology (Bangor, 1979), volume 48 ofLondon Math. Soc. Lecture Note Ser., pages 9–25. Cambridge Univ. Press, Cambridge-New York,

work page 1979

[5] [1984]

Potyagailo and S

[PotWan99] L. Potyagailo and S. Wang. On the co-Hopficity of3-manifold groups.Algebra i Analiz, 11(5): 194–220, 1999; English transl. inSt. Petersburg Math. J., 11(5): 861– 881,

work page 1999

[6] [1985]

[Tuk88a] P. Tukia. A remark on a paper by Floyd. InHolomorphic functions and moduli, Vol. II (Berkeley, CA, 1986), volume 11 ofMath. Sci. Res. Inst. Publ., pages 165–172. Springer, New York,

work page 1986

[7] [1995]

Sullivan

[Sul78] D. Sullivan. On the ergodic theory at infinity of an arbitrary discrete group of hyper- bolic motions. InRiemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), volume 97 of Ann. of Math. Stud., pages 465–496, Princeton, N.J.,

work page 1978

[8] [2001]

[Her99] D. A. Herron. John domains and the quasihyperbolic metric.Complex Variables Theory Appl.39(1999), no. 4, 327–334. [Hid26+] R. A. Hidalgo. On quasiconformal equivalence of Schottky regions, arXiv:2306.06469,Groups Geom. Dyn., to appear, 2026+. [JS79] W. H. Jaco and P. B. Shalen. Seifert fibered spaces in3-manifolds.Mem. Amer. Math. Soc., 21(220): viii+192,

work page Pith review arXiv 1999