Abstract: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 $16 \mod 32$. 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 $X_1,X_2$ are two homology tori such that the determinants $r_1,r_2$ of them are odd, then the Dehn twist along a $3$-sphere in the neck of $X_1\# X_2$ is not smoothly isotopic to the identity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Prove that in the connected sum of two homology tori, the Dehn twist along the 3 - sphere is not smoothly isotopic to the identity map**. Specifically, if \(X_1\) and \(X_2\) are two homology tori, and their determinants \(r_1\) and \(r_2\) are odd, then the Dehn twist along the 3 - sphere in \(X_1\#X_2\) is not smoothly isotopic to the identity map.
### Detailed Explanation
#### Background and Motivation
The paper starts from the work of Kronheimer - Mrowka. They proved that the Dehn twist along the 3 - sphere in the neck of two K3 surfaces is not smoothly isotopic to the identity map. Their result requires the manifolds to be simply - connected, and the signature of one of the manifolds is 16 modulo 32. The author of this paper hopes to generalize this result to non - simply - connected manifolds and use the Pin(2) - equivariant family Bauer - Furuta invariant to solve the problem.
#### Main Conclusion
The main theorem of this paper is as follows:
\[
\text{If } X_1, X_2 \text{ are two homology tori, and their determinants } r_1, r_2 \text{ are odd, then the Dehn twist along the 3 - sphere in } X_1\#X_2 \text{ is not smoothly isotopic to the identity map.}
\]
#### Key Tools
The main tool used is the Bauer - Furuta invariant. The idea of the Bauer - Furuta invariant is to regard the Seiberg - Witten equations as a Pin(2) - equivariant map and consider the properties of this map. Through finite - dimensional approximation, it is an equivariant stable homotopy class:
\[
BF_{\text{Pin}(2)}(X, s)\in\pi^0_{\text{Pin}(2)}(\mathcal{T}F_0, S^nH^+\wedge\mathbb{C}P^\infty)
\]
where \(s\) is a Spin^c structure of \(X\), \(\mathcal{T}F_0\) is the Thom space of a quaternion bundle of rank \(m\), satisfying:
\[
m - n=-\frac{\sigma(X)}{4}
\]
where \(\sigma(X)\) is the signature of \(X\).
#### Generalization and Computation
To deal with non - simply - connected manifolds, the author generalizes the Pin(2) - equivariant family Bauer - Furuta invariant and constructs its refined version. Through a series of complex computations, including the computation of the free S^1 - equivariant Bauer - Furuta invariant, the main theorem is finally proved.
### Summary
This paper successfully generalizes the result of Kronheimer - Mrowka to non - simply - connected manifolds and proves that under specific conditions, the Dehn twist along the 3 - sphere is not smoothly isotopic to the identity map. This result provides a new perspective for understanding the differential structure of 4 - dimensional manifolds.