Pith. sign in

REVIEW 2 major objections 2 minor 30 references

Systole, inradius and rigidity of cusped hyperbolic 3-manifolds

T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read Cusped hyperbolic 3-manifolds satisfy a sharp systole-volume inequality with equality only at the figure-eight knot complement.

desk verdict Sabourau sharpens Gendulphe's systole-volume bounds for cusped hyperbolic 3-manifolds with the figure-eight complement as unique extremal, plus new inradius results. read the letter →

arxiv 2606.06777 v1 pith:GNOM4IET submitted 2026-06-04 math.GT

Stephane Sabourau This is my paper · ORCID
classification math.GT
keywords hyperbolic3-manifoldssystoleinradiusvolumeinequalitiescuspedmanifoldsfigure-eightknotcomplementrigidityGiesekingmanifold
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

The paper proves optimal inequalities relating the systole and inradius to the volume of finite-volume hyperbolic 3-manifolds. In the cusped orientable case it refines an earlier theorem to obtain a sharp systole-volume bound whose unique equality case is the figure-eight knot complement. Excluding this manifold produces a stricter inequality attained by its sister. Parallel sharp inequalities are obtained for closed orientable manifolds and for the inradius of both orientable and nonorientable cusped manifolds, with the Gieseking manifold identified as the unique global minimizer of inradius.

What carries the argument

The systole (length of the shortest closed geodesic) together with the inradius, used to produce volume lower bounds via direct comparison and rigidity arguments that force equality only for the listed manifolds.

What would settle it

Explicit computation of systole and volume for any additional cusped hyperbolic 3-manifold that produces a strictly smaller systole-to-volume ratio than the figure-eight knot complement.

Watch

Extended reading notes

Core claim

For cusped orientable hyperbolic 3-manifolds the volume is bounded from below by a function of the systole with equality attained uniquely by the figure-eight knot complement; excluding this manifold yields a stronger bound attained by its sister. Analogous optimal systole-volume inequalities hold for closed orientable manifolds with the Weeks-Matveev-Fomenko, Vol3 and Meyerhoff manifolds as extremals. Optimal inradius-volume inequalities are proved for cusped manifolds, with the sister of the figure-eight knot complement and the Gieseking manifold as the respective extremals, and the Gieseking manifold is shown to be the unique cusped hyperbolic 3-manifold of minimal inradius.

Load-bearing premise

No other finite-volume hyperbolic 3-manifold exists that violates the stated bounds or achieves a smaller ratio than the identified extremals.

Editorial extensions

If this is right

  • The figure-eight knot complement is the unique cusped orientable hyperbolic 3-manifold minimizing systole for given volume.
  • The sister manifold achieves the next-sharpest systole-volume bound among all other cusped orientable examples.
  • The Gieseking manifold is the unique cusped hyperbolic 3-manifold of globally minimal inradius.
  • Closed hyperbolic 3-manifolds satisfy parallel sharp bounds attained only by the Weeks-Matveev-Fomenko, Vol3 and Meyerhoff manifolds.
  • These inequalities complete earlier lower-bound results by establishing uniqueness of the extremal cases.

Reading between the lines

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

  • The rigidity statements suggest that systole or inradius measurements can be used to recognize these specific manifolds among all others of comparable volume.
  • The appearance of knot complements as extremals indicates that similar sharp bounds may hold when the manifolds are restricted to knot or link complements.
  • The methods used to prove uniqueness could be adapted to produce effective algorithms that certify whether a given manifold meets or exceeds the stated bounds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper establishes optimal systole-volume inequalities for finite-volume hyperbolic 3-manifolds. In the cusped orientable case it refines Gendulphe's theorem with a sharp bound whose unique extremal is the figure-eight knot complement; excluding that manifold yields a stronger inequality extremal at its sister. Analogous sharp inequalities are proved for closed orientable manifolds with extremals the Weeks-Matveev-Fomenko manifold, Vol3 and the Meyerhoff manifold. For inradius-volume inequalities the extremals are the sister (orientable cusped) and Gieseking manifold (nonorientable cusped); the Gieseking manifold is shown to be the unique cusped hyperbolic 3-manifold of minimal inradius, completing Gendulphe's earlier lower bound.

Significance. If the claimed sharpness and uniqueness statements hold, the results supply the first optimal systole-volume and inradius-volume inequalities in the cusped setting together with explicit rigidity statements. The proofs rely on explicit constructions of the extremal manifolds, Margulis tubes, cusp geometry and known volume bounds, without free parameters or circular definitions. These bounds and the completed uniqueness result for the Gieseking manifold are likely to be cited in subsequent work on hyperbolic 3-manifold geometry and volume minimization.

