REVIEW 2 major objections 7 minor 29 references
Profinite rigidity and geometric convergence
T0 review · 2 major / 7 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read If a sequence of finite-volume hyperbolic 3-manifolds is profinitely rigid term-by-term and converges geometrically to a limit manifold, the limit is profinitely rigid too.
desk verdict A promising new open-closed reduction for profinite rigidity, but the main theorem leans entirely on an unpublished preprint. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is geometric topology on the space of finite-volume hyperbolic 3-manifolds, together with Dehn-filling compatibility of profinite isomorphisms. A sequence converges geometrically to $M$ when, after choosing basepoints, its members are increasingly bilipschitz over larger and larger balls; by Proposition 3.3, any convergent sequence is eventually a sequence of Dehn fillings of the limit along filling coefficients tending to infinity. The paper's central objects are bubble-drilled manifolds, obtained by removing neighborhoods of essential simple closed curves that lie on fiber surfaces of a surface bundle over the circle, and flow-acoannular bubbles, a combinatorial condition saying that no two lifts of the bubbles cobound a fiber-transversal annulus without another bubble lift crossing it. The flow-acoannular condition is what lets the proof rule out essential tori in the drilled manifold, so the drilled manifold is hyperbolic.
What would settle it
Exhibit two finite-volume hyperbolic 3-manifolds $M$ and $N$ with isomorphic profinite completions but for which some Dehn-filled completion of $M$ is profinitely isomorphic to no Dehn-filled completion of $N$; this would falsify the input theorem [Xu24, Theorem A] that Theorem 3.5 depends on. Equivalently, find a sequence of profinitely rigid hyperbolic manifolds geometrically converging to a non-rigid limit with no compatible profinite Dehn-filling maps.
Extended reading notes
Core claim
The central discovery is Theorem 3.5: the set of finite-volume hyperbolic 3-manifolds that are profinitely rigid in the class of compact orientable 3-manifolds without boundary spheres is closed in the geometric topology. The proof takes a cusped limit manifold $M$, expresses the approximating manifolds as Dehn fillings of $M$, and uses the cited result [Xu24] that any profinite isomorphism from $M$ to another cusped hyperbolic manifold $N$ induces a homeomorphism of boundary tori and profinite isomorphisms of all corresponding Dehn fillings. Since the approximating manifolds are rigid, the filled copies of $N$ are homeomorphic to the filled copies of $M$, so $N$ and $M$ are the same geometric limit and hence homeomorphic. The paper then packages this with a bubble-drilling construction (Theorem 4.5): drilling essential curves called bubbles from a fibered hyperbolic manifold yields a profinitely rigid manifold if the drilled manifold is hyperbolic and all fibered manifolds of the same fiber type are rigid. It proves hyperbolicity for drilled manifolds via a flow-acoannularity condition (Theorem 5.4), and applies the whole chain to the Whitehead link, Borromean rings, and a 5-chain link.
Load-bearing premise
The argument for closedness rests on the cited preprint theorem [Xu24] that any profinite isomorphism between cusped finite-volume hyperbolic 3-manifolds transfers to all their Dehn fillings; if that theorem fails for even one cusped pair, the proof of Theorem 3.5 and the rigidity corollaries built on it no longer go through.
Editorial extensions
If this is right
- Cusped finite-volume hyperbolic 3-manifolds are profinitely rigid as soon as closed hyperbolic 3-manifolds, closed non-arithmetic hyperbolic 3-manifolds, or closed fibered hyperbolic 3-manifolds are (Corollary 3.7).
- If a cusped hyperbolic manifold has infinitely many profinitely rigid Dehn fillings along one cusp, then the manifold itself is profinitely rigid.
- Bubble-drilling fibered hyperbolic manifolds with flow-acoannular bubbles produces new profinitely rigid cusped hyperbolic manifolds, including examples with arbitrarily many cusps.
- The Whitehead link complement, the Borromean ring complement, and a specific 5-chain link complement in $S^3$ are profinitely rigid in the relevant class (Theorem 6.1).
- Large Dehn twists about a flow-acoannular sequence of curves preserve pseudo-Anosov monodromy (Corollary 5.5).
Reading between the lines
- A testable extension would be to check the flow-acoannular criterion directly from monodromy data, such as the fibration's veering structure, which could systematically enumerate cusped hyperbolic link complements whose rigidity follows from this construction.
- If a future proof of profinite rigidity for closed hyperbolic 3-manifolds appears, this paper's Corollary 3.7 turns it automatically into a proof for all cusped finite-volume hyperbolic 3-manifolds, making the closed case the only remaining bottleneck.
- The closedness theorem is a general transfer principle: it would apply to any rigidity property that is inherited by Dehn fillings and respects geometric convergence, not only to profinite rigidity.
- One could probe the limits of the method by searching for two distinct cusped hyperbolic manifolds whose systems of Dehn-filled profinite completions coincide, which would violate the input theorem [Xu24] and indicate that the closedness theorem needs a different proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies profinite rigidity of finite-volume hyperbolic 3-manifolds. The main result, Theorem 3.5, asserts that the class of finite-volume hyperbolic 3-manifolds that are profinitely rigid in the class of compact orientable 3-manifolds without boundary spheres is closed in the geometric topology. The proof uses a theorem of Xu [Xu24] to convert a profinite isomorphism of a geometric limit into profinite isomorphisms of all Dehn fillings, thereby transferring rigidity from approximating fillings to the limit. The author then introduces a 'bubble-drilling' construction and, under a flow-acoannularity condition, proves a hyperbolicity criterion for the drilled manifolds. Combining these tools, the paper proves profinite rigidity for many cusped hyperbolic manifolds, including the Whitehead link complement, the Borromean rings complement, and a specific 5-chain link complement.
Significance. The main idea is attractive and potentially powerful. If Theorem 3.5 is correct, it provides a general mechanism to propagate profinite rigidity from closed or fibered hyperbolic manifolds to cusped manifolds, and Corollary 3.7 reduces the cusped problem to closed cases. The bubble-drilling construction yields explicit new examples of profinitely rigid link complements, and the flow-acoannular criterion is a concrete, checkable condition. The paper is clearly written and the overall strategy is convincing conditional on the cited results. However, the proof of the central theorem depends entirely on an unpublished preprint, and the proof of the hyperbolicity criterion contains several abbreviated topological arguments; these issues need to be resolved before the results can be considered fully established.
major comments (2)
- [Section 3.2, Theorem 3.5] The proof of Theorem 3.5 uses Theorem 1.1, quoted from [Xu24, Theorem A], as its only bridge from a profinite isomorphism of cusped hyperbolic manifolds to profinite isomorphisms of all Dehn fillings. This result is an arXiv preprint (arXiv:2412.05229) that is not proved in the present manuscript. All subsequent steps in the proof are standard, but Theorem 3.5 and its consequences (Theorem 4.5 and Theorem 6.1) would collapse if [Xu24, Theorem A] is false or has hidden hypotheses. The author should either supply a proof of the needed statement, cite a published version, or explicitly state the results as conditional on [Xu24]. A similar concern applies to the use of [ACWM24] in the proof of Corollary 3.7(3), which is also an arXiv preprint.
- [Section 5, proof of Theorem 5.4] The proof of Theorem 5.4 contains several abbreviated topological steps. In case (II)(ii), the claim that the closure of the lifted bubble eϱ is disjoint from Ũ is derived from Lemma 5.9 in a way that is not immediate: Lemma 5.9 requires two lifts to have identical accumulative ends at the ideal boundary, and it is not shown that a nonempty intersection of closures in H3 ∪ S^2∞ forces this. Additionally, the statement that (H3, cls(eϱ)) is homeomorphic to the standard pair (B^3, diameter) needs justification for a quasi-geodesic arc rather than an actual geodesic. These gaps need to be filled before Theorem 5.4 can be regarded as proven.
minor comments (7)
- [Section 3.2, proof of Theorem 3.5] The Dehn filling vectors are first denoted β(i) and then γ(i) in the same paragraph; the notation should be unified.
- [Figure 1 caption] 'Borreanmean ring' is a typo for 'Borromean ring'; in the abstract and Theorem 6.1, 'Borromean ring' should be 'Borromean rings'.
- [Acknowledge] The acknowledgment section is titled 'Acknowledge'; it should be 'Acknowledgments'.
- [Theorem 1.1] Some displayed equations, e.g., in the statement of Theorem 1.1, appear corrupted in the arXiv source (’π1Mγ∼= ◊π1Nh(γ)); the typesetting should be checked.
- [Section 5, proof of Theorem 5.4, case (I)] The phrase 'cylinder drilling finitely many disjoint straight lines on levels' should be clarified (e.g., 'solid cylinder') and the assertion that the complement is homeomorphic to the interior of a handlebody should be justified or referenced.
- [Definition 5.2] The flow-acoannular condition is stated for indices k < l; the wording should make clear that any two distinct indices can be ordered, and 'positive geometric intersection number' refers to the isotopy class of the curve.
- [Introduction and Corollary 3.7] The reliance on the preprints [Xu24] and [ACWM24] should be flagged in the introduction so that the reader knows which parts of the paper are conditional on unpublished work.
Circularity Check
No circular reasoning found; the derivation is a genuine reduction to independent external rigidity and hyperbolicity results.
full rationale
The paper's chain of claims is not circular. Theorem 3.5 is proved by taking a geometric limit M of profinitely rigid manifolds M_i, assuming a profinite isomorphism π̂1M ≅ π̂1N, and then using [Xu24, Theorem A] to transfer the isomorphism to Dehn fillings M_{γ(i)} and N_{h(γ(i))}. The profinite rigidity of each M_i is an input, not a consequence of the conclusion for M, and the transfer theorem [Xu24] is an external result by a different author, not a self-citation. The subsequent applications (Theorems 4.5 and 6.1) combine that closedness theorem with externally established rigidity of once-punctured torus and four-punctured sphere bundles ([BRW17], [CW23]) and with a self-contained hyperbolicity criterion (Theorem 5.4) whose proof uses standard 3-manifold topology and Thurston's uniformization, not the target conclusion. Hyperbolicity of the concrete link complements is checked either by direct citation to Thurston/Maclachlan-Reid or by the paper's own flow-acoannular criterion. No fitted parameter is relabeled as a prediction, no quantity is defined in terms of the result it is used to prove, and no load-bearing self-citation chain is present. The only notable fragility is the reliance of Theorem 3.5 on the unpublished preprint [Xu24]; that is a correctness/completeness risk, not a circularity, and therefore does not raise the circularity score.
Assumptions & free parameters
assumptions (8)
- domain assumption Theorem 1.1 of [Xu24]: profinite isomorphism between cusped finite-volume hyperbolic 3-manifolds induces boundary homeomorphism and profinite isomorphisms of all Dehn fillings.
- standard math Wilton-Zalesskii results (Prop 2.2): profinite completion determines hyperbolicity and number of cusps.
- standard math Thurston hyperbolic Dehn surgery theorem (Prop 2.3).
- standard math Characterization of geometric convergence via Dehn fillings (Prop 3.3).
- standard math Mostow-Prasad rigidity.
- domain assumption BRW17 and CW23: profinite rigidity of fibered hyperbolic 3-manifolds with fiber a once-punctured torus or four-punctured sphere.
- domain assumption ACWM24 Theorem 4.1 and Agol's virtual fibering theorem.
- standard math Thurston hyperbolization for 3-manifolds with boundary (Thu82, Mor84).
Cite this review
Pith. "Pith review of Profinite rigidity and geometric convergence." pith.science (2026). https://pith.science/paper/3UFVVYC3
@misc{pith2026250102234,
author = {Pith},
title = {Pith review of: Profinite rigidity and geometric convergence},
year = {2026},
howpublished = {\url{https://pith.science/paper/3UFVVYC3}},
note = {Machine review of arXiv:2501.02234}
}
read the original abstract
In this paper, we prove that profinitely rigid finite-volume hyperbolic manifolds form a closed set under geometric topology. This observation implies the profinite rigidity of a large family of cusped hyperbolic manifolds via bubble-drilling construction. The core of the proof is a strong criterion that is used to verify when bubble-drilled manifolds are hyperbolic. This family includes many link complements, such as the Whitehead link complement and the Borromean ring complement.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
Simply transitive geodesics and omnipotence of lattices in PSL$(2,\mathbb{C})$
Ian Agol, Tam Cheetham-West, and Yair Minsky. Simply transitive geodesics and omnipotence of lattices in PSL(2, C ) . arXiv preprint , 2024. arXiv:2409.08418v1
work page Pith review arXiv 2024
-
[2]
The virtual H aken conjecture (with an appendix by I an A gol, D aniel G roves and J ason M anning)
Ian Agol. The virtual H aken conjecture (with an appendix by I an A gol, D aniel G roves and J ason M anning). Documenta Mathematica , 18, 2013
work page 2013
- [3]
-
[4]
Lectures on Hyperbolic Geometry
Riccardo Benedetti and Carlo Petronio. Lectures on Hyperbolic Geometry . Universitext. Springer Berlin, Heidelberg, 1st edition, 1992
work page 1992
-
[5]
Martin R. Bridson, Alan W. Reid, and Henry Wilton. Profinite rigidity and surface bundles over the circle. Bulletin of the London Mathematical Society , 49(5):831--841, 2017
work page 2017
-
[6]
R.D. Canary, D.B.A. Epstein, and P.L. Green. Notes on notes of T hurston . London Mathematical Society Lecture Note Series. Cambridge University Press, 2006
work page 2006
-
[7]
Limite d'ensembles et g \'e om \'e trie des nombres
Claude Chabauty. Limite d'ensembles et g \'e om \'e trie des nombres. Bulletin de la Soci \'e t \'e math \'e matique de France , 78:143--151, 1950
work page 1950
-
[8]
Profinite rigidity and hyperbolic four-punctured sphere bundles over the circle
Tamunonye Cheetham-West. Profinite rigidity and hyperbolic four-punctured sphere bundles over the circle. arXiv preprint , 2023. arXiv:2308.00266v3
work page Pith review arXiv 2023
Show all 29 references
-
[9]
Torus bundles not distinguished by TQFT invariants
Louis Funar. Torus bundles not distinguished by TQFT invariants. Geometry & Topology , 17(4):2289--2344, 2013
2013
-
[10]
Repr \'e sentations lin \'e aires et compactification profinie des groupes discrets
Alexander Grothendieck. Repr \'e sentations lin \'e aires et compactification profinie des groupes discrets. Manuscripta mathematica , 2:375--396, 1970
1970
-
[11]
Some 3-manifold groups with the same finite quotients
John Hempel. Some 3-manifold groups with the same finite quotients. arXiv preprint arXiv:1409.3509v2 , 2014
2014 arXiv
-
[12]
Hodgson, G
Craig D. Hodgson, G. Robert Meyerhoff, and Jeffrey R. Weeks. Surgeries on the W hitehead Link Yield Geometrically Similar Manifolds , pages 195--206. De Gruyter, Berlin, Boston, 1992
1992
-
[13]
Isometry transformations of hyperbolic 3-manifolds
Sadayoshi Kojima. Isometry transformations of hyperbolic 3-manifolds. Topology and its Applications , 29(3):297--307, 1988
1988
-
[14]
Every knot has characterising slopes
Marc Lackenby. Every knot has characterising slopes. Mathematische Annalen , 374(1):429--446, 2019
2019
-
[15]
Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups
Yi Liu. Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups. Inventiones mathematicae , 231(2):741--804, 2023
2023
-
[16]
Minsky, Juan Souto, and Samuel J
Christopher Leininger, Yair N. Minsky, Juan Souto, and Samuel J. Taylor. Weil-- P etersson translation length and manifolds with many fibered fillings. Advances in Mathematics , 376:107457, 2021
2021
-
[17]
On T hurston's uniformization theorem for three-dimensional manifolds
John Morgan. On T hurston's uniformization theorem for three-dimensional manifolds. The Smith Conjecture , pages 37--125, 1984
1984
-
[18]
Colin Maclachlan and Alan W. Reid. The arithmetic of hyperbolic 3-manifolds , volume 219. Springer Science & Business Media, 2013
2013
-
[19]
Finite index subgroups in profinite groups
Nikolay Nikolov and Dan Segal. Finite index subgroups in profinite groups. Comptes Rendus Mathematique , 337(5):303--308, 2003
2003
-
[20]
Alan W. Reid. Profinite rigidity. In Proceedings of the International Congress of Mathematicians—Rio de , volume 2, pages 1193--1216, 2018
2018
-
[21]
On fibering certain 3-manifolds
John Stallings. On fibering certain 3-manifolds. Topology of 3-manifolds and related topics , pages 95--100, 1962
1962
-
[22]
Thurston
William P. Thurston. Three dimensional manifolds, K leinian groups and hyperbolic geometry. 1982
1982
-
[23]
Thurston
William P. Thurston. The geometry and topology of three-manifolds: With a preface by Steven P. Kerckhoff , volume 27. American Mathematical Society, 2022
2022
-
[24]
Profinite rigidity for S eifert fibre spaces
Gareth Wilkes. Profinite rigidity for S eifert fibre spaces. Geometriae Dedicata , 188(1):141--163, 2017
2017
-
[25]
The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups
Henry Wilton and Alessandro Sisto. The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups. arXiv preprint arXiv:2410.00556 , 2024
2024 arXiv
-
[26]
Distinguishing geometries using finite quotients
Henry Wilton and Pavel Zalesskii. Distinguishing geometries using finite quotients. Geometry & Topology , 21(1):345--384, 2017
2017
-
[27]
Pro- p subgroups of profinite completions of 3-manifold groups
Henry Wilton and Pavel Zalesskii. Pro- p subgroups of profinite completions of 3-manifold groups. Journal of the London Mathematical Society , 96(2):293--308, 2017
2017
-
[28]
Profinite detection of 3-manifold decompositions
Henry Wilton and Pavel Zalesskii. Profinite detection of 3-manifold decompositions. Compositio Mathematica , 155(2):246--259, 2019
2019
-
[29]
Profinite rigidity witnessed by D ehn fillings of cusped hyperbolic 3-manifolds
Xiaoyu Xu. Profinite rigidity witnessed by D ehn fillings of cusped hyperbolic 3-manifolds. arXiv preprint , 2024. arXiv:2412.05229v1
2024
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.