Pith. sign in

REVIEW 3 major objections 4 minor 34 references

Hyperbolic small knots in spherical manifolds

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

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

Pith's one-line read This paper proves that nearly every spherical 3-manifold contains a hyperbolic small knot, with explicit Dehn-surgery constructions on 2-bridge links.

desk verdict Explicit hyperbolic small knots in most spherical manifolds via a nice 2-bridge surgery, but the smallness proof skips a key surface-conversion step and an unsupported genus bound. read the letter →

arxiv 2506.01041 v1 pith:545LGYD3 submitted 2025-06-01 math.GT

Kazuhiro Ichihara This is my paper
classification math.GT MSC 57K1057K32
keywords smallknothyperbolicspherical3-manifoldlensspace2-bridgelinkDehnsurgeryessentialsurfaceboundaryslope
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

This paper addresses the Lopez conjecture, which predicts that every closed irreducible non-Haken 3-manifold contains a small knot: a knot whose exterior contains no closed essential surface. The author proves that every closed orientable spherical 3-manifold, except prism manifolds and the Seifert fibered manifolds $\pm(-1;1/2,1/3,1/m)$ with $m \in \{3,4,5\}$, contains a hyperbolic small knot. The construction is explicit: each knot comes from Dehn surgery on a component of a 2-bridge link, or on the Whitehead link for manifolds of types T, O, and I. This matters because explicit hyperbolic small knots are hard to produce in most 3-manifolds, and because an earlier claimed proof of the general statement had been questioned.

What carries the argument

The workhorse is the family of 2-bridge links $L_k = C(2,2k,-2)$ with continued-fraction expansion $[2,2k,-2]$; the case $k=1$ is the Whitehead link. Dehn surgery on one component with slope $-p/q$ produces the lens space $L(p,q)$, and the remaining component is the candidate small knot; for types T, O, and I, the Whitehead link is surgered along the pair of slopes $(6-b_3/a_3,1)$. Smallness is proved by converting a hypothetical closed essential surface in the knot exterior into an essential surface in the link exterior whose boundary-slope pair must appear in Table 1, and then observing that the required pairs $\{1/0,\,-p/q\}$ or $\{1,\,6-b_3/a_3\}$ do not occur.

What would settle it

Run the boundary-slope algorithm for the link with continued fraction $[2,2k,-2]$ and check whether any essential surface has boundary-slope pair $\{1/0,\,-p/q\}$ or $\{\emptyset,\,-p/q\}$ for some $p/q\neq 4k$; if such a pair appears, or if a closed essential surface of genus greater than two is found in the exterior of a constructed knot, the smallness proof fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: every spherical 3-manifold except prism manifolds and the three Seifert fibered manifolds $\pm(-1;1/2,1/3,1/m)$ with $m\in\{3,4,5\}$ contains a hyperbolic small knot. For lens spaces, the knot is the component $K$ of the 2-bridge link $L_k = C(2,2k,-2)$, viewed in $L(p,q)$ after $(-p/q)$-surgery on the other component $K'$; for spherical manifolds of type T, O, or I, the knot is the dual core $K''$ of the surgery on the Whitehead link. Hyperbolicity follows from the classification of exceptional surgeries on components of 2-bridge links, and smallness follows from the absence of the relevant boundary-slope pairs in the paper's Table 1 after a meridional-compression argument. The excluded families are left open, with prism manifolds noted as not obtainable by surgery on 2-bridge links.

Load-bearing premise

The proof assumes that every closed essential surface in the exterior of the constructed knot has genus at most two and that, after meridional compressions, it becomes an essential surface in the original 2-bridge link exterior with one of the boundary-slope pairs listed in Table 1; both steps are asserted rather than fully demonstrated.

Editorial extensions

