Pith. sign in

REVIEW 3 major objections 8 minor 27 references

On Heegaard Floer minimal knots in sutured manifolds

T0 review · 3 major / 8 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The rank inequality in sutured Floer homology is tight only for Floer simple knots in closed summands.

desk verdict A strong, well-structured paper whose main theorem currently rests on a sketched hierarchy theorem with a real gap in the termination argument; worth a serious referee but not yet citable as proved. read the letter →

arxiv 2505.19268 v2 pith:4VV6KRTH submitted 2025-05-25 math.GT

Fraser Binns This is my paper · ORCID
classification math.GT MSC 57K31
keywords suturedFloerhomologyHeegaardsimpleknotssphericalbraidclosureslinkbotanyproblemmanifolddecompositionsrankinequalities
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

Sutured Floer homology satisfies a rank inequality: for a knot K in a balanced sutured manifold (Y,γ) with [K]=0 in H1(Y;Q)/H1(∂Y;Q), the sutured Floer homology of the knot exterior has rank at least twice that of (Y,γ). The paper's main theorem says that when equality holds and the rank is nonzero, the ambient manifold splits as a connected sum M#(Y',γ) in which M is closed and K is a Floer simple knot in M, meaning its knot Floer homology has the minimal possible rank. This reduces the sutured tight-rank problem to the closed-manifold case, and it agrees with the earlier instanton Floer classification wherever both apply, supporting the conjecture that instanton and Heegaard Floer homology agree. The paper also proves detection results for links in $S^{1}$×$S^{2}$: a homologically nontrivial link with irreducible exterior attains the minimal rank 2^n in the maximal nontrivial grading exactly when it is the closure of a spherical n-braid, and link Floer homology detects the spherical braid closures of index at most three.

What carries the argument

The central objects are the rank bound of Lemma 2.8, a graded spectral sequence from the sutured Floer homology of the knot exterior to that of the ambient sutured manifold tensored with a rank-two vector space V, and the notion of a Floer simple knot, one for which the knot Floer homology has the minimal possible rank. The other load-bearing tool is the sutured hierarchy theorem of Theorem 2.7, which asserts that a taut knot exterior admits a sequence of decompositions along product disks and surfaces that avoid the knot until the final surface meets it only in meridians. The surface-decomposition formula for sutured Floer homology transfers the rank equality through each stage of the hierarchy, and a comparison of the A_α-gradings rules out all cases except the closed-summand splitting.

What would settle it

A concrete check is to look for a knot K in a balanced sutured manifold (Y,γ) with no closed connected-sum factor, [K]=0 in H1(Y;Q)/H1(∂Y;Q), and rank(SFH(Y(K),γ(K))) = 2 rank(SFH(Y,γ)) ≠ 0; Theorem 1.1 says none exists unless K is Floer simple in a closed summand, so an explicit computation of sutured Floer homology for knot exteriors in, say, a punctured $S^{1}$×$S^{2}$ or a sutured solid torus would settle the claim. Equivalently, exhibit a taut knot exterior whose only sutured hierarchies force an intermediate decomposition surface to meet ∂_K, which would break the induction even if the ranks matched.

Watch

Extended reading notes

Core claim

The central claim is a rigidity theorem for equality in the sutured rank inequality. If rank(SFH(Y(K),γ(K))) = 2 rank(SFH(Y,γ)) ≠ 0 for a knot K with [K]=0 in H1(Y;Q)/H1(∂Y;Q), then Y must decompose as M#(Y',γ) with M closed and K a Floer simple knot in M. The proof works by showing that the equality of ranks forces the sutured Floer homology of the exterior to be isomorphic, as a graded vector space, to the sutured Floer homology of the ambient manifold tensored with a rank-two vector space, and then chasing this equality through a sutured hierarchy that avoids the knot until the final decomposition. The final surface's intersection with K produces a strictly larger span of gradings unless the manifold splits off a closed summand containing K, which yields the conclusion. In $S^{1}$×$S^{2}$ the same circle of ideas gives a sharp rank bound in the top A_{$S^{2}$} grading, with equality characterizing spherical braid closures.

