Related papers: Unknotting 3-balls in the 5-ball
The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating…
In this note we give a complete obstruction for two homotopic embeddings of a 2-sphere into a 5-manifold to be isotopic. The results are new even though the methods are classical, the main tool being the elimination of double points via a…
For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the…
Let f, g be two homotopic smooth embeddings of a closed surface in a closed oriented 5-dimensional manifold. We show that if f admits a common algebraic dual 3-sphere, or if the fundamental group of the ambient space is trivial, then f and…
We show an example of an embedded copy of 5RP^2 in the four-sphere which is topologically standard but smoothly knotted, i.e. smoothly not isotopic to the standard embedding.
For every integer $g\ge 2$ we construct 3-dimensional genus-$g$ 1-handlebodies smoothly embedded in $S^4$ with the same boundary, and which are defined by the same cut systems of their boundary, yet which are not isotopic rel. boundary via…
In this paper, we construct infinitely many non-isotopic 3-knots in the 5-sphere, each of which has four critical points with respect to the standard height function of the 5-sphere. This contrasts with a theorem of Scharlemann which says…
We compare two naturally arising notions of unknotting number for 2-spheres in the 4-sphere: namely, the minimal number of 1-handle stabilizations needed to obtain an unknotted surface, and the minimal number of Whitney moves required in a…
Given a nonorientable, locally flatly embedded surface in the $4$-sphere of nonorientable genus $h$, Massey showed that the normal Euler number lies in $\lbrace -2h,-2h+4,\ldots,2h-4,2h \rbrace$. We prove that every such surface with knot…
I prove that any two smooth collections of spanning 3-discs for the trivial 2-link in $S^4$ become smoothly isotopic rel. boundary after pushing them into $D^5$.
We consider the space of all smooth knots in the 3-sphere isotopic to a given knot, with the aim of finding a small subspace onto which this large space deformation retracts. For torus knots and many hyperbolic knots we show the subspace…
By the Fox's re-embedding theorem, any compact submanifold of the 3-sphere can be re-embedded in the 3-sphere so that it is unknotted. It is unknown whether the Fox's re-embedding can be replaced with twistings. In this paper, we will show…
Any knot in $S^3$ may be reduced to a slice knot by crossing changes. Indeed, this slice knot can be taken to be the unknot. In this paper we study the question of when the same holds for knots in homology spheres. We show that a knot in a…
Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are…
A graph embedded in the 3-sphere is called irreducible if it is non-splittable and for any 2-sphere embedded in the 3-sphere that intersects the graph at one point the graph is contained in one of the 3-balls bounded by the 2-sphere. We…
We prove that if a topological sphere smoothly embedded into $\mathbb{R}^3$ with normal curvatures absolutely bounded by $1$ is contained in an open ball of radius $2$, then the region it bounds must contain a unit ball. This result…
We show that for any closed, orientable surface $K$ smoothly embedded in $\mathbb{R}^4$, the unit $4$-ball $B^4 \subset \mathbb{R}^4$ can be tiled using $n \geq 3$ tiles each congruent to a regular neighborhood (with corners) of a surface…
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…
We show that every locally flat topological embedding of a 3-manifold in a smooth 5-manifold is homotopic, by a small homotopy, to a smooth embedding. We deduce that topologically locally flat concordance implies smooth concordance for…
Here we discuss an example of topologically isotopic but smoothly non-isotopic pair of 2-spheres in a simply connected 4-manifold, which become smoothly isotopic after stabilizing by connected summing with S^2 x S^2.