major comments (2)
  1. [§3] §3 (systole-volume for cusped manifolds): the uniqueness argument for the figure-eight knot complement as the sole extremal appears to rest on a case-by-case exhaustion using the known list of low-volume cusped manifolds; the manuscript should explicitly state which volume bound (e.g., the 0.94… lower bound) is invoked to truncate the list and confirm that the systole comparison is performed for every manifold in that finite set.
  2. [§5] §5 (inradius results): the proof that the Gieseking manifold realizes the minimal inradius and is unique relies on the same volume truncation; it would be helpful to isolate the precise inradius lower bound obtained from the Margulis tube analysis and verify that equality forces the manifold to be Gieseking.
minor comments (2)
  1. [Theorem 1.1] The statement of the refined Gendulphe theorem (Theorem 1.1) should include the explicit numerical constant appearing in the inequality for clarity.
  2. [Introduction] Notation for the sister manifold of the figure-eight knot complement is introduced without a reference to its standard labeling (e.g., m003 or 5_2 complement); adding the SnapPy name would aid readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting points that will improve the clarity of the uniqueness arguments. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (systole-volume for cusped manifolds): the uniqueness argument for the figure-eight knot complement as the sole extremal appears to rest on a case-by-case exhaustion using the known list of low-volume cusped manifolds; the manuscript should explicitly state which volume bound (e.g., the 0.94… lower bound) is invoked to truncate the list and confirm that the systole comparison is performed for every manifold in that finite set.

    Authors: We agree that the truncation step should be stated explicitly. In the revised version we will add a sentence in §3 specifying the precise volume lower bound invoked (the 0.94… bound from the literature on cusped hyperbolic 3-manifolds) and will confirm that the systole comparison is carried out for every manifold in the resulting finite list. This makes the exhaustion argument fully transparent without altering the logic. revision: yes

  2. Referee: [§5] §5 (inradius results): the proof that the Gieseking manifold realizes the minimal inradius and is unique relies on the same volume truncation; it would be helpful to isolate the precise inradius lower bound obtained from the Margulis tube analysis and verify that equality forces the manifold to be Gieseking.

    Authors: We will isolate the inradius lower bound coming from the Margulis-tube analysis as a separate lemma or proposition in §5. We will also add an explicit verification that equality holds only for the Gieseking manifold, thereby completing the uniqueness statement. These additions address the request directly and strengthen the presentation of the argument. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper refines and completes prior results of Gendulphe on systole-volume and inradius-volume inequalities for hyperbolic 3-manifolds. Central claims rest on explicit constructions of extremal manifolds (figure-eight knot complement, its sister, Gieseking manifold, Weeks manifold, etc.) together with case-by-case classification arguments using standard tools such as Margulis tubes and cusp geometry. No self-definitional reductions, no fitted parameters renamed as predictions, and no load-bearing self-citations; all external references are to independent prior work by a different author. The derivation chain is self-contained and does not reduce to its inputs by construction.

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

Abstract provides no details on free parameters, invented entities, or specific axioms beyond standard assumptions in hyperbolic geometry; full text would be needed to audit the proof structure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Systole, inradius and rigidity of cusped hyperbolic 3-manifolds." pith.science (2026). https://pith.science/paper/GNOM4IET

@misc{pith2026260606777,
  author       = {Pith},
  title        = {Pith review of: Systole, inradius and rigidity of cusped hyperbolic 3-manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GNOM4IET}},
  note         = {Machine review of arXiv:2606.06777}
}
read the original abstract

We establish optimal inequalities relating the systole and the inradius to the volume of finite-volume hyperbolic 3-manifolds. In the cusped orientable case, we refine a theorem of Gendulphe by proving a sharp systole-volume inequality whose unique extremal manifold is the figure-eight knot complement. Excluding the figure-eight knot complement, we obtain a stronger inequality whose extremal manifold is the sister of the figure-eight knot complement. We also establish analogous optimal systole-volume inequalities for closed orientable hyperbolic 3-manifolds, where the extremal manifolds are the Weeks-Matveev-Fomenko manifold, the manifold Vol3, and the Meyerhoff manifold. In the second part of the article, we study the inradius. We prove optimal inradius-volume inequalities for orientable and nonorientable cusped hyperbolic 3-manifolds, identifying respectively the sister of the figure-eight knot complement and the Gieseking manifold as the extremal cases. We also prove that the Gieseking manifold is the unique cusped hyperbolic 3-manifold of minimal inradius, thereby completing a result of Gendulphe, who had previously established the corresponding lower bound.

Figures

Figures reproduced from arXiv: 2606.06777 by the authors.

