Abstract:We prove a surgery formula and an excision formula for the Furuta-Ohta invariant $\lambda_{FO}$ defined on homology $S^1 \times S^3$, which provides more evidence on its equivalence with the Casson-Seiberg-Witten invariant $\lambda_{SW}$. These formulae are applied to compute $\lambda_{FO}$ of certain families of manifolds obtained as mapping tori under diffeomorphisms of $3$-manifolds. In the course of the proof, we give a complete description of the degree-zero moduli space of ASD instantons on $4$-manifolds of homology $H_*(D^2 \times T^2; \mathbb{Z})$ with a cylindrical end modeled on $[0, \infty) \times T^3$.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are about the surgery formula and excision formula of the Furuta - Ohta invariant ($\lambda_{FO}$) on the homology $S^1\times S^3$. Specifically:
1. **Surgery formula**: The paper proves how the Furuta - Ohta invariant changes after a specific type of surgical operation. Specifically, for an acceptable homology $S^1\times S^3$ manifold $X$ and an embedded 2 - torus $T$, the relationship between the Furuta - Ohta invariant of the manifold $X_{1,q}$ after $(1,q)$ - surgery and the Furuta - Ohta invariant of the original manifold $X$ is as follows:
\[
\lambda_{\text{FO}}(X_{1,q})=\lambda_{\text{FO}}(X)+qD_0^{w_T}(X_{0,1})
\]
where $D_0^{w_T}(X_{0,1})$ is a certain count on $X_{0,1}$.
2. **Excision formula**: The paper also proves the properties of the Furuta - Ohta invariant after the excision operation. Specifically, for two acceptable homology $S^1\times S^3$ manifolds $X_1$ and $X_2$ with embedded 2 - tori $T_1$ and $T_2$, the Furuta - Ohta invariant of the new manifold $X_1\#_\phi X_2$ obtained by the excision operation can be expressed as:
\[
\lambda_{\text{FO}}(X_1\#_\phi X_2)=\lambda_{\text{FO}}(X_{1,\phi})+\lambda_{\text{FO}}(X_{2,\phi})
\]
These formulas provide more evidence to support the equivalence between the Furuta - Ohta invariant $\lambda_{FO}$ and the Casson - Seiberg - Witten invariant $\lambda_{SW}$. Through these formulas, the author can calculate the Furuta - Ohta invariants of certain specific manifold families, which are obtained by diffeomorphic mappings of 3 - manifolds.
In addition, the paper also studies in detail the structure of the instanton moduli space, especially the asymptotic behavior of the instanton moduli space on non - compact 4 - manifolds with cylindrical ends. These studies provide a theoretical basis for proving the above formulas.