Related papers: Bauer-Furuta invariants under Z_2-actions

The Bauer-Furuta invariants of smooth 4-manifolds are investigated from a functorial point of view. This leads to a definition of equivariant Bauer-Furuta invariants for compact Lie group actions. These are studied in Galois covering…

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…

The Bauer-Furuta invariant of a family of smooth 4-manifolds is a stable cohomotopy refinement of the families Seiberg-Witten invariant and is constructed from a finite dimensional approximation of the Seiberg-Witten monopole map. We prove…

Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map,…

We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.

In a previous paper we have constructed an invariant of four-dimensional manifolds with boundary in the form of an element in the stable homotopy group of the Seiberg-Witten Floer spectrum of the boundary. Here we prove that when one glues…

By extending the notion of simple type for the Seiberg--Witten invariant of a 4-manifold, we introduce notions of BF blowup simple type and BF homogeneous type for the Bauer--Furuta invariant and study their applications. Specifically, we…

The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as…

We show the "non-existence" results are essential for all the previous known applications of the Bauer-Furuta stable homotopy Seiberg-Witten invariants. As an example, we present a unified proof of the adjunction inequalities. We also show…

Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In…

The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a…

We establish the existence of a pair of exotic surfaces in a punctured $K3$ which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a vanishing theorem of the family…

We use the construction of unfolded Seiberg-Witten Floer spectra of general 3-manifolds defined in our previous paper to extend the notion of relative Bauer-Furuta invariants to general 4-manifolds with boundary. One of the main purposes of…

Kronheimer and Mrowka constructed a variant of Seiberg-Witten invariants for a 4-manifold $X$ with contact boundary in 1997. Using Furuta's finite dimensional approximation, we refine this invariant in the case $H^1(X, \partial X;…

Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications,…

The purpose of these notes is to show that the methods introduced by Bauer and Furuta in order to refine the Seiberg-Witten invariants of smooth 4-dimensional manifolds can also be used to obtain stable homotopy classes from Riemann…

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation…

A localisation of the category of n-manifolds is introduced by formally inverting the connected sum construction with a chosen n-manifold Y. On the level of automorphism groups, this leads to the stable diffeomorphism groups of n-manifolds.…

Adapting Bauer and Furuta's constructions of the refinement of the Seiberg-Witten invariants, we establish the analogous stable cohomotopy refinement of the $Pin^{-}(2)$ monopole invariants proposed by Nakamura \cite{nakamura2015pin}, and…

We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as…