Published online by Cambridge University Press: 24 October 2008
Recall that in (2) we showed that it was possible to make transverse a homology manifold and PL-manifold inside a large dimensional homology manifold, subject to being able to do some general position inside the large manifold. In (1) we were able to relax the condition that one of the submanifolds be a PL-manifold to it being a homotopy manifold. The way in which the making transverse was achieved was via a system of h-cobordisms from the original situation to the transverse one. The problem we tackle here is that of making a map between homology manifolds transverse regular. Thus we ask: given a map f: M → N of homology manifolds with P a proper submanifold of N, is it possible to homotop f to a map g: M → N such that g−1(P) is a proper submanifold of M and g induces a map from the normal bundle of g−1(P) in M to the normal bundle of P in N?