Classification for G2

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

Last update: 1 April 2013

Classification for G2

The root system R for G2 has simple roots α1 and α2, fundamental weights ω1 and ω2, and

α1,α2 = -3 α2,α1 = -1, ω1 = 2α1+3α2 ω2 = α1+2α2, and α1 = -ω1+2ω2 α2 = 2ω1-3ω2.

Irreducible representations.

Central P(t) Dimension Langlands Indexing character Z(t) parameters triple ta {α1,α2} 1 (ta,) (ta,0,1) 5 (s1ta,{1}) (ta,eα1,1) 5 (s2ta,{2}) (ta,eα2,1) 1 tempered (ta,eα1+eα2,1) tb {α1} 6 (tb,) (tb,0,1) 6 (s1tb,{1}) (tb,eα1,1) tc {α1,α1+3α2} 2 (tc,{2}) (tc,0,1) 4 (s1tc,{1}) (tc,eα1,1) 4 (s1s2tc,{1}) (tc,eα1+3α2,1) 2 tempered (tc,eα1+eα1+3α2,1) td {α1,α1+2α2} 3 (td,{2}) (td,0,1) 3 (s1td,{1}) (td,eα1,1) 3 (s2s1s2td,{2}) (td,eα1+2α2,1) 3 tempered (td,eα1+eα1+2α2,1) te {α1,α1+2α2, 3 (te,{2}) (te,0,1) α1+α2,α1+3α2} 1 (s1te,{1}) (te,eα1,1) {α2} 2 (s2s1te,{2}) (te,eα1+α2,1) 1 tempered (te,eα1+eα1+2α2,(21)) 3 tempered (te,eα1+eα1+2α2,(3)) tf {α1,2α1+3α2} 6 (tf,{1}) (tf,0,1) {α1+3α2} 6 (s1tf,{1}) (tf,eα1,1) tg {α1} 6 (tg,{2}) (tg,0,1) {α1+2α2} 6 tempered (tg,eα1,1) th {α2} 6 (th,) (th,0,1) 6 (s2th,{2}) (th,eα2,1) ti {α2,α1+α2} 6 (ti,{1}) (ti,0,1) {α1} 6 (s2ti,{2}) (ti,eα2,1) tj {α2} 6 (tj,{1}) (tj,0,1) {2α1+3α2} 6 tempered (tj,eα2,1) Table 6.1. Irreducible (non principal series) representations

Table 6.1 lists the irreducible H-modules by their central characters. We have listed only those central characters t for which the principal series module M(t) is not irreducible (see Theorem 1.16). The sets P(t) and Z(t) are as given in (1.7) and correspond to the choice of representative for the central character displayed in Figure 6.1. The Langlands parameters usually consist of a pair (𝒯,I) where I is a subset of {1,2} and 𝒯 is a tempered representation for the parabolic subalgebra HI. In our cases the tempered representation 𝒯 of HI is completely determined by a character tT. Specifically, 𝒯 is the only tempered representation of HI which has t as a weight. In the labeling in Table 6.1 we have replaced the representation 𝒯 by the weight t. The notation for the nilpotent elements in the indexing triples is as in Table 6.3.

Table 6.2 lists the irreducible calibrated H-modules. For each module with central character t we have listed the subset JP(t) such that (t,J) is the corresponding placed skew shape (see Theorem 1.11). We have listed only those central characters t for which the principal series module M(t) is not irreducible (see Theorem 1.16).

Central P(t) Z(t) Dimension Indexing Calibration character triple setJ ta {α1,α2} 1 (ta,0,1) 5 (ta,eα1,1) {α1} 5 (ta,eα2,1) {α2} 1 (ta,eα1+eα2,1) {α1,α2} tb {α1} 6 (tb,0,1) 6 (tb,eα1,1) {α1} tc {α1,α1+3α2} 2 (tc,0,1) 4 (tc,eα1,1) {α1} 4 (tc,eα1+3α2,1) {α1+3α2} 2 (tc,eα1+eα1+3α2,1) {α1,α1+3α2} td {α1,α1+2α2} 3 (td,0,1) 3 (td,eα1,1) {α1} 3 (td,eα1+2α2,1) {α1+2α2} 3 (td,eα1+eα1+2α2,1) {α1,α1+2α2} te {α1,α1+2α2, {α2} 1 (te,eα1,1) {α1} α1+α2,α1+3α2} 2 (te,eα1+α2,1) {α1,α1+α2} 1 (te,eα1+eα1+2α2,(21)) P(te)\{α1+3α2} th {α2} 6 (th,0,1) 6 (th,eα2,1) {α2} Table 6.2. Calibrated irreducible (non principal series) representations

