Duality in the homology of 5-manifolds (Q1688695)

The basis of this paper is a method of constructing an algebraic \(5\)-complex that satisfies Poincaré duality starting from an algebraic \(2\)-complex. Let \(G\) be a finite group and consider an algebraic \(2\)-complex \({\mathcal B}\) of free finitely generated \({\mathbb Z}[G]\) modules, where the cokernel of the last map is identified with \({\mathbb Z}\), and where the dual of the kernel of the last map is denoted by \(J\). \[ {\mathcal B} \;:=\;J^{*} \dashrightarrow \;F_{2} \;\rightarrow \;F_{1} \;\rightarrow \;F_{0} \dashrightarrow \;{\mathbb Z} \] \noindent Equip \(\mathcal B\) with a \(G\)-invariant bilinear form on \(J\), then the algebraic \(5\)-complex is \[ {\mathbb Z} \dashrightarrow F_{0}^{*} \rightarrow F^{*}_{1} \rightarrow F^{*}_{2} \rightarrow F_{2} \rightarrow F_{1} \rightarrow F_{0} \dashrightarrow \;{\mathbb Z} \] \noindent where the arrow \(F^{*}_{2} \rightarrow F_{2}\) is the composition \[ F^{*}_{2} \rightarrow J \rightarrow J^{*} \rightarrow F_{2} \] with its middle arrow given by the bilinear form. The author exploits this construction to show that the \(2\)-complexes of this type encapsulate the homology properties of \(5\)-manifolds with fundamental group \(G\).