A geometric reverse to the plus construction and some examples of pseudocollars on high-dimensional manifolds (Q1616284)

Let \(N^{n}\) be a compact smooth manifold. A one-sided \(h\)-cobordism (resp. \(s\)-cobordism) \((W,N,M)\) is a cobordism for which either \(N \hookrightarrow W\) or \(M \hookrightarrow W\) is a homotopy equivalence (resp. simple homotopy equivalence). The main result of this paper shows the existence of one-sided \(s\)-cobordims starting from a an exact sequence \(1 \rightarrow S \rightarrow G \rightarrow Q \rightarrow 1\) where \(S\) is a finitely presented superperfect group, \(G\) is a semidirect product of \(Q\) by \(S\), \(N\) is any \(n\)-manifold with \(n \geq 6\), and \(\pi_{1}(M) \cong Q\). This is a form of reverse to the plus construction, a method for simplifying the fundamental group of a space without changing its homology and cohomology groups. The author also shows that this allows uncountably many pseudocollars on some closed manifolds with the same boundary. These are obtained by using the first result and Thompson's group.