Load-bearing premise

The load-bearing premise is the imported hierarchy theorem (Theorem 2.7): every taut knot exterior in a balanced sutured manifold admits a sequence of decompositions along product disks and surfaces that avoid the knot until the final surface meets it only in meridians; this theorem is only sketched here, and if its termination argument fails in some boundary case the induction collapses.

Editorial extensions

If this is right

  • The classification of knots for which rank(SFH(Y(K),γ(K))) equals 2 rank(SFH(Y,γ)) is reduced to the closed-manifold classification of Floer simple knots, so known families such as cores of surgeries on L-space knots and connected sums account for the equality cases.
  • Because the conclusion agrees with the instanton Floer classification wherever both apply, each matching case provides a new data point for the conjectured isomorphism between instanton and Heegaard Floer homology.
  • In S^3, links with link Floer homology of rank at most 2^{n+1} are classified as split sums of an unlink and a torus link T(2,m) with -4 ≤ m ≤ 4.
  • In S^1×S^2, a homologically nontrivial link with irreducible exterior and minimal rank 2^n in the maximal nontrivial A_{S^2} grading is exactly a spherical braid closure.
  • Link Floer homology determines the braid index and component count among spherical n-braid closures with n ≤ 3, since the nine such closures are pairwise distinguished.

Reading between the lines

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

  • The proof's only imported input is the sutured hierarchy theorem; the same strategy should transfer to any Floer theory equipped with a surface-decomposition formula and a graded spectral sequence, so the result likely extends to instanton sutured homology without needing local coefficients.
  • A multi-component version of Theorem 1.1 would follow by induction over components, giving a classification of Floer-minimal links in sutured manifolds and sharper botany results in S^1×S^2.
  • The detection of spherical braid closures suggests a testable extension: compute link Floer homology for n=4 spherical braid closures to see whether the maximal A_{S^2} grading together with rank 2^n continues to distinguish braid index, or whether new coincidences appear.
  • Since Theorem 1.1 reduces rank equality to closed summands, Floer simplicity in a sutured manifold could in principle be checked algorithmically by computing SFH ranks on a finite set of sutured decompositions, turning the botany question for rank-minimal knots into a finite search.
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

3 major / 8 minor

Summary. The paper proves a Heegaard Floer analogue of Li-Xie-Zhang's instanton classification of Floer minimal knots. Theorem 1.1 states that if K is a knot in a balanced sutured manifold (Y,γ) with [K]=0 in H_1(Y;Q)/H_1(∂Y;Q) and rank(SFH(Y(K),γ(K)))=2 rank(SFH(Y,γ))≠0, then (Y,γ) splits as M#(Y',γ') with M closed and K Floer simple in M. The proof reduces to the irreducible case and uses a sutured hierarchy (Theorem 2.7) together with a graded rank inequality from a spectral sequence (Lemma 2.8). The second half proves detection results for link Floer homology in S^1×S^2: Theorem 4.4 characterizes homologically nontrivial links with irreducible exterior and minimal rank in the top A_{S^2} grading as spherical braid closures, yielding Corollary 4.8 for spherical 3-braid closures.

Significance. If correct, Theorem 1.1 is a significant structural result: it reduces the tight-rank case in sutured manifolds to the closed-manifold classification and agrees with the instanton classification where both apply, giving evidence for the Kronheimer-Mrowka conjecture. The S^1×S^2 link detection results are new and concrete. The paper is written with a clear strategy and no fitted parameters; the main statements are precise and falsifiable.

