Homology computations for complex braid groups.

DOI10.4171/JEMS/429MaRDI QIDQ2436089zbMATH OpenFDO

Publication date 21 February 2014

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

braid groups complex reflection groups Garside groups group homology Salvetti complexes Schur multipliers

Braid groups; Artin groups (20F36) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Homological methods in group theory (20J05) Cohomology of groups (20J06)

Abstract: Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincar'e polynomial with coefficients in a finite field for one large series of such groups, and compute the second integral cohomology group for all of them. As a consequence we get non-isomorphism results for these groups.

Review text

Complex braid groups are defined as follows: let \(W\) be a complex reflection group, i.e. a finite group generated by finite order endomorphisms of \(\mathrm{GL}_r(\mathbb C)\) that leave invariant some hyperplane in \(\mathbb C^r\). Let \(\mathcal A\) be the (central) hyperplane arrangement associated to the reflections of \(W\), and let \(X=\mathbb C^r\setminus\bigcup\mathcal A\) be the corresponding hyperplane complement. The generalized braid group \(B=\pi_1(X/W)\) is an extension of \(W\) by \(P=\pi_1(X)\). These braid groups are parametrized by three integers \(B(de,e,r)\) with 34 exceptional cases \(B_4,\ldots,B_{37}\). The full classification of these groups is not yet fully understood. The authors give some partial classifications of these braid groups, some specific calculations of their homology in low degrees and some results about the stability behavior of their homology. Here are some examples of their results: Theorem 6.4. Let \(B=B(e,e,r)\) and \(r\geq 3\). Then \[ H_2(B;\mathbb Z)\cong\begin{cases}\mathbb Z/e &\text{for }r=3,\\ \mathbb Z/e\times\mathbb Z/2 &\text{for }r=4\text{ and odd }e,\\ \mathbb Z/e\times(\mathbb Z/2)^2 &\text{for }r=4\text{ and even }e,\text{ and}\\ \mathbb Z/e\times\mathbb Z/2 &\text{for }r\geq 5.\end{cases} \] As for stability results, we have the following Theorem. Let \(p\) be an odd prime, the homology group \(H_*(B(2e,e,\infty);\mathbb F_p)\) is isomorphic to: \[ \lim_{r\to\infty}H_*(B(2e,e,r);\mathbb F_p)\cong\mathbb F_p[w_1,\overline y_1,\overline y_2,\ldots]\otimes\Lambda[\overline x_0,\overline x_1,\ldots], \] where \(\dim(w_1)=1\), \(\dim(\overline x_i)=2p^i-1\) and \(\dim(\overline y_i)=2p^i-2\). Moreover, the canonical morphism \[ H_i(B(2e,e,r);\mathbb F_p)\to H_i(B(2e,e,\infty);\mathbb F_p) \] is an isomorphism for \(r>(i-1)\frac{p}{p-1}+2\).

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Homology computations for complex braid groups.

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