Abelianization of subgroups of reflection groups and their braid groups: an application to cohomology.

DOI10.1007/S00229-011-0438-9MaRDI QIDQ644985zbMATH OpenOpenAlexFDO

Authors Vincent Beck

Publication date 8 November 2011

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1003.0719

zbMATH Keywords

Abelianizationsbraid groupscohomologycomplex reflection groupshyperplane arrangements

Mathematics Subject Classification ID

Braid groups; Artin groups (20F36) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Cohomology of groups (20J06)

Abstract: The final result of this article gives the order of the extension ${\displaystyle }$xymatrix{1ar[r] & P/[P,P] ar^{j}[r] & B/[P,P] ar^-{p}[r] & W ar[r] & 1}${\displaystyle }$ as an element of the 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 describe the abelianization of the stabilizer $N_H$ of a hyperplane $H$. Contrary to the case of Coxeter groups, $N_H$ is not in general a reflection subgroup of the complex reflection group $W$. So the first step is to refine Stanley-Springer's theorem on the abelianization of a reflection group. The second step is to describe the abelianization of various types 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$ with values in $QQ$ (where $p:BaW$ is the canonical morphism) but a slight enhancement gives a complete description of the abelianization of $p^{-1}(W^{\prime })$ where $W^{\prime }$ 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$.

Review text

The final result of this article gives the order of the extension \[ 1\to P/[P,P]@>j>>B/[P,P]@>p>>W\to 1 \] as an element of the cohomology group \(H^2(W,P/[P,P])\) (where \(B\) and \(P\) stand for the braid group and the pure braid group associated to the complex reflection group \(W\)). To obtain this result, the author first refines 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, he just needs a group homomorphism from the inverse image of \(N_H\) by \(p\) (where \(p\colon B\to 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. He also suggests a lifting construction for every element of the centralizer of a reflection in \(W\).

Recommendations

• Torsion subgroups of quasi-abelianized braid groups
• Homology computations for complex braid groups.
• Cohomology of finite and affine type Artin groups over Abelian representations.
• Homology computations for complex braid groups. II
• Regular theory in complex braid groups

Cites work

• CHEVIE -- A system for computing and processing generic character tables
• Combinatorics and topology of complements of hyperplanes
• Differential Equations Invariant Under Finite Reflection Groups
• Finite Unitary Reflection Groups
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 1176965 (Why is no real title available?)
• Introduction to complex reflection groups and their braid groups.
• Invariant theory
• Reflection groups acting on their hyperplanes.
• Relative invariants of finite groups generated by pseudoreflections

Cited in

(4)

• Braid groups of normalizers of reflection subgroups
• Torsion subgroups of quasi-abelianized braid groups
• Crystallographic groups and flat manifolds from complex reflection groups
• Cohomology of quasi-abelianized braid groups

Describes a project that uses

Uses Software

• CHEVIE
• GAP

This page was built for publication: Abelianization of subgroups of reflection groups and their braid groups: an application to cohomology.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q644985)