Equivariant simple Poincaré duality (Q1330163)

For a finite transformation group \(G\), the author develops a simple homotopy theory of \(G\)-cell complexes whose cells are the discs of representations, and shows along the way the dual cell structure of a smooth \(G\)-manifold is unique up to simple \(G\)-homotopy equivalence. The primary goal of this paper is to define equivariant simple Poincaré complexes and to prove the following \(\pi -\pi\) theorem: Let \((X, \partial X)\) be a simple Poincaré \(G\)-pair such that the inclusion \(\partial X \to X\) is a \(\pi\)-equivalence, we also assume that the dimensions of the fixed sets satisfy certain hypotheses. If \(M\) is a smooth compact \(G\)-manifold and \(f : (M,\partial M) \to (X, \partial X)\) is a degree-1 map covered by a simple equivalence of local representation data and a bundle map \(b : \nu_ M \to \xi\) for some bundle \(\xi\) over \(X\), then \((f,b)\) is normally \(G\)-cobordant to a simple \(G\)-homotopy equivalence of pairs.