major comments (3)
  1. [Section 2.1, proof sketch of Theorem 2.7] The exclusion of the second termination case is not justified. The induction only rules out classes α∈H_2(Y_i,∂Y_i) with ∂_*(α)≠0 and α∩[μ_K]=0. The text then invokes Lemma 2.6 with c=[μ_K] to conclude that the remaining boundary components are spheres. Lemma 2.6, however, requires c∩α≠0 for every nontrivial α∈H_2(Y,∂Y), including classes in ker ∂_*. For α∈ker ∂_*, the intersection α∩[μ_K] vanishes automatically because [μ_K] is supported on ∂Y. Hence the hypotheses differ exactly on ker ∂_*, and the conclusion of Lemma 2.6 does not follow. Since Theorem 2.7 is the engine for the induction in Theorem 1.1 and for Lemma 4.5, this gap is load-bearing.
  2. [Section 3, proof of Theorem 1.1] The sentence 'Now, by Lemma 2.6 we have that α∩[μ_K]=0 for some α∈H_2(Y_K,∂Y_K)' relies on the contrapositive of Lemma 2.6, but the resulting α is only guaranteed to have zero pairing with [μ_K]; it need not satisfy ∂_*(α)≠0, which is required to apply Theorem 2.7. If the only classes with zero pairing lie in ker ∂_*, the hierarchy theorem cannot be started with that α. This is the same kernel issue as in Theorem 2.7 and must be addressed before the induction goes through.
  3. [Section 3, proof of Theorem 1.1 (verification of Lemma 2.8 hypothesis)] The verification that [μ_K] is non-torsion in H_1(Y(K)) states 'since [K]≠0 in H_1(Y;Q)/H_1(∂Y;Q)', but the theorem assumes [K]=0 in that quotient. The proof needs the opposite sign, or a different argument; as written, it derives the needed non-torsion from a hypothesis that the theorem does not make. This is load-bearing because Lemma 2.8 is used to identify the A_{H_K(α)}-graded ranks in Cases 2 and 3.
minor comments (8)
  1. [Lemma 2.6, proof] The contradiction hypothesis 'rank(H_2(Y,∂Y))≥1' should be '≥2', since linearly independent classes α and β are chosen immediately afterward.
  2. [Lemma 2.8, inequality (4)] Inequality (4) is misstated: the right-hand side appears to compute the A_α-grading on SFH(Y(K),γ(K)) rather than on SFH(Y,γ), so the displayed inequality compares the same group on both sides. It should read rank(SFH(Y(K),γ(K)), A_{H_K(α)}=C) ≥ rank(SFH(Y,γ), A_α = C+⟨PD([K]),α⟩).
  3. [Lemma 2.8, proof] The proof says 'there is a spectral sequence from SFH(Y,γ) to SFH(˚Y,˚γ)', but the correct source is SFH(Y(K),γ(K)); the direction stated in the lemma is the one needed for the argument.
  4. [Definition 2.2] The definition of strongly balanced repeats χ(F∩R_+(γ)) on both sides; the right-hand side should be χ(F∩R_-(γ)).
  5. [Theorem 2.7, statement] Condition (1) mentions only ∂_*(α)≠0 but not the condition α∩[μ_K]=0 that is used throughout the proof; the statement should be aligned with the proof sketch.
  6. [Theorem 4.4, proof] The sentence 'if |S∩L|=1 then L has a K_1 component and rank([HFK(L))=0 per Proposition 4.1' should refer to Proposition 4.2, which is the proposition that proves this vanishing.
  7. [Lemma 3.4, proof] The equality 'p(π_1(Y'))=p(π_1(Y))+p(π_1(S^1×S^2))' appears to have the roles reversed; connect sum gives p(π_1(Y))=p(π_1(Y'))+1.
  8. [General] There are several smaller typos: 'stongly' in Lemma 2.8, 'Knesser' for Kneser in Section 3, '∂_*(α)≠∅' for '∂_*(α)≠0' in the proof sketch of Theorem 2.7, and the reference to 'Lemma 2.7' in the proof of Theorem 1.1, which should be Theorem 2.7.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 1.1 is proved from external sutured-hierarchy and decomposition results, not from its own conclusion; self-citations appear only in auxiliary corollaries and do not feed back into the main theorem.

full rationale

