Simple spines of homotopy 2-spheres are unique

Patrick Orson,Mark Powell
DOI: https://doi.org/10.1112/plms.12583
2024-05-10
Abstract:A locally flatly embedded $2$-sphere in a compact $4$-manifold $X$ is called a spine if the inclusion map is a homotopy equivalence. A spine is called simple if the complement of the $2$-sphere has abelian fundamental group. We prove that if two simple spines represent the same generator of $H_2(X)$ then they are ambiently isotopic. In particular, the theorem applies to simple shake-slicing $2$-spheres in knot traces.
Geometric Topology
What problem does this paper attempt to address?