arxiv: 2604.18275 · v1 · submitted 2026-04-20 · 🧮 math.GT

Recognition: unknown

Involutive Floer Invariants for Closed Four-Manifolds

Owen Brass

Pith reviewed 2026-05-10 03:14 UTC · model grok-4.3

classification 🧮 math.GT

keywords four-manifoldsinvolutive invariantsadjunction inequalityembedded surfacesmixed invariantsSeiberg-Witten invariants

0 comments

The pith

Involutive Floer invariants obstruct the existence of disjoint pairs of embedded surfaces both violating the adjunction inequality in closed four-manifolds.

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

The paper defines a mixed invariant for closed spin four-manifolds by using cobordism maps drawn from an involutive version of three-manifold homology extended across four-dimensional cobordisms. This invariant applies when the positive second Betti number of the manifold exceeds four. It also constructs an involutive version of the Seiberg-Witten invariant that works when that number exceeds three. These invariants are shown to rule out the possibility of two disjoint embedded surfaces in the manifold where each surface violates the adjunction inequality that relates genus to self-intersection number. The result is applied to prove that the connected sum of the K3 surface with the product of two spheres contains no such pair.

Core claim

We define a mixed invariant for closed spin four-manifolds using the cobordism maps on involutive homology. The invariant is well-defined whenever b2+ exceeds 4. We furthermore construct an involutive Seiberg-Witten invariant that is well-defined whenever b2+ exceeds 3. We show that these involutive invariants obstruct the existence of disjoint pairs of embedded surfaces which both violate the adjunction inequality. As an application, we find that K3#(S^2 × S^2) contains no such pair.

What carries the argument

The mixed invariant constructed from cobordism maps in involutive homology, which acts as an obstruction to the presence of two disjoint embedded surfaces each violating the adjunction inequality.

If this is right

Non-vanishing of the mixed invariant rules out any pair of disjoint embedded surfaces both violating the adjunction inequality.
The specific manifold K3 connected sum S^2 times S^2 therefore admits no such pair of surfaces.
The same obstruction applies via the involutive Seiberg-Witten invariant to four-manifolds with positive second Betti number larger than three.

Where Pith is reading between the lines

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

The invariants supply a concrete test for the existence of restricted surface configurations in other four-manifolds whose homology is already known.
The method isolates a new way to constrain minimal genus and self-intersection data for embedded surfaces.
Further calculations of the invariant on standard examples could produce additional manifolds with similar surface-pair restrictions.

Load-bearing premise

The cobordism maps from involutive homology extend in a well-defined way to four-manifolds whose positive second Betti number is larger than four or three.

What would settle it

The explicit construction of two disjoint embedded surfaces inside K3#(S^2 × S^2) that each violate the adjunction inequality would show that the invariants fail to obstruct such pairs.

read the original abstract

Inspired by the Ozsv\'ath-Szab\'o mixed invariant in ordinary Heegaard Floer theory, we define a mixed invariant $\Phi_{X, \mathfrak{s}}^{I}$ for closed, spin four-manifolds $(X, \mathfrak{s})$ using the cobordism maps on involutive Heegaard Floer homology. The invariant is well-defined whenever $b_{2}^{+}(X) > 4$. We furthermore construct an involutive Seiberg-Witten invariant that is well-defined whenever $b_{2}^{+}(X) > 3$. We show that these involutive invariants obstruct the existence of disjoint pairs of embedded surfaces which both violate the adjunction inequality. As an application, we find that $K3\#(S^2 \times S^2)$ contains no such pair.

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.

Desk Editor's Note private letter to a colleague

Brass extends the mixed invariant to the involutive setting and gets a concrete obstruction for surface pairs in K3#(S²×S²), but the well-definedness for b₂⁺>4 is the part that needs checking.

read the letter

The main point is that this paper defines an involutive mixed invariant Φ^I_{X,s} from the cobordism maps in involutive Heegaard Floer homology, claimed to be well-defined for b₂⁺(X)>4, plus an involutive Seiberg-Witten invariant for b₂⁺>3. It then uses these to obstruct disjoint pairs of embedded surfaces that both violate the adjunction inequality, with the application that K3#(S²×S²) contains no such pair. That is the new content and the concrete payoff. It builds on existing involutive HF without obvious circularity or invented parameters. The extension is not just a rote copy of the non-involutive case, and the topological application is a useful test of whether the invariants detect something real. The soft spot is exactly the well-definedness of Φ^I. The abstract says it follows from properties of the cobordism maps, but those maps now have to carry the involution and spin^c data while keeping the grading and module structure intact. If the functoriality or independence from Heegaard choices fails in the involutive setting even above the b₂⁺ threshold, the obstruction result does not go through. That is the load-bearing claim, and the full proofs would need to be examined for it. This is for people already working in Heegaard Floer and four-manifold topology. It has enough new definitions and a falsifiable application that it deserves a serious referee to check the constructions and the cobordism properties.

Referee Report

2 major / 2 minor