Figure 6.1 displays the real parts of the central characters in Table 6.1. If tT then the polar decomposition t=trtc determines an element νn such that tr(Xλ)=eν,λ (see (1.3)). For each central character tp the point labeled by p in Figure 6.1 is the graph of the corresponding νpn. Assume (for pictorial convenience) that q is a positive real number and let

Hβ= { xn β,x=0 } ,and Hβ±δ= { xn β,x= ln(q±2) } ,

for each positive root β. The dotted lines display the (affine) hyperplanes Hβ±δ.

Hα1 Hα2 Hα1+3α2 H2α1+3α2 Hα1+α2 Hα1+2α2 a b c,d,e f g h i j Figure 6.1. Real parts of central characters in Table 6.1

Tempered and square integrable representations. The irreducible tempered representations with real central character can be indexed by the irreducible representations of the Weyl group W of type G2 (see [BMo1989, p. 34]). Equivalently, these representations can be indexed by the pairs (n,ρ) which appear in the Springer correspondence. The n and ρ will also be elements of the indexing triple for the corresponding tempered representation of H. Here n is a nilpotent element of the Lie algebra 𝔤=Lie(G), G is the complex simple group over of type G2 and ρ is an irreducible representation of the component group ZG(n)/ZG(n) (see [Car1985]). For each root βR let eβ be an element of the root space 𝔤β. The five nilpotent orbits in g and the corresponding tempered representations of H are as in Table 6.3. The notation S3 denotes the symmetric group on three elements, which has irreducible representations indexed by the partitions (3),(21), (13) of 3. We have used the notation of Carter [Car1985, p.427] to label the irreducible representations of the Weyl group W of type G2.

Nilpotent orbit ZG(n)/ZG(n) Indexing triple Sq. int. Wrep. regular 1 (ta,eα1+eα2,1) yes ϕ1,0 subregular S3 (te,eα1+eα1+2α2,(3)) yes ϕ2,1 (te,eα1+eα1+2α2,(21)) yes ϕ1,3 subminimal 1 (tj,eα2,1) no ϕ2,2 minimal 1 (tg,eα1,1) no ϕ1,3 0 1 (to,0,1) no ϕ1,6 Table 6.3. Tempered representations and the Springer correspondence

The only other tempered representations are the representations labeled by the triples (tc, eα1+ eα1+3α2, 1) and (td, eα1+ eα1+2α2, 1). These representations are square integrable but do not have real central character.

The modules labeled by (tc, eα1+ eα1+3α2, 1), (td, eα1+ eα1+2α2, 1), (te, eα1+ eα1+2α2, (3)), (te, eα1+ eα1+2α2, (21)), are the ones constructed by Lusztig in [Lus1983-2] 4.20, 4.19, 4.7 and 4.22 respectively. In Lusztig’s notation these are the stars (see [Lus1983-2, 4.23]) of the modules labeled by the graphs 𝒢, 𝒢, 𝒢 and 𝒢, respectively.

