Abstract:In this paper we define the equivariant double-slice genus and equivariant super-slice genus of a strongly invertible knot. We prove lower bounds for both the equivariant double-slice genus and the equivariant super-slice genus. Using these bounds we find a family of knots which are double-slice and equivariantly slice, but have equivariant double-slice genus at least $n$. Using this result, we construct unknotted symmetric 2-spheres which do not bound symmetric 3-balls. Additionally, using double-slice and super-slice genera we find effective lower bounds for 1-handle stabilization distance and identify a possible method for using equivariant double-slice and super-slice genera to bound symmetric 1-handle stabilization distance for symmetric surfaces.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve can be summarized as the following points:
1. **Define and study the equivariant double - slice genus**:
- The author defines the equivariant double - slice genus \(\tilde{g}_{ds}(K, \tau)\) of a strongly invertible knot \((K, \tau)\) and explores its properties. Specifically, the equivariant double - slice genus refers to the minimum genus of a surface \(\Sigma\) in \(S^4\) that intersects \(S^3\) and is equivariantly unknotted, where \(K\) is a strongly invertible knot.
2. **Prove the lower bound of the equivariant double - slice genus**:
- The author proves the lower bound theorem (Theorem 1.1) of the equivariant double - slice genus, that is, for a strongly invertible knot \((K, \tau)\), the minimum of the non - equivariant double - slice genera of the two knots \(K_0\) and \(K_1\) formed by arcs \(h_0\) and \(h_1\) is not greater than the equivariant double - slice genus:
\[
\min\{g_{ds}(K_0), g_{ds}(K_1)\} \leq \tilde{g}_{ds}(K, \tau)
\]
- This lower bound allows the partial transformation of problems regarding the equivariant double - slice genus into problems regarding the non - equivariant double - slice genus.
3. **Construct a family of knots with specific properties**:
- The author finds a family of knots \((K_n, \tau)\) through specific construction methods, and these knots satisfy:
1. \(K_n\) is double - slice.
2. \((K_n, \tau)\) is equivariantly slice.
3. The equivariant double - slice genus \(\tilde{g}_{ds}(K_n, \tau)\) is at least \(n\).
- The existence of these knots shows that the equivariant double - slice genus does not solely depend on the combination of the double - slice genus and the equivariant 4 - genus.
4. **Define and study the equivariant super - slice genus**:
- Similar to the double - slice genus, the author defines the equivariant super - slice genus \(\tilde{g}_{ss}(K, \tau)\) and proves a similar lower bound theorem (Theorem 1.3):
\[
\min\{g_{ss}(K_0), g_{ss}(K_1)\} \leq \tilde{g}_{ss}(K, \tau)
\]
5. **Study of symmetric 2 - spheres**:
- Using the above results, the author constructs examples of symmetric 2 - spheres that do not intersect the boundary of the symmetric 3 - ball and proves that there exists a symmetric 2 - sphere in \(S^4\) that has symmetry but does not intersect the boundary of the symmetric 3 - ball (Theorem 1.4).
6. **Study of the stabilization distance**:
- The author studies the internal stabilization distance of surfaces embedded in 4 - manifolds and introduces the concept of the equivariant stabilization distance. By using the basic properties of the double - slice and super - slice genera, the author proves the lower bounds of the 1 - handle stabilization distance under certain conditions (Theorem 1.5 and Theorem 1.7).
In conclusion, this paper reveals the complex properties of strongly invertible knots in high - dimensional spaces by introducing new equivariant concepts and proving related theorems, and provides new tools to distinguish and study the topological characteristics of these knots.