Summary. The manuscript defines a mixed invariant Φ_{X,s}^I for closed spin four-manifolds using cobordism maps in involutive Heegaard Floer homology, asserted to be well-defined for b_2^+(X)>4, along with an involutive Seiberg-Witten invariant well-defined for b_2^+(X)>3. These invariants are shown to obstruct the existence of disjoint pairs of embedded surfaces both violating the adjunction inequality, with the application that K3#(S^2 × S^2) admits no such pair.

Significance. If the invariants are rigorously shown to be diffeomorphism invariants, the work extends Ozsváth-Szabó mixed invariants to the involutive setting for closed manifolds and supplies new Floer-theoretic obstructions in four-manifold topology. The concrete application to K3#(S^2 × S^2) illustrates utility for ruling out geometric configurations.

major comments (2)

[Abstract] Abstract: The claim that Φ_{X,s}^I is well-defined for b_2^+(X)>4 rests on functoriality and choice-independence of the involutive cobordism maps; without an explicit argument that the involution and spin^c data preserve the required grading and module structures (independent of Heegaard diagrams), the obstruction to pairs of adjunction-violating surfaces is not yet established.
[Construction of the mixed invariant] The construction of the mixed invariant: Additional verification is required that the involutive maps commute appropriately with the spin^c structure and do not introduce auxiliary dependencies for the stated b_2^+ thresholds, as this is load-bearing for both the definition and the surface-obstruction theorem.

minor comments (2)

Notation for the invariants should explicitly indicate dependence on the spin^c structure s in all statements.
Ensure complete citations to the foundational papers on involutive Heegaard Floer homology and its cobordism maps.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below, clarifying the construction and well-definedness of the involutive mixed invariant while strengthening the manuscript where appropriate.

read point-by-point responses

Referee: [Abstract] Abstract: The claim that Φ_{X,s}^I is well-defined for b_2^+(X)>4 rests on functoriality and choice-independence of the involutive cobordism maps; without an explicit argument that the involution and spin^c data preserve the required grading and module structures (independent of Heegaard diagrams), the obstruction to pairs of adjunction-violating surfaces is not yet established.

Authors: The well-definedness of Φ_{X,s}^I for b_2^+(X)>4 follows from the naturality and functoriality properties of the involutive cobordism maps in Hendricks-Manolescu involutive Heegaard Floer homology, combined with the standard grading and module structure arguments for ordinary mixed invariants. These are detailed in Section 3, where we construct the maps using the involution on the Heegaard Floer complex and verify independence of diagram choices via the established invariance results for involutive HF. However, we agree that an expanded explicit verification of how the involution and spin^c data interact with the grading and module structures (independent of diagrams) would strengthen the foundation for the surface-obstruction theorem. We will add a dedicated subsection in the revised manuscript to make this argument fully self-contained. revision: yes
Referee: [Construction of the mixed invariant] The construction of the mixed invariant: Additional verification is required that the involutive maps commute appropriately with the spin^c structure and do not introduce auxiliary dependencies for the stated b_2^+ thresholds, as this is load-bearing for both the definition and the surface-obstruction theorem.

Authors: The construction in Section 3 ensures that the involutive cobordism maps commute with the spin^c structures by construction, as the maps are defined on the involutive complexes associated to the given spin^c structure on the cobordism, inheriting the commutation from the underlying Heegaard Floer maps. The b_2^+ thresholds (>4 for the mixed invariant and >3 for the involutive Seiberg-Witten invariant) arise from the same vanishing and non-vanishing arguments as in the non-involutive case, with no auxiliary dependencies introduced by the involution. That said, we recognize the referee's point that a more detailed verification of commutation and threshold independence would be helpful for readers. In the revision, we will expand the relevant paragraphs in Section 3 and the proof of the obstruction theorem to include this explicit verification. revision: yes

Circularity Check

0 steps flagged

No circularity: new invariants constructed from external cobordism maps

full rationale

The derivation defines the mixed invariant Φ_{X,s}^I directly from cobordism maps in involutive Heegaard Floer homology (established in prior literature) and asserts well-definedness for b2+(X)>4 based on those maps' properties. No equation reduces the new object to a fitted parameter or self-referential input by construction, no uniqueness theorem is imported from the same authors, and no ansatz is smuggled via self-citation. The obstruction results follow from the defined invariants without tautological renaming or load-bearing self-reference, rendering the chain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of involutive Heegaard Floer homology and cobordism maps from prior work, with no free parameters or new entities introduced.

axioms (2)

standard math Cobordism maps on involutive Heegaard Floer homology are well-defined and satisfy the expected composition and functoriality properties.
Invoked in the definition of the mixed invariant for b2+ > 4.
domain assumption The adjunction inequality holds for embedded surfaces in four-manifolds under standard conditions.
Used to interpret the obstruction result.

pith-pipeline@v0.9.0 · 5427 in / 1390 out tokens · 31626 ms · 2026-05-10T03:14:10.413933+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references

[1]

The mod 2 seiberg-witten invariants of spin structures and spin families, 2023

David Baraglia. The mod 2 seiberg-witten invariants of spin structures and spin families, 2023

2023
[2]

