Skip to main content

Full text of "Representations of reduced enveloping algebras and cells in the affine Weyl group"

See other formats


Contemporary Mathematics 



Representations of reduced enveloping algebras and cells in 

the affine Weyl group 

J.E. Humphreys 

Abstract. Let G be a semisimple algebraic group over an algebraically closed 
field of characteristic p > 0, and let g be its Lie algebra. The crucial Lie 
algebra representations to understand are those associated with the reduced 
enveloping algebra U x (g) for a "nilpotent" \ £ 0*- We conjecture that there 
is a natural assignment of simple modules in a regular block to left cells in the 
affine Weyl group W a (for the dual root system) lying in the two-sided cell 
which corresponds to the orbit of \ i n Lusztig's bijection. This should respect 
the action of the component group of Cq(x) and fit naturally into Lusztig's 
enriched bijection involving the characters of C'g(x)- Some evidence will be 
described in special cases. 



In order to explain the conjecture, we have to review some facts about three 
logically independent topics: 

(A) cells in affine Weyl groups, 

(B) nilpotent orbits, 

(C) Lie algebra representations in characteristic p > 0. 

Subtle connections between (A) and (B) have been discovered by Lusztig, while 
connections between (B) and (C) have emerged over several decades (notably in 
the work of Kac-Weisfeiler, Friedlander-Parshall, Premet, and others cited below). 
We hope to build further links between (A) and (C), with the goal of finding a 
representation-theoretic model for Lusztig's formal conjecture in [22, §10]. 

Notation varies considerably in the literature (and sometimes clashes). Our 
conventions here start with a simple, simply connected algebraic group G over an 
algebraically closed field K of characteristic p > 0. Let T be a maximal torus and 
W the Weyl group. Denote by <!> the root system, with positive system $ + relative 
to a simple system A. The character group X — X(T) is the full weight lattice for 
$. Let Q — Z$ be the root lattice. 

1. Cells in affine Weyl groups 

1.1. First we recall some basic results about cells. These arise in the work 
of Kazhdan and Lusztig on arbitrary Coxeter groups and their Hecke algebras, but 



2000 Mathematics Subject Classification. Primary 17B05; Secondary 20F55 20G05. 
For helpful advice I am grateful to Roman Bezrukavnikov, Paul Gunnells, Jens C. Jantzen, 
Victor Ostrik, Jian-yi Shi, and Eric Sommers. 



1 



©0000 (copyright holder) 



2 



J.E. HUMPHREYS 



here we focus just on the case of affine Weyl groups. (See Lusztig's papers |18|-|22) 
as well as Shi EB, Xi JSHESJ.) 

Define W a := W k Q (the affine Weyl group) and W a :=W K X (the extended 
affine Weyl group). The latter is not usually a Coxeter group, but is important for 
Lusztig's p-adic group program; here we focus just on W a - We say W a is of type 
X n if $ is of type X n . It is important to note that W a is a dual version of the usual 
affine Weyl group constructed by Bourbaki via the coroot lattice; this reflects the 
influence of Langlands duality in Lusztig's program. 

As in the case of an arbitrary Coxeter group, the group W a is partitioned into 
two-sided cells (here denoted CI). Each of these is in turn partitioned into left cells 
(here denoted T) or equally well into right cells, each of which is the set of inverses 
of elements in some left cell. These partitions arise (together with Kazhdan-Lusztig 
polynomials) from comparison of the Kazhdan-Lusztig basis for the Hecke algebra 
with the standard basis. 

The definition of cells yields a natural partial ordering on the collection of two- 
sided cells. The highest cell in this ordering contains just the identity element 1 of 
W a . 

Since W a acts simply transitively on the alcoves in the affine space E := Rcgi^X, 
the various cells can be identified with sets of alcoves. In this picture W labels the 
family of alcoves around the special point 0. (Conventions differ in the literature; 
for example, some authors work with right actions rather than left actions in this 
context.) 

