pith. sign in

arxiv: 2202.10975 · v2 · submitted 2022-02-22 · 🧮 math.GT

Hyperbolic Twisted Torus Links

Thiago de Paiva This is my paper

Pith reviewed 2026-05-24 12:09 UTC · model grok-4.3

classification 🧮 math.GT
keywords twisted torus linkshyperbolic linkstorus linkslink complements3-manifold geometryknot theory
0
0 comments X

The pith

The paper determines exactly which twisted torus links T(p, q; r, s) have hyperbolic complements when the twisting parameter satisfies |s| > 3.

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

The work classifies the hyperbolicity of twisted torus links obtained by twisting r strands of a (p, q)-torus link s full times. It identifies all parameter combinations for which the link complement is a hyperbolic 3-manifold once |s| exceeds 3. A reader would care because this extends the known list of hyperbolic links beyond ordinary torus links and supplies concrete families whose geometry can now be studied directly. The result rests on the explicit construction of each T(p, q; r, s) and on the application of standard hyperbolicity criteria to rule out non-hyperbolic cases.

Core claim

The twisted torus link T(p, q; r, s) is hyperbolic for |s| > 3 except for the finite list of exceptional families that the paper enumerates; outside those families the complement admits a hyperbolic metric.

What carries the argument

The twisted torus link T(p, q; r, s), formed by taking the (p, q)-torus link and applying s full twists to r of its parallel strands.

If this is right

  • All non-exceptional T(p, q; r, s) with |s| > 3 admit a unique hyperbolic structure on their complement.
  • The volumes of these hyperbolic links can be computed from the parameters without further case-by-case analysis.
  • The exceptional families remain the only twisted torus links that fail to be hyperbolic for large twisting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification supplies an infinite supply of explicit hyperbolic links whose cusp shapes and volumes can be tracked as functions of s.
  • One could test whether the same parameter restrictions continue to govern hyperbolicity when the twisting is performed on more than one component of the original torus link.

Load-bearing premise

Standard hyperbolicity tests based on volume or cusp geometry suffice to decide the status of every T(p, q; r, s) once |s| exceeds 3.

What would settle it

An explicit example of parameters p, q, r, s with |s| > 3 for which the complement of T(p, q; r, s) is reducible, toroidal, or has zero volume would contradict the claimed classification.

Figures

Figures reproduced from arXiv: 2202.10975 by Thiago de Paiva.

Figure 1
Figure 1. Figure 1: The sides of the black square are glued together to give the unknotted torus F in which the torus link T(p, q) lies. The homeomorphism of S 3 that switches the meridian and longitude of F can be expressed by a 180-degree rotation around the green diagonal of the first drawing, as illustrated in the second picture. Proof. By Lemma 3.1, any two link components of T(p, q) have linking number greater than zero… view at source ↗
Figure 2
Figure 2. Figure 2: If ri = k · q/2, we may isotope J to embed in S 3 as the torus knot T(k, 1), disjoint from L1 and L2. Proof. If r = p − 1 or p + 1, then one link component Li = T( p 2 , q 2 ) of the two-component link T(p, q) has linking number equal to p 2 with J from Lemma 3.6. It means that we can consider an unknotted torus T bounding Li in one side and the other two link components of M(p, q, r) in the other side so … view at source ↗
Figure 3
Figure 3. Figure 3: The blue disc is encircling 4 strands of the trivial torus knot T(4, 1) in the first drawing. The second drawing is obtained by pushing the blue disc following the longitudinal strands of T(4, 1). Any surgery along C transform T into a new torus T 0 . If we consider high slopes, we assume that there is one ( 1 s )-surgery along C such that T 0 is knotted. As T is incompressible and not boundary parallell i… view at source ↗
read the original abstract

The twisted torus link $T(p, q; r, s)$ is obtained by twisting $r$ parallel strands of the $(p, q)$-torus link a total of $s$ full times. In this paper we find all twisted torus links which are hyperbolic for $\vert s\vert >3$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper classifies all twisted torus links T(p, q; r, s) that are hyperbolic when |s| > 3. It proceeds by exhaustive case analysis on the relative sizes of p, q, r, constructing explicit essential tori or Seifert fibrations to identify the non-hyperbolic cases (certain torus links and cables), while using volume and cusp-shape computations (via SnapPy) as supporting evidence for the hyperbolic cases.

Significance. If the classification holds, the result gives a complete determination of hyperbolicity within this natural family of links, extending known results on torus links and providing concrete topological obstructions together with computational verification. The explicit constructions for non-hyperbolic cases and the exhaustive case breakdown constitute a solid contribution to 3-manifold topology.

