pith. sign in

arxiv: 2606.17335 · v1 · pith:FP7IK52Tnew · submitted 2026-06-15 · 🧮 math.GT

Mazur's knot and the Octahedron

Jack S. Calcut , Yangyang Du This is my paper

Pith reviewed 2026-06-27 01:36 UTC · model grok-4.3

classification 🧮 math.GT
keywords Mazur manifoldJester manifoldideal octahedronhyperbolic structureknot exteriorcontractible 4-manifoldboundary homeomorphismDehn filling
0
0 comments X

The pith

Mazur and Jester manifold boundaries are pairwise nonhomeomorphic regardless of orientation.

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

The paper gives Mazur's knot exterior in S1 times S2 a geometric model built from one regular ideal octahedron, linked to the Whitehead link exterior by Adams' theorem on thrice-punctured spheres. The same octahedral model covers the whole family of Jester manifolds. Hyperbolic Dehn filling together with results on systolic geodesics then shows that the resulting boundary surfaces are all distinct as manifolds, even after orientation reversal. This immediately implies that the compact contractible 4-manifolds bounded by these surfaces are likewise pairwise nonhomeomorphic. A reader cares because the argument supplies an explicit, computable way to tell these exotic 4-manifolds apart using only hyperbolic geometry.

Core claim

Mazur's knot exterior in S1×S2 admits a geometric description using a single regular ideal octahedron. The resulting hyperbolic structure is closely related to the Whitehead link exterior through Adams' theorem on thrice-punctured spheres. The same octahedral framework applies to the family of Jester manifolds introduced by Sparks. Using hyperbolic geometry, hyperbolic Dehn filling, and recent results on systolic geodesics, the boundaries of all Mazur and Jester manifolds are pairwise nonhomeomorphic, regardless of orientation. Consequently, the corresponding compact, contractible 4-manifolds are pairwise nonhomeomorphic.

What carries the argument

The regular ideal octahedral hyperbolic structure on the knot exteriors, which permits application of hyperbolic Dehn filling and systolic geodesic comparisons to distinguish the boundary surfaces.

If this is right

  • The compact contractible 4-manifolds bounded by these surfaces are pairwise nonhomeomorphic.
  • The distinction holds after reversing orientation on any boundary.
  • Hyperbolic invariants of the boundaries (systolic geodesics after filling) separate every pair in the infinite family.
  • The octahedral model supplies a uniform geometric reason that no two members of the family can bound homeomorphic 4-manifolds.

Where Pith is reading between the lines

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

  • The method could be tested on other knot exteriors in S1×S2 to see whether similar octahedral structures exist and produce further families of distinct contractible 4-manifolds.
  • If the octahedral description generalizes, it would give a practical way to decide homeomorphism questions for additional classes of contractible 4-manifolds whose boundaries arise from Dehn fillings.
  • The pairwise distinction implies that the set of Mazur-type and Jester-type contractible 4-manifolds is infinite and fully separated by boundary topology.

Load-bearing premise

The knot exteriors admit the claimed regular ideal octahedral hyperbolic structures, and the cited results on systolic geodesics and hyperbolic Dehn filling suffice to distinguish the resulting boundary surfaces.

What would settle it

An explicit homeomorphism (or an isometry after hyperbolic Dehn filling) between the boundaries of any two distinct Mazur or Jester manifolds, or a direct computation showing two such boundaries share identical systolic geodesic lengths.

Figures

Figures reproduced from arXiv: 2606.17335 by Jack S. Calcut, Yangyang Du.

