Related papers: Knotted 3-balls in S^4

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 construct a number of topologically trivial but smoothly non-trivial families of embeddings of 3-manifolds in 4-manifolds. These include embeddings of homology spheres in $S^4$ that are not isotopic but have diffeomorphic complements,…

The purpose of this note is to answer affirmatively a question posed by both Gay, and Hughes, Kim and Miller as to whether every $3$--ball smoothly embedded in the $4$--sphere becomes isotopic relative to the bounding 2-sphere when pushed…

We answer a question of Livingston from 1982 by producing Seifert surfaces of the same genus for a knot in $S^3$ that do not become isotopic when their interiors are pushed into $B^4$. In particular, we identify examples where the surfaces…

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…

We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched…

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…

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 define an invariant $(W_3)_m$ for $\pi_0\mathrm{Diff}(\natural_m S^1\times D^3,\partial)$ for $m\geq 1$ that generalizes Budney--Gabai's $W_3$ invariant. We give a computational framework inspired by Budney--Gabai and use it to calculate…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology.…

We classify nonnegatively curved simply connected 4-manifolds with circle symmetry up to equivariant diffeomorphisms. The main problem is rule out knotted curves in the singular set of the orbit space. As an extension of this work we…

Four observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere $S$ inside $\mathbb{R} P^2\times S^2$ such that performing a Gluck twist on $S$ produces a manifold $Y$ that is…

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…

We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not…

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in…

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…

A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…

We exhibit large classes of examples of noncommutative finite-dimensional manifolds which are (non-formal) deformations of classical manifolds. The main result of this paper is a complete description of noncommutative three-dimensional…

We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we…

We say that a topologically embedded 3-sphere in a smoothing of Euclidean 4-space is a barrier provided, roughly, no diffeomorphism of the 4-manifold moves the 3-sphere off itself. In this paper we construct infinitely many one parameter…