The derivation chain for Theorem 1.1 is not circular. The proof uses Juhász's sutured Floer decomposition theorem and rank lemmas ([11], [12]), the Künneth formula, and a sutured hierarchy Theorem 2.7 that is imported from Scharlemann [26] and Li–Xie–Zhang [18]; none of these inputs is defined in terms of the rank equality being proved. The rank equality hypothesis is used to force collapse of the spectral sequence of Lemma 2.8 and to compare A_alpha-gradings, which is a substantive argument rather than a restatement of the hypothesis. The self-citations [3] and [4] are used in Corollary 1.2 and in the Section 4 botany results, but they are prior external papers, not the justification of the central theorem, and they are not invoked as uniqueness theorems or fitted ansätze. The only flagged caveat is the proof of Theorem 2.7 in Section 2.1, which the paper explicitly gives only as a sketch ('we only provide a sketch') and describes as a rephrasing of [18, Theorem 2.9]; this is an omitted-detail/correctness concern about an imported external result, not a circularity. The termination step involving Lemma 2.6 in that sketch should be checked independently, but even if it failed it would be a gap, not a circular reduction. No fitted parameter is renamed as a prediction, and no equation reduces by construction to its own input.

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

The central claim rests on standard sutured Floer homology properties and imported decomposition theorems; the main proof does not fit parameters or introduce new entities.

assumptions (4)
  • domain assumption Sutured Floer homology satisfies the Künneth formula, the decomposition formula [12, Theorem 1.3], and detects tautness [12, Theorem 1.4].
    Used throughout Sections 2-4, e.g., Equations (3), Lemmas 2.8, 2.9, and the proof of Theorem 1.1.
  • domain assumption Theorem 2.7 sutured hierarchy existence (rephrasing of Li-Xie-Zhang [18, Theorem 2.9] and Scharlemann [26, Theorem 4.19]).
    Provides the decomposing surfaces Σ_i used in the induction of Theorem 1.1; only a proof sketch is given.
  • domain assumption Poincaré conjecture.
    Used in Lemma 3.4 to conclude that a closed manifold with trivial fundamental group is S^3.
  • domain assumption Rank bounds in link Floer homology from Binns-Dey [3,4] and Ni [20].
    Used to derive Corollary 1.2 and to compare minimal ranks in Corollary 4.8.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Heegaard Floer minimal knots in sutured manifolds." pith.science (2026). https://pith.science/paper/4VV6KRTH

@misc{pith2026250519268,
  author       = {Pith},
  title        = {Pith review of: On Heegaard Floer minimal knots in sutured manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4VV6KRTH}},
  note         = {Machine review of arXiv:2505.19268}
}
abstract

Li-Xie-Zhang classified instanton Floer minimal knots in balanced sutured manifolds subject to a condition on the fundamental group. In this paper, we give a similar classification in the Heegaard Floer homology setting. Since our classifications agree when they are both applicable, this provides further evidence for the conjecture of Kronheimer-Mrowka that instanton Floer homology and Heegaard Floer homology are isomorphic. We also study link Floer homology botany question in $S^1\times S^2$, showing that link Floer homology detects spherical braid closures among homologically nontrivial links.

Figures

Figures reproduced from arXiv: 2505.19268 by the authors.