minor comments (3)
  1. The abstract states the main result but does not indicate the range of parameters (p, q, r) considered; a brief statement of the standing assumptions on these integers would help readers.
  2. When SnapPy is invoked for volume or cusp-shape evidence, the manuscript should clarify whether these computations are used only for illustration or whether they are accompanied by rigorous certification (e.g., via interval arithmetic or exact arithmetic in the software).
  3. Notation for the twisted torus link T(p, q; r, s) is introduced in the abstract; a short paragraph in §1 recalling the precise geometric construction (twisting r parallel strands s times) would improve readability for readers unfamiliar with the family.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the classification, and recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; classification rests on independent topological obstructions

full rationale

The manuscript executes an exhaustive case analysis on the relative sizes of p, q, r for |s| > 3. Non-hyperbolic cases are identified by explicit constructions of essential tori or Seifert fibrations, which constitute direct topological proofs independent of the hyperbolicity claim itself. Hyperbolic cases receive supporting volume or cusp-shape evidence via SnapPy, but this is not required for the classification logic. No equations reduce a derived quantity to a fitted input by construction, no self-citation chain bears the central premise, and no ansatz or uniqueness theorem is smuggled in from prior author work. The derivation chain is therefore self-contained against standard 3-manifold topology benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, ad-hoc axioms, or invented entities; the result rests on standard background facts of 3-manifold geometry and torus link constructions.

axioms (1)
  • standard math Standard facts about torus links and hyperbolicity criteria for links in S^3
    Invoked implicitly by the claim that certain members are or are not hyperbolic.

