On finite derived quotients of 3-manifold groups

Abstract

This paper studies the set of finite groups appearing as $π_1(M)/π_1(M)^{(n)}$, where $M$ is a closed, orientable 3-manifold and $π_1(M)^{(n)}$ denotes the $n$-th term of the derived series of $π_1(M)$. Our main result is that if $M$ is a closed, orientable 3-manifold, $n\ge 2$, and $G\cong π_1(M)/π_1(M)^{(n)}$ is finite, then the cup product pairing $H^2(G)\otimes H^2(G)\to H^4(G)$ has cyclic image $C$, and the pairing $H^2(G)\otimes H^2(G)\stackrel{\smile}{\longrightarrow} C$ is isomorphic to the linking pairing $H_1(M)_{\textrm{Tors}}\otimes H_1(M)_{\textrm{Tors}}\to \mathbb{Q}/\mathbb{Z}$.