Eliminating higher-multiplicity intersections in the metastable dimension range

TL;DR

This paper extends the Whitney trick to higher-multiplicity intersections in manifold topology, providing conditions under which such intersections can be eliminated when the intersection dimension is positive.

Contribution

It proves and applies an $r$-fold Whitney trick for positive-dimensional $r$-tuple intersections, advancing the understanding of intersection elimination in high-dimensional topology.

Findings

Established conditions for eliminating $r$-tuple intersections.

Extended Whitney trick to cases with positive-dimensional intersections.

Provided a method for proper maps to avoid multiple intersections.

Abstract

The procedure to remove double intersections called the Whitney trick is one of the main tools in the topology of manifolds. The analogues of Whitney trick for $r$-tuple intersections were `in the air' since 1960s. However, only recently they were stated, proved and applied to obtain interesting results. Here we prove and apply the $r$-fold Whitney trick when general position $r$-tuple intersection has positive dimension. A continuous map $f\colon M \to B^d$ from a manifold with boundary to the $d$-dimensional ball is called proper, if $f^{-1}(\partial B^d)=\partial M$. Theorem. Let $D=D_1\sqcup\ldots\sqcup D_r$ be disjoint union of $k$-dimensional disks, and $f:D\to B^d$ a proper map such that $f\partial D_1\cap\ldots\cap f\partial D_r=\emptyset$, and the map $$f^r:\partial(D_1\times\ldots\times D_r)\to (B^d)^r-\{(x,x,\ldots,x)\in(B^d)^r\ :\ x\in B^d\}$$ extends continuously to $D_1\times\ldots\times D_r$. If $rd\ge (r+1)k+3$, then there is a proper map $\bar f:D\to B^d$ such that $\bar f=f$ on $\partial D$ and $\bar fD_1\cap\ldots\cap \bar fD_r=\emptyset$.