pith-pipeline@v0.9.0 · 5552 in / 1093 out tokens · 19184 ms · 2026-05-24T12:09:13.545746+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Joan Birman and Ilya Kofman, A new twist on Lorenz links , J. Topol. 2 (2009), no. 2, 227–248. MR 2529294 2

    work page 2009

  2. [2]

    Richard Sean Bowman, Scott Taylor, and Alexander Zupan, Bridge spectra of twisted torus knots, Int. Math. Res. Not. IMRN (2015), no. 16, 7336–7356. MR 3428964 1

    work page 2015

  3. [3]

    Michael A Bush, Katelyn R French, and Joseph RH Smith, Total linking numbers of torus links and klein links , Rose-Hulman Undergraduate Mathematics Journal 15 (2014), no. 1, 5. 3

    work page 2014

  4. [4]

    Callahan, John C

    Patrick J. Callahan, John C. Dean, and Jeffrey R. Weeks, The simplest hyperbolic knots, J. Knot Theory Ramifications 8 (1999), no. 3, 279–297. MR 1691433 1 HYPERBOLIC TWISTED TORUS LINKS 17

    work page 1999

  5. [5]

    Purcell, Volume bounds for generalized twisted torus links , Math

    Abhijit Champanerkar, David Futer, Ilya Kofman, Walter Neumann, and Jessica S. Purcell, Volume bounds for generalized twisted torus links , Math. Res. Lett. 18 (2011), no. 6, 1097–1120. MR 2915470 1

    work page 2011

  6. [6]

    Knot Theory Ramifications 13 (2004), no

    Abhijit Champanerkar, Ilya Kofman, and Eric Patterson, The next simplest hyperbolic knots, J. Knot Theory Ramifications 13 (2004), no. 7, 965–987. MR 2101238 1

    work page 2004

  7. [7]

    Thiago de Paiva, Unexpected essential surfaces among exteriors of twisted torus knots , arXiv:2012.09599, to appear in Algebr. Geom. Topol. 1

    work page arXiv 2012

  8. [8]

    , Hyperbolic knots given by positive braids with at least two full twists , arXiv:2110.09873 (2021). 1

    work page arXiv 2021

  9. [9]

    Purcell, Satellites and Lorenz knots , arxiv:2103.09500,

    Thiago de Paiva and Jessica S. Purcell, Satellites and Lorenz knots , arxiv:2103.09500,

    work page arXiv

  10. [10]

    MR 2694392 1

    John Charles Dean, Hyperbolic knots with small Seifert-fibered Dehn surgeries , Pro- Quest LLC, Ann Arbor, MI, 1996, Thesis (Ph.D.)–The University of Texas at Austin. MR 2694392 1

    work page 1996

  11. [11]

    Gordon and Ying-Qing Wu, Toroidal and annular Dehn fillings , Proc

    Cameron McA. Gordon and Ying-Qing Wu, Toroidal and annular Dehn fillings , Proc. London Math. Soc. (3) 78 (1999), no. 3, 662–700. MR 1674841 9

    work page 1999

  12. [12]

    3, 531–548

    , Annular and boundary reducing Dehn fillings , Topology 39 (2000), no. 3, 531–548. MR 1746907 9

    work page 2000

  13. [13]

    , Annular Dehn fillings , Comment. Math. Helv. 75 (2000), no. 3, 430–456. MR 1793797 9

    work page 2000

  14. [14]

    Guntel, Knots with distinct primitive/primitive and primitive/Seifert repre- sentatives, J

    Brandy J. Guntel, Knots with distinct primitive/primitive and primitive/Seifert repre- sentatives, J. Knot Theory Ramifications 21 (2012), no. 1, 1250015, 12. MR 2887904 1

    work page 2012

  15. [15]

    12, 14, 15

    Allen Hatcher, Notes on basic 3-manifold topology , 2007. 12, 14, 15

    work page 2007

  16. [16]

    Knot Theory Rami- fications 21 (2012), no

    Sangyop Lee, Twisted torus knots T (p, q; kq, s) are cable knots, J. Knot Theory Rami- fications 21 (2012), no. 1, 1250005, 4. MR 2887898 1, 6

    work page 2012

  17. [17]

    , Twisted torus knots that are unknotted , Int. Math. Res. Not. IMRN (2014), no. 18, 4958–4996. MR 3264672 1, 7, 9, 10, 11

    work page 2014

  18. [18]

    , Torus knots obtained by twisting torus knots , Algebr. Geom. Topol. 15 (2015), no. 5, 2819–2838. MR 3426694 1

    work page 2015

  19. [19]

    Knot Theory Ramifications 26 (2017), no

    , Knot types of twisted torus knots , J. Knot Theory Ramifications 26 (2017), no. 12, 1750074, 7. MR 3718275 1, 3

    work page 2017

  20. [20]

    , Satellite knots obtained by twisting torus knots: hyperbolicity of twisted torus knots, Int. Math. Res. Not. IMRN (2018), no. 3, 785–815. MR 3801447 1, 3

    work page 2018

  21. [21]

    , Composite knots obtained by twisting torus knots , Int. Math. Res. Not. IMRN (2019), no. 18, 5744–5776. MR 4012126 1

    work page 2019

  22. [22]

    Knot Theory Ramifi- cations 28 (2019), no

    , Positively twisted torus knots which are torus knots , J. Knot Theory Ramifi- cations 28 (2019), no. 3, 1950023, 13. MR 3938086 1

    work page 2019

  23. [23]

    09, 2050068

    , Twisted torus knots t(p, q, p - kq, -1) which are torus knots , Journal of Knot Theory and Its Ramifications 29 (2020), no. 09, 2050068. 1

    work page 2020

  24. [24]

    Sangyop Lee and Thiago de Paiva, Torus knots obtained by negatively twisting torus knots, arXiv:2108.10641, 2021. 1

    work page arXiv 2021

  25. [25]

    156 (2009), no

    Yoav Moriah and Eric Sedgwick, Heegaard splittings of twisted torus knots , Topology Appl. 156 (2009), no. 5, 885–896. MR 2498921 1

    work page 2009

  26. [26]

    Knot Theory Ramifications 22 (2013), no

    Kanji Morimoto, On tangle decompositions of twisted torus knots , J. Knot Theory Ramifications 22 (2013), no. 9, 1350049, 12. MR 3105308 1

    work page 2013

  27. [27]

    Kanji Morimoto and Yuichi Yamada, A note on essential tori in the exteriors of torus knots with twists , Kobe J. Math. 26 (2009), no. 1-2, 29–34. MR 2583175 1

    work page 2009

  28. [28]

    Dale Rolfsen, Knots and links , Publish or Perish, Inc., Berkeley, Calif., 1976, Mathe- matics Lecture Series, No. 7. MR 0515288 11, 14

    work page 1976

  29. [29]

    Thurston, Three-dimensional manifolds, Kleinian groups and hyperbolic geometry, Bull

    William P. Thurston, Three-dimensional manifolds, Kleinian groups and hyperbolic geometry, Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 3, 357–381. MR 648524 1, 2 18 THIAGO DE PAIV A

    work page 1982

  30. [30]

    Tsau, Incompressible surfaces in the knot manifolds of torus knots, Topology 33 (1994), no

    Chichen M. Tsau, Incompressible surfaces in the knot manifolds of torus knots, Topology 33 (1994), no. 1, 197–201. MR 1259522 6, 10, 11, 12, 13

    work page 1994

  31. [31]

    Faramarz Vafaee, On the knot Floer homology of twisted torus knots , Int. Math. Res. Not. IMRN (2015), no. 15, 6516–6537. MR 3384486 1

    work page 2015

  32. [32]

    Differential Geom

    Ying-Qing Wu, Sutured manifold hierarchies, essential laminations, and Dehn surgery , J. Differential Geom. 48 (1998), no. 3, 407–437. MR 1638025 9 School of Mathematics, Monash University, VIC 3800, Australia Email address: thiago.depaivasouza@monash.edu

    work page 1998