If this is right

  • Every lens space contains infinitely many hyperbolic small knots, one for each $k\ge2$ with $4k\neq \pm p/q$.
  • Spherical manifolds of types T, O, or I, except $\pm(-1;1/2,1/3,1/m)$ for $m=3,4,5$, contain a hyperbolic small knot.
  • The same smallness argument also gives infinitely many hyperbolic small knots in $S^2 \times S^1$.
  • The remaining cases are prism manifolds and the three exceptional Seifert fibered spaces; the paper asks explicitly whether hyperbolic small knots exist there.
  • For any non-Haken Seifert fibered manifold over the sphere with three exceptional fibers, a non-hyperbolic small knot always exists by taking an exceptional fiber as the knot.

Reading between the lines

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

  • If the smallness argument is sound, the same boundary-slope strategy could be applied to other families of links to produce hyperbolic small knots in further non-Haken Seifert fibered manifolds.
  • The unproved genus-at-most-two assertion is the natural stress point; proving it directly, or replacing it with a more general surface argument, would sharpen the result and may cover the remaining exceptional families.
  • A computational search for links that surger to prism manifolds, plus their boundary-slope tables, could yield explicit hyperbolic small knots in prism manifolds even though the paper's 2-bridge method cannot apply.
  • Because the knots are given by explicit surgery descriptions, hyperbolicity and smallness could in principle be checked algorithmically for each manifold, making the theorem effective rather than existential.
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

3 major / 4 minor

Summary. The paper addresses the Lopez conjecture, which predicts that every closed irreducible non-Haken 3-manifold contains a small knot. The main result, Theorem 1.1, states that every spherical 3-manifold except prism manifolds and the Seifert fibered manifolds ±(−1; 1/2, 1/3, 1/m) with m ∈ {3, 4, 5} contains a hyperbolic small knot. The proof splits into Theorem 3.1 for lens spaces and Theorem 3.2 for spherical manifolds of type T, O, and I. In each case the author describes an explicit knot obtained by Dehn surgery on a component of a 2-bridge link (or the Whitehead link), proves hyperbolicity by excluding exceptional surgeries using known classification results, and attempts to prove smallness by deriving a contradiction from the Hoste–Shanahan table of boundary slope pairs for 2-bridge links. The paper also notes that the methods do not apply to prism manifolds and states an open question for that family.

Significance. If the smallness arguments are completed, the paper makes a substantial contribution to the Lopez conjecture by providing explicit hyperbolic small knots in a large class of spherical 3-manifolds, going well beyond previously known constructions. The surgery descriptions are concrete and the use of external classification results, including exceptional surgery classifications and boundary slope tables, is appropriate and carefully referenced. The paper also usefully identifies the remaining cases. However, the proof of smallness contains a load-bearing gap: the transition from a hypothetical closed essential surface in the surgered exterior to an essential surface in the original 2-bridge link exterior with a listed boundary slope pair is asserted rather than proved, and an unsupported genus bound appears in the lens space case. These issues affect both Theorem 3.1 and Theorem 3.2 and require a substantive revision.

major comments (3)
  1. [Section 3.1, proof of Theorem 3.1] The proof states that if K is not small, then there exists a closed incompressible surface F of genus at most two in E(K). This genus bound is neither proved nor cited, and it does not follow from the definition of smallness given in Section 2. The author should either provide a reference or a proof for this assertion, or explain why the bound is unnecessary for the subsequent boundary-slope contradiction. As written, the argument only rules out surfaces of genus at most two.
  2. [Section 3.1, surface conversion step] The step from a closed incompressible surface F in E(K) inside the surgered lens space to an essential surface F' in E(Lk) with boundary slope -p/q on K' is not justified. Likewise, the sentence 'After performing meridional compressions on F' for K' needs a detailed argument showing that the resulting surface is essential and boundary-incompressible with the claimed boundary slopes. Without this argument, the contradiction derived from Table 1 only excludes surfaces that survive as essential surfaces with those boundary slopes, not all closed essential surfaces. This is the central bridge of the smallness proof and must be expanded or replaced by a precise citation.
  3. [Section 3.2, proof of Theorem 3.2] The same compressed surface-conversion step appears in the proof of Theorem 3.2 and carries the same gap. In addition, the boundary-slope pair seems reversed: the surgery description uses slopes (6 - b3/a3, 1), presumably on K and K' respectively, but the surface is described as having boundary slope 1 on K and 6 - b3/a3 on K'. The author should correct the ordering and then verify that the Table 1 contradiction still applies to the corrected pair.