1.2. Beyond these generalities, Lusztig develops more special features of cells 
for W a . Generalizing the case of a Weyl group, he defines in 19 an a-invariant 
a(w) for each w G W a , constant on each two-sided cell and denoted a(Cl). This is 
an integer between and N := |$ + |, defined combinatorially in terms of the Hecke 
algebra. The a-invariant respects (inversely) the partial ordering of two-sided cells. 
For example, a(fi) = precisely when CI — {1}. At the other extreme, it turns out 
that there is a unique cell Ct with a(Cl) = N; this is the lowest two-sided cell 32 . 

1.3. With the help of the a-invariant, Lusztig shows that W a has only finitely 
many two-sided cells, each partitioned into finitely many left (or right) cells. It is 
then natural to ask how many two-sided and one-sided cells there are. These 
questions are extremely difficult to approach in a purely combinatorial way, though 
they have been answered for type A n by Shi |31] and in some isolated low rank cases. 
To formulate and prove general conjectures, some connection with the geometry of 
the nilpotent variety and flag variety seems to be essential. 

1.4. The lowest two-sided cell CI has been explored thoroughly by Shi |32| . It 
contains \W\ left cells, each obtained by intersecting CI with a Weyl chamber. The 
entire antidominant chamber is one left cell. On the other hand, the intersection T 
of Cl with the dominant chamber is a shifted version of this chamber: Taking as 
the origin in E, consider the special point p (the sum of fundamental weights) at 
which translates of all root hyperplanes meet. Then F consists of the alcoves lying 
on the positive sides of all these hyperplanes. 

1.5. In |20| . Lusztig defines a set T> of distinguished involutions in W a , as 
follows. For w <E W a , let £(w) be its length and let 6(w) be the degree of the 
Kazhdan-Lusztig polynomial Px >w (q). Then w 6 V iff a(w) = £(w) — 26 (w), in 



REDUCED ENVELOPING ALGEBRAS AND CELLS IN THE AFFINE WEYL GROUP 3 

which case w is shown to be an involution. Each left cell contains a unique distin- 
guished involution. For example, in the dominant left cell of the lowest two-sided 
cell ft described above, the distinguished involution belongs to the lowest of the 
\W\ alcoves around the special point 2p. The distinguished involution in the an- 
tidominant left cell of is the longest element of W (if 1 corresponds to the lowest 
dominant alcove). 

1.6. Lusztig and Xi 2H| show that each two-sided cell of W a contains a canon- 
ical left cell, whose corresponding alcoves all lie in the dominant Weyl chamber 
C C E. In this way, C is partitioned into canonical left cells belonging to the 
two-sided cells. 

Chmutova-Ostrik [2] develop an algorithm to compute the distinguished invo- 
lutions in all canonical left cells, with explicit tables given in low ranks. But it 
seems to be more difficult to locate these involutions in arbitrary left cells. 

1.7. Pictures of the cells for the affine Weyl groups of types ^2,^2,^2 are 
given by Lusztig 19, §11]. Paul Gunnells has used computer graphics to investigate 
all three-dimensional cells as well. 

Jian-yi Shi 3fj has worked out the combinatorics in considerable detail for 
type A n , while developing general tools such as "sign types" for the study of cells. 
Other affine Weyl groups of low rank have been studied in a similar spirit by him 
and a number of other people, including Robert Bedard, Cheng Dong Chen, Jie Du, 
Gregory Lawton, Feng Li, Jia Chun Liu, He Bing Rui, Nanhua Xi, Xin Fa Zhang. 

2. Nilpotent orbits and cells 

2.1. Denote by Af the set of nilpotent elements in g := LieG. This is the 
nilpotent variety (or nullcone). It consists of finitely many orbits under the adjoint 
action of G, partially ordered by inclusion of one orbit in the closure of another. The 
orbits range from {0} to the regular orbit, which is dense in Af and therefore has 
dimension 2N = |<fr|. Whenever p is a "good" prime (as in 3.1 below), there is a G- 
equivariant isomorphism between Af and the unipotcnt variety of G. Moreover, the 
partially ordered set of G-orbits in Af is isomorphic to the corresponding set for the 
Lie algebra over C of the same type. Although Lusztig's use of unipotent classes 
is based in characteristic 0, the ideas therefore transfer readily to our situation. 
(Jantzen |17| gives a helpful account with emphasis on characteristic p.) 