Figure 1
Figure 1. Action of γ sending H to H∞. Remark 6.6. The isometry γ ∈ Γ in Proposition 6.5 is uniquely defined up to left multiplication by an element of Γ∞. More precisely, if γ ′ ∈ Γ also sends H to H∞, then γ ′ = σγ for some σ ∈ Γ∞. Remark 6.7. Recall that isometries preserve horoball tangencies. In particular, if H′ is tangent to H, then γ.H′ is of height 1. By construction, the isometry γ also maps • the oriented geodesic … view at source ↗
Figure 2
Figure 2. H + A and its nearby τ -translates. Fix an isometry γ ∈ Γ sending H + A to H∞ and apply Proposition 6.5 to H + A , τ.H+ A , τ −1 .H+ A . This yields three aligned full-size horoballs H − A = γ.H∞, H− B = γτ.H+ A , H+ B = γτ −1 .H+ A together with an A-geodesic pointing downward toward the center of H − A , a B-geodesic pointing downward toward the center of H − B , a B-geodesic pointing upward from the center of H +… view at source ↗
Figure 3
Figure 3. A A A B H − B H + B × × • B H − A [PITH_FULL_IMAGE:figures/full_fig_p027_3.png] view at source ↗
Figures from the paper (14 more)
Figure 4
Figure 4. Figure 4: Horizontal rows generated by H + B , H − A , H − B Claim 6.8. The classes of A-geodesics and B-geodesics are disjoint. Likewise, the classes of A￾geodesics and B¯-geodesics are disjoint. Proof. By contradiction, if the classes of A and B geodesics intersect, then they …
Figure 5
Figure 5. Figure 5: Horizontal rows generated by H + D, H − B , H − D (up to horizontal reflection). say Hε D with ε = ±, coincides with a τ -translate of H − A and therefore has an A-geodesic pointing downward toward its center, while the other horoball H −ε D has an A-geodesic pointing …
Figure 6
Figure 6. Figure 6: Cusp diagram with θ = π 3 and θ = 2π 3 Moreover, because C is orientable, the parabolic subgroups of Γ and Γ fixing ¯ ∞ coincide. Since both cusps C and C¯ are covered by H∞, we deduce that w(C¯) = w(C) = 1. By Adams’ waist size theorem applied to C¯, see Theorem 2.6, …
Figure 7
Figure 7. Figure 7: H + A and its nearby τ -images. Let γ ∈ Γ be an isometry sending H + A to H∞. Such an isometry is uniquely defined up to left multiplication by an element of Γ∞. The isometry γ takes H∞ to a horoball H − A = Hω tangent to H∞ at the point γ.p0. After left composition by…
Figure 8
Figure 8. Figure 8: H − A and its nearby τ ′ -images. We may assume that θ is different from π 3 , otherwise the horoballs τ ±1 .H+ A would be tangent; see [PITH_FULL_IMAGE:figures/full_fig_p032_8.png]
Figure 9
Figure 9. Figure 9: Image of H + A and of its nearby τ -images under γ (up to isometry). The pair of horoballs H ± B tangent to H − A is distinct from the pair τ ′±1 .H− A , which is also tangent to H − A . Otherwise, the classes of B-geodesics and B¯-geodesics would coincide with the cla…
Figure 10
Figure 10. Figure 10: H ± B lie in the same side. Thus, H ± B must coincide with this reflected pair. In particular, the translation τ ′2 sends H − B to H + B , or vice versa. This is impossible, since the vertical B-geodesics at their centers point in opposite directions [PITH_FULL_IMAGE…
Figure 11
Figure 11. Figure 11: Unit segments between the centers of H − A , τ ′±1 .H− A , τ ′±1 .H− B and H + B . Since the center of H + B lies at Euclidean distance at least 1 from the centers of τ ′±1 .H− B , the segment joining the centers of H − A and H + B must be parallel to the segment join…
Figure 12
Figure 12. Figure 12: H − B coincides with τ ′−1 .H− A . We will use following bounds on the angle of θ in Case 2 below. Claim 6.12. We have π 2 ≤ θ ≤ 5π 6 . Proof. The angle at the center of H − A between the centers of τ ′ .H− A and H + B is equal to 2π − 2θ. This angle must be at least …
Figure 13
Figure 13. Figure 13: Center of σ.H+ B lying below the axis of σ. Since σ.H+ B is tangent to H − B and lies between H − A and τ ′2 .H− A , the angle θ at the center of H − B between the centers of τ ′ .H− B and τ ′−1 .H− B is at least 2π 3 . On the other hand, in the diamond with vertices …
Figure 14
Figure 14. Figure 14: Center of σ.H+ B lying above the axis of σ. consecutive pairs, the sides of the hexagon H have unit length. Furthermore, since the transla￾tions σ 2 and τ ′2 coincide, the isosceles triangles with vertices the centers of H − A , τ ′ .H− A , τ ′2 .H− A and H + B , σ.H+…
Figure 15
Figure 15. Figure 15: Cusp diagram around σ 2 .H+ B : a and b Since the hexagons in the Γ∞-orbit of H are not regular, no full-size horoball can lie in their interior. Thus, the only full-size horoballs tangent to H − A are H + B , τ ′±1 .H− A . It follows that η sends σ.H+ B to H + B , si…
Figure 16
Figure 16. Figure 16: Horoball packing for θ = π 2 Suppose that θ = 5π 6 . The cusp diagram contains four horoballs forming a square of size 1, namely H + B , τ ′ .H− A , τ ′2 .H− A , σ.H+ B ; see [PITH_FULL_IMAGE:figures/full_fig_p041_16.png]
Figure 17
Figure 17. Figure 17: , we obtain a horoball H of height 1 2 lying in the center of this square and tangent to the full-size horoballs centered at its vertices. In this case, we define O as the regular ideal octahedron whose vertices are the centers of H∞, H + B , τ ′ .H− A , τ ′2 .H− A , …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 2 canonical work pages

  1. [1]

    The noncompact hyperbolic 3-manifold of minimal volume.Proc

    Adams, C. The noncompact hyperbolic 3-manifold of minimal volume.Proc. Amer. Math. Soc.100 (1987), no. 4, 601–606

    1987

  2. [2]

    Volumes ofN-cusped hyperbolic 3-manifolds.J

    Adams, C. Volumes ofN-cusped hyperbolic 3-manifolds.J. London Math. Soc. (2)38 (1988), no. 3, 555–565

    1988

  3. [3]

    Waist size for cusps in hyperbolic 3-manifolds.Topology41 (2002), no

    Adams, C. Waist size for cusps in hyperbolic 3-manifolds.Topology41 (2002), no. 2, 257–270

    2002

  4. [4]

    Waist size for cusps in hyperbolic 3-manifolds II.Geom Dedicata203 (2019) 53–66

    Adams, C. Waist size for cusps in hyperbolic 3-manifolds II.Geom Dedicata203 (2019) 53–66

    2019

  5. [5]

    Systoles of hyperbolic 3-manifolds.Math

    Adams, C.; Reid, A. Systoles of hyperbolic 3-manifolds.Math. Proc. Camb. Philos. Soc.128 (2000), no. 1, 103–110

    2000

  6. [6]

    Systoles of hyperbolic 4-manifolds

    Agol, I. Systoles of hyperbolic 4-manifolds. Preprint arXiv:math/0612290

    work page Pith review arXiv

  7. [7]

    The minimal volume orientable hyperbolic 2-cusped 3-manifolds.Proc

    Agol, I. The minimal volume orientable hyperbolic 2-cusped 3-manifolds.Proc. Amer. Math. Soc.138 (2010), no. 10, 3723–3732

    2010

  8. [8]

    Disques extr´ emaux et surfaces modulaires.Ann

    Bavard, C. Disques extr´ emaux et surfaces modulaires.Ann. Fac. Sci. Toulouse Math.5 (1996), no. 2, 191–202

    1996

Show all 30 references
  1. [9]

    Systoles of hyperbolic manifolds.Algebr

    Belolipetsky, M.; Thomson, S. Systoles of hyperbolic manifolds.Algebr. Geom. Topol.11 (2011), no. 3, 1455–1469

    2011

  2. [10]

    Hyperplane sections in arithmetic hyperbolic manifolds.J

    Bergeron, N.; Haglund, F.; Wise, D. Hyperplane sections in arithmetic hyperbolic manifolds.J. Lond. Math. Soc. (2)83 (2011), no. 2, 431–448. 46 S. SABOURAU

    2011

  3. [11]

    Packing of spheres in spaces of constant curvature.Acta Math

    B¨ or´ oczky, K. Packing of spheres in spaces of constant curvature.Acta Math. Acad. Sci. Hung.32 (1978)), no. 3-4, 243–261

    1978

  4. [12]

    A small arithmetic hyperbolic three-manifold.Proc

    Chinburg, T. A small arithmetic hyperbolic three-manifold.Proc. Am. Math. Soc.100 (1987), 140–144

    1987

  5. [13]

    The arithmetic hyperbolic 3-manifold of smallest volume

    Chinburg, T.; Friedman, E.; Jones, K.; Reid, A. The arithmetic hyperbolic 3-manifold of smallest volume. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)30 (2001), no. 1, 1–40

    2001

  6. [14]

    SnapPy, a computer program for studying the geometry and topology of 3-manifolds, http://snappy.computop.org

    Culler, M.; Dunfield, N.;Goerner, M.; Weeks, J. SnapPy, a computer program for studying the geometry and topology of 3-manifolds, http://snappy.computop.org

  7. [15]

    The centered dual and the maximal injectivity radius of hyperbolic surfaces.Geom

    DeBlois, J. The centered dual and the maximal injectivity radius of hyperbolic surfaces.Geom. Topol.19 (2015), no. 2, 953–1014

    2015

  8. [16]

    Elementary geometry in hyperbolic space

    Fenchel, W. Elementary geometry in hyperbolic space. De Gruyter Stud. in Math. 11, de Gruyter, 1989

    1989

  9. [17]

    Hyperbolic 3-manifolds of low cusp volume

    Gabai, D.; Haraway, R.; Meyerhoff, R.; Thurston, N.; Yarmola, A. Hyperbolic 3-manifolds of low cusp volume. Preprint arXiv:2109.14570

  10. [18]

    Minimum volume cusped hyperbolic three-manifolds.J

    Gabai, D.; Meyerhoff, R.; Milley, P. Minimum volume cusped hyperbolic three-manifolds.J. Amer. Math. Soc.22 (2009), no. 4, 1157–1215

    2009

  11. [19]

    Exceptional hyperbolic 3-manifolds.Comment

    Gabai, D.; Trnkova, M. Exceptional hyperbolic 3-manifolds.Comment. Math. Helv.90 (2015), no. 3, 703–730

    2015

  12. [20]

    Constructing 1-cusped isospectral non-isometric hyperbolic 3-manifolds.J

    Garoufalidis, S.; Reid, A. Constructing 1-cusped isospectral non-isometric hyperbolic 3-manifolds.J. Topol. Anal.10 (2018), no. 1, 1–25

    2018

  13. [21]

    Systole et rayon interne des vari´ et´ es hyperboliques non compactes.Geom

    Gendulphe, M. Systole et rayon interne des vari´ et´ es hyperboliques non compactes.Geom. Topol.19 (2015), no. 4, 2039–2080

    2015

  14. [22]

    Filling Riemannian manifolds.J

    Gromov, M. Filling Riemannian manifolds.J. Differ. Geom.18 (1983), no. 1, 1–147

    1983

  15. [23]

    Systoles and intersystolic inequalitiesS´ emin

    Gromov, M. Systoles and intersystolic inequalitiesS´ emin. Congr.1, Soc. Math. France, (1996), 291–362

    1996

  16. [24]

    VOL3 and other exceptional hyperbolic 3-manifolds.Proc

    Jones, K.; Reid, A. VOL3 and other exceptional hyperbolic 3-manifolds.Proc. Am. Math. Soc.129 (2001), no. 7, 2175–2185

    2001

  17. [25]

    Many cusped hyperbolic 3-manifolds do not bound geometrically.Proc

    Kolpakov, A.; Reid, A..; Riolo, S. Many cusped hyperbolic 3-manifolds do not bound geometrically.Proc. Am. Math. Soc.148 (2020), no. 5, 2233–2243

    2020

  18. [26]

    Systoles and Dehn surgery for hyperbolic 3-manifolds.Algebr

    Lakeland, G.; Leininger, C. Systoles and Dehn surgery for hyperbolic 3-manifolds.Algebr. Geom. Topol.14 (2014), no. 3, 1441–1460

    2014

  19. [27]

    Sphere-packing and volume in hyperbolic 3-space.Comment

    Meyerhoff, R. Sphere-packing and volume in hyperbolic 3-space.Comment. Math. Helv.61 (1986), no. 2, 271–278

    1986

  20. [28]

    Foundations of hyperbolic manifolds

    Ratcliffe, J. Foundations of hyperbolic manifolds. Grad. Texts in Math. 149, Springer-Verlag, 1994

    1994

  21. [29]

    The geometry and topology of three-manifolds

    Thurston, W. The geometry and topology of three-manifolds. Lecture notes, Princeton University, 1978

    1978

  22. [30]

    On Marden’s universal constant of Fuchsian groups

    Yamada, A. On Marden’s universal constant of Fuchsian groups. II.J. Analyse Math.41 (1982), 234–248. Univ Paris Est Creteil, CNRS, LAMA, F-94010 Creteil, France Univ Gustave Eiffel, LAMA, F-77447 Marne-la-Vall´ee, France Email address:stephane.sabourau@u-pec.fr

    1982

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.