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 that the n
ilpotency phenomenon explains why the Bauer-Furuta stable homotopy Seiberg-Witten invariants are not enough to prove 11/8-conjecture.
We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.