Various other varieties and groups are associated with Af. The flag variety B 
of G may be identified with the collection of Borel subalgebras of g. If e G Af, the 
set of Borel subalgebras containing e is denoted by B e . It plays an essential role in 
the Springer resolution of singularities of Af, where it is referred to as a Springer 
fiber. 

Let Gc(e) be the centralizcr of e in G, and denote by A(e) the finite component 
group CG{e)/Ca{e)°. The cohomology of B e with suitable coefficients (complex 
or Z-adic) vanishes in odd degrees and has commuting actions by the finite groups 
W and A(e). We write simply H l (B e ). This is the framework for the Springer 
Correspondence (see for example |17l §13]). 

2.2. Soon after the Kazhdan-Lusztig theory was developed, Lusztig (181 3.6] 
conjectured the existence of a bijection between the collection of two-sided cells of 
W a (based as above on the root lattice rather than coroot lattice) and the collection 



4 



J.E. HUMPHREYS 



of unipotent classes in G (or equivalently, the collection of nilpotent orbits in q). 
This bijection should respect the natural partial orderings, with the cell {1} corre- 
sponding to the regular nilpotent orbit and the lowest two-sided cell corresponding 
to the zero orbit. (His ideas were formulated in characteristic but adapt to our 
setting when p is good.) 

By combining a number of deep techniques, Lusztig was able to construct a 
suitable bijection in |22| . Under his bijection, if the two-sided cell f2 corresponds 
to the orbit of some e G TV, then a(fl) = dim£> e . But the order-preserving property 
remained elusive except in low ranks. This was later proved combinatorially for 
type A n by Shi, while the general case follows from recent work of Bezrukavnikov 
P3 Thm. 4]. 

2.3. In 18 3.6] , Lusztig formulated a further conjecture on left cells in terms 
of the fixed points of A(e) on the cohomology of B e : 

(LC) The number of left cells in the two-sided cell corresponding 
to a nilpotent e should be equal to 1)' dim H 1 (B e ) A ( e \ 

Due to the vanishing of cohomology in odd degrees, the contributions here are all 

nonnegative. 

While (LC) has not yet been proved in general, it agrees with direct calcula- 
tions in low ranks and with the results of Shi for type A n |31l 14.4.5,15.1,17.4]. 
Here all component groups are trivial, while on the other hand the representation 
of W on the cohomology is known to be induced from the trivial character of a 
parabolic subgroup Wi generated by reflections relative to a set / of simple roots. 
(See the discussion in |17l p. 203]). When translated into the language of parti- 
tions, the number | VP 7 " | / 1 | agrees with the number of left cells found by Shi for a 
corresponding two-sided cell. 

2.4. As part of his more refined study of the "asymptotic Hecke algebra" in 
connection with p-adic representations, Lusztig 22, §10] formulated more detailed 
conjectures relating the cells with geometry. Fix a two-sided cell fl corresponding 
in his bijection to the orbit of e G AT, and let Tq be its canonical left cell. Denote 
by F a maximal reductive subgroup of Cc(e), so F/F° = A(e). Write F for the 
set of isomorphism classes of irreducible representations of F. 

Lusztig's conjectural set-up involves a finite set Y, acted on by A(e), with 
cardinality equal to the Euler characteristic of B e . The orbits of A(e) in Y should 
be in bijection with the left cells in f2, with a singleton orbit expected to correspond 
to the canonical left cell. In general, the isotropy group in A(e) of an element y G Y 
corresponds to an intermediate subgroup F D F y D F°. The representations of F 
or F y enter via a notion of 11 F- vector bundle" on Y or Y x Y. 

This formalism is then subject to several requirements in |22l 10.5]. For exam- 
ple, the representation of A[e) on H*(B e ) should be equivalent to the permutation 
representation of A(e) on Y. (This recovers the statement (LC) above.) As a con- 
sequence, one should have a natural bijection between n T^ 1 and F. For an 
arbitrary left cell T corresponding to the orbit of y G Y, the group F should be 
replaced by the group F y . 