On the Bauer-Furuta and Seiberg-Witten invariants of families of 4-manifolds.J

David Baraglia and Hokuto Konno. On the Bauer-Furuta and Seiberg-Witten invariants of families of 4-manifolds.J. Topol., 15(2):505–586, 2022

2022
[3]

A stable cohomotopy refinement of Seiberg-Witten invariants

Stefan Bauer and Mikio Furuta. A stable cohomotopy refinement of Seiberg-Witten invariants. I.Invent. Math., 155(1):1–19, 2004

2004
[4]

Ronald Fintushel and Ronald J. Stern. Immersed spheres in 4-manifolds and the immersed Thom conjecture.Turkish J. Math., 19(2):145–157, 1995

1995
[5]

Naturality and functo- riality in involutive Heegaard Floer homology.Quantum Topol., 17(1):45–188, 2026

Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, and Ian Zemke. Naturality and functo- riality in involutive Heegaard Floer homology.Quantum Topol., 17(1):45–188, 2026

2026
[6]

Involutive Heegaard Floer homology.Duke Math

Kristen Hendricks and Ciprian Manolescu. Involutive Heegaard Floer homology.Duke Math. J., 166(7):1211–1299, 2017

2017
[7]

Naturality and mapping class groups in Hee- gard Floer homology.Mem

Andr´ as Juh´ asz, Dylan Thurston, and Ian Zemke. Naturality and mapping class groups in Hee- gard Floer homology.Mem. Amer. Math. Soc., 273(1338):v+174, 2021

2021
[8]

Concordance surgery and the Ozsv´ ath-Szab´ o 4-manifold invari- ant.J

Andr´ as Juh´ asz and Ian Zemke. Concordance surgery and the Ozsv´ ath-Szab´ o 4-manifold invari- ant.J. Eur. Math. Soc. (JEMS), 25(3):995–1044, 2023

2023
[9]

A cohomological Seiberg-Witten invariant emerging from the adjunction in- equality.J

Hokuto Konno. A cohomological Seiberg-Witten invariant emerging from the adjunction in- equality.J. Topol., 15(1):108–167, 2022

2022
[10]

New Mathematical Monographs

Peter Kronheimer and Tomasz Mrowka.Monopoles and Three-Manifolds. New Mathematical Monographs. Cambridge University Press, 2007

2007
[11]

HF“HM, I: Heegaard Floer homology and Seiberg-Witten Floer homology.Geom

C ¸ a˘ gatay Kutluhan, Yi-Jen Lee, and Clifford Henry Taubes. HF“HM, I: Heegaard Floer homology and Seiberg-Witten Floer homology.Geom. Topol., 24(6):2829–2854, 2020

2020
[12]

New constructions and invariants of closed exotic 4-manifolds, 2023

Adam Simon Levine, Tye Lidman, and Lisa Piccirillo. New constructions and invariants of closed exotic 4-manifolds, 2023

2023
[13]

Bar-Natan’s deformation of Khovanov homology and involutive monopole Floer homology.Math

Francesco Lin. Bar-Natan’s deformation of Khovanov homology and involutive monopole Floer homology.Math. Ann., 373(1-2):489–516, 2019

2019
[14]

Relative genus bounds in indefinite four-manifolds.Math

Ciprian Manolescu, Marco Marengon, and Lisa Piccirillo. Relative genus bounds in indefinite four-manifolds.Math. Ann., 390(1):1481–1506, 2024

2024
[15]

Morgan and Zolt´ an Szab´ o

John W. Morgan and Zolt´ an Szab´ o. HomotopyK3 surfaces and mod 2 Seiberg-Witten invari- ants.Math. Res. Lett., 4(1):17–21, 1997

1997
[16]

Holomorphic disks and three-manifold invariants: properties and applications.Ann

Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and three-manifold invariants: properties and applications.Ann. of Math. (2), 159(3):1159–1245, 2004

2004
[17]

Holomorphic disks and topological invariants for closed three- manifolds.Ann

Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and topological invariants for closed three- manifolds.Ann. of Math. (2), 159(3):1027–1158, 2004

2004
[18]

Holomorphic triangle invariants and the topology of symplectic four-manifolds.Duke Math

Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic triangle invariants and the topology of symplectic four-manifolds.Duke Math. J., 121(1):1–34, 2004

2004
[19]

Holomorphic triangles and invariants for smooth four- manifolds.Adv

Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic triangles and invariants for smooth four- manifolds.Adv. Math., 202(2):326–400, 2006

2006
[20]

Ozsv´ ath and Zolt´ an Szab´ o

Peter S. Ozsv´ ath and Zolt´ an Szab´ o. Knot Floer homology and integer surgeries.Algebr. Geom. Topol., 8(1):101–153, 2008

2008
[21]

Bounds on genus and geometric intersections from cylindrical end moduli spaces.J

Saˇ so Strle. Bounds on genus and geometric intersections from cylindrical end moduli spaces.J. Differential Geom., 65(3):469–511, 2003. Department of Mathematics, Harvard University Cambridge, Massachusetts, 02138 Email:obrass@math.harvard.edu

2003