Indefinite Stein fillings and Pin(2)-monopole Floer homology
Pith reviewed 2026-05-24 20:07 UTC · model grok-4.3
The pith
Spin^c rational homology spheres with rank-one reduced monopole Floer homology admit no Stein fillings whose intersection forms are not negative definite.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given a spin^c rational homology sphere (Y,s) with s self-conjugate and for which the reduced monopole Floer homology HM_•(Y,s) has rank one, the intersection forms of its Stein fillings which are not negative definite are obstructed, with the proof relying on properties of Pin(2)-monopole Floer homology and its natural generalizations.
What carries the argument
Pin(2)-monopole Floer homology, which supplies the obstructions by constraining possible intersection forms on the fillings.
If this is right
- Any Stein filling of the given (Y,s) must have negative definite intersection form.
- The same obstructions apply to natural generalizations of the rank-one condition discussed in the work.
- The result limits the possible smooth 4-manifolds that can arise as Stein fillings of these specific 3-manifolds.
Where Pith is reading between the lines
- The obstructions might extend to other 3-manifold invariants that detect similar rank-one phenomena.
- One could test the claim by computing the relevant Floer homology for known examples like the Poincaré homology sphere and checking their known Stein fillings.
- If the rank-one condition can be verified algorithmically for more manifolds, the obstructions become a practical tool for classifying possible fillings.
Load-bearing premise
The reduced monopole Floer homology has rank one and the spin^c structure is self-conjugate.
What would settle it
Explicit construction of a Stein filling with intersection form that is not negative definite for any such (Y,s) would disprove the obstructions.
read the original abstract
Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses $\mathrm{Pin}(2)$-monopole Floer homology.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for a spin^c rational homology sphere (Y, s) with s self-conjugate and reduced monopole Floer homology HM_•(Y,s) of rank one, obstructions exist to the intersection forms of its Stein fillings that are not negative definite. The proof relies on Pin(2)-monopole Floer homology, and the manuscript discusses natural generalizations of this result.
Significance. If the result holds, it supplies new obstructions for studying indefinite Stein fillings of rational homology spheres by extending Pin(2)-equivariant Floer homology techniques. The explicit conditioning on the rank-one hypothesis and self-conjugacy of s provides a clear scope for application, and the use of established Floer constructions strengthens the approach without introducing ad-hoc parameters.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the significance of our results on obstructions to non-negative definite intersection forms on Stein fillings via Pin(2)-monopole Floer homology, and for accurately summarizing the scope of the rank-one and self-conjugacy hypotheses. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper states a conditional result: for spin^c rational homology spheres (Y,s) with s self-conjugate and HM_•(Y,s) of rank one, obstructions to intersection forms of non-negative-definite Stein fillings are derived via Pin(2)-monopole Floer homology. The hypothesis is explicitly identified as the enabling condition, and the argument applies established Floer homology constructions without reducing any prediction or central claim to a fitted parameter, self-definition, or load-bearing self-citation chain. No equations or steps in the provided abstract and description exhibit the enumerated circularity patterns; the result remains independent of its inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Pin(2)-monopole Floer homology is well-defined and has the required properties for extracting intersection form obstructions
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Given a spin^c rational homology sphere (Y,s) with s self-conjugate and HM_•(Y,s) rank one, obstructions to intersection forms of non-negative-definite Stein fillings via Pin(2)-monopole Floer homology (Gysin sequence, maps by QV^k etc.)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Even intersection form, b2+=1 or 2, b2- = -8h(Y,s)+9 or +10; contact invariant cp(ξ) in β/γ-towers
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.