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

B4. “Hecke algebras” of the groups $G(r,p,n)$

Let $q$ and $u_0,u_1,\dots ,u_{r-1}$ be indeterminates. Let $H_{r,1,n}$ be the algebra over the field $ℂ(u_0,u_1,\dots ,u_{r-1},q)$ given by generators $T_1,T_2,\dots ,T_n$ and relations

(1)	$T_i{T}_j=T_j{T}_i,$	for $|i-j|>1,$
(2)	$T_i{T}_{i+1}{T}_i=T_{i+1}{T}_i{T}_{i+1},$	for $2\le i\le n-1,$
(3)	$T_1{T}_2{T}_1{T}_2=T_2{T}_1{T}_2{T}_1,$
(4)	$(T_1-u_0)(T_1-u_1)\cdots (T_1-u_{r-1})=0,$
(5)	$(T_i-q)(T_i+q^{-1})=0,$	for $2\le i\le n\text{.}$

Upon setting $q=1$ and $u_{i-1}={\xi }^{i-1},$ where $\xi$ is a primitive $r\text{th}$ root of unity, one obtains the group algebra $ℂG(r,1,n)\text{.}$ In the special case where $r=1$ and $u_0=1,$ we have $T_1=1,$ and $H_{1,1,n}$ is isomorphic to an Iwahori-Hecke algebra of type $A_{n-1}\text{.}$ The case $H_{2,1,n}$ when $r=2,$ $u_0=p,$ and $u_1=p^{-1},$ is isomorphic to an Iwahori-Hecke algebra of type $B_n\text{.}$

Now suppose that $p$ and $d$ are positive integers such that $pd=r\text{.}$ Let $x_0^{1/p},\dots ,x_{d-1}^{1/p}$ be indeterminates, let $\epsilon =e^{2\pi i/p}$ be a primitive $p\text{th}$ root of unity and specialize the variables $u_0,\dots ,u_{r-1}$ according to the relation $$u_{\ell d+kp+1}={\epsilon }^{\ell }{x}_k^{1/p},$$ where the subscripts on the $u_i$ are taken mod $r\text{.}$ The “Hecke algebra” $H_{r,p,n}$ corresponding to the group $G(r,p,n)$ is the subalgebra of $H_{r,1,n}$ generated by the elements $$a_0=T_1^p,a_1=T_1^{-1}{T}_2{T}_1,\text{and}{a}_i=T_i,2\le i\le n\text{.}$$ Upon specializing $x_k^{1/p}={\xi }^{kp},$ where $\xi$ is a primitive $r\text{th}$ root of unity, $H_{r,p,n}$ becomes the group algebra $ℂG(r,p,n)\text{.}$ Thus $H_{r,p,n}$ is a $\text{“}q\text{-analogue”}$ of the group algebra of the group $G(r,p,n)\text{.}$

References

The algebras $H_{r,1,n}$ were first constructed by Ariki and Koike [AKo1994], and they were classified as cyclotomic Hecke algebras of type Bn by Broué and Malle [BMa1993] and the representation theory of $H_{r,p,n}$ was studied by Ariki [Ari1995]. See [HRa1998] for information about the characters of these algebras.

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