arXiv:math/0311012v2 [math.RT] 6 Nov 2003 he esn h hslast nitrsigadrc theor rich and interesting an to leads this aspects. why these reasons both three (an of chapter overwiew this an of give piec aim to classical The is th well-established area. algebras) the a Hecke research active Thus, time very same a role. the still prominent at a is groups, play reflection groups algebras char complex Hecke positive which and in of groups program, fields research over conj vast groups a (a g finite conjecture” “Weyl of as group representations occur semisi pol defect groups of regular Brou´e’s reflection “abelian theory finite of decade, where the t symmetries groups, from of Lie of comes and origin study impetus The ancient important the extremely concerned. to are application back sp as physics traced vector far mathematical complex as or and or reasons areas real intrinsic a for in both theory, reflections by generated groups n h hl hoycmn ihte.(hsi icse nm in discussed is (This m them. algebras.) Kazhdan the Hecke with the on coming of of chapter theory One discovery whole the relations. the is and defining direction sever of this or set in “d one velopments the as where into seen groups, introduced be reflection are can finite algebras of Hecke algebras associated group the expressions view, reduced of stu function, to point (length possible it methods makes binatorial which thereof), generalisations (visuali relations or defining and generators with sentation” gro reflection real finite a in cla element every the inverse.) gene that to in fact according stated the analysis be ple, case–by–case can a which there requires groups that proof reflection mention we finite classification, on a results such grou of simple interest finite s eventually, dent complex and, c as groups th complex algebraic such more fact, simple much structures, In for algebraic model related cases. possible concerning simplest exceptional the of as number s seen typically be certain with a classification, and complete groups a give to possible sfra h td frflcingop ssc scnend t concerned, is Classification: such as groups reflection of study the as far As reflection finite of theory the with concerned is chapter This Presentations: OTIUINT H ADOKO ALGEBRA OF HANDBOOK THE TO CONTRIBUTION ie utbento f“reuil”rflcingroups, reflection “irreducible” of notion suitable a Given eeto rushv ihysmerc“oee yepre- type “Coxeter symmetric highly a have groups Reflection ENL EKADGNE MALLE GUNTER AND GECK MEINOLF hpe:Rflcingroups Reflection Chapter: 1 e y“ykndiagrams” “Dynkin by zed vrlifiiefmle of families infinite everal s eie h indepen- the Besides ps. yte yprl com- purely by them dy nohrmathematical other in s msml i algebras, Lie emisimple n oo) rmthis From on). so and sfiain Frexam- (For ssification. ceitc a edto lead has acteristic) cuecnenn the concerning ecture usqetoeon one subsequent a and d mathematics of e sacrannme of number certain a is y: pi ojgt oits to conjugate is up Lstgpolynomials –Lusztig lfra parameters formal al rus hti,finite is, that groups, a em u whose but terms ral orsodn braid corresponding frain”o the of eformations” scasfiaincan classification is c.Ti sarich a is This ace. asfiainresults lassification op” ntelast the In roups”. peLealgebras Lie mple s motn de- important ost eeae(tleast) (at are here eter a be can theory he hda Another yhedra. oyo reflection of eory r eali the in detail ore tis it 2 MEINOLF GECK AND GUNTER MALLE

Topology and geometry: The action of a reflection group on the underly- ing vector space opens the possibility of using geometric methods. First of all, the ring of invariant symmetric functions on that vector space always is a polyno- mial ring (and this characterizes finite reflection groups). Furthermore, we have a corresponding hyperplane arrangement which gives rise to the definition of an associated braid group as the fundamental group of a certain topological space. For the symmetric group, we obtain in this way the classical Artin braid group, with applications in the theory of knots and links. Furthermore, all these aspects are related to each other which—despite being quite elementary taken individually—eventually leads to a highly sophisticated theory. We have divided our survey into four major parts. The first part deals with finite complex or real reflection groups in general. The second part deals with finite real reflection groups and the relations with the theory of Coxeter groups. The third part is concerned with the associated braid groups. Finally, in the fourth part, we consider complex irreducible characters of finite reflection groups. We certainly do not pretend to give a complete picture of all aspects of the theory of reflection groups and Coxeter groups. Especially, we will not say so much about areas that we do not feel competent in; at our best knowledge, we try to give at least some references for further reading in such cases. This concerns, in particular, all aspects of infinite (affine, hyperbolic . . .) Coxeter groups.

1. Finite groups generated by reflections

1.1. Definitions. Let V be a finite dimensional vector space over a field K. A reflection on V is a non-trivial element g GL(V ) of finite order which fixes a hyperplane in V pointwise. There are two types∈ of reflections, according to whether g is semisimple (hence diagonalisable) or unipotent. Often, the term reflection is reserved for the first type of elements, while the second are called transvections. They can only occur in positive characteristic. Here, we will almost exclusively be concerned with ground fields K of characteristic 0, which we may and will then assume to be subfields of the field C of complex numbers. Then, by our definition, reflections are always semisimple and (thus) diagonalisable. Over fields K contained in the field R of real numbers, reflections necessarily have order 2, which is the case motivating their name. Some authors reserve the term reflection for this case, and speak of pseudo-reflections in the case of arbitrary (finite) order. Let g GL(V ) be a reflection. The hyperplane CV (g) fixed point-wise by g is called the∈reflecting hyperplane of g. Then V = C (g) V for a unique g-invariant V ⊕ g subspace Vg of V of dimension 1. Any non-zero vector v Vg is called a root for g. Thus, a root for a reflection is an eigenvector with eigenvalu∈ e different from 1. Now assume in addition that V is Hermitean. Then conversely, given a vector v = 0 in V and a natural number n 2 we may define a reflection in V with root v and6 of ≥ order n by g.v := exp(2πi/n)v, and g V ⊥ = id. A reflection group on V is now a finite| subgroup W 6 GL(V ) generated by re- flections. Note that any finite subgroup of GL(V ) leaves invariant a non-degenerate Hermitean form. Thus, there is no loss in assuming that a reflection group W leaves such a form invariant. 1.2. Invariants. Let V be a finite-dimensional vector space over K 6 C. Let K[V ] denote the algebra of symmetric functions on V , i.e., the symmetric algebra S(V ∗) CONTRIBUTION TO THE HANDBOOK OF ALGEBRA 3 of the dual space V ∗ of V . So K[V ] is a commutative algebra over K with a grading d d K[V ]= d≥0K[V ] , where, for any d 0, K[V ] denotes the dth symmetric power of V ∗. If⊕W 6 GL(V ) then W acts naturally≥ on K[V ], respecting the grading. Now reflection groups are characterised by the structure of their invariant ring K[V ]W : 1.3. Theorem (Shephard–Todd [166], Chevalley [46]). Let V be a finite-dimen- sional vector space over a field of characteristic 0 and W 6 GL(V ) a finite group. Then the following are equivalent: (i) the ring of invariants K[V ]W is a polynomial ring, (ii) W is generated by reflections. The implication from (i) to (ii) is an easy consequence of Molien’s formula 1 1 P (K[V ]W , x)= W detV (1 gx) | | gX∈W − for the Hilbert series P (K[V ]W , x) of the ring of invariants K[V ]W , see Shephard– Todd [166, p.289]. It follows from Auslander’s purity of the branch locus that this implication remains true in arbitrary characteristic (see Benson [7, Th. 7.2.1], for example). The other direction was proved by Shephard and Todd as an application of their classification of complex reflection groups (see Section (1.13)). Chevalley gave a general proof avoiding the classification which uses the combinatorics of differential operators. Let W be an n-dimensional reflection group. By Theorem 1.3 the ring of in- variants is generated by n algebraically independent polynomials (so-called basic invariants), which may be taken to be homogeneous. Although these polynomials are not uniquely determined in general, their degrees d1 6 . . . 6 dn are. They are called the degrees of W . Then W = d1 dn, and the Molien formula shows that N(W ) := n m is the number| | of reflections· · · in W , where m := d 1 are the i=1 i i i − exponentsP of W . The quotient K[V ]W of K[V ] by the ideal generated by the invariants of strictly positive degree is called the coinvariant algebra of (V, W ). This is again a naturally graded W -module, whose structure is described by: 1.4. Theorem (Chevalley [46]). Let V be a finite-dimensional vector space over a field K of characteristic 0 and W 6 GL(V ) a reflection group. Then K[V ]W carries a graded version of the regular representation of W . The grading is such that n xdi 1 dim K[V ]i xi = − , W x 1 Xi≥0 iY=1 − i where K[V ]W denotes the homogeneous component of degree i. (See also Bourbaki [25, V.5.2, Th. 2].) The polynomial i i PW := dim K[V ]W x Xi≥0 is called the Poincar´e-polynomial of W . 1.5. Parabolic subgroups. Let W be a reflection group on V . The parabolic subgroups of W are by definition the pointwise stabilisers ′ W ′ := g W g v = v for all v V . V { ∈ | · ∈ } 4 MEINOLF GECK AND GUNTER MALLE of subspaces V ′ 6 V . The following result is of big importance in the theory of reflection groups: 1.6. Theorem (Steinberg [174]). Let W 6 GL(V ) be a complex reflection group. ′ For any subspace V 6 V the parabolic subgroup WV ′ is generated by the reflections it contains, that is, by the reflections whose reflecting hyperplane contains V ′. In particular, parabolic subgroups are themselves reflection groups. For the proof, Steinberg characterises reflection groups via eigenfunctions of differential operators with constant coefficients that are invariant under finite linear groups. For a generalisation to positive characteristic see Theorem 5.4. 1.7. Exponents, coexponents and fake degrees. Let W be a complex re- flection group. For w W define k(w) := dim V hwi, the dimension of the fixed space of w on V . Solomon∈ [168] proved the following remarkable formula for the generating function of k n k(w) x = (x + mi), wX∈W iY=1 by showing that the algebra of W -invariant differential forms with polynomial coefficients is an exterior algebra of rank n over the algebra K[V ]W , generated by the differentials of a set of basic invariants (see also Flatto [79], Benson [7, Th. 7.3.1]). The formula was first observed by Shephard–Todd [166, 5.3] using their classification of irreducible complex reflection groups. Dually, Orlik–Solomon [153] showed n det (w) xk(w) = (x m∗) V − i wX∈W Yi=1 ∗ ∗ for some non-negative integers m1 6 . . . 6 mn, the coexponents of W (see Lehrer– Michel [129] for a generalization, and Kusuoka [123], Orlik–Solomon [154, 155] for versions over finite fields). Let χ be an irreducible character of W . The fake degree of χ is the polynomial n 1 χ(w) d ∗ d di Z Rχ := K[V ]W ,χ W x = ∗ (x 1) [x], h i W detV (xw 1) − ∈ Xd>0 | | wX∈W − iY=1 ∗ that is, the graded multiplicity of χ in the W -module K[V ]W . Thus, in particular, R specialises to the degree χ(1) at x = 1. The exponents (e (χ) 1 6 i 6 χ(1)) χ i | χ(1) ei (χ) of an irreducible character χ of W are defined by the formula Rχ = i=1 x . The exponents mi of W are now just the exponents of the contragradientP of the n ∗ ∗ ∗ mi reflection representation ρ := trV , that is, Rρ = i=1 x . Dually, the coex- ponents are the exponents of ρ. In particular, for realP reflection groups exponents ∗ n ∗ and coexponents coincide. In general N (W ) := i=1 mi equals the number of ∗ ∗ reflecting hyperplanes of W . The di := mi 1 areP sometimes called the codegrees of W . − If W is a Weyl group (see Section 2.10), the fake degrees constitute a first approximation to the degrees of principal series unipotent characters of finite groups of Lie type with Weyl group W . See also Section 4.8 for further properties. 1.8. Reflection data. In the general theory of finite groups of Lie type (where an algebraic group comes with an action of a Frobenius map) as well as in the study of Levi subgroups it is natural to consider reflection groups together with an CONTRIBUTION TO THE HANDBOOK OF ALGEBRA 5 automorphism φ normalising the reflection representation; see the survey article Brou´e–Malle [36]. This leads to the following abstract definition. A pair (V,Wφ) is called a reflection datum if V is a vector space over a subfield K C and W φ is a coset in GL(V ) of a reflection group W GL(V ), where φ ⊆GL(V ) normalises W . ⊆ ∈A sub-reflection datum of a reflection datum (V,Wφ) is a reflection datum of the ′ ′ ′ ′ form (V , W (wφ) V ′ ), where V is a subspace of V , W is a reflection subgroup of ′ | ′ ′ NW (V ) V ′ stabilising V (hence, a reflection subgroup of NW (V )/WV ′ ), and wφ is an element| of W φ stabilising V ′ and normalising W ′. A Levi sub-reflection datum of (V,Wφ) is a sub-reflection datum of the form (V, WV ′ (wφ)) for some subspace ′ V 6 V (note that, by Theorem 1.6, WV ′ is indeed a reflection subgroup of W ). A torus of G is a sub-reflection datum with trivial reflection group. Let G = (V,Wφ) be a reflection datum. Then φ acts naturally on the symmetric W algebra K[V ]. It is possible to choose basic invariants f1,...,fn K[V ] , such φ ∈ that fi = ǫifi for roots of unity ǫ1,...,ǫn. The multiset (di,ǫi) of generalised degrees of G then only depends on W and φ (see for example{ Springer} [169, Lemma 6.1]). The polynomial order of the reflection datum G = (V,Wφ) is by definition the polynomial n ǫGxN(W ) G := = xN(W ) (xdi ǫ ), | | 1 1 − i iY=1 ∗ W detV (1 xwφ) | | wX∈W − n where ǫG := ( 1) ǫ1 ǫn. Let Φ(x) be a cyclotomic polynomial over K. A torus ′ − · · · T = (V , (wφ) V ′ ) of G is called a Φ-torus if the polynomial order of T is a power of Φ. | Reflection data can be thought of as the skeletons of finite reductive groups. 1.9. Regular elements. In this section we present results which show that certain subgroups respectively subquotients of reflection groups are again reflection groups. Let (V,wφ) be a reflection datum over K = C. For wφ W φ and a root of unity ζ C× write ∈ ∈ V (wφ, ζ) := v V wφ v = ζv { ∈ | · } for the ζ-eigenspace of wφ. Note that (V (wφ, ζ), wφ) is an (x ζ)-torus of (V,wφ) in the sense defined above. These (x ζ)-tori for fixed ζ satisfy− a kind of Sylow theory. Let f , ,f be a set of basic− invariants for W and H the surface defined 1 · · · n i by fi = 0. Springer [169] proves that

V (wφ, ζ)= Hi , d wφ[∈Wφ i:ǫi\ζ i =1 the irreducible components of this algebraic set are just the maximal V (wφ, ζ), W acts transitively on these components, and their common dimension is just the di number a(d, φ) of indices i such that ǫiζ = 1, where d denotes the order of ζ. (Note that a(d, φ) only depends on d, not on ζ itself.) From this he obtains: 1.10. Theorem (Springer [169, Th. 3.4 and 6.2]). Let (V,Wφ) be a reflection datum over C, ζ a primitive dth root of unity. Then: (i) max dim V (wφ, ζ) w W = a(d, φ). (ii) For any{ w W there| exists∈ } a w′ W such that V (wφ, ζ) V (w′φ, ζ) and V (w′φ, ζ) has∈ maximal dimension.∈ ⊆ 6 MEINOLF GECK AND GUNTER MALLE

(iii) If dim V (wφ, ζ) = dim V (w′φ, ζ) = a(d, φ) then there exists a u W with u V (wφ, ζ)= V (w′φ, ζ). ∈ · This can be rephrased as follows: Let K be a subfield of C, Φ a cyclotomic polynomial over K. A torus T of G is called a Φ-Sylow torus, if its order equals the full Φ-part of the order of G. Then Φ-tori of G satisfy the three statements of Sylow’s theorem. (For an analogue of the statement on the number of Sylow subgroups see Brou´e–Malle–Michel [37, Th. 5.1(4)]). This can in turn be used to deduce a Sylow theory for tori in finite groups of Lie type (see Brou´e–Malle [34]). A vector v V is called regular (for W ) if it is not contained in any reflecting ∈ hyperplane, i.e. (by Theorem 1.6), if its stabiliser Wv is trivial. Let ζ C be a root of unity. An element wφ W φ is ζ-regular if V (wφ, ζ) contains a regular∈ vector. By definition, if wφ is regular∈ for some root of unity, then so is any power of wφ. If φ = 1, the Theorem 1.6 of Steinberg implies that the orders of w and ζ coincide. An integer d is a regular number for W if it is the order of a regular element of W . 1.11. Theorem (Springer [169, Th. 6.4 and Prop. 4.5]). Let wφ W φ be ζ-regular of order d. Then: ∈ (i) dim V (wφ, ζ)= a(d, φ). (ii) The centraliser of wφ in W is isomorphic to a reflection group in V (wφ, ζ) di whose degrees are the di with ǫiζ =1. (iii) The elements of W φ with property (i) form a single conjugacy class under W . (iv) Let φ =1 and let χ be an irreducible character of W . Then the eigenvalues of w in a representation with character χ are (ζei(χ) 1 6 i 6 χ(1)). | In particular, it follows from (iv) that the eigenvalues of a ζ-regular element w ∗ on V are (ζmi 1 6 i 6 n). Interestingly| enough, the normaliser modulo centraliser of arbitrary Sylow tori of reflection data are naturally reflection groups, as the following generalisation of the previous result shows: 1.12. Theorem (Lehrer–Springer [130, 131]). Let w W and V˜ := V (wφ, ζ) be ∈ such that (V,wφ˜ ) is a Φ-Sylow torus. Let N := w′ W w′ V˜ = V˜ be the { ∈ | · } normaliser, C := w′ W w′ v = v for all v V˜ the centraliser of V˜ . { ∈ | · ∈ } (i) Then N/C acts as a reflection group on V˜ , with reflecting hyperplanes the intersections with V˜ of those of W . (ii) A set of basic invariants of N/C is given by the restrictions to V˜ of those di fi with ǫiζ =1. (iii) If W is irreducible on V , then so is N/C on V˜ . In the case of regular elements, the second assertion of (i) goes back to Lehrer [128, 5.8], Denef–Loeser [64]; see also Brou´e–Michel [39, Prop. 3.2]. 1.13. The Shephard–Todd classification. Let V be a finite-dimensional com- plex vector space and W 6 GL(V ) a reflection group. Since W is finite, the representation on V is completely reducible, and W is the direct product of irre- ducible reflection subgroups. Thus, in order to determine all reflection groups over C, it is sufficient to classify the irreducible ones. This was achieved by Shephard and Todd [166]. CONTRIBUTION TO THE HANDBOOK OF ALGEBRA 7

To describe this classification, first recall that a subgroup W 6 GL(V ) is called imprimitive if there exists a direct sum decomposition V = V1 . . . Vk with k> 1 stabilised by W (that is, W permutes the summands). The⊕ bulk⊕ of irreducible complex reflection groups consists of imprimitive ones. For any d,e,n > 1 let G(de,e,n) denote the group of monomial n n-matrices (that is, matrices with precisely one non-zero entry in each row and× column) with non-zero entries in the set of deth roots of unity, such that the product over these entries is a dth root of unity. Explicit generators may be chosen as follows: G(d, 1,n) is generated on Cn with standard Hermitean form) by the reflection t1 of order d with root the first standard basis vector b1 and by the pe