Out of this abstract framework emerges a conjectural bijection between pairs 
(O e , (p) and X + , where O e is a nilpotent orbit and ip an irreducible representation 
of Cc(e). (Such a bijection was conjectured independently by Vogan.) Note that 
when we work with W a rather than W a , the root lattice Q replaces X. 



REDUCED ENVELOPING ALGEBRAS AND CELLS IN THE AFFINE WEYL GROUP 5 

Bezrukavnikov has found suitable bijections in [4j and [2]; these are shown in 
Remark 6] to coincide. For other work related to Lusztig's conjectures (especially 
in this last formulation), see the individual and joint papers by Achar and Sommers 
[33l EE], Bezrukavnikov and Ostrik [30j 0, Lusztig [23 ] . Xi |34l l35l 136] . 

3. Lie algebra representations in characteristic p > 

3.1. The representation theory of g has been studied over a long period of 
time: for surveys of earlier work, see and In a series of papers, Jantzcn 
|13 j -|16 | has extended the theory considerably. Here we focus on just the simple 
modules for the universal enveloping algebra U(g). These all occur as modules for 
reduced enveloping algebras U x (g), which are finite-dimensional quotients of U(g) 
parametrized by x € J*. Those U x (g) for % in a single orbit under the coadjoint 
action of G are isomorphic, so one looks for a well-chosen orbit representative X- 

In order to obtain uniform results, Jantzen imposes several relatively weak 
hypotheses (H1)-(H3) on g and p, which we also assume. For a simply connected 
group, he requires the prime p to be good for which eliminates some root systems 
when p = 2,3,5. Moreover, the algebras sl(n,K) with p\n should be omitted (or 
replaced by the Lie algebras of corresponding general linear groups). Then there is 
always a G-equivariant isomorphism between g and g* , which transports the Jordan 
decomposition in g to g*. 

Earlier work of Kac-Weisfeiler shows that the crucial case to study is that of 
a nilpotent \ 6 g* (corresponding to some nilpotent e £ 5), Here one begins to 
make connections with the results on nilpotent orbits summarized above and with 
related conjectures arising in Lusztig's work |24l 1251 1261 12 7j . From now on we 
consider only the nilpotent case, subject to the above restrictions on p and $. 

3.2. The blocks of U x (g) have been determined by Brown and Gordon [g]. 
As summarized by Jantzen 1161 C.5], there is a natural bijection between the blocks 
and the "central characters" , which in turn are parametrized by the VF-orbits in 
X/pX under the dot action w ■ X := w(X + p) — p. This is a Lie algebra version of 
the Linkage Principle. 

If e is the nilpotent element corresponding to Xi the component group A(e) 
permutes the simple modules in a block. This action is understood only in some 
special cases. 

In general the simple modules in a given block are not easy to parametrize by 
weights, though each can be obtained as a quotient of one or more "baby Verma 
modules" : these are induced from one-dimensional modules for a Borel subalgebra 
b satisfying x(&) = 0. The choice of b affects this construction when x 7^ if 6 e 
has more than one irreducible component. 

3.3. To make contact with the geometry of Af, we look only at regular blocks: 
those for which the weight parameters attached to simple modules lie inside alcoves. 
This requires p > h (where h is the Coxeter number). Jantzen's translation functors 
then furnish information about other blocks. 

For a regular block of U x (g) , the work of Bezrukavnikov, Mirkovic, and Rumynin 
provides a geometric interpretation. Under the assumption that p > h, they prove 
that the number of nonisomorphic simple modules in the block is equal to the Euler 
characteristic of the Springer fiber B e : see [gl 5.4.3, 7.1.1]. 



6 



J.E. HUMPHREYS 



3.4. The best understood case involves a nilpotent orbit in g* containing some 
X in standard Levi form, which means that the corresponding nilpotent element e 
is regular in some Levi subalgebra of a parabolic subalgebra pj of g (determined by 
a set I of simple roots). All nilpotent orbits satisfy this condition for g = sl(n, K), 
but in general things get more complicated. (See |13l §10], |15l §2], |16l D.l].) 

