Pith. sign in

REVIEW 5 minor 38 references

Hyperbolic manifolds without positive spun triangulations

T0 review · 0 major / 5 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read The closed hyperbolic manifold Vol3 has no positive spun ideal triangulation about its shortest or second-shortest geodesic.

desk verdict First rigorous closed-manifold examples of missing positive spun triangulations, with clean algebraic certificates for Vol3's two shortest geodesics. read the letter →

arxiv 2607.08473 v1 pith:TQGRCTGT submitted 2026-07-09 math.GT

David Futer , Jessica S. Purcell , Saul Schleimer This is my paper · ORCID
classification math.GT MSC 57K3257M50
keywords hyperbolic3-manifoldsidealtriangulationsspunshapevarietyVol3DehnfillingChoicriterionanglestructures
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

A long-standing conjecture says every finite-volume hyperbolic three-manifold admits a decomposition into positively oriented ideal tetrahedra. For closed manifolds the natural analogue is a positive spun triangulation: tetrahedra that spin around a chosen simple closed geodesic and whose completion recovers the closed manifold. This paper produces the first rigorous examples of closed hyperbolic manifolds where no such positive spun triangulation exists for particular geodesics. The examples are Vol3 (the third-smallest closed hyperbolic three-manifold) spun about its systole and about a second-shortest geodesic. The argument applies Choi's smoothness criterion for shape varieties: at the candidate spun shapes the derivative of the log-holonomy of an auxiliary slope vanishes, so the shapes cannot be positive. The result supplies concrete evidence for the stronger conjecture that Vol3 admits no positive spun triangulation for any geodesic at all, and shows that certain volume-maximization strategies for proving existence must fail.

What carries the argument

Choi's criterion (Theorem 2.8 / Corollary 2.9): if a spun shape z lies in the shape variety of an ideal triangulation and the derivative of the log-holonomy of some boundary slope vanishes at z, then no retriangulation can make those shapes positive. The paper exhibits explicit algebraic equations for the shape varieties of m007 and m010, solves the holonomy equations for the relevant fillings, and verifies the vanishing condition by direct linear algebra.

What would settle it

Exhibit any ideal triangulation of the complement of either geodesic together with positive shape parameters whose holonomies recover the complete structure on Vol3; or show that the length spectrum of Vol3 contains a shorter geodesic than the filling cores used in the paper.

Watch

Extended reading notes

Core claim

The pairs (Vol3, shortest geodesic) and (Vol3, second-shortest geodesic) admit no positive spun ideal triangulation. Equivalently, the Dehn fillings m007(3,1) and m010(-1,2) have no positive spun triangulation. This is the first rigorous instance of a closed hyperbolic three-manifold that fails to possess a positive spun triangulation about a chosen geodesic.

Load-bearing premise

The claim that the Dehn-filling cores of m007(3,1) and m010(-1,2) are respectively a systole and a second-shortest geodesic of Vol3 rests on a length-spectrum computation performed in a three-fold cover that does admit a positive spun triangulation.

Editorial extensions

If this is right

  • Vol3 is a concrete candidate for a closed hyperbolic manifold that admits no positive spun triangulation for any geodesic.
  • Any proof strategy for the generalised Casson conjecture that relies only on maximising volume over angle polytopes and retriangulating must fail for the three census fillings o9_29517(1,1), o9_21590(-1,1) and o11_465181(1,1).
  • Numerical searches that locate 271 further closed-manifold pairs and 28 orbifold pairs with the same vanishing-holonomy signature become candidates for rigorous non-existence proofs by the same method.
  • Existence of positive spun triangulations is strictly stronger than existence of angle structures, even when the volume functional has no critical point inside the angle polytope.

Reading between the lines

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

  • If the stronger conjecture for Vol3 is true, then positivity of ideal triangulations cannot be expected for every closed hyperbolic three-manifold even after allowing spinning about an arbitrary geodesic.
  • The same vanishing criterion may obstruct positive spun triangulations for infinite families obtained by hyperbolic Dehn filling of higher-cusped manifolds that share the same algebraic shape equations.
  • Computational certification of hyperbolic structures that currently depends on positive spun triangulations will need alternative certificates (Dirichlet domains, verified covers, arithmetic methods) for manifolds in the Vol3 class.
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 / 5 minor

