Total: 1
Kronheimer-Mrowka shows that the Dehn twist along a 3-sphere in the neck of two K3 surfaces is not smoothly isotopic to the identity. Their result requires that the manifolds are simply connected and the signature of one of them is 16mod32. We generalize the Pin(2)-equivariant family Bauer-Furuta invariant to nonsimply connected manifolds, and construct a refinement of this invariant. We use it to show that, if X1,X2 are two homology tori such that the determinants r1,r2 of them are odd, then the Dehn twist along a 3-sphere in the neck of X1#X2 is not smoothly isotopic to the identity.