Jantzen has studied simple U x (g)-modules (and their projective covers) in con- 
siderable detail when y has standard Levi form. In particular, each simple module 
can be labelled as L x (\) for one or more A G X. Here L X (X) = L x (p) if and only 
if n G Wi ■ A + pX, where Wj is the subgroup of W generated by simple reflections 
for a £ I and w ■ A := w{\ + p) — p. 

This can be pictured in terms of the alcove geometry of W a , with the origin 
of the afline space E taken to be —p and the translations all multiplied by p. 
Jantzen calls the group W p in this setting. Fixing a weight A inside the lowest 
dominant alcove, the orbit W p ■ A under the natural dot action contains (with 
periodic repetitions) all weights needed to parametrize the simple modules in a 
single regular block. In fact, it suffices to work with the \W\ alcoves surrounding 
a single special point such as —p. Then the induced action of Wj on these alcoves 
identifies those which correspond to the same simple module. 

3.5. In |14l I16| . Jantzen has also studied in depth the case of a subregular 
X- its G-orbit has dimension 2N — 2, where N = |$ + |. Only in types A n and B n 
does such an orbit have a representative in standard Levi form. But the simple 
modules in a regular block of U x (g) can be correlated closely with the irreducible 
components of B e (here a Dynkin curve), which helps to bypass the problem of 
labelling by weights. 

4. Simple modules and left cells 

4.1. Here we suggest closer connections between the representation theory 
discussed in §3 and the cells in W p . While our ideas are speculative, they have 
some support from computations in special cases (including unpublished work of 
Jantzen as well as |12| ). 

Fix a regular block of U x (g), with x nilpotent, and denote by S a complete set 
of nonisomorphic simple modules in this block. As suggested by Bezrukavnikov, 
this is a candidate for the finite set Y in Lusztig's formulation discussed in §2. If \ 
corresponds to e G g, denote by £ the collection of left cells of the two-sided cell f2 
corresponding in Lusztig's bijection to the orbit of e. In case the component group 
A(e) is trivial, the cardinalities of S and C are expected to be the same: compare 
the theorem of [fj] cited in §3 with the conjecture (LC) in §2. 

Conjecture. Fix notation as above. 

(a) There is a natural map ip from S onto C, whose fibers are the orbits of 
A{e) in S. 

(b) A simple module fixed by A(e) maps under ip to the canonical left cell T 
in £1. (We call this module "canonical".) 

4.2. The meaning of "natural" in part (a) of the conjecture has to be clarified. 
What we have in mind is a simple recipe for assigning modules to left cells, but it 
has only been made rigorous in special cases. Consider for example the case when 
X has standard Levi form, so the modules in S can be parametrized by weights in a 
Wp-orbit which lie in alcoves surrounding any given special point v G E. Suppose 



REDUCED ENVELOPING ALGEBRAS AND CELLS IN THE AFFINE WEYL GROUP 7 

v can be chosen inside the dominant Weyl chamber in such a way that weights in 
those surrounding alcoves which lie in the canonical left cell T suffice to parametrize 
S. If w € W p = W a labels one of these alcoves, assign the corresponding simple 
module to the left cell in f2 containing the alcove labelled by u> -1 . (It would still 
have to be shown that this assignment is independent of the choice of the special 
point.) 

In particular, when w labels the distinguished involution in T, then w = w^ 1 ; 
so the simple module in S corresponding to this alcove is assigned to T. That this 
"canonical" simple module should be fixed by A{e) is suggested by the parallel 
discussion in [221 10.7]. 

In rank 2 cases all of this can be observed directly. But in general there are 
serious combinatorial difficulties in working with the geometry of the cells even in 
the good case when x nas standard Levi form. The first problem is to locate a 
suitable special point v. One might look at the alcove containing the distinguished 
involution in the canonical left cell T: this will be the lowest alcove in T attached to 
some special point v. Do the surrounding alcoves which lie in T suffice to account 
for all simple modules in S? In rank 3, where Gunnells has constructed pictures 
of the cells, the evidence about the number of available alcoves is encouraging. 
(But there is one nilpotent orbit of type C3 which seems to require an alternate 
choice of special point. This orbit has an element in standard Levi form, while the 
component group A(e) has order 2.) 