ta s2ta s1s2ta s2s1s2ta s1s2s1s2ta s2s1s2s1s2ta s1s2s1s2s1s2ta s1s2s1s2s1ta s2s1s2s1ta s1s2s1ta s2s1ta s1ta tb s2tb s1s2tb s2s1s2tb s1s2s1s2tb s2s1s2s1s2tb s1s2s1s2s1s2tb s1s2s1s2s1tb s2s1s2s1tb s1s2s1tb s2s1tb s1tb tc s2tc s1s2tc s2s1s2tc s1s2s1s2tc s2s1s2s1s2tc s1s2s1s2s1s2tc s1s2s1s2s1tc s2s1s2s1tc s1s2s1tc s2s1tc s1tc td s2td s1s2td s2s1s2td s1s2s1s2td s2s1s2s1s2td s1s2s1s2s1s2td s1s2s1s2s1td s2s1s2s1td s1s2s1td s2s1td s1td te s2te s1s2te s2s1s2te s1s2s1s2te s2s1s2s1s2te s1s2s1s2s1s2te s1s2s1s2s1te s2s1s2s1te s1s2s1te s2s1te s1te tf s2tf s1s2tf s2s1s2tf s1s2s1s2tf s2s1s2s1s2tf s1s2s1s2s1s2tf s1s2s1s2s1tf s2s1s2s1tf s1s2s1tf s2s1tf s1tf tg s2tg s1s2tg s2s1s2tg s1s2s1s2tg s2s1s2s1s2tg s1s2s1s2s1s2tg s1s2s1s2s1tg s2s1s2s1tg s1s2s1tg s2s1tg s1tg th s2th s1s2th s2s1s2th s1s2s1s2th s2s1s2s1s2th s1s2s1s2s1s2th s1s2s1s2s1th s2s1s2s1th s1s2s1th s2s1th s1th ti s2ti s1s2ti s2s1s2ti s1s2s1s2ti s2s1s2s1s2ti s1s2s1s2s1s2ti s1s2s1s2s1ti s2s1s2s1ti s1s2s1ti s2s1ti s1ti tj s2tj s1s2tj s2s1s2tj s1s2s1s2tj s2s1s2s1s2tj s1s2s1s2s1s2tj s1s2s1s2s1tj s2s1s2s1tj s1s2s1tj s2s1tj s1tj Figure 6.2. Calibration graphs for central characters in Table 6.1

The analysis.

Central characters ta, tb, tc, td, th: The central characters te, tf, tg, ti and tj are the only ones which have both Z(t) and P(t) nonempty. The other cases are handled by Theorem 1.16 and Theorem 1.11 as in the cases of central characters ta tb, tg and to for type A2.

The Langlands parameters for each module can be determined from its weight structure. The indexing triple is determined from the Langlands data by using the induction theorem of Kazhdan and Lusztig (see the discussion in [BMo1989, p.34]). Let us give an example to illustrate the procedure. The Langlands parameters (s1s2tc,{1}) for the 4 dimensional representation with central character tc correspond to the indexing triple (s2tc,eα1,1) which is conjugate to the triple (tc, s2eα1, 1)=(tc, eα1+3α2, 1).

The indexing triples for the tempered representations cannot be determined with the use of the Kazhdan-Lusztig induction theorem. The indexing triples for the tempered representations with real central character are determined from the Springer correspondence, see Table 6.3 and [BMo1989, p.34]. The two tempered representations with central characters tc and td do not have real central character. By the last two sentences of [Lus1983-2, 2.10] we know that the indexing triples for these representations contain the subregular nilpotent and that the component groups are isomorphic to /3 and /2 respectively. In both cases the component group acts trivially on K(s,u) and so ρ=1. The fact that the elements eα1+ eα1+3α2 and eα1+ eα1+2α2 are representatives of the subregular nilpotent orbit can be derived from the analysis in [Jac1997, Theorem 4.40] or [Stu1971]. This determines the triples (tc, eα1+ eα1+3α2, 1) and (td, eα1+ eα1+2α2, 1).

Central character te: Theorem 1.11 applied to the placed skew shapes (te, {α1, α1+ α2}), (te,{α1}) and (te, {α1, α1+α2, α1+ 2α2}) produces, respectively, a two dimensional irreducible module M with supp(M)= {s2s1te, s1s2s1te}, a one dimensional irreducible module N with supp(N)={s1te} and a one dimensional irreducible module N* with supp(N*)= {s2s1s2s1te}. Lusztig [Lus1983-2] Theorem 4.7 constructs a 3-dimensional irreducible H-module P with dim()Ptegen=2 and dim(Ps1tegen)=1. In Lusztig’s notation this is the module labeled by the graph 𝒢 for G2.

As described in [Lus1983-2, 4.23] we can twist the module P by an involutive automorphism of H to obtain another 3-dimensional irreducible module P* which has dim((P*)s2s1s2s1tegen)=2 and dim((P*)s1s2s1s2s1tegen)=1.

All of the modules M, N, P, N*, P* must appear as composition factors of the principal series module M(te). By comparing dimensions of weight spaces, any other module Q which appears in a composition series of M(te) must have supp(Q) {s2s1te, s1s2s1te}. Theorem 1.11(b) then implies that Q must be isomorphic to M. Thus Theorem 1.15 implies that M, N, P, N*, and P* are (up to isomorphism) all the irreducible modules with central character te.

