Pith. sign in

REVIEW 6 minor 18 references

Genericity of hyperbolic 3-manifolds via Dehn surgery

T0 review · 0 major / 6 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Under a counting model built from braids and SL(2,Z) surgery matrices, a generic closed orientable 3-manifold is hyperbolic.

desk verdict Solid, clean counting model that makes hyperbolicity of closed 3-manifolds generic via braids + Dehn surgery; the diagonal-limit formulation is the real novelty. read the letter →

arxiv 2607.11057 v1 pith:THTI7TMM submitted 2026-07-13 math.GT

Renxing Wan , Yanqing Zou This is my paper · ORCID
classification math.GT MSC 57M5057M2520F3657N10
keywords random3-manifoldDehnfillingbraidgrouphomology3-spherehyperboliclinkmanifoldcountingmeasuregenericity
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

Every closed orientable 3-manifold arises by Dehn surgery on a link in the 3-sphere. The paper equips the braid groups Bn (which produce all links by closure) and the group SL(2,Z) of surgery slopes with a natural counting measure given by word-length balls. With respect to this measure it proves four asymptotic statements: a generic braid closes to a hyperbolic link; the braids that close to knots form a positive-density subset and a generic such braid yields a hyperbolic knot; a generic closed manifold is a Q-homology sphere that is not a Z-homology sphere; and a generic closed manifold is hyperbolic. The results give a precise sense in which “most” 3-manifolds are hyperbolic, obtained by counting rather than by random walks on mapping class groups.

What carries the argument

The counting measure that assigns density 1 (respectively 0) to a subset A of a finitely generated group when the proportion of elements of word length ≤R that lie in A tends to 1 (respectively 0) as R→∞; applied simultaneously to braids and to SL(2,Z) surgery matrices.

What would settle it

Exhibit a finite generating set of some Bn for which the proportion of braids of length ≤R whose closures are hyperbolic fails to tend to 1, or for which the exceptional-surgery sets in SL(2,Z) retain positive density.

Watch

Extended reading notes

Core claim

With respect to the counting measures on the braid groups Bn (n>3) and on SL(2,Z), a random closed orientable 3-manifold is hyperbolic: for any finite generating sets there exist unbounded increasing functions α and β such that the density of pairs (braid of length ≤α(n), surgery matrices of length ≤β(n)) producing a hyperbolic manifold tends to 1 as n tends to infinity.

Load-bearing premise

That a braid with large enough stable translation length on the curve graph produces a mapping torus whose killed curve is long enough for the hyperbolic Dehn-surgery theorem to guarantee a hyperbolic complement after filling.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper introduces a counting model for links (via word balls in the braid groups Bn, n>3) and for Dehn surgeries (via word balls in SL(2,Z)). Under this model it proves that a generic braid closes to a hyperbolic link (Theorem 3.13), that the subset of braids whose closures are knots has positive density and that a generic such braid yields a hyperbolic knot (Lemmas 3.16–3.18, Theorem 3.19), that a generic closed orientable 3-manifold is a Q-homology sphere but not a Z-homology sphere (Theorems 3.6 and 3.11), and that a generic closed orientable 3-manifold is hyperbolic (Theorem 3.24). The arguments combine the genericity of Anosov matrices in SL(2,Z) (Corollary 2.3, from Gekhtman–Taylor–Tiozzo), the genericity of large-translation-length pseudo-Anosovs in Bn (Lemma 3.12), the hyperbolization of mapping tori, Ma’s length formula, and the universal exceptional-slope bounds of Hodgson–Kerckhoff, followed by a diagonal argument that lets the number of strands and the word-length cut-offs tend to infinity simultaneously.

Significance. The work supplies a natural Dehn-surgery counterpart to the existing random-Heegaard-splitting models of Dunfield–Thurston, Maher, and Han–Yang–Zou. The counting measures are elementary and the logical chain is complete: once large stable translation length is fixed, hyperbolicity of the link complement follows from standard 3-manifold theorems, and the finite exceptional-slope bound then yields hyperbolicity of a generic surgery. The positive-density statement for knots (Lemma 3.16) and the simultaneous control of homology and hyperbolicity are new in this model. The results are therefore a solid contribution to the probabilistic study of 3-manifolds.

