On the intersection forms of spin four-manifolds with boundary

Abstract

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; this concept may be useful in an approach to the 11/8 conjecture.

fixed Lemma 3.8 and changed Definition 4.2

References in corpus (3)

• Seiberg-Witten-Floer stable homotopy type of three-manifolds with b_1=0
• Intersection Forms of Spin Four-Manifolds
• Embedding Seifert manifolds in S^4