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

B2. Complex reflection groups

A complex reflection is an invertible linear transformation of n of finite order which has exactly one eigenvalue that is not 1. A complex reflection group is a group generated by complex reflections in n. The finite complex reflection groups have been classified by Shepard and Todd [STo1954]. Each finite complex reflection group is either

(a) G(r,p,n) for some positive integers r, p, n such that p divides r, or
(b) one of 34 other “exceptional” finite complex reflection groups.

Let r,p,d and n be positive integers such that pd=r. The complex reflection group G(r,p,n) is the set of n×n matrices such that

(a) The entries are either 0 or rth roots of unity,
(b) There is exactly on nonzero entry in each row and each column,
(c) The dth power of the product for the nonzero entries is 1.
The group G(r,p,n) is a normal subgroup of G(r,1,n) of index p and |G(r,p,n)| =drn-1n!. In addition
(a) G(1,1,n)Sn the symmetric group or Weyl group of type An-1,
(b) G(2,1,n) is the hyperoctahedral group or Weyl group of type Bn,
(c) G(r,1,n)(/r)Sn, the wreath product of the cyclic group of order r with Sn,
(d) G(2,2,n) is the Weyl group of type Dn.

Partial results for G(r,1,n)

The following are answers to the main questions (Ia-c) for the groups G(r,1,n)(/r)Sn. For the general G(r,p,n) case see [HRa1998].

I. What are the irreducible G(r,1,n)-modules?

(a) How do we index/count them?
There is a bijection r-tuplesλ= (λ(1),,λ(r)) of partitions such that i=1r |λ(i)|=n 1-1 Irreducible representationsCλ.
(b) What are their dimensions?
The dimension of the irreducible representation Cλ is given by dim(Cλ) = # of standard tableaux of shapeλ = n!i=1r xλ(i) 1hx, where hx is the hook length at the box x. A standard tableau of shape λ=(λ(1),,λ(r)) is any filling of the boxes of the λ(i) with the numbers 1,2,,n such that the rows and the columns of each λ(i) are increasing.
(c) What are their characters?
A Murnaghan-Nakayama type rule for the characters of the groups G(r,1,n) was originally given by Specht [Spe1932]. See also [Osi1954] and [HRa1998].

References

The original paper of Shepard and Todd [STo1954] remains a basic reference. Further information about these groups can be found in [HRa1998]. The articles [OSo1980], [Leh1995], [Ste1989-2], [Mal1995] contain other recent work on the combinatorics of these groups.

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