The relative Whitney trick and its applications

From MaRDI portal
Publication:2065451



Abstract: We introduce a geometric operation, which we call the relative Whitney trick, that removes a single double point between properly immersed surfaces in a 4-manifold with boundary. Using the relative Whitney trick we prove that every link in a homology sphere is homotopic to a link that is topologically slice in a contractible topological 4-manifold. We further prove that any link in a homology sphere is order k Whitney tower concordant to a link in S3 for all k. Finally, we explore the minimum Gordian distance from a link in S3 to a homotopically trivial link. Extending this notion to links in homology spheres, we use the relative Whitney trick to make explicit computations for 3-component links and establish bounds in general.


The topological Whitney trick in 4 dimensions is an operation that removes a pair of oppositely signed transverse intersection points between two locally flat immersed surfaces. In this paper a relative Whitney trick is introduced, which removes a single point of intersection between properly immersed locally flat surfaces in a 4-manifold with boundary. The relative Whitney trick is applied to the study of links in homology 3-spheres. One of the main results shows that every link in a homology sphere \(Y\) is freely homotopic to a freely slice link, that is, to a link that bounds a collection of disjoint locally flat embedded disks in a contractible topological 4-manifold \(X\) bounded by \(Y\). It is a conjecture that every link in a homology sphere \(Y\) is homology concordant to a link in \(S^3\) (the corresponding statement in the smooth category is false). Some evidence is given for this conjecture, for it is shown that if \(L\) is a link in \(Y\), then there is a link \(J\) in \(S^3\) and a simply connected homology cobordism from \(Y\) to \(S^3\) such that the components of \(L\) and \(J\) cobound disjoint immersed annuli in the cobordism. A link \(L \subset Y\) is 4D-homotopically trivial if it bounds disjoint immersed disks in a contractible 4-manifold. The homotopy trivializing number \(n_h(L)\) is defined to be the minimum number of crossing changes required to transform \(L\) into a 4D-homotopically trivial link. It is proved that the number \(n_h(L)\) can be computed by counting the intersections between distinct generically immersed disks bounded by the link in a contractible 4-manifold.











This page was built for publication: The relative Whitney trick and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065451)