minor comments (6)
  1. Abstract and title page: correct the typos “randon” → “random” and “in vague” → “in the large” (or similar).
  2. Throughout: the notation 7 for cardinality is non-standard; replace by the usual # or |·|.
  3. §3.3, proof of Theorem 3.13: the appeal to “formula (2.3) in [15]” is terse; a one-sentence reminder that the normalized length of the killed curve grows with the stable translation length would help the reader.
  4. Lemma 3.8 and the subsequent estimates for the set Z: the constants a1,a2 are left implicit; stating that they depend only on the generating set would make the quasi-isometry argument cleaner.
  5. Theorem 3.24: the functions α and β are required to be unbounded and monotonically increasing; a brief remark that any such pair works (or an explicit recursive construction) would remove a minor ambiguity.
  6. References: several arXiv preprints are cited by number only; adding the year and a short title would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: density claims follow from external genericity theorems and direct counting on virtually free groups, without self-referential definitions or load-bearing self-citations.

full rationale

The paper defines a counting measure on braid groups Bn and SL(2,Z) via word balls, then proves asymptotic densities equal to 1 for hyperbolic links (Thm 3.13), Q-homology spheres that are not Z-homology spheres (Thms 3.6+3.11), and hyperbolic closed 3-manifolds (Thm 3.24). Each step invokes independent external results: Gekhtman–Taylor–Tiozzo for loxodromics/Anosov matrices (Cor 2.3), Bowditch acylindricity plus Choi for large stable translation length of pseudo-Anosovs (Lem 3.12), Ma’s normalized-length formula plus Hodgson–Kerckhoff hyperbolic Dehn surgery (proof of Thm 3.13), the finite exceptional-slope bound of Hodgson–Kerckhoff (Lem 3.22+Thm 3.23), and classical Lickorish–Wallace/Alexander theorems. Negligibility of thin sets (reducible matrices, the set Z of p=±1 matrices, exceptional Ep,q) is proved by elementary growth comparison with free subgroups of finite index (Lems 3.8–3.9, 3.20–3.21). The sole self-citation [10] appears only for comparison in the introduction and Remark 3.25 and is never used as an input to any proof. No quantity is defined in terms of the claimed density, no parameters are fitted, and no uniqueness theorem is imported from the authors’ prior work. The derivation chain is therefore self-contained against external benchmarks.

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

The paper rests entirely on standard theorems of 3-manifold topology and geometric group theory; no free parameters are fitted and no new physical or geometric entities are postulated. The only modeling choice is the definition of the counting measure itself, which is declared rather than derived.

assumptions (5)
  • domain assumption Lickorish–Wallace theorem: every closed orientable 3-manifold is integral Dehn surgery on a link in S^3
    Invoked as Theorem 2.1 to justify that the model covers all closed orientable 3-manifolds.
  • domain assumption Alexander’s theorem: every oriented link is the closure of a braid
    Used throughout §3 to identify links with braid-group elements.
  • domain assumption Thurston hyperbolization for fibered 3-manifolds and the hyperbolic Dehn surgery theorem (with Hodgson–Kerckhoff universal bounds)
    Core of the proofs of Theorems 3.13 and 3.23.
  • standard math Genericity of loxodromics for non-elementary actions of hyperbolic groups (Gekhtman–Taylor–Tiozzo)
    Applied to SL(2,Z) acting on H^2 to obtain Corollary 2.3.
  • standard math Acylindrical action of Bn on the curve graph and genericity of large-translation-length pseudo-Anosovs
    Lemma 3.12, taken from Choi and Bowditch.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Genericity of hyperbolic 3-manifolds via Dehn surgery." pith.science (2026). https://pith.science/paper/THTI7TMM

@misc{pith2026260711057,
  author       = {Pith},
  title        = {Pith review of: Genericity of hyperbolic 3-manifolds via Dehn surgery},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/THTI7TMM}},
  note         = {Machine review of arXiv:2607.11057}
}
read the original abstract