Summary. The paper establishes the first examples of pairs (N, γ) consisting of a closed hyperbolic 3-manifold N and a simple closed geodesic γ such that N-γ admits no positive spun ideal triangulation. The main theorem (Theorem 1.1) treats N = Vol3 = m007(3,1) with γ its systole or second-shortest geodesic. The proofs (Propositions 3.1 and 3.16) cut out the shape varieties of the SnapPy triangulations of m007 and m010 by explicit edge equations, adjoin the relevant Dehn-filling holonomy equations, reduce to algebraic relations (y^{2} + y + 1 = 0 and a quartic), exhibit slopes r for which dH(r) vanishes on the tangent space (via 3 imes3 determinants that reduce to zero after substitution), verify smoothness by non-vanishing of maximal minors, and invoke Choi’s Corollary 2.9. Length-spectrum checks in a three-fold cover that does admit a positive spun triangulation identify the filling cores as the claimed geodesics. Section 4 reports extensive numerical searches yielding 271 further manifold pairs and 28 orbifold pairs, plus three examples where the angle-structure polytope is non-empty.

Significance. If correct, the result supplies the first closed hyperbolic examples without positive spun triangulations and supplies concrete evidence for the long-standing conjecture that Vol3 itself admits none for any geodesic. The algebraic certificates are fully expanded, hand-checkable after Macaulay2 verification of smoothness, and free of free parameters; the length-spectrum arguments are independent of the non-existence claim because they are performed in a cover that does admit a positive spun triangulation. The computational census of further examples and the observation that certain angle polytopes are non-empty yet cannot contain a volume maximizer are valuable secondary contributions that rule out a natural approach to the generalised Casson conjecture.

minor comments (5)
  1. In the proof of Lemma 3.2 the three edge equations are written out fully and then two are retained; a one-sentence remark that the third is a consequence of the product of all three left-hand sides equalling 1 would make the reduction completely self-contained for a reader who does not open SnapPy.
  2. Lemma 3.5 and the analogous reduction for m010 both discard real or complete-structure solutions by volume considerations. Adding a short parenthetical that the volumes of the four retained solutions lie in a certified interval about ±Vol(Vol3) (already computed in the cover) would remove any residual doubt.
  3. The isosig of the positive spun triangulation of the three-fold cover is given only in the proof of Proposition 3.1; repeating it (or giving a SnapPy one-liner) in the proof of Proposition 3.16 would make both length-spectrum arguments independently reproducible.
  4. Section 4.1 describes the search criterion (4.2) but does not record the floating-point tolerance used to decide that a ratio is “real.” A single sentence stating the threshold (e.g., Im < 10^{-10}) would clarify the numerical evidence for the 271 pairs.
  5. The ancillary-file citation [10] appears only as “http://arxiv.org/”; a more precise arXiv identifier or DOI once the paper is posted would help future readers locate the lists of 271 + 28 examples.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: algebraic certificates for vanishing dH(r) are self-contained and Choi is external.

full rationale

The central non-existence claim (Theorem 1.1) is obtained by exhibiting explicit algebraic points of the shape varieties of the SnapPy triangulations of m007 and m010, verifying that a concrete slope r has dH(r)=0 on the tangent space (via 3x3 determinants that reduce to zero after substitution of the edge and holonomy relations), checking smoothness by non-vanishing of maximal minors, and invoking Choi's external Corollary 2.9. The residual identification that the filling cores are a systole and second-shortest geodesic is performed in an independent three-fold cover that does admit a positive spun triangulation; that computation does not feed back into the non-existence argument. Self-citations are limited to standard background (shape varieties, holonomy, essential triangulations) and do not force the result. No fitted parameters, self-definitional loops, or uniqueness theorems imported from the authors appear. Score 0 is therefore appropriate.

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

The argument rests on standard hyperbolic geometry (shape varieties, holonomy, developing maps), Choi's smoothness theorem, the SnapPy census triangulations, and the known identification of Vol3 with the listed fillings. No free parameters are fitted; the only external computational black boxes are SnapPy's gluing matrices and length-spectrum routines, both of which are independently verifiable.

