On finite derived quotients of 3-manifold groups (Q907772)

The main result of the paper under review is the following theorem. Let \(M\) be a closed, orientable 3-manifold, let \(\Gamma\simeq\pi_1(M)\), and let \(q: \Gamma\to G\) be a surjective homomorphism such that \(\ker(q)\subset[[\Gamma,\Gamma], [\Gamma,\Gamma]]\). If \(G\) is finite, then the cup-product \(H^2(G)\otimes H^2(G)\to H^4(G)\) is nondegenerate and has cyclic image \(C< H^4(G)\). Furthermore, there exists an embedding \(i: C\to\mathbb{Q}/\mathbb{Z}\) such that for any \(\omega_1,\omega_2\in H^2(G)\), \[ i(\omega_1\cup\omega_2)= \langle[M]\cap\widetilde q^*(\omega_1), [M]\cap\widetilde q^*(\omega_2)\rangle, \] where \([M]\in H_3(M)\) denotes the fundamental class of \(M\), \((-, -)\) denotes the linking pairing on \(H_1(M)_{\text{Tors}}\), and \(\widetilde q: M\to BG\) is a continuous map from \(M\) to the classifying space of \(G\) such that \(\widetilde q_*:\pi_1(M)\to\pi_1(BG))\simeq G\) is equal \(q\). It is mentioned by the author that from the above theorem and well-known results about 2-groups and their cohomology ring follows the Theorem 12.5 of an article by \textit{A. Reznikov} [Sel. Math., New Ser. 3, No. 3, 361--399 (1997; Zbl 0892.57012)]. Moreover, the author remarks: ``The methods of this paper are purely algebraic, and also apply to Poincaré duality groups of dimension three''.