ABSTRACT. We define matrix representations of Artin groups over a 2-variable Laurent-polynomial ring and show that in the rank 2 case, the representations are faithful. In the special case of Artin's braid group, our representation is a version of the Burau representation and our faithfulness theorem is a generalization of the well-known fact that the Burau representation of B¡ is faithful.In [4], Brieskorn and Saito coined the phrase "Artin groups" to denote a certain class of groups, defined by generators and relations, which stand in relationship to arbitrary Coxeter groups much as Artin's braid group Bn [1] stands in relationship to the symmetric group Sn. One of the nice features of Coxeter groups is that they have "standard" representations[6] as groups of matrices over the real numbers preserving a suitably defined bilinear form and that, moreover, these representations are faithful (see [3]). Our purpose here is to show the existence of analogous matrix representations of Artin groups over Laurent-polynomial rings preserving similarly defined sequilinear forms. Unfortunately, except in the simplest cases, the question of faithfulness of these Artin group representations remains open.In §1, we define Artin groups G m (by representation), a Hermitian form J, and unitary reflections for each given generator of G m ', these are defined using a given Coxeter matrix M. In §2, we show that the reflections associated to generators of G m define a matrix representation of G m (Theorem 1) and that when the presentation of G m involves 2 generators, this representation is faithful (Theorem 2). We note that in the special case of the braid groups our representation is a version of the Burau representation ([5] or see [2]). The results below are first, a generalization to arbitrary Artin groups of the author's observation [10] that the Burau representation of Bn is unitary and second, a generalization to arbitrary rank 2 Artin groups of the well-known fact (see [9 or 2] ) that the Burau representation of B3 is faithful.
Definitions.Let n be a positive integer. A (rank n) Coxeter matrix M will be an n x n symmetric matrix M = [m(i,j)\ each of whose entries m(i,j) is a positive integer or oo such that m(i,j) = 1 if and only if i = j. Out of a Coxeter matrix M, we shall build some presentations and some forms.To define the presentations, let X = {ii,..., xn} be a finite set. For m a positive integer, define the symbol (xy)m by the formula ,x \m = Í (xv)k Hrn = 2k, Xy) ' \ (xy)kx ifm = 2k+l.