Abelianization of subgroups of reflection groups and their braid groups: an application to Cohomology
Résumé
The final result of this article gives the order of the extension 1⟶P/[P,P]⟶B/[P,P]⟶W⟶1 as an element of the second cohomology group H^2(W, P/[P, P]) (where B and P stands for the braid group and the pure braid group associated to the complex reflection group W). To obtain this result, we first refine Stanley-Springer’s theorem on the abelianization of a reflection group to describe the abelianization of the stabilizer N H of a hyperplane H. The second step is to describe the abelianization of big subgroups of the braid group B of W. More precisely, we just need a group homomorphism from the inverse image of N H by p (where p: B → W is the canonical morphism) but a slight enhancement gives a complete description of the abelianization of p^{−1}(W′) where W′ is a reflection subgroup of W or the stabilizer of a hyperplane. We also suggest a lifting construction for every element of the centralizer of a reflection in W.