Isotopy of surfaces in 4-manifolds after a single stabilization

  title={Isotopy of surfaces in 4-manifolds after a single stabilization},
  author={Dave Auckly and Hee Jung Kim and P. Melvin and Daniel Ruberman and Hannah R. Schwartz},
  journal={Advances in Mathematics},

Figures from this paper

Knotted nullhomologous surfaces in 4-manifolds
We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a
On non‐orientable surfaces embedded in 4‐manifolds
We find conditions under which a non‐orientable closed surface smoothly embedded into an orientable 4 ‐manifold X can be represented by a connected sum of an embedded closed surface in X and an
On 2-knots and connected sums with projective planes
In this paper, we generalize a result of Satoh to show that for any odd natural n , the connected sum of the n -twist spun sphere of a knot K and an unknotted projective plane in the 4-sphere is
Homotopy versus isotopy: Spheres with duals in 4-manifolds
David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by
An adjunction inequality obstruction to isotopy of embedded surfaces in 4-manifolds.
Consider a smooth $4$-manifold $X$ and a diffeomorphism $f : X \to X$. We give an obstruction in the form of an adjunction inequality for an embedded surface in $X$ to be isotopic to its image under
Smoothly knotted and topologically unknotted nullhomologous surfaces in 4-manifolds.
We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a
(Un)knotted nullhomotopic spheres and disks in 4-manifolds produced via knot surgery
For each knot K ⊂ S and a 4-manifold X that satisfies certain conditions, we use Fintushel-Stern’s knot surgery to construct a nullhomotopic 2-sphere SK ⊂ X#S 2 × S such that SK bounds a
Knotted surfaces in $4$-manifolds by knot surgery and stabilization
  • H. Kim
  • Mathematics
    Transactions of the American Mathematical Society
  • 2019
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $\Sigma$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that
Isotopy of the Dehn twist on K3#K3 after a single stablization
Kronheimer-Mrowka recently proved that the Dehn twist along a 3-sphere in the neck of $K3\#K3$ is not smoothly isotopic to the identity. This provides a new example of self-diffeomorphisms on
Family Bauer--Furuta invariant, Exotic Surfaces and Smale conjecture
We establish the existence of a pair of exotic surfaces in a punctured K3 which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a


A decomposition of smooth simply-connected $h$-cobordant 4-manifolds
We prove that any two smooth h-cobordant simply-connected 4-manifolds can be obtained by taking two manifolds with boundary, one of which is contractible, and gluing them along the boundary via two
Isotoping 2-spheres in 4-manifolds
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
On Simply-Connected 4-Manifolds
This paper concerns (but does not succeed in performing) the diffeomorphism classification of closed, oriented, differential, simply-connected 4-manifolds. It arises out of the observation (due to
Stable isotopy in four dimensions
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
Surfaces in 4-Manifolds
In this paper we introduce a technique, called rim surgery, which can change a smooth embedding ofan orientable surf ace Σ ofpositive genus and nonnegative self-intersection in a smooth 4-manifold X
A polynomial invariant of diffeomorphisms of 4-manifolds
We use a 1–parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4–manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is
Knotted surfaces in 4‐manifolds and stabilizations
In this paper, we study stable equivalence of exotically knotted surfaces in 4‐manifolds, surfaces that are topologically isotopic but not smoothly isotopic. We prove that any pair of embedded
The 4-dimensional light bulb theorem
  • David Gabai
  • Mathematics
    Journal of the American Mathematical Society
  • 2020
For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\BZ_2$-torsion in the fundamental group. This
Diffeomorphisms of 4‐Manifolds
The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3manifold M3. These conditions involve how the stable and unstable