Presentation of the pure Artin groups

Question

Let $W$ be a Coxeter group attached to a Coxeter matrix with entries $m_{ij}$ . The presentation of $W$ is given by $$W= < T_1, \dots, T_n | T_i^2=1, T_iT_jT_i \ldots = T_jT_iT_j \ldots, i \neq j>$$ where each side of the second equation has $m_{ij}$ terms.

Suppose $B_{W}$ is the corresponding braid group (aka Artin group) obtained by removing the relations $T_i^2=1$: $$B_{W}=< T_1, \dots, T_n | T_iT_jT_i \cdots = T_jT_iT_j \cdots>.$$

Then there is a canonical surjective homomorphism $B_{W} \to W$, the kernel of this homomorphism is called pure Artin group.

Does anyone know the presentation of the pure Artin group?

Thank you!

Answer 1

I don't know any reference where such a presentation is written down for any Artin group. But:

• You can find In this paper of Enriquez a presentation for the pure Artin group of type B: http://arxiv.org/abs/math/0408035 Proposition 1.1 (by setting $N=2$ is the formulaes)
• For all the infinite families, the corresponding pure braid groups are iterated semi-direct products of free groups. (For all the families but the $D_n$ one, it follows from the fact that the corresponding hyperplane arrangements are of fiber type, hence these are even almost-direct product). It should leads quite easily to a nice presentation of these groups.

Edit: You may also be interested by this paper of Crips and Paris: http://arxiv.org/abs/math/0210438. Recall that $W_{B_n}=(\mathbb{Z}/2\mathbb{Z})^n \rtimes S_n$ and that $W_{D_n}=(\mathbb{Z}/2\mathbb{Z})^{n-1}\rtimes S_n$. It is proved in this paper that $B_{B_n}=F_n \rtimes B_n$ and that $B_{D_n}=F_{n-1}\rtimes B_n$ where $B_n$ is the braid group of type $A$ and $F_n$ is a free group, and that the canonical projection from the braid group to the Coxeter group is compatible with these decomposition (in the sense that in both cases it restricts to the obvious projections $B_n \rightarrow S_n$ and $F_k \rightarrow (\mathbb{Z}/2\mathbb{Z})^k$).

Answer 2

The question is stated a bit loosely, but the basic literature goes back about four decades to work of Brieskorn and Deligne. Since I'm not an expert on these matters I can only refer to the basic papers, which by now are freely available online, though in German or French. For Brieskorn's work see: E. Brieskorn, "Die Fundamentalgruppe des Raumes der regula ̈ren Orbits einer endlichen komplexen Spiegelungsgruppe", Invent. Math. 12 (1971), 57–61 (available online from http://gdz.sub.uni-goettingen.de/), together with his Bourbaki seminar talk (online from http://www.numdam.org). In each case a simple search for the author's name will reach the article easily. Deligne completed the proof of Brieskorn's conjecture that the spaces in question are Eilenberg-MacLane spaces in another Invent. Math. paper: "Les immeubles des groupes de tresses generalises", Invent. Math. 17 (1972), 273–302.