Normalisers of parabolic subgroups in finite unitary reflection groups (Q1644846): Difference between revisions

Let \(V\) be a finite-dimensional vector space over the complex numbers \(\mathbb{C}\) and suppose that \(V\) is equipped with a positive definite Hermitian form. A reflection is a linear transformation of \(V\) of finite order whose fixed-point space is a hyperplane. A unitary reflection group \(G\) on \(V\) is a group of linear transformations of \(V\) generated by reflections which preserve the Hermitian form. Given a parabolic subgroup \(P\) of \(G\), the authors describe the structure of the normaliser \(N_G(P)\). In particular, they show that in all cases there exists a complement \(H\) to \(P\) in its normaliser; that is, \(N_G(P)\) is a semidirect product of \(P\) and \(H\). For 17 of the 212 conjugacy classes of parabolic subgroups of the primitive reflection groups a specific but somewhat ad hoc choice of roots is given in Table 3: `Non-Coxeter parabolic complements in \(G_n\) of Eisenstein type'. The choice of roots and the verification that their setwise stabiliser is a parabolic complement was carried out using Magma code. The authors provide tables for the parabolic subgroups of \(G_{35}\), \(G_{36}\), \(G_{37}\).