Figure 1
Figure 1. The closure of a spherical braid is obtained from a spherical braid β ⊂ S 2×[−1, 1] by identifying S 2 × {±1}. In the figure, the outer and inner circles indicate S 2 × {±1}. Corollary 1.3. Suppose that L is a homologically non-trivial, non-split link in S 1×S 2 with HFL( d L) ∼= HFL( d βb) where βb is any of the nine spherical n-braid closures with n ≤ 3. Then L is a spherical braid closure of a braid α of the same… view at source ↗
Figure 2
Figure 2. The torsion relative spinc -structure on (D2 × S 1 , µ) can be constructed from the vector field v, shown in blue, on the annulus. Here the core of D2 × S 1 , K, is the inner boundary component of the annulus and oriented counterclockwise. The section of v ⊥, restricted to the annulus, points perpendicularly out of the page and decreases in magnitude to 0 as you move from the outer boundary to the inner boundary. Th… view at source ↗
Figure 3
Figure 3. 0-surgery on the meridian — shown in green — of the band α — shown in grey produces a knot in a 3-manifolds with an S 1 × S 2 factor. by the K¨unneth formula. Note too that HFL( [ K1, S1 × S 2 ) ∼= 0, so the result follows. □ We now proceed to investigate non-separating spheres which intersect L in two or more points. First, we describe a construction of links in Y #S 1 × S 2 from links in Y : given a link L in Y wi… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 24 canonical work pages

  1. [1]

    A note on the knot Floer homology of fibered knots.Algebraic & Geometric Topology, 18(6):3669–3690, October 2018

    John Baldwin and David Vela-Vick. A note on the knot Floer homology of fibered knots.Algebraic & Geometric Topology, 18(6):3669–3690, October 2018. Publisher: Mathematical Sciences Publishers

    work page 2018

  2. [2]

    Closures of 3-braids and detection.arXiv preprint arXiv:2407.11145, 2024

    Fraser Binns. Closures of 3-braids and detection.arXiv preprint arXiv:2407.11145, 2024

    work page arXiv 2024

  3. [3]

    Rank bounds in link Floer homology and detection results.Quantum Topology, 2023

    Fraser Binns and Subhankar Dey. Rank bounds in link Floer homology and detection results.Quantum Topology, 2023

    work page 2023

  4. [4]

    Floer homology, clasp-braids and detection results

    Fraser Binns and Subhankar Dey. Floer homology, clasp-braids and detection results.arXiv preprint arXiv:2405.11224, 2024

    work page Pith review arXiv 2024

  5. [5]

    Knot Floer homology, link Floer homology and link detection.Algebr

    Fraser Binns and Gage Martin. Knot Floer homology, link Floer homology and link detection.Algebr. Geom. Topol., 24(1):159–181, 2024

    work page 2024

  6. [6]

    An instanton-invariant for 3-manifolds.Comm

    Andreas Floer. An instanton-invariant for 3-manifolds.Comm. Math. Phys., 118(2):215–240, 1988

    1988

  7. [7]

    Instanton homology, surgery, and knots

    Andreas Floer. Instanton homology, surgery, and knots. InGeometry of low-dimensional manifolds, 1 (Durham, 1989), volume 150 ofLondon Math. Soc. Lecture Note Ser., pages 97–114. Cambridge Univ. Press, Cambridge, 1990

    work page 1989

  8. [8]

    The decategorification of sutured Floer homology.Journal of Topology, 4(2):431–478, 2011

    Stefan Friedl, Andr´ as Juh´ asz, and Jacob Rasmussen. The decategorification of sutured Floer homology.Journal of Topology, 4(2):431–478, 2011

    work page 2011

Show all 27 references
  1. [9]

    Foliations and the topology of 3-manifolds.Journal of Differential Geometry, 18(3):445–503, 1983

    David Gabai. Foliations and the topology of 3-manifolds.Journal of Differential Geometry, 18(3):445–503, 1983

    1983

  2. [10]

    On Floer homology and the Berge conjecture on knots admitting lens space surgeries.Transactions of the American Mathematical Society, 363(2):949–968, 2011

    Matthew Hedden. On Floer homology and the Berge conjecture on knots admitting lens space surgeries.Transactions of the American Mathematical Society, 363(2):949–968, 2011

    2011

  3. [11]

    Holomorphic discs and sutured manifolds.Algebraic & Geometric Topology, 6(3):1429–1457, 2006

    Andr´ as Juh´ asz. Holomorphic discs and sutured manifolds.Algebraic & Geometric Topology, 6(3):1429–1457, 2006

    2006

  4. [12]

    Floer homology and surface decompositions.Geometry & Topology, 12(1):299–350, 2008

    Andr´ as Juh´ asz. Floer homology and surface decompositions.Geometry & Topology, 12(1):299–350, 2008

    2008

  5. [13]

    The sutured Floer homology polytope.Geometry & Topology, 14(3):1303–1354, 2010

    Andr´ as Juh´ asz. The sutured Floer homology polytope.Geometry & Topology, 14(3):1303–1354, 2010

    2010

  6. [14]

    Links of second smallest knot Floer homology.arXiv preprint arXiv:2011.11810, 2020

    Juhyun Kim. Links of second smallest knot Floer homology.arXiv preprint arXiv:2011.11810, 2020

    2011 arXiv

  7. [15]

    Knots, sutures, and excision.Journal of Differential Geometry, 84(2):301–364, 2010

    Peter Kronheimer and Tomasz Mrowka. Knots, sutures, and excision.Journal of Differential Geometry, 84(2):301–364, 2010

    2010

  8. [16]

    Khovanov homology is an unknot-detector.Publications math´ ematiques de l’IH ´ES, 113(1):97–208, 2011

    Peter B Kronheimer and Tomasz S Mrowka. Khovanov homology is an unknot-detector.Publications math´ ematiques de l’IH ´ES, 113(1):97–208, 2011

    2011

  9. [17]

    Knot homology groups from instantons.Journal of Topology, 4(4):835–918, 2011

    Peter B Kronheimer and Tomasz S Mrowka. Knot homology groups from instantons.Journal of Topology, 4(4):835–918, 2011

    2011

  10. [18]

    On Floer minimal knots in sutured manifolds.Transactions of the American Mathematical Society, Series B, 9(17):499–516, 2022

    Zhenkun Li, Yi Xie, and Boyu Zhang. On Floer minimal knots in sutured manifolds.Transactions of the American Mathematical Society, Series B, 9(17):499–516, 2022

    2022

  11. [19]

    Khovanov homology detectst(2,6).Mathematical Research Letters, 29(3):835–850, 2022

    Gage Martin. Khovanov homology detectst(2,6).Mathematical Research Letters, 29(3):835–850, 2022

    2022

  12. [20]

    Homological actions on sutured Floer homology.Mathematical Research Letters, 21(5):1177–1197, 2014

    Yi Ni. Homological actions on sutured Floer homology.Mathematical Research Letters, 21(5):1177–1197, 2014

    2014

  13. [21]

    Holomorphic disks and genus bounds.Geometry & Topology, 8(1):311–334, 2004

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and genus bounds.Geometry & Topology, 8(1):311–334, 2004. 15

    2004

  14. [22]

    Holomorphic disks and knot invariants.Advances in Mathematics, 186(1):58–116, August 2004

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and knot invariants.Advances in Mathematics, 186(1):58–116, August 2004

    2004

  15. [23]

    Holomorphic disks and topological invariants for closed three-manifolds.Annals of Mathematics, pages 1027–1158, 2004

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and topological invariants for closed three-manifolds.Annals of Mathematics, pages 1027–1158, 2004

    2004

  16. [24]

    Holomorphic disks, link invariants and the multi-variable Alexander polynomial.Algebraic & Geometric Topology, 8(2):615–692, May 2008

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks, link invariants and the multi-variable Alexander polynomial.Algebraic & Geometric Topology, 8(2):615–692, May 2008. Publisher: Mathematical Sciences Publishers

    2008

  17. [25]

    Floer homology and knot complements.arXiv:math/0306378, June 2003

    Jacob Rasmussen. Floer homology and knot complements.arXiv:math/0306378, June 2003. arXiv: math/0306378

    2003 arXiv

  18. [26]

    Sutured manifolds and generalized Thurston norms.Journal of Differential Geometry, 29(3):557–614, 1989

    Martin Scharlemann. Sutured manifolds and generalized Thurston norms.Journal of Differential Geometry, 29(3):557–614, 1989

    1989

  19. [27]

    Split link detection forsl(P) link homology in characteristicP.J

    Joshua Wang. Split link detection forsl(P) link homology in characteristicP.J. Topol., 16(2):806–821, 2023. Department of Mathematics, Princeton University Email address:fb1673@princeton.edu 16

    2023

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.