Related papers: A space level light bulb theorem in all dimensions

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…

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…

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…

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 showing that an invariant of Mike Freedman…

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…

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 compute in many classes of examples the first potentially interesting homotopy group of the space of embeddings of either an arc or a circle into a manifold $M$ of dimension $d\geq4$. In particular, if $M$ is a simply connected…

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.…

The homotopy fiber of the inclusion from the long embedding space to the long immersion space is known to be an iterated based loop space (if the codimension is greater than two). In this paper we deloop the homotopy fiber to obtain the…

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 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 that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…

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…

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…

A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear…

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a…

The celebrated Morlet-Burghelea-Lashof-Kirby-Siebenmann smoothing theory theorem states that the group $\mathrm{Diff}_\partial(D^n)$ of diffeomorphisms of a disc $D^n$ relative to the boundary is equivalent to…

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…

We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold.…

In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension…