{"id":"f8b71328-db8c-48e0-9892-e3ca25f07313","arxiv_id":"2608.12287","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The quasisymmetric, quasiconformal, and quasi-isometric classification of geometrically finite Kleinian group limit sets is governed by the absence of Sierpiński carpet subsets and by the homogeneity of rank-two cut points.","lead":"This paper classifies which limit sets of Kleinian groups admit quasisymmetric or quasiconformal maps to any homeomorphic counterpart: essentially the carpet-free ones, plus a condition on rank-two cut points. It uses this to give a complete quasi-isometric classification of finitely generated Kleinian groups.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The classification hinges on the external companion result [HL26+, Thm 6.6]; if that theorem does not cover non-round geometrically finite Schottky limit sets with parabolics, the sufficiency direction of Theorem C collapses.","rationale":"The reader's weakest assumption identifies exactly the external dependence on [HL26+, Thm 3.18], [HL26+, Prop 3.21], and especially [HL26+, Thm 6.6]. My stress-test confirms that this is the most load-bearing point: the proof of Theorem 8.1, which is the sufficiency half of Theorem C, relies on Theorem 6.1, and Theorem 6.1's base case and its rigid-vertex induction step both invoke [HL26+, Thm 6.6] directly. Without that external statement, the paper's own machinery cannot produce virtual equivariance on rigid pieces, and the gluing of quasi-isometries in Theorem 8.3 has no geometric input to start from. I did not find a fatal internal contradiction in the main construction; the JSJ/lamination framework and the colored-Fuchsian gluing theorem are substantial and coherent. The one suspicious internal sentence in Lemma 5.8 about Conf(Λ(G2)) being an infinite index subgroup of Conf(Λ(G1)) is best read as a sign that the companion theorem is being used in subtle index regimes, not as an independent disproof. Since the reader already issued a CONDITIONAL verdict based on the companion papers, my recommendation is to keep that verdict unchanged; the conditional status is exactly right.","tokens_in":65679,"tokens_out":27260,"duration_ms":249139,"concrete_test":"Obtain the companion preprint [HL26+] and verify the exact hypotheses of Theorem 6.6. Specifically, trace the rigid-vertex argument in Lemma 6.39 of the present paper: qG_w is the geometrically finite Kleinian group associated to Λ_w/~_{L_w}, whose limit set is homeomorphic to a Schottky set but need not be round and may have parabolic elements. Confirm that Theorem 6.6 covers this case; if it only covers round Schottky sets or excludes parabolics, then the induction in Theorem 6.1 and hence the sufficiency of Theorem C fails. If it does cover this case, quote the hypotheses and check each one for qG_w.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem C's 'if' direction is carried by Theorem 8.1, which invokes Theorem 6.1 on each rigid vertex. Theorem 6.1 is not self-contained: in the base case where the de-parabolized group is a carpet group, the proof concludes directly from [HL26+, Thm 6.6] that G has finite index in HQ+(Λ(G)); in the induction step for rigid vertices, Lemma 6.39 uses [HL26+, Thm 6.6] to promote membership in HQ+ to virtual equivariance on maximal carpet-quotients before applying Tukia's theorem. Thus [HL26+, Thm 6.6] -- quasisymmetric maps between geometrically finite Schottky limit sets are virtually equivariant -- is the linchpin of the entire rigidity mechanism. The present paper neither states that theorem's hypotheses precisely nor proves it. The application in Lemma 6.39 requires it to hold for the quotient group qG_w associated to Λ_w/~_{L_w}, whose Schottky limit set is not necessarily round and may have parabolics. An internal indication that delicate index regimes are involved appears in Lemma 5.8, where [HL26+, Thm 6.6] is combined with the assertion that Conf(Λ(G2)) is an infinite index subgroup of Conf(Λ(G1)); as written this seems reversed unless Λ(G1) strictly contains Λ(G2), so the companion result is being applied in a setting the present text does not fully control.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":65994,"tokens_out":5810,"duration_ms":57403,"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":[{"comment":"","section":"§6.4 (base case and Lemma 6.39)"},{"comment":"","section":"§5.2.1, Lemma 5.8"},{"comment":"","section":"§8.1, Theorem 8.1 and Theorem C"}],"minor_comments":[{"comment":"","section":"§1.1, Figure 1.2 caption"},{"comment":"","section":"§7, Definition 7.5"},{"comment":"","section":"§7.4, proof of Theorem 7.1"},{"comment":"","section":"§3.5"}],"recommendation":"major_revision","confidential_remarks":"The paper depends heavily on two companion manuscripts by the same authors, especially [HL26+, Thm 6.6], for results that are invoked in base cases and induction steps of the main rigidity theorem. This is not a circularity issue, since the external results concern different structural tools and not the target classification statements, but it is a verifiability issue: as submitted, the central theorems cannot be checked from the text alone. I recommend requiring the authors to state the precise hypotheses of the companion theorems they use and to verify those hypotheses in each application, or to include full proofs. The potential gap in Lemma 5.8 is more local but should be resolved before acceptance. I see no evidence of internal inconsistency beyond these points."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThat 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.\n\nThere 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.\n\nOverall: 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.","headline":"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.","tokens_in":66487,"tokens_out":3804,"would_cite":true,"duration_ms":33959,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30F40","20F65","30C62","57M50"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["Kleinian groups","quasisymmetric maps","quasi-isometric classification","Bowditch boundary","limit sets","Sierpiński carpets","Schottky sets","topological rigidity"],"falsifier":"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.","tokens_in":65504,"feed_emoji":"🧩","tokens_out":10421,"duration_ms":87474,"temperature":0.7,"pith_summary":"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.","feed_headline":"Boundary topology fixes the quasi-isometry class of Kleinian groups","feed_subtitle":"Kleinian groups are quasi-isometric exactly when Bowditch boundaries agree on carpets and cut-point orders.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Identifies the Bowditch boundary of a minimally parabolic model with the limit set up to quasisymmetry, supplying the boundary model for the quasi-isometric classification.","marker":"[HL26+, Prop. 3.21]"},{"why":"Gives the only-if direction of the relative quasi-isometric classification: relative quasi-isometries induce quasisymmetric boundary maps.","marker":"[HL26+, Thm 3.18]"},{"why":"Shows quasisymmetric maps between geometrically finite Schottky limit sets are virtually equivariant; this is the base case for the rigidity and universality inductions.","marker":"[HL26+, Thm 6.6]"},{"why":"Establishes quasiconformal rigidity of Schottky sets, used to show carpet-free Schottky limit sets have Möbius or virtually equivariant homeomorphisms and to prove the carpet obstruction.","marker":"[BKM09]"},{"why":"Provides the theorem that topological conjugacies between geometrically finite limit sets are automatically quasisymmetric, the baseline the paper extends beyond equivariant settings.","marker":"[Tuk85]"},{"why":"Defines virtual topological rigidity and the Kapovich–Kleiner conjecture, the framework for Theorem D and the carpet obstruction.","marker":"[KK00]"},{"why":"Reduces quasisymmetric universality and related questions to connected limit sets, used in the proof of Theorem 8.1.","marker":"[PapWhy02]"},{"why":"Supplies strong accessibility of minimally parabolic Kleinian groups, giving the finite hierarchy of JSJ and incompressible splittings used throughout the induction.","marker":"[LT17]"}],"fun_headline_variants":["Carpet-free limit sets determine Kleinian quasi-isometry","Kleinian groups: boundary topology fixes quasi-isometry","Quasisymmetric universality when carpets vanish","Topological rigidity of Kleinian groups via boundary","Limit set trichotomy yields Kleinian quasi-isometric classification"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Carpet-free limit sets determine Kleinian quasi-isometry","Kleinian groups: boundary topology fixes quasi-isometry","Quasisymmetric universality when carpets vanish","Topological rigidity of Kleinian groups via boundary","Limit set trichotomy yields Kleinian quasi-isometric classification"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000648,"raw_usage":{"total_tokens":2935,"prompt_tokens":867,"completion_tokens":2068,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":483,"completion_tokens_details":{"reasoning_tokens":1991}},"tokens_in":483,"tokens_out":2068,"duration_ms":13410,"temperature":1.0,"reasoning_tokens":1991,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:10:05.328864+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}