Classification of graded Hecke algebras for complex reflection groups

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia

Last update: 22 January 2014

A different graded Hecke algebra for G(r,1,n)

The classification of graded Hecke algebras for complex reflection groups in Section 2 shows that there do not exist graded Hecke algebras AS(V)G for the groups G=G(r,1,n), r>2, n>3. In this section, we define a different “semidirect product” of the symmetric algebra S(V) and the group algebra G for the groups G(r,1,n). These algebras are not graded Hecke algebras in the sense of Section 1, but they do have a structure similar to what we would expect from experience with graded Hecke algebras for real reflection groups. Is it possible that there is a general definition of graded Hecke algebras, different from that given in Section 1, which includes the algebras defined below as examples for the groups G(r,1,n)?

We shall use the notation for the groups G(r,1,n) as in Section 2B so that the group G(r,1,n) is acting by monomial matrices on a vector space V of dimension n with orthonormal basis {v1,,vn}. Let si denote the permutation (i,i+1)G(r,1,n).

Define Hr,1,n* to be the algebra generated by the group algebra G(r,1,n) and V with relations vivj = vjvi, for all1i,jn, tξivj = vjtξi, for all1i,jn, tsivk = vktsi, ifk {i,i+1}, tsivi+1 = vitsi+ =0r-1 tξiξi+1-, for1in-1. (5.1) The following proposition establishes a "evaluation homomorphism" for the algebras Hr,1,n* which is a generalization of the homomorphism in (4.5).

Define elements vk in the group algebra G(r,1,n) by setting v1=0 and vk=1r i<k 0r-1 tξiξk-(i,k) ,for2kn. Then there is a surjective algebra homomorphism Hr,1,n* G(r,1,n) tg tg vk vk


We must check that the defining relations (5.1) of Hr,1,n* hold with the vk replaced by the vk.

For each 1kn, let zk=v1+ +vk=1r 1i<jk0r-1 tξiξj-(i,j). Then, for each k, zkZ(G(r,1,k)) since it is the sum of the elements of the conjugacy class of reflections tξiξj-(i,j) in G(r,1,k). So zk commutes with z1,,zk and therefore z1,,zn commute. Since vk=zk-zk-1, it follows that v1,,vn also commute.

If m>k then tξm clearly commutes with zk. If mk then tξm commutes with zk since zkZ(G(r,1,k)). So tξm commutes with z1,,zn and hence with v1,,vn.

Since tskvktsk = tsk ( i<k0r-1 tξiξk-(i,k) ) tsk= i<k0r-1 tξiξk+1-(i,k+1) = i<k+10r-1 tξiξk+1-(i,k+1)- 0r-1 tξkξk+1-(k,k+1) = vk+1- 0r-1 tξkξk+1- tsk, it follows that vktsk= tskvk+1 -0r-1 tsktξkξk+1- tsk=tsk vk+1- 0r-1 tξk-ξk+1 =tskvk+1- 0r-1 tξkξk+1-.

Notes and references

This is a typed version of Classification of graded Hecke algebras for complex reflection groups by Arun Ram and Anne V. Shepler.

Research of the first author supported in part by the National Security Agency and by EPSRC Grant GR K99015 at the Newton Institute for Mathematical Sciences. Research of the second author supported in part by National Science Foundation grant DMS-9971099.

page history