4.3. The highest two-sided cell corresponds to the regular nilpotent orbit. 
Here the related representation theory is quite transparent, since a regular block 
has only one simple module (of dimension p N ) . 

At the other extreme, one can say quite a bit about the lowest two-sided cell 
Q, which corresponds to the zero orbit. Here the canonical left cell is just a shifted 
version of the dominant chamber, whose geometry is transparent. The associated 
representation theory comes from the group G, with simple modules parametrized 
in the usual way by highest weights. 

Using suggestions of Shi, we can argue as follows. Start with a special point 
for W p lying in Q such as v = 2{p — l)p\ the surrounding \W\ alcoves lie inside 
the canonical left cell L. If we write v — x ■ (— p) (with x a translation from pQ), 
these alcoves are obtained by applying x to the alcoves around — p labelled by the 
elements w € W, and thus are labelled by elements xw. Now x^ 1 ■ p lies inside 
the antidominant chamber, which is a single left cell of f2. Since W acts simply 
transitively on the Weyl chambers, we see that the alcoves labelled by the various 
(mi) -1 = all lie in distinct Weyl chambers and thus in distinct left cells of 

n. 

It is easy to see that the resulting bijection between S and C is independent of 
the choice of v, since the role of W is independent of translations by elements of 
pQ. 

4.4. Jantzen's study of the subregular case makes it possible to say something, 
even though x can be chosen to have standard Levi form only for root systems of 
type A n and B n . In a regular block there is always an isolated simple module, 
denoted L$ in |14l D.6] and associated with the longest element wq of W. This 
module is characterized in terms of its "K-invariant" and has a projective cover of 
smallest possible dimension. 



8 



J.E. HUMPHREYS 



The dominant alcove A obtained by reflecting the lowest alcove across its upper 
wall TL contains the distinguished involution in the canonical left cell T; it is the 
lowest alcove in V among those sharing the vertex obtained by reflecting — p in the 
hyperplane TL. In our framework it is natural to assign the simple module L$ to A 
and thus to the left cell T. (This is motivated in part by the approach to computing 
dimensions in 112j . where TL plays a key role.) Low rank evidence indicates that 
the translate of A attached to the special point — p is in the same W/-orbit as the 
alcove labelled by wo in types A n and B n . Here / is the set of simple roots involved 
in Jantzen's choice of subregular nilpotcnt clement. 

For type G2, there are five simple modules in a regular block, three of equal 
dimension being permuted by A(e) = S3. Here the two-sided cell is finite, with 
three left cells: the canonical left cell (to which Lq should be assigned) has 8 
elements, while the others have respectively 8 and 7. Comparison with Lusztig's 
model, as developed by Xi |35l 11.2], shows that the triple of simple modules should 
be assigned to the cell with 7 elements: here the isotropy group in 63 has order 
2. However, it is unclear for root systems other than A n , B n , Gi how to assign the 
simple modules other than L$ to left cells. 

4.5. For a fixed nilpotent orbit, our broader hope is to model Lusztig's con- 
jectural set-up in full detail. Besides taking for the finite set Y the set S above, one 
needs to bring in the action of Cq (e) . Still missing is a construction (presumably 
based on B e ) of suitable modules which carry compatible actions of g and F. 

But there is a reasonable prototype in the case \ — 0. Here one starts with Weyl 
modules V(X) with A £ X + . Their duals are realized as spaces of global sections of 
line bundles on B (the Springer fiber in this case). With these modules one has a 
Kazhdan-Lusztig theory, conjectured by Lusztig (for p not too small) to determine 
simple modules L(X) via an alternating sum formalism with coefficients depending 
on Kazhdan-Lusztig polynomials for W p . In turn L(X) factors (by Steinberg's 
theorem) into a tensor product of a simple U x (g)-module and the Frobenius twist 
of a simple module for G (which looks like the characteristic version if A is suitably 
bounded relative to p). 

One would like to find a similar construction for all X- A geometric construction 
of g-modules using the Springer fiber has been proposed by Mirkovic-Rumynin 29 , 
but without the additional features indicated above. 