A significant result by Lickorish and Wallace shows that every closed, orientable 3-manifold can be obtained from a Dehn surgery on one link in 3-sphere. As links and Dehn surgeries vary vastly in the universe, a question arises: how can we describe their properties in vague? We introduce a counting model on links and Dehn surgeries, and prove that under this model, (1) a randon link is hyperbolic; (2) a random 3-manifold is hyperbolic.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 3 linked inside Pith

  1. [1]

    J. W. Alexander, A lemma on systems of knotted curves, Proceedings of the National Academy of Sciences9 (1923), no. 3, 93–95

    1923

  2. [2]

    Bowditch, Tight geodesics in the curve complex, Invent

    Brian H. Bowditch, Tight geodesics in the curve complex, Invent. Math.171(2008), no. 2, 281–300. MR 2367021

    2008

  3. [3]

    Inhyeok Choi, Acylindrically hyperbolic groups and counting problems, Preprint, arXiv:2504.20985 [math.GR] (2025), 2025

    arXiv 2025

  4. [4]

    Math.242(2025), no

    Inhyeok Choi, Counting pseudo-Anosovs as weakly contracting isometries, Invent. Math.242(2025), no. 1, 337–386. MR 4953179

    2025

  5. [5]

    Jiaqi Cui and Renxing Wan, A general construction of simultaneously hyperbolic elements, Preprint, arXiv:2505.09454 [math.GR] (2025), 2025

    arXiv 2025

  6. [6]

    Mar´ ıa Cumplido and Bert Wiest,A positive proportion of elements of mapping class groups is pseudo-Anosov, Bull. Lond. Math. Soc.50(2018), no. 3, 390–394. MR 3829727

    2018

  7. [7]

    Dunfield and William P

    Nathan M. Dunfield and William P. Thurston, Finite covers of random 3-manifolds, Invent. Math.166(2006), no. 3, 457–521 (English)

    2006

  8. [8]

    49, Princeton University Press, Princeton, NJ, 2012

    Benson Farb and Dan Margalit, A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton University Press, Princeton, NJ, 2012. MR 2850125

    2012

Show all 18 references
  1. [9]

    Taylor, and Giulio Tiozzo, Counting loxodromics for hyperbolic actions, J

    Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo, Counting loxodromics for hyperbolic actions, J. Topol.11 (2018), no. 2, 379–419. MR 3789828

    2018

  2. [10]

    Topol.18(2025), no

    Suzhen Han, Wenyuan Yang, and Yanqing Zou, Counting double cosets with application to generic 3-manifolds, J. Topol.18(2025), no. 3, 32 (English), Id/No e70029

    2025

  3. [11]

    Hodgson and Steven P

    Craig D. Hodgson and Steven P. Kerckhoff, Universal bounds for hyperbolic Dehn surgery, Ann. of Math. (2) 162(2005), no. 1, 367–421. MR 2178964

    2005

  4. [12]

    Topol.12(2008), no

    , The shape of hyperbolic Dehn surgery space, Geom. Topol.12(2008), no. 2, 1033–1090. MR 2403805

    2008

  5. [13]

    MR 3729310

    Clara L¨ oh,Geometric group theory, Universitext, Springer, Cham, 2017, An introduction. MR 3729310

    2017

  6. [14]

    Alexander Lubotzky, Joseph Maher, and Conan Wu, Random methods in 3-manifold theory, Tr. Mat. Inst. Steklova292(2016), 124–148. MR 3628457

    2016

  7. [15]

    Jiming Ma, The closure of a random braid is a hyperbolic link, Proc. Am. Math. Soc.142(2014), no. 2, 695–701 (English)

    2014

  8. [16]

    Topol.3(2010), no

    Joseph Maher, Random Heegaard splittings, J. Topol.3(2010), no. 4, 997–1025 (English)

    2010

  9. [17]

    12 RENXING W AN AND YANQING ZOU

    Bruno Martelli, An Introduction to Geometric Topology, Preprint, arXiv:1610.02592 [math.GT] (2016), 2016. 12 RENXING W AN AND YANQING ZOU

    2016 arXiv

  10. [18]

    Shalen and Philip Wagreich, Growth rates, Zp-homology, and volumes of hyperbolic 3-manifolds, Trans

    Peter B. Shalen and Philip Wagreich, Growth rates, Zp-homology, and volumes of hyperbolic 3-manifolds, Trans. Amer. Math. Soc.331(1992), no. 2, 895–917. MR 1156298 School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP,...

    1992

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.