Figure 1
Figure 1. Figure 1: Barry Mazur, Crete, 1964, photo courtesy of Gretchen Mazur, and Mazur’s knot K in S 1 × D2 ⊂ S 1 × S 2 . knot, Mazur constructed a sequence Mk, indexed by k ∈ Z, of smooth, compact 4-manifolds with boundary ∂Mk. Mazur showed that each Mk is contractible and that π1 (∂M−3) surjects onto the (2, 5, 7) hyperbolic triangle group. Thus, M−3 is a nontrivial compact, contractible 4-manifold. Two immediate questio… view at source ↗
Figure 2
Figure 2. Figure 2: Knot κ = S 1 × {∗} in S 1 × S 2 (left) and handle diagram for V (κ, k) (right). More generally, if κ meets some 2-sphere {∗} × S 2 transversely and exactly once, then the 3-dimensional light bulb theorem—see Rolfsen [Rol90, p. 257]—shows that κ is isotopic to S 1 × {∗} and V (κ, k) is again diffeomorphic to D4 . Thus, geometric winding number one forces triviality. For knots in S 1 × S 2 , it is classical … view at source ↗
Figure 3
Figure 3. Figure 3: Mazur’s knot K ⊂ S 1 × S 2 (left), handle diagram for Mazur’s 4- manifold Mk (middle), and surgery diagram for the boundary ∂Mk (right). Throughout, knots drawn around a central dot are understood to lie in S 1 × D2 ⊂ S 1 × S 2 . Winding around the dot corresponds to the S 1 -factor. 3. Mazur’s Knot Exterior and the Octahedron Adams [Ada85] proved the following remarkable theorem in the early 1980s. Theore… view at source ↗
Figure 4
Figure 4. Figure 4: Cutting the knot exterior X ⊂ S 1×S 2 along the thrice-punctured sphere Σ, permuting the two outer punctures, and regluing yields the link exterior W ⊂ S 1 × S 2 . punctures, and reglue to obtain the link exterior W ⊂ S 1×S 2 . The exterior of the outer link component is S 1 × D2 . Shrinking this exterior onto a neighborhood of its core curve yields [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Whitehead link exterior W, genus-2 handlebody obtained by cutting W along the thrice-punctured sphere S, and two 2-disks in the han￾dlebody. Cut W along S to obtain the 3-ball with two holes—a genus-2 handlebody—shown in [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: A regular Euclidean octahedron and the regular ideal hyperbolic octahedron [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Octahedral net for the Whitehead link exterior W. Identifying faces with matching labels recovers W. The yellow faces P and L glue to the totally geodesic thrice-punctured sphere S ⊂ W [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Jester knot J ⊂ S 1 × S 2 (left), handle diagram for Jester 4- manifold Nk (middle), and surgery diagram for the boundary ∂Nk (right). Let Y denote the exterior of J in S 1 × S 2 . Observe that Y is obtained from two copies of X by cutting them open along their copies of Σ and gluing together the resulting two 3-manifolds along their four copies of Σ. The result is Y containing two copies Σ1 and Σ2 of Σ as… view at source ↗
Figure 9
Figure 9. Figure 9: Jester knot exterior Y ⊂ S 1 × S 2 and thrice-punctured spheres Σ1 and Σ2. Adams’ gluing theorem [Ada85, Thm. 4.5] shows that Y is hyperbolic and vol (Y ) = 2 vol (X) = 7.32772 . . . which is twice the volume of the regular ideal octahedron. Since the gluings are performed along totally geodesic thrice-punctured spheres, the images Σ1 and Σ2 are totally geodesic and hence incompressible in Y . Hyperbolicit… view at source ↗
Figure 10
Figure 10. Figure 10: Equivalent but nonisotopic knots in S 1 × S 2 . Let r : S 2 → S 2 be a reflection, and let J denote the image of J under the orientation￾reversing diffeomorphism id × r of S 1 × S 2 . The following proposition shows that J ∗ and J are equivalent but not isotopic. Proposition 1. The knots J ∗ and J in S 1 ×S 2 are equivalent by an orientation-preserving diffeomorphism of S 1 × S 2 , but are not isotopic. P… view at source ↗
Figure 11
Figure 11. Figure 11: Three isotopies in S 1 × S 2 . • [PITH_FULL_IMAGE:figures/full_fig_p009_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Knot in S 1 × S 2 with two 2-spheres represented by arcs (left) and three-strand braid between those two 2-spheres. Now perform the three isotopies of S 1×S 2 shown schematically in [PITH_FULL_IMAGE:figures/full_fig_p009_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Three isotopies followed by a Gluck twist. The composition of those isotopies and the Gluck twist is an orientation-preserving diffeomorphism of S 1 × S 2 carrying J to J ∗ , as desired. Finally, suppose, by way of contradiction, that J ∗ and J are isotopic. Aceto et al. [ABD+25, Thm. 1.5] proved that a knot in S 1 ×S 2 with odd algebraic winding number that is isotopic to its image under the Gluck twist … view at source ↗
read the original abstract

Mazur's knot exterior in $S^1\times S^2$ admits a geometric description using a single regular ideal octahedron. The resulting hyperbolic structure is closely related to the Whitehead link exterior through Adams' theorem on thrice-punctured spheres. The same octahedral framework applies to the family of Jester manifolds introduced by Sparks. Using hyperbolic geometry, hyperbolic Dehn filling, and recent results on systolic geodesics, we prove that the boundaries of all Mazur and Jester manifolds are pairwise nonhomeomorphic, regardless of orientation. Consequently, the corresponding compact, contractible $4$-manifolds are pairwise nonhomeomorphic.

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 manuscript claims that Mazur's knot exterior in S¹×S² admits a hyperbolic structure decomposed into a single regular ideal octahedron, related to the Whitehead link exterior via Adams' theorem on thrice-punctured spheres. The same octahedral framework is applied to the family of Jester manifolds. Using hyperbolic geometry, Dehn filling, and systolic geodesic invariants, the paper proves that the boundaries of all Mazur and Jester manifolds are pairwise nonhomeomorphic (including under orientation reversal), implying the associated compact contractible 4-manifolds are pairwise nonhomeomorphic.

Significance. If the central claim holds, the work supplies a uniform geometric method to distinguish these contractible 4-manifolds via their boundary 3-manifolds, extending known techniques from hyperbolic knot theory and systolic geometry. The approach builds directly on Adams' theorem and recent systolic results without introducing new ad-hoc parameters, which strengthens its applicability to classification questions in 4-manifold topology.

minor comments (3)
  1. The abstract and introduction should explicitly cite the specific recent papers on systolic geodesics invoked in the proof method (currently referred to only as 'recent results').
  2. Section 2 (or wherever the octahedral decomposition is constructed) would benefit from a diagram or explicit coordinate description of the regular ideal octahedron to make the relation to the Whitehead link via Adams' theorem easier to follow.
  3. The statement that the structures are 'closely related' to the Whitehead link should be quantified by stating the precise Dehn filling parameters or cusp identifications used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The report contains no enumerated major comments, so we have no specific points to address point-by-point. We note that the significance assessment aligns with the manuscript's goals.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds by assigning regular ideal octahedral hyperbolic structures to the knot exteriors (via Adams' thrice-punctured sphere theorem relating them to the Whitehead link), then applying hyperbolic Dehn filling and external systolic geodesic invariants to separate the resulting boundary 3-manifolds. All load-bearing distinctions rest on cited external results rather than any self-definition, fitted parameter renamed as prediction, or self-citation chain internal to the paper. The argument is therefore self-contained against independent mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard results from hyperbolic geometry and 3-manifold topology with no free parameters, ad-hoc axioms, or invented entities introduced.

axioms (1)
  • standard math Adams' theorem on thrice-punctured spheres and recent results on systolic geodesics hold and apply to the manifolds in question.
    Invoked in the abstract to relate the octahedral structure to the Whitehead link and to distinguish boundaries.

pith-pipeline@v0.9.1-grok · 5623 in / 1246 out tokens · 37823 ms · 2026-06-27T01:36:36.687006+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

35 extracted references · 22 canonical work pages

  1. [1]

    and Park, JungHwan and Ray, Arunima , title =

    Aceto, Paolo and Bregman, Corey and Davis, Christopher W. and Park, JungHwan and Ray, Arunima , title =. arXiv preprint arXiv:2007.05796 , year =

    Pith/arXiv arXiv 2007

  2. [2]

    , TITLE =

    Adams, Colin C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1999666 , URL =

    work page doi:10.2307/1999666 1985

  3. [3]

    Agol, Ian , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0002-9939-10-10364-5 , URL =

    work page doi:10.1090/s0002-9939-10-10364-5 2010

  4. [4]

    Akbulut, Selman , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1977 , NUMBER =. doi:10.1017/S0305004100053718 , URL =

    work page doi:10.1017/s0305004100053718 1977

  5. [5]

    2007, Gravitational Waves: Volume 1: Theory and Experiments , 10.1093/acprof:oso/9780198570745.001.0001

    Akbulut, Selman , TITLE =. 2016 , PAGES =. doi:10.1093/acprof:oso/9780198784869.001.0001 , URL =

    work page doi:10.1093/acprof:oso/9780198784869.001.0001 2016

  6. [6]

    Akbulut, Selman and Karakurt, Ca gri , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0002-9939-2014-12149-6 , URL =

    work page doi:10.1090/s0002-9939-2014-12149-6 2014

  7. [7]

    Michigan Math

    Akbulut, Selman and Kirby, Robion , TITLE =. Michigan Math. J. , FJOURNAL =. 1979 , NUMBER =

    1979

  8. [8]

    and Guilbault, Craig R

    Ancel, Fredric D. and Guilbault, Craig R. , TITLE =. Pacific J. Math. , FJOURNAL =. 1995 , NUMBER =

    1995

  9. [9]

    Ancel and Pete Sparks , title =

    Fredric D. Ancel and Pete Sparks , title =. arXiv preprint arXiv:1803.00644 , year =

    Pith/arXiv arXiv

  10. [10]

    , TITLE =

    Dunfield, Nathan M. , TITLE =. Characters in low-dimensional topology , SERIES =. [2020] 2020 , ISBN =. doi:10.1090/conm/760/15289 , URL =

    work page doi:10.1090/conm/760/15289 2020

  11. [11]

    2012 , PAGES =

    Farb, Benson and Margalit, Dan , TITLE =. 2012 , PAGES =

    2012

  12. [12]

    and Schleimer, Saul , title =

    Futer, David and Purcell, Jessica S. and Schleimer, Saul , title =. Journal of Computational Geometry , year =

  13. [13]

    Gabai, David , TITLE =. J. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jtopol/jtr010 , URL =

    work page doi:10.1112/jtopol/jtr010 2011

  14. [14]

    and Stipsicz, Andr\'as I

    Gompf, Robert E. and Stipsicz, Andr\'as I. , TITLE =. 1999 , PAGES =. doi:10.1090/gsm/020 , URL =

    work page doi:10.1090/gsm/020 1999

  15. [15]

    and Kerckhoff, Steven P

    Hodgson, Craig D. and Kerckhoff, Steven P. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2005 , NUMBER =. doi:10.4007/annals.2005.162.367 , URL =

    work page doi:10.4007/annals.2005.162.367 2005

  16. [16]

    , TITLE =

    Hoste, Jim and Przytycki, J\'ozef H. , TITLE =. Math. Z. , FJOURNAL =. 1995 , NUMBER =. doi:10.1007/BF02572603 , URL =

    work page doi:10.1007/bf02572603 1995

  17. [17]

    , TITLE =

    Laudenbach, F. , TITLE =. Compositio Math. , FJOURNAL =. 1979 , NUMBER =

    1979

  18. [18]

    Matveev, Sergei and Polyak, Michael , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2009 , NUMBER =. doi:10.1142/S021821650900721X , URL =

    work page doi:10.1142/s021821650900721x 2009

  19. [19]

    Mazur, Barry , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1961 , PAGES =. doi:10.2307/1970288 , URL =

    work page doi:10.2307/1970288 1961

  20. [20]

    and Zagier, Don , TITLE =

    Neumann, Walter D. and Zagier, Don , TITLE =. Topology , FJOURNAL =. 1985 , NUMBER =. doi:10.1016/0040-9383(85)90004-7 , URL =

    work page doi:10.1016/0040-9383(85)90004-7 1985

  21. [21]

    Newman, M. H. A. , TITLE =. Proc. Nat. Acad. Sci. U.S.A. , FJOURNAL =. 1948 , PAGES =. doi:10.1073/pnas.34.5.193 , URL =

    work page doi:10.1073/pnas.34.5.193 1948

  22. [22]

    Poenaru, Valentin , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1960 , PAGES =

    1960

  23. [23]

    , date-added =

    Ratcliffe, John G. , TITLE =. [2019] 2019 , PAGES =. doi:10.1007/978-3-030-31597-9 , URL =

    work page doi:10.1007/978-3-030-31597-9 2019

  24. [24]

    Topology of low-dimensional manifolds (

    Riley, Robert , TITLE =. Topology of low-dimensional manifolds (. 1979 , ISBN =

    1979

  25. [25]

    Riley, Robert , TITLE =. Expo. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1016/j.exmath.2013.01.003 , URL =

    work page doi:10.1016/j.exmath.2013.01.003 2013

  26. [26]

    1990 , PAGES =

    Rolfsen, Dale , TITLE =. 1990 , PAGES =

    1990

  27. [27]

    Saveliev, Nikolai , TITLE =. Math. Res. Lett. , FJOURNAL =. 2003 , NUMBER =. doi:10.4310/MRL.2003.v10.n6.a5 , URL =

    work page doi:10.4310/mrl.2003.v10.n6.a5 2003

  28. [28]

    Sparks, Peter , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/agt.2018.18.2131 , URL =

    work page doi:10.2140/agt.2018.18.2131 2018

  29. [29]

    Thurston , title =

    William P. Thurston , title =. 1980 , howpublished =

    1980

  30. [30]

    , TITLE =

    Thurston, William P. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1982 , NUMBER =. doi:10.1090/S0273-0979-1982-15003-0 , URL =

    work page doi:10.1090/s0273-0979-1982-15003-0 1982

  31. [31]

    , TITLE =

    Thurston, William P. , TITLE =. 1997 , PAGES =

    1997

  32. [32]

    Wielenberg, Norbert , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1978 , NUMBER =. doi:10.1017/S0305004100055250 , URL =

    work page doi:10.1017/s0305004100055250 1978

  33. [33]

    J. H. C. Whitehead , title =. The Quarterly Journal of Mathematics , volume =. 1935 , doi =

    1935

  34. [34]

    Zeeman, E. C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1962 , PAGES =. doi:10.2307/1970274 , URL =

    work page doi:10.2307/1970274 1962

  35. [35]

    Zeeman, E. C. , TITLE =. Topology , FJOURNAL =. 1964 , PAGES =. doi:10.1016/0040-9383(63)90014-4 , URL =

    work page doi:10.1016/0040-9383(63)90014-4 1964