minor comments (4)
  1. [Theorem 3.1 statement] The statement 'Every lens space contains infinitely many hyperbolic small knot' should read '...small knots'.
  2. [Section 3.1, Figure 1 caption] The caption says the diagram is for k = -2, while the text defines the link with k ≥ 2; this is inconsistent and should be corrected.
  3. [Throughout] The notation 'm ∈ 3, 4, 5' and similar sets should use set braces, e.g., m ∈ {3, 4, 5}, to avoid ambiguity.
  4. [Section 4, prism manifold definition] The definition of prism manifolds as '(−1; 1/2, 1/2, m/n)' with 'n, m' is slightly informal; specifying coprimality and orientation conventions would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is an existence argument built from external surgery and boundary-slope classifications.

full rationale

The paper's derivation chain is an existence proof, not a fitted prediction. For lens spaces, the constructed knot K is shown hyperbolic using the exceptional-surgery classification for 2-bridge links from the author's earlier work [16] and the joint preprint [17]; these are independent published results about Dehn surgery, not consequences of the present theorem. The smallness argument assumes a closed essential surface exists and converts it to a boundary-slope pair in the 2-bridge link exterior, then invokes the Hoste-Shanahan table of boundary slopes to obtain a contradiction. That table is an external, algorithmic classification, and the contradiction is a genuine exclusion of the pair {1/0, -p/q} for the chosen slopes. The same structure is used for type T, O, I manifolds via the Whitehead link and the right-hand trefoil surgery description, again relying on external exceptional-surgery results. The proof contains compressed or unproved steps — notably the 'genus at most two' assertion and the meridional-compression conversion — but these are correctness gaps or missing lemmas, not circular reasoning: they do not assume the smallness that is being proved, nor do they define the constructed knots in terms of the conclusion. Self-citations are load-bearing only as references to prior classification theorems, which are independently checkable and are not equivalent to the target result. Accordingly, no step reduces by construction to its own input.

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

No free parameters are fit to data. The proof relies on established classification and surgery theorems, one of which, the genus bound for essential surfaces in lens space knot exteriors, is assumed without citation.

assumptions (6)
  • standard math Geometrization theorem: a closed orientable 3-manifold is spherical if and only if it has finite fundamental group.
    Used in the introduction to identify spherical 3-manifolds with non-Haken manifolds.
  • standard math Classification of finite subgroups of SO(4) acting freely on S^3, giving spherical manifolds of types C, D, T, O, I.
    Invoked in Section 3 to reduce the problem to lens spaces and types T, O, I.
  • domain assumption Exceptional surgery classification for components of 2-bridge links, from Ichihara [16, Theorem 1.1].
    Used in Claim 1 to prove hyperbolicity of the constructed knot.
  • domain assumption Lemma from Ichihara-Mattman [17, Lemma 3]: if a component of a hyperbolic 2-bridge link admits multiple exceptional surgeries, then at least one is a Seifert surgery.
    Load-bearing in Claim 1; the cited reference is an unpublished 2023 preprint.
  • domain assumption Completeness of the boundary slope pair table for the 2-bridge link L_k, from Hoste-Shanahan [15, Section 5, Table 4].
    The smallness proofs in both theorems depend on checking that no relevant slope pair appears in this table.
  • ad hoc to paper Any closed incompressible surface in the exterior of a knot in a lens space has genus at most two.
    Asserted in the proof of Theorem 3.1 without proof or citation; the smallness contradiction only excludes surfaces up to this genus bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hyperbolic small knots in spherical manifolds." pith.science (2026). https://pith.science/paper/545LGYD3

@misc{pith2026250601041,
  author       = {Pith},
  title        = {Pith review of: Hyperbolic small knots in spherical manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/545LGYD3}},
  note         = {Machine review of arXiv:2506.01041}
}
read the original abstract

