Related papers: The 4-dimensional disc embedding theorem and dual …

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…

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…

There are two main approaches to building locally flat embedded surfaces in 4-manifolds: direct methods which geometrically manipulate a given map of a surface, and more indirect methods using surgery theory. Both rely on Freedman-Quinn's…

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

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 show how self-referential discs in 4-manifolds lead to the construction of pairs of discs with a common geometrically dual sphere which are homotopic rel $\partial$, concordant and coincide near their boundaries, yet are not properly…

We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a…

It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case,…

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…

Let $S_0$ and $S_1$ be two homotopic, oriented 2-spheres embedded in an orientable 4-manifold $X$. After discussing several operations for modifying an immersion of a 3-manifold into a 5-manifold, we discuss the Freedman--Quinn (fq) 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 we fill a gap in the proof of the main theorem (Theorem 1.2) of our paper 'Surfaces in 4-manifolds', Math. Res. Letters 4 (1997), 907-914.

M. Freedman showed that every homology 3-sphere embeds as a locally flat submanifold of $S^4$. This is in striking contrast to the state of our knowledge of smooth embeddings of homology spheres. This book surveys what is presently known…

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…

This paper deals with the generalization of usual round spheres in the flat Minkowski spacetime to the case of a generic four-dimensional spacetime manifold $M$. We consider geometric properties of sphere-like submanifolds in $M$ and…

The validity of Freedman's disk theorem is known to depend only on the fundamental group. It was conjectured that it fails for nonabelian free fundamental groups. If this were true then surgery theory would work in dimension four. Recently,…

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…

A manifold is T-embedded into an affine space if its tangent spaces at distinct points are disjoint. We prove that an n-dimensional disc cannot be T-embedded into 2n-dimensional space.