Pith. sign in

REVIEW 2 major objections 4 minor 51 references

A fibered knot's ribbon-concordance minimality is equivalent to the minimality of every link formed by braid-closing around it.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 03:01 UTC pith:UAJURWVI

load-bearing objection A plausible and interesting new theorem on ribbon-concordance-minimal links, but the forward direction depends on an unproved 4-dimensional 'half lives, half dies' assertion. the 2 major comments →

arxiv 2607.14030 v1 pith:UAJURWVI submitted 2026-07-15 math.GT

Braid closure union braid axis is ribbon concordance minimal

Benjamin Daniels This is my paper
classification math.GT MSC 57K1057K18
keywords ribbon concordanceribbon concordance minimallink Floer homologybraid closurebraid axisfibered knotThurston norminfinite cyclic covering
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Ribbon concordance minimal links are the irreducible elements of the partial order on links given by ribbon concordance: a link is minimal if no genuinely different link can ribbon-concord to it. The paper proves a characterization: a fibered knot K is ribbon-concordance minimal if and only if, for every braid closure β̂ in the complement of K, the union K∪β̂ is also ribbon-concordance minimal. The forward direction says that braiding extra components around a 'rigid' knot cannot create a link that admits a nontrivial ribbon reduction; the reverse says that if K can be ribbon-reduced, then many braided unions inherit a nontrivial reduction. A corollary shows that any link in S^3 can be turned into a ribbon-concordance minimal link by adding one unknotted component that serves as a braid axis. The proof uses link Floer homology to detect braid-axis structure, together with classical arguments about infinite cyclic covers.

Core claim

On its own terms, the paper establishes that braid-axis structure is preserved under ribbon concordance whenever the axis is a minimal fibered knot. Precisely, if L1 = β̂1 ∪ K1 with K1 fibered and minimal, and L0 is ribbon concordant to L1 with K0 mapping to K1, then K0 is fibered, is isomorphic to K1, and L0\K0 is a braid closure of the same index. The proof detects this through link Floer homology: for an n-component link with distinguished component K, the rank of the top multi-Alexander graded piece is at least 2^{n−1}, with equality exactly when the remaining components form a braid closure; this rank equality is monotone under ribbon concordance, forcing equality. A half-lives-half-die

What carries the argument

The load-bearing tool is link Floer homology and its associated polytope. For a link L with a distinguished component K, the top nonvanishing multi-Alexander grading m_K — computed by slicing the dual Thurston norm ball by a coordinate hyperplane — satisfies rank of the graded piece at least 2^{n−1}. Equality holds exactly when L\K is a braid closure in the complement of K. This rank bound is proved from the polytope description 2P(L) = B_* + [−1,1]^n, and the equality characterization is imported from a cited result. The rank equality is preserved under ribbon concordance by an injection theorem for link Floer homology, which makes the braid-axis property descend. The other half of the proo

Load-bearing premise

The forward direction leans on an unproved extension of a classical half-lives-half-dies lemma from knot exteriors to link exteriors, and on a cited equality-characterization result whose reference appears misattributed; if either gives way, the biconditional collapses.

What would settle it

