Link concordance implies link homotopy

Abstract

We show that link concordance implies link homotopy for immersions of codimension at least two. As a consequence, we prove that every link $\sqcup^r S^n \hookrightarrow S^{n+2}$ is link homotopically trivial for $n\geq 2$, that is, there is a {\em link} homotopy that (for each time parameter) maps distinct component $n$-spheres disjointly into $S^{n+2}$. In other words, beyond the classical dimension (of embedded circles in $S^3$) there are no `linking modulo knotting' phenomena in codimension two. To date, this was only known for $n=2$. In our proofs we follow, expand, and complete unpublished notes of the third author developing stratified Morse theory for generic immersions, where the $d$-th stratum is given by points that have $d$ preimages under the generic immersion. We discuss gradient like vector fields, their strata preserving flows, and Cerf theory. This generalizes the case of embeddings, as studied by Perron, Sharpe, and Rourke, and expanded by the first two authors. Two vital operations in Cerf theory are the rearrangement and cancellation of critical points. In the setting of stratified theory, there are additional rearrangement and cancellation obstructions arising from intersections of ascending and descending membranes for critical points of the Morse function restricted to various strata. We show that both additional obstructions vanish in codimension at least three, implying a smooth proof of Hudson's result that embedded concordance implies isotopy. In codimension at least two, we show that only the rearrangement obstruction vanishes and we introduce finger moves that eliminate the cancellation obstruction. This is done carefully and only at the expense of introducing new self-intersection points into the components of the immersion. Therefore, our moves keep distinct components disjoint and hence preserve the link homotopy class.