4.6. When x is fixed, motivation for correlating simple modules with left cells 
comes indirectly from the experimental calculations reported in [12] . These are re- 
inforced by Jantzen's unpublished calculations in higher rank cases. The idea here 
is that the geometry of lower boundaries of canonical left cells, together with the 
placement of weights in alcoves, should play a key role in predicting the dimensions 
(and formal characters) of simple modules. The experimental evidence also rein- 
forces the suggestion above about the existence of a tensor product decomposition 
of Steinberg type. 

4.7. Lusztig's conjectural framework works with a fixed nilpotent orbit or 
two-sided cell. But there is additional motivation for assigning simple modules to 
left cells when we compare one orbit with an orbit in its closure. When ip is in the 
closure of the G-orbit of Xi one expects that a simple U x (g)-module will "deform" 
into a not necessarily simple {7^,(fl)-module. 



REDUCED ENVELOPING ALGEBRAS AND CELLS IN THE AFFINE WEYL GROUP 9 



On the level of Grothendieck groups, this would imply a recipe for writing 
the dimension of the given simple U x (g)-module as a sum of dimensions of simple 
[/^(g)-modules. In all known cases these dimension formulas are given uniformly 
by polynomials inp and the weight coordinates (compare j6J §6]). Experimentation 
in low ranks by Jantzen and the author suggests that such decompositions may be 
possible in a unique way. 

Ostrik proposes that deformation should be studied in the context of projective 
covers of simple modules. He suggests an interpretation of the process in terms of 
comparison of Lusztig's equivariant if-theory bases for the two Springer fibers: 
these bases may be comparable even when the Springer fibers themselves are not. 
Using this viewpoint he recovers for example our dimension comparisons in the case 
of type Gi. 

In low ranks, the cell pictures related to our hypothetical assignment of simple 
modules to left cells show an intriguing correlation with the computed degeneration 
in dimension formulas. But all of this remains to be placed in a rigorous theoretical 
setting, beginning with the process of deformation. 



References 

1. P.N. Achar, On the equivariant K -theory of the nilpotent cone in the general linear group, 
Represent. Theory 8 (2004), 180-211. 

2. P.N. Achar and E.N. Sommers, Local systems of nilpotent orbits and weighted Dynkin 
diagrams, Represent. Theory 6 (2002), 190-201. 

3. R. Bezrukavnikov, On tensor categories attached to cells in afjine Weyl groups, Represen- 
tation Theory of Algebraic Groups and Quantum Groups, 69-90, Adv. Stud. Pure Math., 
40, Math. Soc. Japan, Tokyo, 2004. 

4. , Quasi- exceptional sets and equivariant coherent sheaves on the nilpotent cone, 

Represent. Theory 7 (2003), 1-18. 

5. , Perverse sheaves on afjine flags and nilpotent cone of the Langlands dual group, 

|arXiv:mat h.RT/020 i256| 

6. R. Bezrukavnikov, I. Mirkovic, D. Rumynin, Localization of modules for a semisimple Lie 
algebra in prime characteristic, arXiv:math.RT/0205144 to appear in Ann. of Math. 

7. R. Bezrukavnikov and V. Ostrik, On tensor categories attached to cells in afjine Weyl 
groups II, Representation Theory of Algebraic Groups and Quantum Groups, 101—119, 
Adv. Stud. Pure Math., 40, Math. Soc. Japan, Tokyo, 2004. 

8. K.A. Brown and I. Gordon, The ramification of centres: Lie algebras in positive charac- 
teristic and quantised enveloping algebras, Math. Z. 238 (2001), 733—779. 

9. T. Chmutova and V. Ostrik, Calculating canonical distinguished involutions in the afjine 
Weyl groups, Experiment. Math. 11 (2002), 99-117. 

10. I. Gordon, Representations of semisimple Lie algebras in positive characteristic and quan- 
tum groups at roots of unity, pp. 149-167, Quantum Groups and Lie Theory, ed. A. Press- 
ley, Proc. Durham 1999, London Math. Soc. Lecture Note Ser., 290, Cambridge Univ. 
Press, Cambridge, 2001. 

11. J.E. Humphreys, Modular representations of simple Lie algebras, Bull. Amer. Math. Soc. 
(N.S.) 35 (1998), 105-122. 

12. , Analogues of Weyl's formula for reduced enveloping algebras, Experiment. Math. 

11 (2002), 567-573. 

13. J.C. Jantzen, Representations of Lie algebras in prime characteristic, Notes by Iain Gor- 
don, pp. 185-235, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 514, Representation 
theories and algebraic geometry (Montreal, 1997), Kluwer Acad. Publ., Dordrecht, 1998. 

14. , Subregular nilpotent representations of Lie algebras in prime characteristic, Rep- 
resent. Theory 3 (1999), 153-222. 

15. , Modular representations of reductive Lie algebras, J. Pure Appl. Algebra 152 

(2000), 133-185. 



J.E. HUMPHREYS 



16. , Representations of Lie algebras in positive characteristic, Representation Theory 

of Algebraic Groups and Quantum Groups, 175-218, Adv. Stud. Pure Math., 40, Math. 
Soc. Japan, Tokyo, 2004. 

17. , Nilpotent orbits in representation theory, pp. 1—211, Lie Theory, ed. J. -P. Anker 

and B. Orstcd, Progr. Math., vol. 228, Birkhauser, Boston, 2004. 

18. G. Lusztig, Some examples of square integrable representations of semisimple p-adic 
groups, Trans. Amer. Math. Soc. 277 (1983), 623-653. 

19. , Cells in affine Weyl groups, Algebraic Groups and Related Topics (Ky- 

oto/Nagoya, 1983), 255-287, Adv. Stud. Pure Math., 6, Math. Soc. Japan, Tokyo, 1985. 

20. , Cells in affine Weyl groups II, J. Algebra 109 (1987), 536-548. 

21. , Cells in affine Weyl groups III, J. Fac. Sci. Univ. Tokyo Sect IA Math. 34 (1987), 

223-243. 

22. , Cells in affine Weyl groups IV, J. Fac. Sci. Univ. Tokyo Sect IA Math. 36 (1989), 

297-328. 

23. , Cells in affine Weyl groups and tensor categories, Adv. Math. 129 (1997), 85-98. 

24. , Periodic W -graphs, Represent. Theory 1 (1997), 207-279. 

25. , Bases in equivariant K -theory, Represent. Theory 2 (1998), 298-369. 

26. , Subregular nilpotent elements and bases in K-theory, Canad. J. Math. 51 (1999), 

1194-1225. 

27. , Bases in equivariant K-theory, II, Represent. Theory 3 (1999), 281-353. 

28. G. Lusztig and N. Xi, Canonical left cells in affine Weyl groups, Adv. Math. 72 (1988), 
284-288. 

29. I. Mirkovic and D. Rumynin, Geometric representation theory of restricted Lie algebras, 
Transform. Groups 6 (2001), 175-191. 

30. V. Ostrik, On the equivariant K-theory of the nilpotent cone, Represent. Theory 4 (2000), 
296-305. 

31. Jian Yi Shi, The Kazhdan-Lusztig cells in certain affine Weyl groups, Lect. Notes in 
Math. 1179, Springer- Verlag, Berlin, 1986. 

32. , A two-sided cell in an affine Weyl group, II, J. London Math. Soc. (2) 37 (1988), 

253-264. 

33. E. Sommers, Lusztig's canonical quotient and generalized duality, J. Algebra 243 (2001), 
790-812. 

34. N. Xi, The based ring of the lowest two-sided cell of an affine Weyl group. II, Ann. Sci. 
Ecolc Norm. Sup. (4) 27 (1994), 47-61. 

35. , Representations of affine Hecke algebras, Lect. Notes in Math. 1587, Springer- 

Verlag, Berlin, 1994. 

36. , The based ring of two-sided cells of affine Weyl groups of type A n ^i, Mem. 

Amer. Math. Soc. 157 (2002), no. 749. 

Dept. of Mathematics & Statistics, U. Massachusetts, Amherst, MA 01003 
E-mail address: jehamath.umass.edu