assumptions (4)
  • domain assumption Choi's theorem: a positive point of the shape variety is a smooth point at which the derivatives dH(ri) form a basis of the cotangent space (Theorem 2.8).
    Invoked as the sole non-existence criterion (Corollary 2.9); proved in the cited reference [3].
  • domain assumption The SnapPy census triangulations of m007 and m010, together with their meridian-longitude holonomy matrices, correctly encode the edge and cusp equations.
    Used throughout Section 3 to write the explicit polynomials (3.3)–(3.4) and (3.17)–(3.18).
  • domain assumption m007(3,1) and m010(-1,2) are both homeomorphic to Vol3, and their filling cores are a systole and a second-shortest geodesic respectively.
    Established by prior literature [12,21] and re-verified via length spectra of a three-fold cover.
  • standard math Standard facts of hyperbolic geometry: developing maps, holonomy representations, and the correspondence between positive shapes and incomplete hyperbolic metrics that complete by spinning.
    Background material collected in Section 2 from Thurston, Neumann–Zagier, etc.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hyperbolic manifolds without positive spun triangulations." pith.science (2026). https://pith.science/paper/TQGRCTGT

@misc{pith2026260708473,
  author       = {Pith},
  title        = {Pith review of: Hyperbolic manifolds without positive spun triangulations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TQGRCTGT}},
  note         = {Machine review of arXiv:2607.08473}
}
read the original abstract

Using a result of Choi, we provide the first examples of pairs consisting of a closed hyperbolic three-manifold and a simple closed geodesic, such that there is no positive spun ideal triangulation for the manifold, spun about the chosen geodesic. In our first two examples, the closed manifold is the third manifold in the SnapPy census, also known as Vol3, and the geodesics are its systole and second systole. This provides evidence for the conjecture that Vol3 has no positive spun ideal triangulation for any choice of geodesic.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Benjamin A. Burton. The cusped hyperbolic census is complete.Trans. Amer. Math. Soc., to appear. doi:10.1090/tran/6767. [2]

    work page doi:10.1090/tran/6767

  2. [2]

    Callahan, Martin V

    Patrick J. Callahan, Martin V. Hildebrand, and Jeffrey R. Weeks. A census of cusped hyperbolic 3-manifolds.Math. Comp., 68(225):321–332, 1999.doi:10.1090/S0025-5718-99-01036-4. [2]

    work page doi:10.1090/s0025-5718-99-01036-4 1999

  3. [3]

    Positively oriented ideal triangulations on hyperbolic three-manifolds.Topology, 43(6):1345–1371, 2004.doi:10.1016/j.top.2004.02.002

    Young-Eun Choi. Positively oriented ideal triangulations on hyperbolic three-manifolds.Topology, 43(6):1345–1371, 2004.doi:10.1016/j.top.2004.02.002. [2, 5]

    work page doi:10.1016/j.top.2004.02.002 2004

  4. [4]

    Dunfield, Matthias Goerner, and Jeffrey R

    Marc Culler, Nathan M. Dunfield, Matthias Goerner, and Jeffrey R. Weeks. SnapPy, a computer program for studying the geometry and topology of 3-manifolds. Available athttp://snappy.computop.org(January 2025). [1]

    work page 2025

  5. [5]

    Constructing infinitely many geometric triangulations of the figure eight knot complement.Proc

    Blake Dadd and Aochen Duan. Constructing infinitely many geometric triangulations of the figure eight knot complement.Proc. Amer. Math. Soc., 144(10):4545–4555, 2016.doi:10.1090/proc/13076. [2]

    work page doi:10.1090/proc/13076 2016

  6. [6]

    Problems In Groups, Geometry, and Three-Manifolds

    Kelly Delp, Diane Hoffoss, and Jason Fox Manning. Problems in groups, geometry, and three-manifolds. arXiv:1512.04620, 2015. URL:https://arxiv.org/abs/1512.04620. [2]

    work page Pith review arXiv 2015

  7. [7]

    David B. A. Epstein and Robert C. Penner. Euclidean decompositions of noncompact hyperbolic manifolds.J. Differential Geom., 27(1):67–80, 1988. URL: http://projecteuclid.org/euclid.jdg/1214441650. [2]

    work page arXiv 1988

  8. [8]

    From angled triangulations to hyperbolic structures

    David Futer and Fran¸ cois Gu´ eritaud. From angled triangulations to hyperbolic structures. InInteractions between hyperbolic geometry, quantum topology and number theory, volume 541 ofContemp. Math., pages 159–182. Amer. Math. Soc., Providence, RI, 2011. [3, 4, 14, 15]

    work page 2011

