Unknotting nonorientable surfaces of genus 4 and 5. (English) Zbl 07926168
Summary: Expanding on work by Conway, Orson, and Powell, we study the isotopy classes rel. boundary of nonorientable, compact, locally flatly embedded surfaces in \(D^4\) with knot group \(\mathbb{Z}_2\).
In particular we show that if two such surfaces have the same normal Euler number, the same fixed knot boundary \(K\) such that \(| \det(K) | = 1\), and the same nonorientable genus 4 or 5, then they are ambiently isotopic rel. boundary.
This implies that closed, nonorientable, locally flatly embedded surfaces in the 4-sphere with knot group \(\mathbb{Z}_2\) of nonorientable genus 4 and 5 are topologically unknotted. The proof relies on calculations, implemented in Sage, which imply that an obstruction to modified surgery is elementary. Furthermore we show that this method fails for nonorientable genus 6 and 7.
In particular we show that if two such surfaces have the same normal Euler number, the same fixed knot boundary \(K\) such that \(| \det(K) | = 1\), and the same nonorientable genus 4 or 5, then they are ambiently isotopic rel. boundary.
This implies that closed, nonorientable, locally flatly embedded surfaces in the 4-sphere with knot group \(\mathbb{Z}_2\) of nonorientable genus 4 and 5 are topologically unknotted. The proof relies on calculations, implemented in Sage, which imply that an obstruction to modified surgery is elementary. Furthermore we show that this method fails for nonorientable genus 6 and 7.
MSC:
| 57K40 | General topology of 4-manifolds |
| 57N35 | Embeddings and immersions in topological manifolds |
| 57K45 | Higher-dimensional knots and links |
References:
| [1] | Conway, Anthony; Orson, Patrick; Powell, Mark, Unknotting nonorientable surfaces, 2023 |
| [2] | Conway, John H.; Sloane, Neil J. A., Sphere Packings, Lattices and Groups, 1993, Springer: Springer New York · Zbl 0785.11036 |
| [3] | Crowley, Diarmuid; Sixt, Jörg, Stably diffeomorphic manifolds and \(l_{2 q + 1}(\text{Z} [\pi])\), Forum Math., 23, 3, 483-538, 2011 · Zbl 1243.57024 |
| [4] | Freedman, Michael H.; Quinn, Frank, Topology of 4-Manifolds, 1990, Princeton University Press · Zbl 0705.57001 |
| [5] | Hillar, Christopher J.; Rhea, Darren L., Automorphisms of finite abelian groups, Am. Math. Mon., 114, 10, 917-923, 2007 · Zbl 1156.20046 |
| [6] | Kreck, Matthias, On the homeomorphism classification of smooth knotted surfaces in the 4-sphere, (Geometry of Low-Dimensional Manifolds: 1, 1990), 707-754 |
| [7] | Kreck, Matthias, Surgery and duality, Ann. Math. (2), 149, 3, 707-754, 1999 · Zbl 0935.57039 |
| [8] | Lawson, Terry, Splitting \(S^4\) over \(\text{R} P^2\) via the branched cover of \(\text{C} P^2\) over \(S^4\), Proc. Am. Math. Soc., 86, 2, 328-330, 1982 · Zbl 0505.57001 |
| [9] | Lawson, Terry, Detecting the standard embedding of \(\text{R} P^2\) in \(S^4\), Math. Ann., 267, 439-448, 1984 · Zbl 0525.57026 |
| [10] | Massey, William, Proof of a conjecture of Whitney, Pac. J. Math., 31, 143-156, 1969 · Zbl 0198.56701 |
| [11] | Yasuhara, Akira, Connecting lemmas and representing homology classes of simply connected 4-manifolds, Tokyo J. Math., 19, 1, 245-261, 1996 · Zbl 0865.57034 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
