Related papers: A Dunfield--Gong 4-Sphere is Standard

We show that by performing the Gluck twist along the 2-knot $K^2_{pq}$ derived from two ribbon presentations of the ribbon 1-knot $K(p,q)$ we get the standard 4-sphere $S^4$. In the proof we apply Kirby calculus.

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…

M. A. Kervaire showed that every group of deficiency $d$ and weight $d$ is the fundamental group of a smooth sphere-link of $d$ components in a smooth homotopy 4-sphere. In the use of the smooth unknotting conjecture and the smooth 4D…

For every $n \geq 4$, we demonstrate the existence of non-isotopic smooth $(n-2)$-knots in $S^n$ with diffeomorphic traces by generalising the RBG link construction to all dimensions. Conversely, we prove that for every $n \geq 4$, the…

There are 352.2 million prime knots in the 3-sphere with at most 19 crossings. We study which of these knots are slice, in both the smooth and topological categories. While no algorithm is known for deciding whether a given knot is slice in…

Using spinning we analyze in a geometric way Haefliger's smoothly knotted (4k-1)-spheres in the 6k-sphere. Consider the 2-torus standardly embedded in the 3-sphere, which is further standardly embedded in the 6-sphere. At each point of the…

Given a simply-connected 4-manifold with boundary the 3-sphere, this paper establishes sufficient conditions for a knot in the boundary to be sliced by a locally flat disc in the 4-manifold, whose complement has finite cyclic fundamental…

Consider a dihedral cover $f: Y\to X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an…

A crucial step in the surgery-theoretic program to classify smooth manifolds is that of representing a middle--dimensional homology class by a smoothly embedded sphere. This step fails even for the simple 4-manifolds obtained from the…

We prove that the infinite family of homotopy 4-spheres constructed by Daniel Nash are all diffeomorphic to 4-sphere.

A knot K in the 3-sphere is superslice if there is a slice disk D in the 4-ball such that the double of D along K is the unknotted 2-sphere S in $S^4$. Answering a question of Livingston-Meier, we find smoothly slice (in fact doubly slice)…

We construct examples of non-smoothable surfaces in the $4$-sphere, thereby answering Question 4.32 on the K3 problem list. These surfaces are non-orientable and have knot group of order $2$, thus simultaneously answering Question 4.29(a)…

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…

For a knot $K$ in the 3-sphere and a simply connected closed 4-manifold $X$, we define the $X$-double slice genus of $K$, extending the notion from the case when $X$ is the 4-sphere. We show that for each integer $n$, there exists an…

The non-orientable 4-genus of a knot K in the three sphere is defined to be the minimum first Betti number of a non-orientable surface F in the four-ball so that K bounds F. We will survey the tools used to compute the non-orientable…

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…

Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some…

We study three knot invariants related to smoothly immersed disks in the four-ball. These are the four-ball crossing number, which is the minimal number of normal double points of such a disk bounded by a given knot; the slicing number,…

We can construct a 4-manifold by attaching 2-handles to a 4-ball with framing r along the components of a link in the boundary of the 4-ball. We define a link as r-shake slice if there exists embedded spheres that represent the generators…

Given a knot in the 3-sphere, the non-orientable 4-genus or 4-dimensional crosscap number of a knot is the minimal first Betti number of non-orientable surfaces, smoothly and properly embedded in the 4-ball, with boundary the knot. In this…