Show all 38 references
  1. [9]

    David Futer, Emily Hamilton, and Neil R. Hoffman. Infinitely many virtual geometric triangulations.J. Topol., 15(4):2352–2388, 2022.doi:10.1112/topo.12271. [2]

    2022 doi

  2. [10]

    Purcell, and Saul Schleimer

    David Futer, Jessica S. Purcell, and Saul Schleimer. Ancillary files stored with the arXiv version of this paper. Available athttp://arxiv.org/. [13, 14]

  3. [11]

    Hyperbolic 3-manifolds of low cusp volume.Duke Math

    David Gabai, Robert Haraway, Robert Meyerhoff, Nathaniel Thurston, and Andrew Yarmola. Hyperbolic 3-manifolds of low cusp volume.Duke Math. J., to appear. arXiv:2109.14570. [2]

    arXiv

  4. [12]

    Robert Meyerhoff, and Nathaniel Thurston

    David Gabai, G. Robert Meyerhoff, and Nathaniel Thurston. Homotopy hyperbolic 3-manifolds are hyperbolic.Ann. of Math. (2), 157(2):335–431, 2003.doi:10.4007/annals.2003.157.335. [2, 11]

    2003 doi

  5. [13]

    Exceptional hyperbolic 3-manifolds.Comment

    David Gabai and Maria Trnkova. Exceptional hyperbolic 3-manifolds.Comment. Math. Helv., 90(3):703– 730, 2015.doi:10.4171/CMH/368. [2]

    2015 doi

  6. [14]

    Geodesic triangulations exist for cusped Platonic manifolds.New York J

    Matthias Goerner. Geodesic triangulations exist for cusped Platonic manifolds.New York J. Math., 23:1363–1367, 2017. URL:http://nyjm.albany.edu:8000/j/2017/23_1363.html. [2]

    2017

  7. [15]

    Grayson and Michael E

    Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available athttp://www2.macaulay2.com. [2, 8, 12]

  8. [16]

    On canonical triangulations of once-punctured torus bundles and two-bridge link complements.Geom

    Fran¸ cois Gu´ eritaud. On canonical triangulations of once-punctured torus bundles and two-bridge link complements.Geom. Topol., 10:1239–1284, 2006. With an appendix by David Futer. doi:10.2140/gt.2006. 10.1239. [2]

    2006 doi

  9. [17]

    Ham and Jessica S

    Sophie L. Ham and Jessica S. Purcell. Geometric triangulations and highly twisted links.Algebr. Geom. Topol., 23(3):1399–1462, 2023.doi:10.2140/agt.2023.23.1399. [2] 16 D. FUTER, J. PURCELL, AND S. SCHLEIMER

    2023 doi

  10. [18]

    A computer generated census of cusped hyperbolic 3-manifolds

    Martin Hildebrand and Jeffrey Weeks. A computer generated census of cusped hyperbolic 3-manifolds. InComputers and mathematics (Cambridge, MA, 1989), pages 53–59. Springer, New York, 1989. [2]

    1989

  11. [19]

    Personal communication, 2025

    Craig Hodgson. Personal communication, 2025. [2]

    2025

  12. [20]

    Verified computations for hyperbolic 3-manifolds.Exp

    Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin’ichi Oishi, and Akitoshi Takayasu. Verified computations for hyperbolic 3-manifolds.Exp. Math., 25(1):66–78, 2016. doi:10.1080/ 10586458.2015.1029599. [2, 11]

    2016

  13. [21]

    Jones and Alan W

    Kerry N. Jones and Alan W. Reid. Vol3 and other exceptional hyperbolic 3-manifolds.Proc. Amer. Math. Soc., 129(7):2175–2185, 2001.doi:10.1090/S0002-9939-00-05775-0. [2, 11]

    2001 doi

  14. [22]

    Connecting essential triangulations I: via 2–3 and 0–2 moves

    Tejas Kalelkar, Saul Schleimer, and Henry Segerman. Connecting essential triangulations I: via 2–3 and 0–2 moves. arXiv:2405.03539, 2024. URL:https://arxiv.org/abs/2405.03539. [6, 9]

    2024 arXiv

  15. [23]

    The complete 10-tetrahedra census of orientable cusped hyperbolic 3-manifolds

    Shana Yunsheng Li. The complete 10-tetrahedra census of orientable cusped hyperbolic 3-manifolds. arXiv:2512.02142, 2026. URL:https://arxiv.org/abs/2512.02142. [2]

    2026

  16. [24]

    Personal communication, 2026

    Shana Yunsheng Li. Personal communication, 2026. [2]

    2026

  17. [25]

    Geodesic ideal triangulations exist virtually.Proc

    Feng Luo, Saul Schleimer, and Stephan Tillmann. Geodesic ideal triangulations exist virtually.Proc. Amer. Math. Soc., 136(7):2625–2630, 2008.doi:10.1090/S0002-9939-08-09387-8. [2]

    2008 doi

  18. [26]

    Neumann and Jun Yang

    Walter D. Neumann and Jun Yang. Bloch invariants of hyperbolic 3-manifolds.Duke Math. J., 96(1):29– 59, 1999.doi:10.1215/S0012-7094-99-09602-3. [7]

    1999 doi

  19. [27]

    Neumann and Don Zagier

    Walter D. Neumann and Don Zagier. Volumes of hyperbolic three-manifolds.Topology, 24(3):307–332, 1985.doi:10.1016/0040-9383(85)90004-7. [3]

    1985 doi

  20. [28]

    Ideal triangulations of hyperbolic 3-manifolds.Boll

    Carlo Petronio. Ideal triangulations of hyperbolic 3-manifolds.Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8), 3(3):657–672, 2000. [1]

    2000

  21. [29]

    Negatively oriented ideal triangulations and a proof of Thurston’s hyperbolic Dehn filling theorem.Expo

    Carlo Petronio and Joan Porti. Negatively oriented ideal triangulations and a proof of Thurston’s hyperbolic Dehn filling theorem.Expo. Math., 18(1):1–35, 2000. [1, 2]

    2000

  22. [30]

    Purcell.Hyperbolic knot theory, volume 209 ofGraduate Studies in Mathematics

    Jessica S. Purcell.Hyperbolic knot theory, volume 209 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, [2020]©2020.doi:10.1090/gsm/209. [3, 4, 9]

    2020 doi

  23. [31]

    M. L. Sirotkina. On the triangulation of three-dimensional hyperbolic manifolds.Algebra i Analiz, 14(6):192–204, 2002. [2]

    2002

  24. [32]

    Thurston.The Geometry and Topology of Three-Manifolds

    William P. Thurston.The Geometry and Topology of Three-Manifolds. Princeton Univ. Math. Dept. Notes, 1979. Available at http://www.msri.org/communications/books/gt3m. [2, 3]

    1979

  25. [33]

    Degenerations of ideal hyperbolic triangulations.Math

    Stephan Tillmann. Degenerations of ideal hyperbolic triangulations.Math. Z., 272(3-4):793–823, 2012. doi:10.1007/s00209-011-0958-8. [3]

    2012 doi

  26. [34]

    Personal communication, 2026

    Maria Trnkova. Personal communication, 2026. [2]

    2026

  27. [35]

    An inequality for polyhedra and ideal triangulations of cusped hyperbolic 3-manifolds.Proc

    Masaaki Wada, Yasushi Yamashita, and Han Yoshida. An inequality for polyhedra and ideal triangulations of cusped hyperbolic 3-manifolds.Proc. Amer. Math. Soc., 124(12):3905–3911, 1996. URL: https: //doi-org/10.1090/S0002-9939-96-03563-0,doi:10.1090/S0002-9939-96-03563-0. [1]

    1996 doi

  28. [36]

    Computation of hyperbolic structures in knot theory

    Jeff Weeks. Computation of hyperbolic structures in knot theory. InHandbook of knot theory, pages 461–480. Elsevier B. V., Amsterdam, 2005.doi:10.1016/B978-044451452-3/50011-3. [3]

    2005 doi

  29. [37]

    Ideal tetrahedral decompositions of hyperbolic 3-manifolds.Osaka J

    Han Yoshida. Ideal tetrahedral decompositions of hyperbolic 3-manifolds.Osaka J. Math., 33(1):37–46,

  30. [38]

    URL:http://projecteuclid.org/euclid.ojm/1200786689. [1] Department of Mathematics, Temple University, Philadelphia, PA 19122, USA Email address:dfuter@temple.edu School of Mathematics, Monash University, Clayton, VIC 3800, Australia Email address:jessica.purcell@monash.edu Dep...

Pith tools

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