It was conjectured by Lopez that every closed irreducible non-Haken 3-manifold contains a small knot. In this paper, we give explicit examples of hyperbolic small knots in most closed orientable spherical 3-manifolds other than prism manifolds.

Figures

Figures reproduced from arXiv: 2506.01041 by the authors.

Figure 1
Figure 1. The link diagram C(2, 2k, −2) for k = −2. We perform Dehn surgery on K′ ⊂ Lk along the slope −p/q to obtain the lens space L(p, q), and regard K as a knot in L(p, q). The following claim follows from the classification of exceptional surgeries on a component of a 2-bridge link, obtained in [16, Theorem 1.1], and from the arguments in the proof of [17, Lemma 3] [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

    Ian Agol, Bounds on exceptional Dehn filling , Geom. Topol. 4 (2000), 431–449. MR 1799796

    work page 2000

  2. [2]

    MR 3444187

    Matthias Aschenbrenner, Stefan Friedl, and Henry Wilton, 3-manifold groups, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2015. MR 3444187

    work page 2015

  3. [3]

    Baker, Counting genus one fibered knots in lens spaces , Michigan Math

    Kenneth L. Baker, Counting genus one fibered knots in lens spaces , Michigan Math. J. 63 (2014), no. 3, 553–569. MR 3255691

    work page 2014

  4. [4]

    Francis Bonahon, Geometric structures on 3-manifolds , Handbook of geometric topology, North-Holland, Amsterdam, 2002, pp. 93–164. MR 1886669

    work page 2002

  5. [5]

    Boyer and X

    S. Boyer and X. Zhang, Finite Dehn surgery on knots , J. Amer. Math. Soc. 9 (1996), no. 4, 1005–1050. MR 1333293

    work page 1996

  6. [6]

    , Cyclic surgery and boundary slopes , Geometric topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., vol. 2.1, Amer. Math. Soc., Providence, RI, 1997, pp. 62–79. MR 1470721

    work page 1993

  7. [7]

    Culler, W

    M. Culler, W. Jaco, and H. Rubinstein, Incompressible surfaces in once-punctured torus bundles, Proc. London Math. Soc. (3) 45 (1982), no. 3, 385–419. MR 675414

    work page 1982

  8. [8]

    Doig, Finite knot surgeries and Heegaard Floer homology , Algebr

    Margaret I. Doig, Finite knot surgeries and Heegaard Floer homology , Algebr. Geom. Topol. 15 (2015), no. 2, 667–690. MR 3342672

    work page 2015

Show all 34 references
  1. [9]

    Floyd and A

    W. Floyd and A. Hatcher, Incompressible surfaces in punctured-torus bundles, Topology Appl. 13 (1982), no. 3, 263–282. MR 651509

    1982

  2. [10]

    , The space of incompressible surfaces in a 2-bridge link complement , Trans. Amer. Math. Soc. 305 (1988), no. 2, 575–599. MR 924770

    1988

  3. [11]

    105 (1961), 245–375

    Wolfgang Haken, Theorie der Normalfl¨ achen, Acta Math. 105 (1961), 245–375. MR 141106

    1961

  4. [12]

    , ¨ uber das Hom¨ oomorphieproblem der 3-Mannigfaltigkeiten. I, Math. Z. 80 (1962), 89–120. MR 160196

    1962

  5. [13]

    Hatcher and W

    A. Hatcher and W. Thurston, Incompressible surfaces in 2-bridge knot complements , Invent. Math. 79 (1985), no. 2, 225–246. MR 778125

    1985

  6. [14]

    A. E. Hatcher, On the boundary curves of incompressible surfaces, Pacific J. Math. 99 (1982), no. 2, 373–377. MR 658066

    1982

  7. [15]

    Shanahan, Computing boundary slopes of 2-bridge links , Math

    Jim Hoste and Patrick D. Shanahan, Computing boundary slopes of 2-bridge links , Math. Comp. 76 (2007), no. 259, 1521–1545. MR 2299787

    2007

  8. [16]

    Kazuhiro Ichihara, Exceptional surgeries on components of 2-bridge links, Arch. Math. (Basel) 99 (2012), no. 1, 71–79. MR 2948663

    2012

  9. [17]

    Mattman, Boundary slopes (nearly) bound exceptional slopes, 2023

    Kazuhiro Ichihara and Thomas W. Mattman, Boundary slopes (nearly) bound exceptional slopes, 2023

    2023

  10. [18]

    43, American Mathematical Society, Providence, RI, 1980

    William Jaco, Lectures on three-manifold topology , CBMS Regional Conference Series in Mathematics, vol. 43, American Mathematical Society, Providence, RI, 1980. MR 565450

    1980

  11. [19]

    MR 1417494

    Akio Kawauchi, A survey of knot theory , Birkh¨ auser Verlag, Basel, 1996, Translated and revised from the 1990 Japanese original by the author. MR 1417494

    1996

  12. [20]

    MR 2689967

    Alan Eliot Lash, Boundary curve space of the Whitehead link complement , ProQuest LLC, Ann Arbor, MI, 1993, Thesis (Ph.D.)–University of California, Santa Barbara. MR 2689967

    1993

  13. [21]

    Knot Theory Ramifications 31 (2022), no

    Wei Lin, On closed incompressible meridionally incompressible surfaces in knot and link complements, J. Knot Theory Ramifications 31 (2022), no. 11, Paper No. 2250070, 17. MR 4510186

    2022

  14. [22]

    L. M. Lopez, Alternating knots and non-Haken 3-manifolds, Topology Appl. 48 (1992), no. 2, 117–146. MR 1195505

    1992

  15. [23]

    , Small knots in Seifert fibered 3-manifolds, Math. Z. 212 (1993), no. 1, 123–139. MR 1200167

    1993

  16. [24]

    Bruno Martelli, Carlo Petronio, and Fionntan Roukema, Exceptional Dehn surgery on the minimally twisted five-chain link, Comm. Anal. Geom. 22 (2014), no. 4, 689–735. MR 3263935

    2014

  17. [25]

    135 (2004), no

    Hiroshi Matsuda, Small knots in some closed Haken 3-manifolds , Topology Appl. 135 (2004), no. 1-3, 149–183. MR 2024953 HYPERBOLIC SMALL KNOTS IN SPHERICAL MANIFOLDS 7

    2004

  18. [26]

    Ulrich Oertel, Closed incompressible surfaces in complements of star links , Pacific J. Math. 111 (1984), no. 1, 209–230. MR 732067

    1984

  19. [27]

    Grisha Perelman, The entropy formula for the ricci flow and its geometric applications , 2002

    2002

  20. [28]

    , Ricci flow with surgery on three-manifolds , 2003

    2003

  21. [29]

    144 (2004), no

    Ruifeng Qiu and Shicheng Wang, Simple, small knots in handlebodies , Topology Appl. 144 (2004), no. 1-3, 211–227. MR 2097137

    2004

  22. [30]

    Math., vol

    Hyam Rubinstein, Some of Hyam’s favourite problems , Geometry and topology down under, Contemp. Math., vol. 597, Amer. Math. Soc., Providence, RI, 2013, pp. 165–175. MR 3186672

    2013

  23. [31]

    London Math

    Peter Scott, The geometries of 3-manifolds, Bull. London Math. Soc. 15 (1983), no. 5, 401–

    1983

  24. [32]

    Thurston, The geometry and topology of three-manifolds , 1982

    William P. Thurston, The geometry and topology of three-manifolds , 1982

    1982

  25. [33]

    Friedhelm Waldhausen, On irreducible 3-manifolds which are sufficiently large, Ann. of Math. (2) 87 (1968), 56–88. MR 224099

    1968

  26. [34]

    William Worden, Small knots of large Heegaard genus , Comm. Anal. Geom. 31 (2023), no. 2, 381–406. MR 4685026 Department of Mathematics, College of Humanities and Sciences, Nihon University, 3-25-40 Sakurajosui, Setagaya-ku, Tokyo 156-8550, Japan Email address : ichihara.kazuh...

    2023

Pith tools

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