The Langlands parameters for each module are determined from its weight structure. The Kazhdan-Lusztig induction theorem allows us to use the Langlands parameters to determine the indexing triples for the modules which are not tempered. Since te is a real central character the indexing triples for the tempered representations can be determined from the Springer correspondence, see Table 6.3. Alternatively, one can get these triples from [Lus1983-2, 2.10] where it is explained that the nilpotent in the indexing triple is subregular, the variety s,u (where s=te and u is subregular) consists of three disjoint points and a projective line, and the component group is isomorphic to the symmetric group S3. The symmetric group S3 acts trivially on the line and permutes the three points, which implies that the line corresponds to ρ=(3) (trivial representation of S3) and the three points are split between the isotypic components ρ=(3) and ρ=(21). In this case the standard module Ms,u,(13)=0. The projective line in s,u corresponds to the two dimensional weight space (P*)tegen in the module P*.

Central character tf: Let vf and vs1f be the one dimensional representations of H{1} given by

T1vf=qvf, Xα1vf=q2vf, X3α2vf=q-2vf, T1vs1f=-q-1vs1f, Xα1vs1f=q-2vs1f, X3α2vs1f=q4vs1f.

Let

M1= IndH{1}H (vf) and M2= IndH{1}H (vs1f).

By Lemma 1.17 these modules have weights supp(M1)= {s2tf, tf, s1tf, s2s1tf} and supp(M2)= {s1tf, s2s1tf, s1s2s1tf, s2s1s2s1tf} respectively. Both M1 and M2 are 6 dimensional.

Let M be any H-module such that Ms2tf0. By Lemma 1.19 and Proposition 1.6, dim(Mtfgen) = dim(Ms2tfgen) 2. Since s2α1,α1= α1+3α2,α1 0 it follows from Lemma 1.19 (b) that dim(Ms2tfgen)1. Then, by Proposition 1.6, dim(Ms2s1tfgen)1. Adding these numbers up we see that dim(M)6. It follows that M1 is irreducible. An analogous argument can be applied to conclude that M2 is irreducible.

Central character tg: Let vg and vs1g be the one dimensional representations of H{1} given by

T1vg=qvg, Xα1vg=q2vg, X2α2vg=q-2vg, T1vs1g=-q-1vs1g, Xα1vs1g=q-2vs1g, X2α2vs1g=q2vs1g.

Let

M1= IndH{1}H (vg)andM2= IndH{1}H (vs1g).

By Lemma 1.17 these modules have weights supp(M1)= {s1s2tg, s2tg, tg} and supp(M2)= {s1tg, s2s1tg, s1s2s1tg} respectively. Both M1 and M2 are 6 dimensional.

Let M be any H-module such that Ms1s2tg0. By Lemma 1.19 and Proposition 1.6, dim(Mtggen) = dim(Ms2tggen) = dim(Ms1s2tggen) 2. Thus dim(M)6. It follows that M is irreducible. An analogous argument can be applied to conclude that M2 is irreducible.

Central character ti: Let vi and vs2i be the one dimensional representations of H{2} given by

T2vi=qvi, Xα1vi=vi, Xα2vi=q2vi, T2vs2i=-q-1vs2i, Xα1vs2i=q6vs2i, Xα2vs2i=q-2vs2i.

Let

M1= IndH{2}H (vi)andM2= IndH{2}H (vs2i).

An argument similar to that for the central character tf shows that M1 and M2 are irreducible.

Central character tj: Let vj and vs2j be the one dimensional representations of H{2} given by

T2vj=qvj, X2α1vj=q-6vj, Xα2vj=q2vj, T2vs2j=-q-1vs2j, X2α1vs2j=q6vs2j, Xα2vs2j=q-2vs2j.

Let

M1= IndH{2}H (vj)andM2= IndH{2}H (vs2j).

An argument similar to that for the central character tg shows that M1 and M2 are irreducible.

Notes and References

This is an excerpt of a preprint entitled Representations of rank two affine Hecke Algebras, written by Arun Ram, Department of Mathematics, Princeton University, August 5, 1989.

Research supported in part by National Science Foundation grant DMS-9622985, and a Postdoctoral Fellowship at Mathematical Sciences Research Institute.

page history