Artin group

In mathematics, an Artin group (or generalized braid group) is a group with a presentation of the form:$$Biglangle x_1,x_2,ldots,x_n Big| langle x_1, x_2 angle^{m_{1,2=langle x_2, x_1 angle^{m_{2,1, ldots , langle x_{n-1}, x_n angle^{m_{n-1,n=langle x_{n}, x_{n-1} angle^{m_{n,n-1 Big anglewhere :$$m_{i,j} in {2,3,ldots, infty}.

For $$m < infty, $$langle x_i, x_j angle^m denotes an alternating product of $$x_i and $$x_j of length $$m, beginning with $$x_i. For example,

:$$langle x_i, x_j angle^3 = x_ix_jx_i

and

:$$langle x_i, x_j angle^4 = x_ix_jx_ix_j.

If $$m=infty, then there is (by convention) no relation for $$x_i and $$x_j.

The integers $$m_{i,j} can be organized into a symmetric matrix, known as the Coxeter matrix of the group. Each Artin group has as a quotient the Coxeter group with the same set of generators and Coxeter matrix. The kernel of the homomorphism to the associated Coxeter group, known as the pure Artin group, is generated by relations of the form $${x_i}^2=1.

Classes of Artin groups

Braid groups are examples of Artin groups, with Coxeter matrix $$m_{i,i+1} = 3 and $$m_{i,j}=2 for $$|i-j|>1. Several important classes of Artin groups can be defined in terms of the properties of the Coxeter matrix.

Artin groups of finite type

If "M" is a Coxeter matrix of finite type, so that the corresponding Coxeter group "W" = "A"("M") is finite, then the Artin group "A" = "A"("M") is called an Artin group of finite type. The 'irreducible types' are labeled as "A"_"n"&thinsp;, "B"_"n" = "C"_"n"&thinsp;, "D"_"n"&thinsp;, "I"_"2"("n")&thinsp;, "F"_"4"&thinsp;, "E"_"6"&thinsp;, "E"_"7"&thinsp;, "E"_"8"&thinsp;, "H"_"3"&thinsp;, "H"_"4"&thinsp;.A pure Artin group of finite type can be realized as the fundamental group of the complement of a finite hyperplane arrangement in C^"n". Pierre Deligne and Brieskorn-Saito have used this geometric description to compute the center of "A", its cohomology, and to solve the word and conjugacy problems.

Right-angled Artin groups

If "M" is a matrix all of whose elements are equal to 2 or &infin;, then the corresponding Artin group is called a right-angled Artin group. For this class of Artin groups, a different labeling scheme is commonly used. Any graph &Gamma; on "n" vertices labeled 1, 2, &hellip;, n defines a matrix "M", for which "m"_"ij" = 2 if "i" and "j" are connected by an edge in &Gamma;, and "m"_"ij" = &infin; otherwise. The right-angled Artin group "A"(&Gamma;) associated with the matrix "M" has "n" generators "x"₁, "x"₂, &hellip;, "x"_n and relations : $$x_i x_j = x_j x_i quad whenever "i" and "j" are connected by an edge in $$Gamma.

The class of right-angled Artin groups includes the free groups of finite rank, corresponding to a graph with no edges, and the finitely-generated free abelian groups, corresponding to a complete graph. Mladen Bestvina and Noel Brady constructed a nonpositively curved cubical complex "K" whose fundamental group is a given right-angled Artin group "A"(&Gamma;). They applied Morse-theoretic arguments to their geometric description of Artin groups and exhibited first known examples of groups with the property (FP₂) that are not finitely presented.

References

* Mladen Bestvina, Noel Brady, "Morse theory and finiteness properties of groups". Invent. Math. 129 (1997), no. 3, 445-470.
* Pierre Deligne, "Les immeubles des groupes de tresses généralisés". Invent. Math. 17 (1972), 273-302.
* Egbert Brieskorn, Kyoji Saito, "Artin-Gruppen und Coxeter-Gruppen". Invent. Math. 17 (1972), 245--271.