REVIEW 4 minor 14 references
Real sutured Heegaard Floer homology
T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5
Pith's one-line read Real sutured Heegaard Floer homology is well-defined, combinatorially computable, and obeys surface and arc decomposition formulae that mirror and refine the classical theory.
desk verdict Solid, carefully written extension of real HF to the sutured setting that delivers combinatorial computability and new structural theorems; the soft spots are real but not load-bearing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Nice real Heegaard diagrams: real diagrams in which every interior elementary domain is a bigon or rectangle, fixed arcs appear only in rectangles, and triple points on the fixed set have positive Maslov contribution; their real index-1 domains are completely classified and each contributes exactly once mod 2 to the differential.
What would settle it
Exhibit a real balanced sutured manifold together with two nice real diagrams whose combinatorially computed chain complexes have non-isomorphic homology, or produce a taut real surface decomposition for which the predicted direct-sum isomorphism of real sutured Floer homology fails.
Extended reading notes
Core claim
For any real balanced sutured manifold the real sutured Floer homology is a well-defined graded vector space that can be computed from the generators and real index-1 domains of any nice real Heegaard diagram, and that transforms under taut real surface decompositions and under real arc decompositions by explicit direct-sum formulae over outer real Spin^c structures.
Load-bearing premise
The existence of generic symmetric almost-complex structures that achieve transversality for every real index-1 moduli space while remaining compatible with the anti-symplectic involution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs real sutured Floer homology RSFH for balanced real sutured manifolds (Y, γ, τ), i.e., sutured manifolds equipped with orientation-preserving involutions whose fixed sets are properly embedded codimension-2 submanifolds. The invariant is defined by counting equivariant holomorphic curves between real intersection points of Lagrangian tori in the symmetric product (or, equivalently, in the cylindrical reformulation of Section 6), splits over relative real Spin^c structures, and is shown independent of admissible real Heegaard diagrams and generic symmetric almost-complex structures by the usual Heegaard-move and continuation-map arguments. The authors introduce real nice diagrams (Definition 8.1), prove every real balanced diagram can be made nice by real isotopies and handleslides (Theorem 8.2), classify all real index-1 domains (Proposition 8.6), and show each contributes 1 mod 2 (Propositions 8.22–8.32), yielding combinatorial computability (Theorems 1.1 and 8.33). They establish a surface-decomposition isomorphism (Theorems 1.5/9.11), an arc-decomposition formula (Theorems 1.7/5.2), real-taut hierarchies (Theorem 1.3), adjunction inequalities, and several structural differences from classical SFH (failure of Künneth, non-detection of real genus).
Significance. The work supplies a computable, diagrammatic counterpart to real monopole Floer homology and real Seiberg–Witten invariants that have already produced slice-disk and exotic-involution results. Combinatorial computability via nice real diagrams, the exhaustive classification of index-1 domains, and the surface/arc decomposition formulae are substantial technical achievements that place the theory on the same footing as Juhász’s SFH while revealing genuinely new phenomena (non-multiplicative rank under real connected sums, vanishing without real-tautness converse). The reduction of arbitrary real sutured manifolds to those without arc components of the fixed set (Remark 5.6) and the recovery of classical SFH as a special case further increase utility. These contributions are of clear interest to low-dimensional topology and Floer theory.
minor comments (4)
- [Introduction / throughout] Several typographical slips appear early: “equivelant” (p. 3), “Künneth Formulae” inconsistently capitalized, and occasional missing articles. A light copy-edit pass would remove them.
- [Sections 2, 5, 7] Figures 1–5 and 7–8 are helpful but some labels (especially the green fixed-set arcs and the purple guiding disks) become hard to distinguish in grayscale. Adding line styles or a short legend would improve accessibility.
- [Sections 5 and 9] The relative H_1^R-grading ε_R is introduced in Section 3.3 and used in the graded statements of Theorems 5.2 and 9.11; a one-sentence reminder of its definition at those later points would help the reader.
- [Sections 6 and 8] The averaging argument for transversality of immersed multiplicity-2 rectangles is only sketched (Sections 6 and 8). While the classification (Proposition 8.20, Corollary 8.21) shows these are standard forms already covered by classical arguments, a short explicit sentence confirming that the averaging step is identical to the embedded-rectangle case would remove residual ambiguity.
Circularity Check
No significant circularity: RSFH is defined from equivariant intersection points and real holomorphic curve counts, with invariance and combinatorial counts established by direct analysis and standard degeneration arguments rather than by construction from inputs.
-
self citation load bearing
[Proposition 2.15 / Theorem 3.5 (and surrounding text)]
"This is proven carefully in [GM26]. … Invariance of RSFH(Y, γ, τ) essentially follows verbatim from [GM25, Section 5]."
The relation of any two real diagrams by real Heegaard moves and the resulting quasi-isomorphisms of chain complexes are deferred to the authors’ companion notes [GM26] and the closed-case paper [GM25] (second author overlap). The present text only sketches the Morse-function path and continuation maps. This is a minor load-bearing self-citation for technical completeness, but the combinatorial core (nice diagrams, domain classification, counts) is developed independently and does not reduce to those citations by construction.
full rationale
The derivation chain is self-contained. Generators of RSFC(H) are defined as (T_α ∩ M^R) points (Section 3.1); the differential counts real index-1 equivariant strips (Eq. (1)). Invariance (Theorem 3.5) is obtained by continuation maps and real Heegaard moves, adapting the closed-case arguments of [GM25] with explicit sketches (Proposition 2.15, Lemma 3.10). Nice diagrams are constructed by equivariant finger moves and handleslides that strictly decrease a lexicographic complexity (Proposition 8.4, Theorem 8.2). Real index-1 domains are classified by non-negative contributions to the combinatorial Maslov formula (Eq. (7), Tables 1–5, Proposition 8.6); immersions are controlled (Proposition 8.20, Corollary 8.21). Holomorphic counts equal 1 mod 2 by unique branched covers for polygons (Proposition 8.23), neck-stretching/matching for reflection annuli (Proposition 8.28), conformal-parameter zeros for free-boundary annuli (Proposition 8.30), and a consistency argument using already-established invariance plus ∂^{2}=0 for antipodal annuli/tori (Propositions 8.31–8.32). Surface and arc decomposition isomorphisms follow by relating outer generators on adapted diagrams (Theorems 5.2, 9.11). The only self-citations ([GM25], [GM26]) supply technical lemmas already sketched or used as black boxes for non-real ingredients; none force the new real-sutured statements by definition. No fitted parameters, self-definitional loops, or uniqueness theorems imported circularly appear.
Assumptions & free parameters
assumptions (4)
- domain assumption Existence of generic symmetric almost-complex structures achieving transversality for real moduli spaces of index ≤1 (averaging of non-equivariant transversality).
- domain assumption Any two real balanced sutured Heegaard diagrams are related by a finite sequence of real Heegaard moves (stabilizations, isotopies, handleslides).
- standard math The classical (non-real) combinatorial formula for the Maslov index and the Euler measure of domains.
- domain assumption Juhász’s surface-decomposition formula and the existence of nice diagrams in the non-real setting.
invented entities (4)
-
Real sutured manifold (Y,γ,τ)
independent evidence
-
Real nice Heegaard diagram
independent evidence
-
Real arc decomposition
independent evidence
-
Real relative H_1-grading ϵ_R
independent evidence
Cite this review
Pith. "Pith review of Real sutured Heegaard Floer homology." pith.science (2026). https://pith.science/paper/T7VG6GN6
@misc{pith2026260711082,
author = {Pith},
title = {Pith review of: Real sutured Heegaard Floer homology},
year = {2026},
howpublished = {\url{https://pith.science/paper/T7VG6GN6}},
note = {Machine review of arXiv:2607.11082}
}
read the original abstract
We develop a theory of real sutured manifolds and a real Heegaard Floer theory for these manifolds. We develop a notion of real nice diagrams, and prove that our invariant is combinatorially computable. Our theory shares many structural properties with Juh\'asz's sutured Floer homology, as does the topological theory of real sutured manifolds with Gabai's original sutured manifold theory. We also show that our invariant has several new structural properties differentiating it from sutured Floer homology.
Figures
Figures from the paper (32 more)
Reference graph
Works this paper leans on
-
[1]
Morse homology and equivariance.arXiv preprint arXiv:2409.04694,
[BL25] Erkao Bao and Tyler Lawson. Morse homology and equivariance.arXiv preprint arXiv:2409.04694,
-
[2]
Real Heegaard Floer homology.arXiv preprint arXiv:2504.09034,
[GM25] Gary Guth and Ciprian Manolescu. Real Heegaard Floer homology.arXiv preprint arXiv:2504.09034,
-
[3]
A note on real Heegaard Floer homology and localization.arXiv preprint arXiv:2508.03897,
[Hen25] Kristen Hendricks. A note on real Heegaard Floer homology and localization.arXiv preprint arXiv:2508.03897,
-
[4]
Invariant Seifert surfaces for strongly invertible knots
[HHS23] Mikami Hirasawa, Ryota Hiura, and Makoto Sakuma. Invariant Seifert surfaces for strongly invertible knots. 34:325–349, [2023]©2023. [HKM25] Mark Hughes, Seungwon Kim, and Maggie Miller. Branched covers of twist-roll spun knots and turned twisted tori
2023
-
[5]
[Juh06] Andr´ as Juh´ asz
Publisher Copyright:©2021 American Mathematical Society. [Juh06] Andr´ as Juh´ asz. Holomorphic discs and sutured manifolds.Algebraic & Geometric Topology, 6(3):1429–1457,
2021
-
[6]
Smooth concordance of cables of the figure-eight knot.arXiv preprint arXiv:2505.03720,
[KPT25] Sungkyung Kang, JungHwan Park, and Masaki Taniguchi. Smooth concordance of cables of the figure-eight knot.arXiv preprint arXiv:2505.03720,
-
[7]
Monopole Floer homology and real structures.arXiv preprint arXiv:2211.10768,
[Li22] Jiakai Li. Monopole Floer homology and real structures.arXiv preprint arXiv:2211.10768,
-
[8]
Multi-framed real monopole floer theory.arXiv preprint arXiv:2606.28596,
[Li26] Jiakai Li. Multi-framed real monopole floer theory.arXiv preprint arXiv:2606.28596,
Show all 14 references
-
[9]
Real bordered Floer homology.arXiv preprint arXiv:2604.20565,
[LO26] Robert Lipshitz and Peter Ozsv´ ath. Real bordered Floer homology.arXiv preprint arXiv:2604.20565,
-
[10]
A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P 2-knots.arXiv preprint arXiv:2312.02041,
[Miy23] Jin Miyazawa. A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P 2-knots.arXiv preprint arXiv:2312.02041,
-
[11]
A satellite formula for real Seiberg-Witten Floer homotopy types.arXiv preprint arXiv:2504.03270,
[MPT25] Jin Miyazawa, JungHwan Park, and Masaki Taniguchi. A satellite formula for real Seiberg-Witten Floer homotopy types.arXiv preprint arXiv:2504.03270,
-
[12]
[OSS] Peter Ozsv´ ath, Zolt´ an Szab´ o, and Andr´ as I
Publisher: Mathematical Sciences Publishers. [OSS] Peter Ozsv´ ath, Zolt´ an Szab´ o, and Andr´ as I. Stipsicz. Heegaard Floer homology.https: // web. math. princeton. edu/ ~ petero/ konyv7. pdf. [Per08] Timothy Perutz. Hamiltonian handleslides for Heegaard Floer homology. InP...
2007
-
[13]
Real link Floer homology.arXiv preprint arXiv:2604.21240,
[Xia26] Yonghan Xiao. Real link Floer homology.arXiv preprint arXiv:2604.21240,
-
[14]
Graph cobordisms and Heegaard Floer homology.arXiv preprint arXiv:1512.01184,
97 [Zem19] Ian Zemke. Graph cobordisms and Heegaard Floer homology.arXiv preprint arXiv:1512.01184,
Reviewed July 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.