Combinatorial Representation Theory

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last update: 17 September 2013

Appendix B

B3. Hecke algebras and “Hecke algebras” of Coxeter groups

Let G be a finite group and let B be a subgroup of G. The Hecke algebra of the pair (G,B) is the subalgebra (G,B)= { gGagg |ag, andag=ah ifBgB=BhB } of the group algebra of G. The elements Tw=1|B| gBwBg, as w runs over a set of representatives of the double cosets B\G/B, form a basis of (G,B).

Let G be a finite Chevalley group over the field 𝔽q with q elements and fix a Borel subgroup B of G. The pair (G,B) determines a pair (W,S) where W is the Weyl group of G and S is a set of simple reflections in W (with respect to B). The Iwahori-Hecke algebra corresponding to G is the Hecke algebra (G,B). In this case the basis elements Tw are indexed by the elements w of the Weyl group W corresponding to the pair (G,B) and the multiplication is given by T𝔰Tw= { Tsw, if(sw)> (w), (q-1)Tw+ qTsw if(sw)< (w), if s is a simple reflection in W. In this formula (w) is the length of w, i.e. the minimum number of factors needed to write w as a product of simple reflections.

A particular example of the Iwahori-Hecke algebra occurs when G=GL(n,𝔽q) and B is the subgroup of upper triangular matrices. Then the Weyl group W, is the symmetric group Sn, and the simple reflections in the set S are the transpositions si=(i,i+1), 1in-1. In this case the algebra (G,B) is the Iwahori-Hecke algebra of type An-1 and (as we will see later) can be presented by generators T1,,Tn-1 and relations TiTj=TjTi, for|i-j|>1, TiTi+1Ti=Ti+1TiTi+1, for1in-2, Ti2=(q-1)Ti+q, for2in. See Section B5 for more facts about the Iwahori-Hecke algebras of type A. In particu- lar, these Iwahori-Hecke algebras also appear as tensor power centralizer algebras, see Theorem B5.3. This is some kind of miracle: the Iwahori-Hecke algebras of type A are the only Iwahori-Hecke algebras which arise naturally as tensor power centralizers.

In view of the multiplication rules for the Iwahori-Hecke algebras of Weyl groups it is easy to define a “Hecke algebra” for all Coxeter groups (W,S), just by defining it to be the algebra with basis Tw, wW, and multiplication TsTw= { Tsw, if(sw)> (w), (q-1)Tw+ qTsw, if(sw)< (w), if sS. These algebras are not true Hecke algebras except when W is a Weyl group.

References

For references on Hecke algebras see [CRe1987] (Vol I, Section 11). For references on Iwahori-Hecke algebras see [Bou1968] Chpt. IV §2 Ex. 23-25, [CRe1987] Vol. II §67, and [Hum1990] Chpt. 7. The article [Cur1988-2] is also very informative.

Notes and references

This is the survey paper Combinatorial Representation Theory, written by Hélène Barcelo and Arun Ram.

Key words and phrases. Algebraic combinatorics, representations.

Barcelo was supported in part by National Science Foundation grant DMS-9510655.
Ram was supported in part by National Science Foundation grant DMS-9622985.
This paper was written while both authors were in residence at MSRI. We are grateful for the hospitality and financial support of MSRI..

page history