Abstract:We show that the torus knots $T(2,5)$ and $T(2,9)$ bound smooth Möbius bands in the 4-ball whose double branched covers are negative definite, giving counterexamples to Conjectures 1.6 and 1.8 of Allen in [New York J. Math. 29 (2023) 1038-1059].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify and refute two conjectures proposed by Allen in her previous research. Specifically, in her research, Allen proposed the realizability problem regarding certain knots (especially the torus knots of type (2,n)), and based on this, she proposed two conjectures:
1. **Conjecture 4 (Allen, Conjecture 1.6)**: All unknown cases in Theorem 2 are not realizable.
2. **Conjecture 5 (Allen, Conjecture 1.8)**: All torus knots have a unique "minimal point", that is, for any torus knot K, there exists exactly one realizable pair (e, γ4(K)).
### Main contributions of the paper
By constructing specific examples, the author has proven that the above two conjectures are not valid. Specifically, the author has shown the following results:
- **Theorem 6**: The torus knots T(2,5) and T(2,9) can be in the Möbius bands with smooth boundaries in the 4 - dimensional sphere B4, and the double - branched covers of these Möbius bands are negative - definite. This indicates that:
- For T(2,5), the pair (e, h) = (- 6, 1) is realized.
- For T(2,9), the pair (e, h) = (- 14, 1) is realized.
These results directly provide counter - examples to Conjecture 4 and Conjecture 5, thus proving that these two conjectures are incorrect.
### Formula summary
To better understand these results, the following are some of the key formulas involved in the paper:
1. **Gordon - Litherland formula**:
\[
\sigma(\Sigma(F))=\sigma(K)-\frac{e(F)}{2}
\]
where \(\Sigma(F)\) is the double - branched cover of the surface \(F\) on \(B^4\), \(\sigma(K)\) is the signature of the knot \(K\), and \(e(F)\) is the normal Euler number of the surface \(F\).
2. **Change in signature after H(2) - move**:
\[
\sigma(\Sigma(C)) = (\sigma(K_2)-\sigma(K_1))+\frac{1}{2}(w(D_2)-w(D_1))
\]
where \(w(D_i)\) represents the writhe of the diagram \(D_i\).
Through these formulas and specific constructions, the author has successfully found counter - examples and thus overturned Allen's conjectures.