Cohomology of the hyperplane complement of a quaternionic reflection group (Q7286397)

The paper computes the graded ranks of the integral cohomology of the hyperplane complement associated with a quaternionic reflection group \(W\). If \(V^\circ\) is the corresponding complement, the Poincaré polynomial is defined by \(p_W(t)=\sum_{d\geq 0}\mathrm{rk}(H^{3d}(V^\circ,\mathbb{Z}))t^d\). The cohomology groups are free \(\mathbb{Z}\)-modules and vanish in degrees not divisible by \(3\). The paper also considers the codimension generating function \(c_W(t)\), defined as in the complex case but using \(\mathbb{H}\)-codimension.\N\NThe main result gives these two polynomials for all quaternionic reflection groups. In rank \(2\), if \(W\) has \(N\) reflections and \(N^*\) reflecting hyperplanes, then \(p_W(t)=(1+t)(1+(N^*-1)t)\) and \(c_W(t)=1+Nt+(|W|-N-1)t^2\). For the infinite family \(W_n(\Gamma,\Delta)\), where \(n\geq 3\), \(\Gamma\) is a finite non-abelian subgroup of \(\mathbb{H}^\times\) of order \(m\), \(\Delta\trianglelefteq \Gamma\) and \(\Gamma/\Delta\) is abelian, explicit product formulas are obtained for both \(p_W(t)\) and \(c_W(t)\). The exceptional irreducible quaternionic reflection groups of rank at least \(3\) are treated by tables.\N\NThe computed Poincaré polynomials factor into irreducible factors in \(\mathbb{Z}[t]\) with positive integer coefficients. For irreducible groups these factors are all linear, except for a single irreducible quadratic factor in precisely three of the exceptional groups in the notation of \textit{A. M. Cohen} [J. Algebra 64, 293--324 (1980; Zbl 0433.20035)].