Transversality in generalized manifolds (Q1296276)

Given a topological manifold \(M\) and a generalized manifold \(X\). A manifold \(Q\subseteq X\) is said to be stably locally transverse to \(M\) if there is a manifold stabilization \(\pi:M_p\to X\) of \(X\), split over \(Q\), such that \(\pi^{-1}(Q)\) and \(M\) are locally transverse in \(M_p\). The main result of this paper is the following: Suppose that \(X\) is an \(n\)-generalized manifold with the Disjoint Disks Property (DDP), \(n\geq 5\), \(M\) is a topological \(m\)-manifold embedded in \(X\), and \(Q\) is either a topological \(q\)-manifold or a \(q\)-generalized manifold with the Disjoint Disks Property if \(q\geq 5\), 1-LCC embedded in \(X\), such that \(n-q\geq 3\), \(3m\leq 2(n-1)\), and \(3(m+q)<4(n-1)\). Then for every \(\varepsilon>0\) there is an \(\varepsilon\)-homotopy of the inclusion of \(M\) in \(X\) to a 1-LCC embedded \(f:M\to X\) such that \(Q\) is stably locally transverse to \(f(M)\) in \(X\). As a corollary he obtains the following result: Suppose that \(M\) and \(Q\) are topological \(m\)- and \(q\)-manifolds, respectively, in an \(n\)-generalized manifold \(X\), \(n\geq 5\), with the DDP, such that \(3m\leq 2(n-1)\), \(3q\leq 2(n-1)\), \(3(m+q)<4(n-1)\). Then there are arbitrarily small homotopies of the inclusions to 1-LCC embedding \(f:M\to X\) and \(g:Q\to X\) such that \(f(M)\) is stably locally transverse to \(g(Q)\) in \(X\).