# 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