Abstract:We prove that the double branched cover of a twist-roll spun knot in $S^4$ is
smoothly preserved when four twists are added, and that the double branched
cover of a twist-roll spun knot connected sum with a trivial projective plane
is preserved after two twists are added. As a consequence, we conclude that a
family of homotopy $\mathbb{CP}^2$s recently constructed by Miyazawa are each
diffeomorphic to $\mathbb{CP}^2$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the double - branched coverings of twist - roll spun knots remain smoothly homeomorphic after adding a specific number of twists. Specifically, the author studies the following two problems:
1. **Invariance of double - branched coverings**: When four twists are added to a twist - roll spun knot, will its double - branched covering remain smoothly homeomorphic?
2. **Connected sum with the projective plane**: When a twist - roll spun knot is connected sum with a trivial projective plane and two twists are added, will its double - branched covering remain smoothly homeomorphic?
By proving these problems, the author reaches an important conclusion: Each member in a family of homotopy CP²s recently constructed by Miyazawa is smoothly homeomorphic to the standard complex projective plane \( \mathbb{CP}^2 \).
### Specific problem description
- **Theorem 1.1**: For any integers \( m, n\in\mathbb{Z} \) and any classical knot \( K \), the following smooth homeomorphism relations hold:
\[
\Sigma_2(\tau_{m + 4}\rho_n(K))\cong\Sigma_2(\tau_m\rho_n(K))
\]
\[
\Sigma_2(\tau_{m+2}\rho_n(K)\#P_{\pm})\cong\Sigma_2(\tau_m\rho_n(K)\#P_{\pm})
\]
- **Corollary 1.2**: Let \( J \) be the pretzel knot \( P(- 2,3,7) \), then for any non - negative integer \( k\geq0 \), we have:
\[
\Sigma_2((\#k\tau_0\rho_1(J))\#P_+)\cong\mathbb{CP}^2
\]
These results show that under specific conditions, the double - branched coverings of certain complex structures remain invariant after adding a certain number of twists, which provides a new perspective for understanding high - dimensional topological spaces.
### Research significance
This research not only solves specific mathematical problems but also provides a theoretical basis for further exploring complex structures and their properties in four - dimensional manifolds. In particular, it reveals the relationship between certain homotopy complex projective planes and the standard complex projective plane, which is of great significance for understanding the exotica phenomena in four - dimensional topology.