Positive scalar curvature and homology cobordism invariants

Abstract

We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^1\times S^3$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give obstructions to positive scalar curvature metrics on spin rational homology $S^1\times S^3$, typically described as the coincidence of various Frøyshov-type invariants. This coincidence also yields alternative proofs of two known obstructions by Jianfeng Lin and by the authors for the same class of 4-manifolds.

arXiv comment35 pages. Section 7 has been added. Some minor changes were also made

References in corpus (13)

• On the Floer homology of plumbed three-manifolds
• On the Frøyshov invariant and monopole Lefschetz number
• A new gauge slice for the relative Bauer-Furuta invariants
• Unfolded Seiberg-Witten Floer spectra, I: Definition and invariance
• Dirac operators on manifolds with periodic ends
• Equivariant maps between sphere bundles over tori and KO-degree
• Unfolded Seiberg-Witten Floer spectra, II: Relative invariants and the gluing theorem
• Seiberg-Witten theory on 4-manifolds with periodic ends
• Positive scalar curvature and $10/8$-type inequalities on $4$-manifolds with periodic ends
• Ozsvath-Szabo $d$-invariants of almost simple linear graphs
• Seifert hypersurfaces of 2-knots and Chern-Simons functional
• Seiberg-Witten Floer homotopy contact invariant
• Seiberg-Witten Floer spectra for $b_1>0$