相关论文: Homotopy versus isotopy: spheres with duals in 4-m…

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 gives a generalization of the classical light…

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 give a 4-dimensional light bulb theorem for properly embedded disks, generalizing recent work of Gabai and Kosanovic-Teichner in certain contexts, and extending the 4-dimensional light bulb theorem for 2-spheres due to Gabai and…

We present new smoothing techniques for topologically embedded surfaces in smooth 4-manifolds, which give topological isotopy to a smooth surface. As applications, we prove "topological = smooth" results in dimension 4 for certain disks and…

In this note I present my understanding of, that is to say the way I look at, David Gabai's proof of his recent 4-Dimensional Light Bulb Theorem (4D-LBT). His construction, entirely smooth, is an ingenious amalgam of classical moves, and…

For a 4-manifold $M$ and a knot $k\colon\mathbb{S}^1\hookrightarrow\partial M$ with dual sphere $G\colon\mathbb{S}^2\hookrightarrow\partial M$, we compute the set $\mathbb{D}(M;k)$ of smooth isotopy classes of neat embeddings…

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…

We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $\pi_1(X^4)$ has no $2$-torsion and one…

In this short note, for each non-zero integer n, we construct a 4-manifold containing a smoothly concordant pair of spheres with a common dual of square n but no automorphism carrying one sphere to the other. Our examples, besides showing…

This paper addresses several isotopy problems on $4$-manifolds. First, we classify the isotopy classes of embeddings of $\Sigma$ in $\Sigma\times S^2$ that are geometrically dual to $\{\mbox{pt}\}\times S^2$, where $\Sigma$ is a closed…

Given a $d$-dimensional manifold $M$ and a knotted sphere $s\colon\mathbb{S}^{k-1}\hookrightarrow\partial M$ with $1\leq k\leq d$, for which there exists a framed dual sphere $G\colon\mathbb{S}^{d-k}\hookrightarrow\partial M$, we show that…

We introduce new methods in pseudo-isotopy and embedding space theory. As an application we introduce an invariant that detects nontrivial loops of embedded 2-spheres in $S^{2} \times S^{2}$ and in connected sums of $S^{2} \times S^{2}$.…

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…

Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first…

We modify the proof of the disc embedding theorem for $4$-manifolds, which appeared as Theorem 5.1A in the book "Topology of 4-manifolds" by Freedman and Quinn, in order to construct geometrically dual spheres. These were claimed in the…

We compute the group of link homotopy classes of link maps of two 2-spheres into 4-space. It turns out to be free abelian, generated by geometric constructions applied to the Fenn-Rolfsen link map and detected by two self-intersection…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

We prove a concordance version of the 4-dimensional light bulb theorem for $\pi_1$-negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if $F_0$ and $F_1$ are such…

If $\Sigma$ and $\Sigma'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense…

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…