Explicitly compute the second homology of the infinite cyclic cover for a concrete ribbon concordance between two-component links following the paper's construction; if H_2 of that cover is nonzero, the claimed extension of the half-lives-half-dies lemma fails and the forward direction is false.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If K is a fibered ribbon-concordance minimal knot, then K∪β̂ is minimal for every braid closure β̂ in S^3\K.
  • Every link L in S^3 can be made ribbon-concordance minimal by adding a single unknotted component U that acts as a braid axis for L (by Alexander's theorem).
  • The property of being a braid axis is downward closed under ribbon concordance in this setting: any ribbon predecessor of such a union is again a braid closure of the same index around the same minimal fibered knot.
  • The result gives a positive answer to a strong form of Conjecture 7.6 from Dunkerley's paper, providing a general construction of minimal links.
  • If a fibered knot is not minimal, then at least one braid closure around it yields a non-minimal link; the proof actually produces such closures from any nontrivial ribbon concordance ending at K.

Where Pith is reading between the lines

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

  • The construction suggests a way to generate many minimal links from the known abundance of minimal fibered knots, potentially giving a rich testing ground for invariants that obstruct ribbon concordance.
  • The reverse direction hints at a quantitative refinement: the braid closures for which K∪β̂ is non-minimal might serve as a 'witness' to how far K is from being minimal, possibly tied to compressions of fiber monodromy.
  • A natural extension is to ask whether the biconditional persists for fibered components that are not knots, or in 3-manifolds with open book decompositions.
  • The equality-case rank classification is a strong rigidity statement that could be used to detect braid axes in broader settings via similar polytope slicing arguments.

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 / 4 minor

Summary. The paper studies ribbon concordance minimality for links. The main theorem (Theorem 1.0.1) states that a fibered knot K in S^3 is ribbon concordance minimal if and only if for every braid closure β̂ in S^3 \ K, the link K ∪ β̂ is ribbon concordance minimal. The forward direction is proved via a lemma showing that the braid-axis property is inherited under ribbon concordance when the axis knot is fibered and minimal, followed by a Gordon-style argument with infinite cyclic covers; the reverse direction constructs a ribbon concordance between the augmented links from a given ribbon concordance of the fibered knots. A corollary asserts that any link L can be made ribbon concordance minimal by adding a single unknotted component linked with L.

Significance. If correct, the theorem gives a very general construction of ribbon concordance minimal links from minimal fibered knots, and the corollary answers a strong form of Conjecture 7.6 of Dunkerley. The proof combines substantial recent technology: Zemke's injection, Ozsváth–Szabó duality with the Thurston norm, and a braid-axis detection result. The standalone Proposition 3.0.1, relating the top Alexander grading to a surface minimization problem and to a rank bound, is a useful contribution in its own right. The paper is clearly organized and the overall strategy is attractive, but the forward direction contains a serious unproved topological assertion.

major comments (2)
  1. [§3, proof of Theorem 1.0.1 (⇒)] The forward direction rests on two unsupported assertions about the infinite cyclic cover Ỹ of Y=(S^3×I)\νR. (i) 'the first paragraph of Lemma 3.2 in [Gor81] carries through exactly to give H_2(Ỹ;Z)=0' is asserted for a link concordance; Gordon's lemma is for knots, and the extension is not formal because the cover uses only the K-meridian. (ii) The 'half lives, half dies' equality (1/2)dim H_1(∂Ỹ;Q)=dim H_1(∂Ỹ;Q)-dim H_1(Ỹ;Q) is stated as a consequence of Milnor duality. That statement is false for general 4-manifolds W with boundary (W=S^1×D^3 gives dim im(H_1(∂W)→H_1(W))=1, not 1/2). A proof specific to ribbon-concordance exteriors is required. These steps feed directly into the five-lemma conclusion π1(X1)≅π1(Y), so they are load-bearing.
  2. [Proposition 3.0.1(b)] The 'if and only if' rank equality is attributed to 'precisely Proposition 1 of [Mar22]', but [Mar22] is Gage Martin, 'Khovanov homology detects T(2,6)', which does not state a braid-axis detection theorem for link Floer homology. The citation appears to be incorrect. Since (b) is used in Lemma 3.0.3 to conclude that L0\K0 is a braid closure, the equality case must either be proved or correctly referenced.
minor comments (4)
  1. [Lemma 3.0.3 proof] In the displayed chain, 'rank \HF L(L, mK1)' should read 'rank \HF L(L1, mK1)'.
  2. [§2.2] The notation '\HF L(L, ai)' is introduced but not used later; it should be '\HF L(L,a_i)' or be removed.
  3. [Proposition 3.0.1(a) proof] The phrase 'We can cap off these curves in S^3\ν(L\K)' is confusing, since the curves lie on ∂ν(L\K); capping them off would require filling the solid tori. The intended surgery is clear, but it should be stated precisely.
  4. [References] There is no reference for the braid-axis detection theorem other than the mistitled [Mar22]; cf. Major Comment 2.

Circularity Check

0 steps flagged

No circularity found; the theorem is derived from independent external results.

full rationale

The proof of Theorem 1.0.1 does not reduce to its own inputs by construction. The forward direction invokes Zemke's grading-preserving injection (Theorem 2.2.1), the Ozsvath-Szabo Thurston norm / link Floer polytope theorem, Martin's braid-axis detection result, Gordon's link-group and transfinite nilpotence arguments, Milnor's duality, and Waldhausen's rigidity theorem. None of these citations is self-referential: the author is not citing his own prior work, and no cited result assumes Theorem 1.0.1. Lemma 3.0.3 is a genuine deduction from these ingredients, and the use of the hypothesis that K is ribbon concordance minimal is exactly the assumption, not a hidden restatement of the conclusion. The reverse direction constructs an explicit ribbon concordance and then uses the same external injection theorem to derive a contradiction, rather than assuming the link is non-minimal. The paper does not fit any parameter to the links it studies and then call the fit a prediction. The only substantive concerns are mathematical correctness issues, not circularity: the extension of Gordon's Lemma 3.2 to links and the 4-dimensional 'half lives, half dies' equality are asserted rather than proved, and Proposition 3.0.1(b) cites [Mar22] in a way that may be misreferenced. These would affect the validity of the proof if they fail, but they are not instances of a derivation being equivalent to its input by definition or by self-citation. Accordingly, the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The argument is built on established theorems in 3- and 4-manifold topology and Heegaard-Floer theory; no new axioms, entities, or fitted parameters are introduced.

axioms (8)
  • standard math Link Floer homology is functorial for ribbon concordances and gives a grading-preserving injection (Zemke, Thm 2.2.1)
    Used in Lemma 3.0.3 and main proof to compare m_K gradings.
  • standard math OS08 duality: 2P(L) = B_{x^*} + [-1,1]^n for links without split unknotted components
    Used in Prop 3.0.1(a),(b).
  • standard math Braid axis detection: rank \HF L(L,m_K)=2^{n-1} iff L\K is a braid closure (cited to Prop 1 of [Mar22])
    Key equality in Lemma 3.0.3 and forward direction; the citation appears to be misattributed.
  • domain assumption Gordon's Lemma 3.2 for the exterior of a ribbon concordance: H_2 of the infinite cyclic cover is zero and the boundary homology satisfies the stated dimensions
    Asserted to 'carry through exactly' from knots to links in the forward direction proof; not demonstrated.
  • standard math 4-manifold 'half lives, half dies' with Milnor duality for infinite cyclic covers
    Used to compute dim H_1(Ỹ); version and hypotheses not stated.
  • standard math Alexander's theorem: every link is a closed braid around an unknot
    Used in Corollary 1.0.2.
  • standard math If K' ≤ K and K is fibered then K' is fibered ([Sil92],[Koc06])
    Used in the reverse direction.
  • standard math Waldhausen's theorem that homotopy equivalences of Haken link complements are induced by homeomorphisms
    Used in forward direction to conclude L_0 ≅ L_1.

pith-pipeline@v1.3.0-alltime-deepseek · 8431 in / 45074 out tokens · 362301 ms · 2026-08-02T03:01:01.744690+00:00 · methodology

0 comments
read the original abstract

We show that a ribbon concordance minimal fibered knot $K$ in $S^3$ can generate ribbon concordance minimal links by the addition of any braid closure in $S^3 \setminus K$. As a corollary, we show that any link $L$ in $S^3$ may be made ribbon concordance minimal by adding a single unknot linked with $L$. Our proofs use link Floer homology together with classical techniques.

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

51 extracted references · 22 canonical work pages

  1. [1]

    2021 , PAGES =

    Kim, Juhyun , TITLE =. 2021 , PAGES =

    2021

  2. [2]

    Elisenda and Licata, Anthony M

    Grigsby, J. Elisenda and Licata, Anthony M. and Wehrli, Stephan M. , TITLE =. Compos. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/S0010437X17007540 , URL =

    doi:10.1112/s0010437x17007540 2018

  3. [3]

    Xie, Yi , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107864 , URL =

    arXiv 2021

  4. [4]

    Xie, Yi and Zhang, Boyu , TITLE =. J. Differential Geom. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/jdg/1749496718 , URL =

    arXiv 2025

  5. [5]

    Elisenda and Ni, Yi , TITLE =

    Grigsby, J. Elisenda and Ni, Yi , TITLE =. Math. Res. Lett. , FJOURNAL =. 2014 , NUMBER =. doi:10.4310/MRL.2014.v21.n6.a4 , URL =

    work page doi:10.4310/mrl.2014.v21.n6.a4 2014

  6. [6]

    Gordon, C. McA. , TITLE =. Math. Ann. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01458281 , URL =

    work page doi:10.1007/bf01458281 1981

  7. [7]

    , TITLE =

    Milnor, John W. , TITLE =. Conference on the. 1968 , MRCLASS =

    1968

  8. [8]

    Waldhausen, Friedhelm , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970594 , URL =

    doi:10.2307/1970594 1968

  9. [9]

    arXiv preprint , YEAR =

    Sun, Brian , TITLE =. arXiv preprint , YEAR =

  10. [10]

    , TITLE =

    Dunkerley, Gary D. , TITLE =. arXiv preprint , YEAR =

  11. [11]

    arXiv preprint , YEAR =

    Binns, Fraser and Dey, Subhankar , TITLE =. arXiv preprint , YEAR =

  12. [12]

    Pacific J

    Binns, Fraser , TITLE =. Pacific J. Math. , FJOURNAL =. 2026 , NUMBER =. doi:10.2140/pjm.2026.340.1 , URL =

    work page doi:10.2140/pjm.2026.340.1 2026

  13. [13]

    Martin, Gage , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2023 , NUMBER =. doi:10.1142/S0218216522500882 , URL =

    work page doi:10.1142/s0218216522500882 2023

  14. [14]

    Michael , TITLE =

    Daemi, Aliakbar and Lidman, Tye and Vela-Vick, David Shea and Wong, C.-M. Michael , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108580 , URL =

    arXiv 2022

  15. [15]

    Levine, Adam Simon and Zemke, Ian , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/blms.12303 , URL =

    work page doi:10.1112/blms.12303 2019

  16. [16]

    Agol, Ian , TITLE =. Commun. Am. Math. Soc. , FJOURNAL =. 2022 , PAGES =. doi:10.1090/cams/15 , URL =

    work page doi:10.1090/cams/15 2022

  17. [17]

    , TITLE =

    Gilmer, Patrick M. , TITLE =. Topology Appl. , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0166-8641(84)90016-6 , URL =

    work page doi:10.1016/0166-8641(84)90016-6 1984

  18. [18]

    Zemke, Ian , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.190.3.5 , URL =

    doi:10.4007/annals.2019.190.3.5 2019

  19. [19]

    and Sivek, Steven , TITLE =

    Baldwin, John A. and Sivek, Steven , TITLE =. arXiv preprint , YEAR =

  20. [20]

    and Hanselman, John and Sivek, Steven , TITLE =

    Baldwin, John A. and Hanselman, John and Sivek, Steven , TITLE =. arXiv preprint , YEAR =

  21. [21]

    arXiv preprint , YEAR =

    Agol, Ian and Ren, Qiuyu , TITLE =. arXiv preprint , YEAR =

  22. [22]

    and Przytycki, J\'ozef H

    Asaeda, Marta M. and Przytycki, J\'ozef H. and Sikora, Adam S. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.1177 , URL =

    doi:10.2140/agt.2004.4.1177 2004

  23. [23]

    Duke Math

    Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =

    doi:10.1215/s0012-7094-00-10131-7 2000

  24. [24]

    [2026] 2026 , PAGES =

    K3: a new problem list in low-dimensional topology , SERIES =. [2026] 2026 , PAGES =. doi:10.1090/surv/295 , URL =

    doi:10.1090/surv/295 2026

  25. [25]

    arXiv preprint , YEAR =

    Daniels, Benjamin and Zhang, Melissa , TITLE =. arXiv preprint , YEAR =

  26. [26]

    Topology Appl

    Miyazaki, Katura , TITLE =. Topology Appl. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.topol.2020.107071 , URL =

    arXiv 2020

  27. [27]

    Wang, Joshua , TITLE =. Geom. Topol. , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/gt.2022.26.2941 , URL =

    work page doi:10.2140/gt.2022.26.2941 2022

  28. [28]

    and Gong, Sherry , TITLE =

    Dunfield, Nathan M. and Gong, Sherry , TITLE =. arXiv preprint , YEAR =

  29. [29]

    and Levine, Adam Simon and Sarkar, Sucharit , TITLE =

    Baldwin, John A. and Levine, Adam Simon and Sarkar, Sucharit , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2017 , NUMBER =. doi:10.1142/S0218216517400041 , URL =

    work page doi:10.1142/s0218216517400041 2017

  30. [30]

    Lipshitz, Robert and Sarkar, Sucharit , TITLE =. Amer. J. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1353/ajm.2022.0043 , URL =

    arXiv 2022

  31. [31]

    Kronheimer, P. B. and Mrowka, T. S. , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2011 , PAGES =. doi:10.1007/s10240-010-0030-y , URL =

    doi:10.1007/s10240-010-0030-y 2011

  32. [32]

    , TITLE =

    Street, Ethan J. , TITLE =. 2012 , PAGES =

    2012

  33. [33]

    Viro, Oleg , TITLE =. Fund. Math. , FJOURNAL =. 2004 , PAGES =. doi:10.4064/fm184-0-18 , URL =

    work page doi:10.4064/fm184-0-18 2004

  34. [34]

    , TITLE =

    Roberts, Lawrence P. , TITLE =. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/gt.2013.17.413 , URL =

    work page doi:10.2140/gt.2013.17.413 2013

  35. [35]

    arXiv preprint , YEAR =

    Zhang, Melissa , TITLE =. arXiv preprint , YEAR =

  36. [36]

    Miyazaki, Katura , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1998 , NUMBER =. doi:10.1090/S0002-9939-98-04352-4 , URL =

    work page doi:10.1090/s0002-9939-98-04352-4 1998

  37. [37]

    Bar-Natan, Dror , TITLE =. Geom. Topol. , FJOURNAL =. 2005 , PAGES =. doi:10.2140/gt.2005.9.1443 , URL =

    doi:10.2140/gt.2005.9.1443 2005

  38. [38]

    Milnor, John , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1954 , PAGES =. doi:10.2307/1969685 , URL =

    doi:10.2307/1969685 1954

  39. [39]

    , TITLE =

    Hoste, Jim and Przytycki, J\'ozef H. , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 1995 , NUMBER =. doi:10.1142/S021821659500020X , URL =

    work page doi:10.1142/s021821659500020x 1995

  40. [40]

    , TITLE =

    Wehrli, Stephan M. , TITLE =. Quantum Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.4171/QT/3 , URL =

    work page doi:10.4171/qt/3 2010

  41. [41]

    Martin, Gage , TITLE =. Math. Res. Lett. , FJOURNAL =. 2022 , NUMBER =. doi:10.4310/mrl.2022.v29.n3.a8 , URL =

    work page doi:10.4310/mrl.2022.v29.n3.a8 2022

  42. [42]

    Ozsv\'ath, Peter and Szab\'o, Zolt\'an , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/agt.2008.8.615 , URL =

    doi:10.2140/agt.2008.8.615 2008

  43. [43]

    and Grigsby, J

    Baldwin, John A. and Grigsby, J. Elisenda , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0002-9939-2015-12482-3 , URL =

    work page doi:10.1090/s0002-9939-2015-12482-3 2015

  44. [44]

    Quantum Topol

    Kang, Sungkyung , TITLE =. Quantum Topol. , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/qt/162 , URL =

    work page doi:10.4171/qt/162 2022

  45. [45]

    Ozsv\'ath, Peter and Szab\'o, Zolt\'an , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/S0894-0347-08-00586-9 , URL =

    work page doi:10.1090/s0894-0347-08-00586-9 2008

  46. [46]

    arXiv preprint , YEAR =

    Kim, Juhyun , TITLE =. arXiv preprint , YEAR =

  47. [47]

    Pacific J

    Boninger, Joe , TITLE =. Pacific J. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.2140/pjm.2025.335.81 , URL =

    work page doi:10.2140/pjm.2025.335.81 2025

  48. [48]

    , TITLE =

    Thurston, William P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1986 , NUMBER =

    1986

  49. [49]

    Guth, Gary , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/jsg.260408141404 , URL =

    work page doi:10.4310/jsg.260408141404 2025

  50. [50]

    Silver, D. S. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0022-4049(92)90013-6 , URL =

    work page doi:10.1016/0022-4049(92)90013-6 1992

  51. [51]

    , TITLE =

    Kochloukova, Dessislava H. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2006 , NUMBER =. doi:10.4171/CMH/81 , URL =

    work page doi:10.4171/cmh/81 2006