The \(\pi\)-\(\pi\)-theorem for manifold pairs with boundaries (Q2473712)

The \(\pi\)-\(\pi\) theorem of [\textit{C. T. C. Wall}, Surgery on Compact Manifolds, second edition. Mathematical Surveys and Monographs. 69. (Providence), RI: American Mathematical Society (AMS). (1999; Zbl 0935.57003)] states that in higher dimensions a normal map of a manifold with boundary to a simple Poincaré pair \((X,\partial X)\) is normally bordant to a simple homotopy equivalence if the map \(\pi_1(\partial X) \to \pi_1(X)\) is an isomorphism. Wall also defined the surgery obstruction groups \(LP_*\) for normal maps to manifold pairs and splitting obstruction groups \(LS_*\). From this point of view, the authors generalized the \(\pi\)-\(\pi\) theorem in the following sense: Let \((f, \partial f): (M, \partial M) \to (X, \partial X)\) be a topological normal map to a pair of manifolds with boundary \((Y, \partial Y) \subset (X, \partial X)\) with topological normal block fibration \(\xi_Y=\xi_{Y\subset X}\) and \(\dim Y \geq 6\). If the inclusion \(\partial X \to X\) induces an isomorphism between the push-out squares of fundamental groups of \((X; Y, X-Y; S(\xi_Y))\) and \((\partial X; \partial Y, \partial X -\partial Y; S(\xi_{\partial Y}))\), then (1) \((f,\partial f)\) is normally bordant to an \(s\)-triangulation of the pair of manifolds. (2) if \((f, \partial f)\) is a simple homotopy equivalence of the pairs, then it is concordant to an \(s\)-triangulation of the pair of manifolds. (3) if the restricted map \((f,\partial f) :(f^{-1}(Y), f^{-1}(\partial Y)) \to (Y, \partial Y)\) is a simple homotopy equivalence of pairs, then \((f, \partial f)\) is normally bordant to an \(s\)-triangulation of the pair of manifolds. Where an \(s\)-triangulation of a pair of manifolds is in the sense of [\textit{A. A. Ranicki}, Exact Sequences in the Algebraic Theory of Surgery. Mathematical Notes, 26. Princeton, New Jersey: Princeton University Press; University of Tokyo Press. (1981; Zbl 0471.57012)]. The results can be carried over to \(Diff\)- and \(PL\)-categories. The authors applied the obtained results to surgery on filtered manifolds.