arxiv:alg-geom/9511007v4 20 Nov 2000 PERVERSE SHEAVES ON A LOOP GROUP AND LANGLANDS DUALITY Introduction Victor GINZBURG The University of Chicago, Department of Mathematics Chicago, IL 60637, USA E-mail: ginzburg@math.uchicago.edu alg-geom/9511007 Grothendieck associated to any complex of sheaves F on a variety X over a finite field F the function x χ F (x) = ( 1) i Tr(Fr; H i xf), x X Fr on the set of F-rational points of X given by the alternating sum of traces of Fr, the Frobenius action on stalks of the cohomology sheaves H i F. He then went on to initiate an ambitious program of giving geometric (= sheaf theoretic) meaning to various classical algebraic formulas via the above functions-faisceaux correspondence F χ F. This program got a new impetus with the discovery of perverse sheaves [BBD], for it happens for certain mysterious reasons that most of the functions encountered in nature arise via the functions-faisceaux correspondence from perverse sheaves. In the present paper Grothendieck s philosophy is applied to what may be called the Geometric Langlands duality. The relevance of the intersection cohomology technique to our problem was first pointed out by Drinfeld [D] and Lusztig [Lu 1]. Later, in the remarkable paper [Lu], Lusztig established algebraically a surprising connection between finite-dimensional representations of a semisimple Lie algebra and the Kazhdan-Lusztig polynomials for an affine Weyl group. It is one 1
of the purposes of the present paper to provide a geometric interpretation of [Lu]. It should be mentioned however that the results of [Lu] are used in a very essential way in the proof of our main theorem in section 2. To begin with, recall the classical notion of a spherical function. Fix a semisimple group G. Given a ring R, let G(R) denote the corresponding group of R-rational points. Let p be a prime, Q p the p-adic field, and Z p its ring of integers. Let C[G(Z p )\G(Q p )/G(Z p )], be the Hecke algebra with respect to convolution of complex valued G(Z p )-biinvariant, compactly supported functions on G(Q p ). Let further T(C) G(C) be a maximal torus in the corresponding complex group and X (T) = Hom alg (C,T(C)) the lattice of one-parameter subgroups of T(C). Let C[X (T)] be the group algebra of this lattice acted upon naturally by W, the Weyl group of G. Then, one has the following classical result due to Satake: There is an algebra isomorphism (explicitly constructed by Macdonald) C[G(Z p )\G(Q p )/G(Z p )] C[X (T)] W (0.0) Our aim is to produce a sheaf-theoretic counterpart of isomorphism (0.1). This is done in several steps by reinterpreting both the left hand and the right hand sides of (0.1). First, we introduce the dual complex torus T such that X (T) = X (T ) is the weight lattice of T. Let G be the Langlands dual of G, the complex semisimple group having T as a maximal torus and having the root system dual to that of G. Then, the RHS of (0.1) can be rewritten as C[X (T )] W C[G ] G (0.0) where C[G ] G stands for the algebra of polynomial class functions on G. Let Rep G be the abelian category of finite dimensional rational complex representations of G, and K(Rep G ) its Grothendieck group. Assign to a representation V Rep its character, a class function on G G. This yields a natural algebra isomorphism C Z K(Rep ) G C[G ] G. By (0.2), the isomorphism (0.1) can thus be written as C[G(Z p )\G(Q p )/G(Z p )] C Z K(Rep G ) (0.0) We next turn to the LHS of (0.1). Let F = Z p /p Z p be the residue class field and F an algebraic closure of F. First we use the well known analogy between the fields Q p and F((z)) (=the Laurent formal power series field). The algebra C[G(Z p )\G(Q p )/G(Z p )] is unaffected by the substitution Q p F((z)), Z p F[[z]], p z 2
Thus, the LHS of (0.3) can be rewritten as G(F[[z]])-invariant functions on G(F((z)))/G(F[z]]) Now, following Grothendieck, we view the discrete set G(F((z)))/G(F[[z]]) as the set of F-rational points of Gr = G(F((z)))/G(F[[z]]), an infinite dimensional algebraic variety. We introduce a category P(Gr) whose objects are semisimple G(F[[z]])-equivariant perverse sheaves on Gr. There is a natural tensor product structure on the category P(Gr) given by a sort of convolution. Moreover, the function-faisceaux correspondence assigns to F P(Gr) a function χ F on G(F((z)))/G(F[[z]]). That gives an isomorphism of the Grothendieck group, C Z K(P(Gr)), with the algebra of G(F[[z]])-invariant functions on G(F((z)))/G(F[[z]]). Thus, the algebra isomorphism (0.1) takes the following final form C Z K(P(Gr)) C Z K(Rep G ) (0.0) The main result of this paper (theorem 1.4) can now be formulated as follows: There is an equivalence of tensor categories P(Gr) Rep G that induces isomorphism (0.4) on the corresponding Grothendieck rings. Moreover, the underlying vector space of a representation V Rep G may be identified canonically with the hyper-cohomology of the corresponding perverse sheaf P(V ) P(Gr). In the main body of the paper we replace the field F by the field C of complex numbers. This replacement does not affect the formulation of the theorem above, except that Gr is now regarded as an (infinite-dimensional) complex algebraic variety equipped with the usual Hausdorff topology. Thus, finite and p-adic fields serve only as a motivation and will never appear in the rest of the paper. A few words on the organization of the paper are in order. In the first chapter we formulate most of the results of the paper without going into any technical details and sometimes without even giving proper definitions. This is made to simplify the reading of the paper, for working with perverse sheaves on an infinite-dimensional variety like Gr requires a lot of extracare in technical details to make our approach rigorous. Thus, the first chapter contains the statement of the main theorem and its basic applications. Chapters 2 and 3 are devoted to the proof of the main theorem. The key ingredient of the proof is a construction of a fiber functor on the tensor category P(Gr) in terms of the equivariant cohomology. 3
There are two kinds of applications of the main theorem that we consider. The first one is of global nature, concerning a smooth compact complex curve X of genus > 1. We set up a Langlands-type correspondence between automorphic perverse sheaves on the moduli space of principal holomorphic G-bundles on X and homomorphisms π 1 (X) G, respectively. The detailed treatment of this subject including definition of the modular stack of principal G-bundles on a smooth complex curve is given in chapter 6. We include here new proofs of two (known) basic geometric results underlying the theory. The first one says that any algebraic G-bundle on an affine curve is trivial. The second one says that the global Nilpotent variety is a Lagrangian substack in the cotangent bundle to the moduli space. We then show how these results can be combined with the main theorem to obtain the Langlands correspondence (one way). Applications of the second type related to the topology of the Grassmannian Gr are discussed in chapters 4 5. It is shown there that the cohomology, H (Gr,C), is isomorphic to the Symmetric algebra of the centralizer of the principal nilpotent in Lie (G ). The principal nilpotent itself turns out to be nothing but the first Chern class of the Determinant bundle on Gr. Among other things, that enables us to give natural proofs of the results of Lusztig [Lu] and Brylinski [Br] concerning the q-analogue of the weight multiplicity, and also to establish connections with various interesting questions in represention theory. This paper is a slightly revised TeX-version of the typewritten manuscript with the same title distributed in 1989 (without chapter 6). I am greatly indebted to V. Drinfeld without whom this work would have never been carried out. He initiated the whole project by raising the question whether the category P(Gr) studied below is a tensor category. I am grateful to A. Beilinson who explained me a lot about the geometry of modular stacks which is crucial for chapter 6. The present paper may be seen, in fact, as a preparatory step towards the Geometric Langlands correspondence [BeDr]. Thanks are also due to R. Bezrukavnikov, R. Brylinski, B. Kostant and G. Lusztig for some very useful comments and suggestions. 4
Table of Contents 1. Main results 2. Tensor category of perverse sheaves 3. Application of the Equivariant cohomology 4. The loop group cohomology and the principal nilpotent 5. Equivariant filtration and q-analogue of the weight multiplicity 6. Moduli spaces and Hecke operators 7. Appendix A: Tensor functors and G-bundles 8. Appendix B: Equivariant hyper-cohomology 1 Main results 1.1 Duality Given a complex torus T, let T denote the group of 1-dimensional local systems on T with the tensor product group structure. In ground to earth terms, T is the group of all homomorphisms: π 1 (T) C. This is again a complex torus which is called the dual of T. More explicitly, let t be the Lie algebra of T, t the dual space, X (T) the lattice of holomorphic homomorphisms: C T, and X (T) the (dual) lattice of holomorphic homomorphisms: T C. Taking the differential of such a homomorphism at the identity defines embeddings: X (T) Hom C (C,t) = t and X (T) Hom C (t,c) = t. Then, we have canonically: T = t/x (T), T = t /X (T) so that there are canonical identifications: (t ) t, X (T ) X (T) (1.1) Now, let G be a split connected semisimple group over Z, and T a maximal torus in G. We let G denote the connected complex semisimple group having the dual torus T as a maximal torus and having the root system dual to that of G. The group G is said to be the Langlands dual to G [Lan]. Our immediate goal is to give an intrinsic new construction of G which does not appeal to root systems, maximal tori, etc. 1.2 Infinite Grassmannian Given the semisimple group G and a C-algebra R write G(R) for the group (over C) of R-rational points of G. Our basic choices of the ring R are 5
K = C((z)) and O = C[[z]]. Below we will more often use polynomial rings C[z,z 1 ] and C[z] instead of the rings K and O, respectively. We will use shorthand notation LG and L + G instead of G(C[z,z 1 ]) and G(C[z]) respectively. Choosing an imbedding G GL n presents G(K) as a subgroup of K-valued n n matrices and the group LG as the group of maps f : C G(C) Mat n (C) that can be written as a finite Laurent polynomial: f(z) = m i= m A i z i, A i are n n matrices, and f(z) G(C), z C (1.2.0) Neither topological nor algebraic structure of the groups G(K) and LG themselves will be of any importance for us. What is important is that the corresponding integral groups G(O) and L + G each has a decreasing chain of normal subgroups: L 0 L 1 L 2... In either case, the subgroup L m,m > 0, is defined to consist of the following loops f regular at the origin and such that f(0) = 1 and f has vanishing derivatives at 0 up to order m (1.2.1 m ) (if m = 0 we put L 0 = {f f(0) = 1}). For each m 0, the quotient G(O)/L m, resp. L + G/L m, clearly has the natural structure of a finite-dimensional algebraic group. Observe that, for m > 0, the quotient L m /L m+1 is an abelian group isomorphic to the additive group g := LieG. We are interested in this paper in the coset space Gr := G(K)/G(O). It is called the Infinite Grassmannian for, if G = SL n, the set Gr gets identified naturally with the variety of unimodular O-lattices of maximal rank in K n. The finiteness properties of the Infinite Grassmannian listed in the following proposition allow us to apply to Gr standard algebro-geometric constructions as if it was a finite-dimensional algebraic variety. Proposition 1.2.2 (i). The set Gr is the union of an infinite sequence of G(O)-stable subsets: Gr 1 Gr 2... (ii). These subsets have a compatible structure of finite-dimensional projective varieties of increasing dimension, i.e. Gr i Gr j is a projective imbedding for any i < j. (iii). For any i the G(O)-action on Gr i factors through an algebraic action of the group G(O)/L m, where m = m(i) is large enough. 6
(iv). Each piece Gr i consists of finitely many G(O)-orbits. Comments on Proof: Part (i) of the proposition is due to Lusztig [Lu, n. 11]). Let Grass be the set of all O-submodules in the vector space g(k), viewed as an O-module. Lusztig considered a map G(K) Grass given by the assignment f (Adf)g(O). He showed that this map yields a bijection of the coset space G(K)/G(O) with a set B of Lie subalgebras in g(k) subject to certain algebraic conditions. Further, for each i 1, following Lusztig put Gr i := {L B z i g(o) L z i g(o)} (1.2.0) With this definition, parts (i) and (ii) of the proposition are immediate. Part (iv) follows by comparing the known (cf. [PS, ch. 8] and section 1.4 below) parametrization of G(O)-orbits with the above definition of the sets Gr i. It remains to prove (iii). This can be done for each G(O)-orbit separately, due to (iv). Furthermore, it suffices to check the claim for a single point of each G(O)-orbit, for the groups L m are normal in G(O). But every orbit contains a point represented by a group homomorphism λ : C G, see n. 1.4. For such a point claim (iii) is clear. Indeed, the image of λ is contained in a maximal torus T G. Then, λ may be viewed, cf. n 1.1, as an element of the lattice X (T) t = LieT. Then, in property (iii), one may take m to be an integer, such that m > α(λ), for any root α t. One may introduce a similar Grassmannian in the polynomial setup, putting Gr = LG/L + G. It turns out that the object one gets in this way is not only similar but is in fact identical to the previous one. Specifically, the natural imbeddings LG G(K), L + G G(O) give a map j : Gr Gr. This map is injective, for it is clear that LG G(O) = L + G. Moreover, the following comparison result shows that j(gr ) = Gr and that we may (and will) make no distinction between Gr and Gr. Proposition 1.2.4 The map j is an LG-equivariant isomorphism j : Gr Gr. Any G(O)-orbit in Gr is the image of a single L + G-orbit in Gr. Proof: Define an exhaustion Gr 1 Gr 2... = Gr similar to the one introduced in the proposition 1.2.2. Equation (1.2.3) shows that Gr i may 7
be viewed as a variety of vector subspaces in the finite dimensional C-vector space z i g(o)/z i g(o), subject to certain algebraic conditions. Observe now that replacing power series by polynomials affects neither the space z i g(o)/z i g(o) = z i g(c[z])/z i g(c[z]) nor the algebraic conditions (the infinite tail of all the powers of z greater than i disappears in the quotient). It follows that j(gr i ) = Gr i for any i. Moreover, it follows that G(O)-orbits in Gr i are the same things as L + G- orbits in Gr i. That completes the proof. There is another realization of the Infinite Grassmannian often used in topology. Let K be a maximal compact subgroup of G and S 1 the unit circle. Write Ω for the group of based polynomial loops f : S 1 K, i.e. expressions like (1.2.1) with f(z) K for all z S 1, and f(1) = 1. Such a loop extends uniquely to a polynomial map f : C G such that f(z) = f(z) where bar stands for the complex conjugation (in C) on the LHS and for the involution on G corresponding to the real form K on the RHS. This way one gets a group imbedding Ω LG. One has an Iwasawa decomposition, see [PS]: LG = Ω L + G, Ω L + G = {1}. Thus, the Grassmannian Gr = LG/L + G can be identified with the group Ω. We endow both Gr and Ω with the topology of direct limit of closed finite-dimensional subvarieties Gr 1 Gr 2... and let m : Gr Gr Gr denote the map corresponding to the multiplication in Ω. We ll show later that, for any i,j 1, there exists an integer k = k(i,j) 0 such that the product of Gr i and Gr j is contained in Gr k and, moreover, the multiplication map m : Gr i Gr j Gr k is a morphism of realanalytic sets. This makes Gr Ω a topological group (with an additional sub-analytic structure). Let D b (Gr) be the bounded derived category of constructible complexes on Gr whose support is contained in a big enough subset Gr i, i.e., the direct limit of the categories D b (Gr i ). Given L,M D b (Gr), define L M D b (Gr) by the formula: L M = m (L M). The assignment L,M L M is called convolution. The convolution is associative, i.e., for any M 1,M 2,M 3 D b (Gr), there is a functorial isomorphism: M 1 (M 2 M 3 ) = (M 1 M 2 ) M 3. 1.3 Tensor category P(Gr) There is an obvious L + G-action on Gr on the left. Each L + G-orbit is contained in a certain Gr i, and it is a smooth locally closed algebraic subvariety of Gr i (cf. [PS, ch. 8]). Each orbit is known [PS] to be isomorphic to a vector 8
bundle over a partial flag variety (for the group G). In particular, the orbits are simply-connected. By proposition 1.2.2, all the Gr i are L + G-stable subsets of Gr, and the orbits form a finite stratification of each of the Gr i. Let IC(O) denote the Intersection cohomology complex of the closure of a L + G-orbit O, extended by 0 to all Gr. As explained, IC(O) is a welldefined object of D b (Gr). Let P(Gr) be the abelian full subcategory of D b (Gr) whose objects are perverse sheaves on Gr isomorphic to finite direct sums of complexes IC(O) (for various orbits O). Any object L P(Gr) has finite-dimensional hyper-cohomology H (L). Let Vect denote the abelian tensor category of finite-dimensional vector spaces over C with the standard tensor product. The following result will be proved in the next chapter. Theorem 1.3.1 (i). If L,M P(Gr) then L M P(Gr); (ii). The pair (P(Gr), ) is a semisimple rigid tensor category (cf. [DM, def. 1.7]); (iii). The assignment: M H (M) yields an exact fully-faithful tensor functor: P(Gr) Vect. 1.4 Equivalence of categories We remind the reader one of the main results of [DM]. It says [DM, thm. 2.1] that any tensor category having the properties as in theorem 1.3 is equivalent to the category Rep(G ) of finite-dimensional rational representations of a reductive group G. This applies, in particular, to the category P(Gr). Thus, starting from a semisimple group G we have constructed another reductive group G. The group G turns out to be isomorphic to G, the dual group of G. Thus, we get a new construction of the dual group. We turn to the formulation of the main result of the paper. Let T G be a maximal torus. Any homomorphism λ : C T, viewed as a map: S 1 G, determines the coset λ L + G LG and, hence, a point in Gr. Let O λ be the L + G-orbit of that point. Any L + G-orbit in Gr is known to be an orbit of the form O λ for some λ X (T), and O λ = O µ iff λ and µ are conjugate by W, the Weyl group of the pair (G,T). For λ X (T) we set IC λ := IC(O λ ), but it should be understood that λ is only determined here up to the action of W. It is well known that irreducible finite-dimensional rational representations of the group G are labeled by their extreme weights. Let V λ denote 9
the irreducible representation with extreme weight λ. Clearly, it depends only on the W-orbit of λ. Thus, we see from (1.1) that simple objects of the categories P(Gr) and Rep G are both indexed by the same set: X (T)/W = X (T )/W (note that pairs (G,T) and (G,T ) have identical Weyl groups). Theorem 1.4.1 There is an equivalence of the tensor categories P(Gr) and Rep which sends IC G λ to V λ. Furthermore, the hyper-cohomology functor H on P(Gr) goes, under the equivalence, to the forgetful functor: Rep G Vect. 1.5 A conjecture on automorphic sheaves The purpose of this section is to explain at a heuristic level the main idea of the connection between theorem 1.4.1 above and Langlands parametrization of so-called automorphic sheaves on the moduli space of principal G-bundles. Rigorous approach to the moduli spaces in question requires some special techniques, which will be worked out later in chapter 6. It seems instructive at this point, however, to outline the perspective without waiting till chapter 6. Let X be a smooth compact complex (algebraic) curve. Fix a point x X, and let O x be the local ring at x, m x O x the maximal ideal of functions vanishing at x, and K x the fields of fractions of O x, that is the field of germs of rational functions on a punctured neighborhood of x. Let G be a connected semisimple algebraic group, and G(K x ) and G(O x ) the corresponding groups of rational points, viewed as infinite dimensional complex groups. Set Gr X := G(K x )/G(O x ), and write P(Gr X ) for the category of G(O x )-equivariant perverse sheaves on Gr X with compact support. Any such perverse sheaf turns out to be automatically semisimple (for there are no extensions between simple objects of P(Gr X ), due to the fact that all G(O x )-orbits on Gr X are even dimensional). Thus, the setup is very similar to that of section 1.2. Moreover, we claim that it is not only similar, but in fact identical: Lemma 1.5.1 There is a natural equivalence of tensor categories P(Gr X ) P(Gr). To prove the lemma, one first replaces the rings K x and O x by the corresponding m x -adic completions. Repeating the argument of proposition 10
1.2.4, one shows that this doesn t change the grassmannian Gr X. It remains to note, that the curve X being smooth, choosing a local parameter z at the point x X yields an isomorphism of rings Ô x C[[z]]. Whence, an isomorphism of the grassmannians Gr X Gr, and the induced equivalence P(Gr X ) P(Gr). Observe finally, that this equivalence is in effect independent of the choice of a local coordinate. Indeed, choosing another local coordinate, z, at the point x X amounts to choosing an isomorphism C[[z ]] C[[z]]; the latter gives an automorphism of Gr that preserves L + G-orbits.. Further, let O out denote the ring of regular functions on the punctured curve X\{x}. Restricting functions to a neighborhood of the puncture yields an algebra imbedding O out K x. Whence, the group imbedding G(O out ) G(K x ). In chapter 6 we will endow the coset space M = G(K x )/G(O out ) with a certain structure of an (infinite dimensional) algebraic variety. This variety has a natural left G(O x )-action. Moreover, we will show that the orbit space G(O x )\M has a reasonable algebraic structure (though not of a variety but rather of a stack, see e.g. [LS]). The well-known double-coset construction provides the following natural isomorphism of stacks, see [LS] or theorem 6.3.1 and proposition 6.3.8 of chapter 6: G(O x )\M G(O x )\G(K x )/G(O out ) Bun G (1.5.0) where Bun G is the modular stack of the (isomorphism classes of) algebraic principal G-bundles on X. To any perverse sheaf A P(Gr X ) we associate a functor D b (Bun G ) D b (Bun G ), called the local Hecke functor at the point x. To that end, we identify (or rather define, cf. 6.1.4) the derived category, D b (G(O )\M), with D b G(O x) (M), the G(O x)-equivariant derived category on M, see [BL] or chapter 8 below for the definition of an equivariant derived category. Mimicing the construction of sheaf-theoretic convolution given in section 3.2, one introduces a convolution pairing : P(Gr X ) D b G(O x) (M) Db G(O x) (M). We now use double-coset isomorphism (1.5.2) and lemma 1.5.1, to reinterpret this convolution as a bi-functor : P(Gr) D b (Bun G ) D b (Bun G ) (1.5.0) Given M P(Gr), we define the corresponding local (at x) Hecke functor D b (Bun G ) D b (Bun G ) by the formula A M A. 11
A complex A D b (Bun G ) is called a local Hecke eigen-sheaf if, for each M P(Gr), there exists a finite dimensional vector space L M and an isomorphism M A = L M A. (1.5.0) Remark. If G = SL n, then the orbit O λ Gr associated to a fundamental weight λ is closed in Gr. Hence the corresponding simple object IC λ P(Gr) reduces (up to shift) to the constant sheaf (this is false for G simple, G SL n ). Furthermore, we will see later that if equation (1.5.4) holds for M = IC λ, for each fundamental weight λ, then it holds for all M P(Gr). Thus, if G = SL n, we have only to check (n 1) equations out of the infinite family of equations (1.5.4) and these involve no intersection cohomology whatsoever (in agreement with the classical theory). The constructions that we have made so far depended on the choice of an arbitrary point x X. One can modify the construction slightly by letting the point x to vary within the curve X. In the special case of G = SL n and of the complexes IC λ where λ is a fundamental weight, this was done by Laumon [La1] (cf. remark above). In the general case, one consideres the stack of quadruples: Heck X = {(P 1,P 2,x,φ) P 1,P 2 Bun G,x X, φ : P 1 X\{x} P2 X\{x} } where P 1 and P 2 are G-bundles on X and φ is an isomorphism of their restrictions to X \ {x}. The stack Heck X is not algebraic. It has, however, a natural stratification by the algebraic substacks Heck X,λ, λ X (T)/W, labeled by L + G-orbits in the grassmannian Gr. For each stratum, the projection pr 2 : Heck X,λ Bun G X, (P 1,P 2,x,φ) (P 2,x) is a smooth morphism with fiber isomorphic to O λ, the correponding L + G-orbit in Gr. Thus, there is a natural functor M M X assigning to an object M P(Gr) the corresponding perverse sheaf M X on Heck X. Write pr 1 : Heck X Bun G for the projection (P 1,P 2,x,φ) P 1. We define a convolution type functor : D b (Heck X ) D b (Bun G ) D b (X Bun G ), N,A N A = (pr 2 ) (N pr! 1A) (1.5.0) Setting in particular, N = M X, we thus associate with any M P(Gr), the corresponding global Hecke functor given by the formula T M : D b (Bun G ) D b (X Bun G ), A T M (A) = M X A (1.5.0) 12
We will now show, using Theorem 1.4.1, that to some Hecke eigen-sheaves on Bun G one can associate naturally a homomorphism from, π 1 (X), the fundamental group of the curve, into the Langlands dual group G. This way one gets the geometric Langlands correspondence. Given a principal G -bundle on X with flat connection, and a representation V Rep G, write V P for the associated vector bundle, i.e. a local P(Gr) be the equiv- system on X. On the other hand, let P : Rep G alence inverse to the equivalence of theorem 1.4.1. We write P(V ) for the perverse sheaf on Gr arising, via the equivalence, from V Rep. Associated to P(V ), is the corresponding global Hecke functor T P(V ) : D b (Bun G ) G D b (X Bun G ). Here is our main result on the geometric Langlands correspondence. Theorem 1.5.7 Let A D b (Bun G ) be a local Hecke eigen-sheaf at a certain point x X. Assume the following two properties hold: (i). A is an irreducible perverse sheaf of geometric origin (see [BBD]); (ii). The characteristic variety of A (see e.g. [KS] or[gi1]) is contained in the global nilpotent cone Nilp T Bun G, defined by Laumon [La2]. Then, A is a global Hecke eigen-sheaf. Moreover, there exists a unique (up to isomorphism) flat G -bundle P = P(A) on X such that, for any V Rep G, we have T P(V ) (A) = V P A. (1.5.0) Proof of the theorem will be outlined in n 6.6. The correspondence A P(A) established in the theorem may be thought of as the (one way) geometric Langlands correspondence. To explain this, fix a point x X. Recall that taking the monodromy representation in the fiber at x of a flat G -bundle P on X sets-up a bijection between the isomorphism classes of flat G -bundles on X, and the conjugacy classes of group homomorphisms φ : π 1 (X,x) G. Writing φ(a) for the homomorphism associated to the flat G -bundle P(A), via the theorem, we get the geometric Langlands correspondence: Hecke eigen-sheaves satisfying (i)-(ii) of 1.5.7 Homomorphisms π 1 (X,x) G up to conjugacy. Constructing a correspondence in the opposite direction turns out to be a much more complicated task. Let Λ be the set of isomorphism classes of pairs (P,χ), where P is a flat G -bundle on X such that, Aut(P), the group of automorphisms of P, is finite, and χ is an irreducible representation 13
of Aut(P). The conjecture below is an extension to general semisimple groups of the geometric Langlands reciprocity conjecture due to Laumon [La1, conjecture 2.1.1] for G = GL n. A proof of a D-module analogue of this conjecture (at least of an essential part of (i) below) is going to appear in the series of papers of Beilinson and Drinfeld [BeDr]. Conjecture (i)to any (P,χ) Λ one can associate a finite set, called an L-packet, consisting of dim χ perverse shaves A on Bun G whose characteristic variety is contained in Nilp, and such that equation 1.5.8 holds. (ii) If the flat bundle P carries a variation of mixed Hodge structure in the sense of Deligne, then the corresponding perverse sheaves on Bun G have an additional structure of mixed Hodge modules in the sense of Saito [Sa]. 1.6 Topological gradation By the last sentence of theorem 1.4.1, there is a canonical identification of the underlying vector space of an irreducible representation V λ Rep G with the hyper-cohomology H (IC λ ). This raises some new questions: Question 1. What is the representation-theoretic meaning (in terms of V λ ) of the natural gradation on H (IC λ ) by cohomology degree? Question 2. What is the representation-theoretic meaning of the natural H (Gr,C)-action on H (IC λ )? To answer these questions we fix a principal nilpotent n in g, the Lie algebra of the group G. By the Jacobson-Morozov theorem, we can (and will) choose a Lie algebra homomorphism: ( ) j : sl 2 (C) g 0 1 such that j = n (1.6.0) 0 0 We set: ( 1 0 h = j 0 1 ) (1.6.0) Clearly, h is a semisimple regular element of g that has integral eigenvalues in any finite-dimensional g -module. (Moreover, it can be assumed without loss of generality, that h is the sum of positive coroots in a Cartan subalgebra of g and the nilpotent n is the sum of root vectors corresponding to all simple roots.) The answer to Question 1 above is given by the following 14
Theorem 1.6.3 The natural gradation on H (IC λ ) corresponds, via theorem 1.4.1, to the gradation on V λ by the eigenvalues of h, i.e. to the gradation: V = V h (i) where V h (i) = {v V h v = i v} (1.6.0) i Z Remark 1.6.4 Theorem 1.6.3 looks ambiguous as stated, for gradation (1.6.4) clearly depends on the choice of h, that cannot be made canonical. To resolve this contradiction, observe that the correspondence between the two gradations in Theorem 1.6.3 depends on the equivalence of Theorem 1.4.1. Such an equivalence is not unique and can only be fixed up to automorphism of the category Rep. Any group automorphism of G G gives rise to an automorphism of Rep G. Now, the element h in (1.6.2) is uniquely determined up to conjugacy. The effect of conjugating h by y G amounts to applying the automorphism of Rep G induced by the conjugation by y. That resolves the contradiction. Similar meaning is assigned to the term correspond in many other results stated in this paper, the objects on the topological side are usually defined in a canonical way while their representation theoretic counterparts are only determined up to simultaneous conjugation. It should be emphasized however that if more than one object are involved, then the relative position of the objects may still make an absolute sense. 1.7 The H (Gr, C)-action To answer Question 2, we have to describe the cohomology of the Grassmannian fist. Let Gr 1 Gr 2... be the exhaustion of Gr mentioned in n. 1.2, and H k (Gr 1 ) H k (Gr 2 )... the corresponding projective system of cohomology. For each k 0 this system stabilizes, for all Gr i are known to have compatible Bruhat cell decompositions so that Gr i+1 is obtained from Gr i by attaching cells of dimensions > k provided i = i(k) is big enough. We set by definition H k (Gr) = lim i H k (Gr i ). To compute H (Gr) we identify the Grassmannian with the Loop group Ω viewed as a topological group (n. 1.2). Hence, H (Ω) is a graded-commutative and cocommutative Hopf algebra. By a well-known theorem H (Ω) is freely generated by the subspace prim of its primitive elements. These elements can be obtained [B] by transgressing primitive cohomology classes of the compact group K, i.e. by pulling them back to S 1 Ω via the evaluation 15
map ev : S 1 Ω K, (1.7.0) and then integrating over S 1. We will give another description of the primitive subspace prim H (Ω) after the following remark. Remark. Let O be the regular coadjoint orbit in (g ), i.e., an orbit of maximal dimension in the dual of the Lie algebra g. Let G (x) denote the isotropy group of x O and g (x) := Lie G (x). Then g (x) is an abelian Lie subalgebra of g whose dimension equals rkg. (The easiest way to prove these facts is to identify g with (g ) via an invariant bilinear form on g, and to view x as a regular element in g so that the algebra g (x) becomes the centralizer of x in g. This centralizer can be clearly viewed as the limit of a sequence of Cartan subalgebras of g.) Let x be another point of the orbit O and let u G be any element such that Ad u(x) = x. Then the operator Ad u gives an isomorphism g (x) sim g (x ). Moreover, this isomorphism does not depend on the choice of u, for u is determined up to an element of the group G (x) and the latter, being commutative, acts trivially on g (x). Thus, all the algebras g (x), x O, can be canonically identified with each other. Further, it is well-known, see [Ko2], that there is a canonical bijection between regular and semisimple coadjoint orbits in (g ), respectively. The latter are parametrized naturally by the orbit space t/w. Thus, associated with each point t t/w, is a regular orbit O as above, hence, a canonically defined abelian Lie algebra g (x), x O. We let a t denote this universal abelian Lie algebra, g (x), associated to t t/w. The family {a t, t t/w } may be thought of as the family of fibers of a vector bundle on t/w. For t = 0, i.e. in the case of a regular nilpotent x, we write a instead of a t, for short. In particular, take x = n, cf. (1.6.4), and endow the vector space a with a grading induced by the grading on g (x) by the eigenvalues of the adjoint h-action on g (n). Proposition 1.7.2 There is a canonical graded space isomorphism: prim = a. We sketch a construction of the isomorphism: prim = a. Let C[g] G and C[(g ) ] G denote the graded algebras of invariant polynomials on g and (g ) respectively. These algebras are canonically isomorphic via the following chain of isomorphisms: C[g] G C[h] W C[(h ) ] W C[(g ) ] G (1.7.0) 16
where the first and the third isomorphisms are due to Chevalley s restriction theorem. We shall now construct the following diagram C[g] G + (1.7.3) C[(g ) ] G + c d (1.7.0) prim a where C[g] G + stands for the augmentation ideal in C[g] G, etc. To define the map c decompose the 2-dimensional sphere as the union of two disks D + and D with the common boundary S 1. Take trivial principal K-bundles on D + Ω and D Ω and identify them over the boundary S 1 Ω by means of the map (1.7.1). This way we obtain a principal K-bundle on S 2 Ω. Given an invariant polynomial P C[g] G, let ch(p) H (S 2 Ω) be the corresponding characteristic class of our K-bundle, and let c(p) be the integral of ch(p) along the factor S 2. One can show that c(p) is a primitive class in H (Ω). The assignment P c(p) defines the map c in (1.7.4). It is clear from the construction that: deg c(p) = deg ch(p) 2 = 2 deg P 2. To define the map d in (1.7.4), notice first that the differential of any polynomial P on (g ) may be viewed as a g -valued function on (g ). If P is an invariant polynomial then, for any x (g ), we have: dp (x) g (x). Now, take x to be a regular nilpotent and identity g (x) with a. We define the map d in (1.7.4) by the formula C[(g ) ] G P dp (x) a. Let I C[g] G and I C[(g ) ] G denote the augmentation ideals. Proposition 1.7.2 clearly follows from diagram (1.7.4) and the following result which will be proved in chapter 4. Lemma 1.7.5 The maps c and d in (1.7.4) both vanish on the squares of the augmentation ideals. The resulting maps: are isomorphisms. I/I I c prim and I /I I d a In the simply laced case a result similar to Proposition 1.7.2 has been also obtained by D. Peterson (unpublished). 17
Let U(a) denote the enveloping algebra of the (commutative) Lie algebra a, and let ǔ denote the element of U(a) corresponding to a cohomology class u H (Ω) via the isomorphism H (Ω) = U(a) induced by that of Proposition 1.7.2. We are now ready to give an answer to Question 2 in n. 1.6. Theorem 1.7.6 For any u H (Gr), the natural action of u on the hypercohomology of a perverse sheaf from the category P(Gr) corresponds (cf. Remark 1.6.4) to the natural action of ǔ a in the G -module that corresponds to the perverse sheaf via Theorem 1.4.1. 1.8 Kostant theorem and the generalized exponents The imbedding (1.6.1) makes g an sl 2 (C)-module with respect to the adjoint action. One can decompose g into irreducible sl 2 (C)-submodules g i so that the corresponding highest weight vectors ǎ i ǧ i form a base of the subalgebra a (in particular, the decomposition is known to have r = rk(g ) direct summands). Furthermore, all the eigenvalues of the operator ad h in g i are even integers for otherwise we would have: dima > rkg. The structure theory of sl 2 -modules then yields an equality: dimg i = deg ǎ i +1. On the other hand, proposition 1.7.2 combined with theorem 1.7.6 implies: deg ǎ i = dega i = 2 deg P i 2. Thus, we have proved the following numerical identity first discovered by Kostant [Ko1]: degg i = 2 deg P i 2 Let t = Z g (h) be a Cartan subalgebra of g and T the corresponding Cartan subgroup. Let C X (T ) be a coset with respect to the root lattice of G and C ++ = {µ C µ(h) 0}, a dominant Weyl chamber. There is a unique weight µ C C ++ which is the minimal element in C ++, i.e. such that for any other λ C ++, λ µ C is a sum of positive roots. The weight µ C is minuscule, that is all the weights of the irreducible representation V µc form a single W-orbit. Any minuscule weight is known to be the minimal element in some coset C. Let v µ denote a lowest weight vector in the representation V µ. The following result was suggested to me by B. Kostant. Proposition 1.8.1 The module V µc is cyclically generated by the action of the algebra a = Z g (n), that is V µc = U(a) v µc. 18
Proof: The orbit O µc is the unique closed orbit in the connected component of the Grassmannian Gr that corresponds to the coset C (connected components are parameterized by elements of the finite group X (T)/root lattice). Hence, O µ = O µ is a smooth variety so that IC µc is a constant sheaf on O µc (up to shift). By Theorem 1.7.2, proving the Proposition amounts to showing that the restriction map H (Gr) H (O µc ) is surjective. This is equivalent, by duality, to the injectivity of the map H (O µc ) H (Gr). But the orbit O µc has an even-dimensional cell decomposition which is part of a similar decomposition of Gr (Bruhat decomposition). The injectivity follows. For any V Rep G, let V (µ) denote the weight subspace corresponding to a weight µ X (T ), and V a the subspace annihilated by the subalgebra a. In chapter 5 we will prove the following result. Proposition 1.8.2 Let λ C ++. Then, dim Vλ a = dimv λ(µ C ); moreover, there exists a basis v 1,...,v m of the weight space V λ (µ C ) and nonnegative integers (called the generalized exponents): k 1,...,k m such that the elements: n k1 v 1,...,n km v m form a base of Vλ a. If C is the root lattice then µ C = 0. In that case the dimension equality of the first part of the Proposition is proved in [Ko2] and the second part is proved in [Br]. Proposition 1.8.2 is closely related to some ideas of R. K. Brylinski who stated it as a conjecture. 1.9 Integrals over Schubert cycles We now describe (partially) the pairing between homology and cohomology of the Grassmannian. Namely, for any u H 2k (Gr) and any L + G-orbit O λ (see n. 1.4) such that dim C O λ = k, we shall give a representation-theoretic formula for u,[o λ ], the value of u on the fundamental cycle of the closure of O λ. To that end, let v λ denote a lowest weight vector in the irreducible representation V λ and v λ a lowest weight vector of the contragredient representation. Further, let ǔ be the element of U(a) corresponding to the cohomology class u via the isomorphism of Corollary 1.7.3. The element ǔ acts naturally in the representation V λ, and we have Proposition 1.9 u,[o λ ] = v λ,ǔ v λ. Proof: Let S : V λ H (IC λ ) denote the canonical isomorphism provided by theorem 1.4.1, and V ± λ the highest (resp. the lowest) weight subspaces 19
in V λ. We ll see later that the isomorphism S sends V ± λ into H±k (IC λ ), the top (resp. the lowest) intersection cohomology. We use the map S and the natural map from intersection cohomology to ordinary homology to obtain the following commutative digram: V + λ S H k (IC λ ) H 0 (O λ ) ǔ u u V λ ) S H k (IC λ ) H 2k (O λ ) The choice of linear function v λ : V + λ C corresponds via the above isomorphism, to a map ϕ : H 0 (O λ ) C. Hence, the commutative diagram yields: u,[o λ ] = ϕ(u [O λ ]) = v λ,ǔ v λ 1.10 Computation of Ext-groups We are interested in the groups Ext (IC λ,ic µ ), computed in D b (Gr) (but not in the category P(Gr) where Ext s are trivial). To find these groups observe first that, for any M,N D b (Gr), one has, by functoriality, a natural morphism: Ext i (M,N) Hom i H (Gr) (H (M),H (N)) (1.10.0) where Hom s on the right are taken in the category of graded H (Gr)- modules and Hom i denotes the space of homomorphisms shifting gradation by i. Now, let M = IC λ and N = IC µ, λ,µ X (T). In that case the righthand side of (1.10.1) turns, by theorem 1.7.2, into Hom i a(v λ,v µ ), so that we obtain a map: Ext (IC λ,ic µ ) Hom a(v λ,v µ ) (1.10.0) Theorem 1.10.3 If the strata O λ and O µ are contained in the same connected component of the Grassmannian, then the morphism (1.10.2) is an isomorphism. 20
This theorem follows from the main result of [Gi3] (see Remark at the end of [Gi3]). We shall now give a reformulation of Theorem 1.10.3 in slightly more invariant terms, not involving a choice of principal nilpotent. Let N be the cone of nilpotent elements of the Lie algebra g, and C[N] the algebra of regular functions on N. There is a natural action on N of the group C G (the factor C acts by multiplication and G by conjugation). Let Coh(N) denote the abelian category of C G -equivariant coherent O N -sheaves. Any such sheaf is characterized by the C[N]-module of its global sections, for N is an affine variety. To each representation V Rep we attach the free O G N -sheaf V C O N whose global sections from the free C[N]-module of V -valued regular functions on N. The C -action on V C O N is induced from that on N, and the G -action on V C O N arises from the simultaneous action of G both on V and on N. In particular, for λ X (T) we set V λ = V λ C O N Coh(N). Theorem 1.10.3 turns out to be equivalent to the following Proposition 1.10.4 For any strata O λ and O µ contained in the same connected component of Gr one has a canonical isomorphism: Ext D b (Gr) (IC λ,ic µ ) = Hom Coh(N) (V λ, V µ ). Recently, Kashiwara-Tanisaki [KT] proved a version of the Kazhdan- Lusztig conjecture for affine Lie algebras. The complexes IC λ correspond, by that conjecture, to irreducible highest weight representations L λ (of negative level) of the Lie algebra ĝ (= central extension of the algebra g C[z,z 1 ]). Correspondingly, the left-hand side of (1.10.2) turns out to be isomorphic to Ext (L λ,l µ ), the Ext-group in an appropriate category of ĝ-modules. Thus, Theorem 1.10.3 gives an expression for Ext (L λ,l µ ) in terms of finitedimensional representations of the dual Lie algebra. This is quite surprising, for there is no apparent connection between representations of ĝ and those of g. To make a hint on what an explanation of such a connection might be, notice that the sheaves V λ, V µ appearing in Proposition 1.10.4 are projective objects of the category Coh(N). So, the Proposition manifests some instances of the Koszul duality (see [BGS]). Moreover, it is likely that Proposition 1.10.4 is a special case of an extension to affine Lie algebras [BGSo] of the Koszul duality conjecture for semisimple Lie algebras. The latter one has been proved by W. Soergel [So]. Our Theorem 1.10.3 is similar in spirit to Soergel s result (cf. also [BGSo]). 21
A result somewhat related to Proposition 1.10.4 was in effect obtained much earlier in [FP] in the context of modular representations of a semisimple group G in positive characteristic. The corresponding analogue for quantum groups at roots of unity was later proved in [GK]. In the last section of [GK] we proposed a conjectural interpretation of the intersection cohomology H (IC λ ) in terms of quantum groups. The latter gives way to translating theorem 1.10.3 into a purely algebraic claim concerning simple modules over the finite-dimensional quantum algebra introduced by Lusztig. Finding an algebraic proof of that claim, independent of the intersection cohomology methods, presents a very interesting problem. We would like to close this discussion with a conjecture that would generalize theorems 1.3.1 and 1.4.1. Fix an Iwahori(= affine Borel) subgroup I L + G and write P I (Gr) for the category of I-equivariant perverse sheaves on Gr with compact support. This is a non-semisimple abelian category containig P(Gr) as a subcategory. Furthermore, category P I (Gr) is known, through the combination of the works of Kazhdan-Lusztig [KL2] and Kashiwara-Tanisaki [KT], to be equivalent to a (regular block of the) category of finite dimensional representations of a quantum group at a root of unity. The following conjecture may be approached, we believe, using combinatorial results of [Lu 5] (I am grateful to Lusztig for pointing out this reference). Conjecture (i) For any M P I (Gr) and A P(Gr) we have M A P I (Gr), so that we get a bi-functor : P I (Gr) P(Gr) P I (Gr). Moreover, (ii) This bi-functor corresponds, via the Kazhdan-Lusztig-Kashiwara- Tanisaki equivalence, to the standard tensor product of representations of the quantum group. (iii) In particular, for any fixed A P(Gr), the functor M M A on the (non-semisimple) category P I (Gr) is exact. Observe that it is essential in the conjecture to convolve with an object A P(Gr) on the right, i.e to take M A and not A M. 1.11 The action of the principal nilpotent n in a representation V Rep G yields the filtration on V by the kernels of powers of n. We let V i (µ) := V (µ) ker(n i+1 ), i = 0,1,2,..., denote the induced filtration on a weight 22
subspace V (µ) (notation of 1.8). Write the Poincaré polynomial: P µ (V,q) = i 0 q 2i dim(v i (µ)/v i 1 (µ)) (1.11.0) On the other hand, for any pair of dominant weights λ and µ, Lusztig considered the affine Kazhdan-Lusztig polynomial P µ,λ (q) and proved (see [Lu]) the weight multiplicity formula: dimv λ (µ) = P µ,λ (1). We ll show in section 5 that the Localization theorem for equivariant cohomology yields the following q-analogue of Lusztig s formula, involving polynomials (1.11.1). Theorem 1.11.2 For any dominant λ and µ we have: P µ (V λ,q) = q λ(h) µ(h) P µ,λ (q 2 ). A similar result was proved (under certain restrictions) in [Br] by totally different means. 2 Tensor category of Perverse Sheaves This section is entirely devoted to the proof of Theorem 1.3. 2.1 There is a natural (1-1)-correspondence between orbits of the L + G-action on Gr = LG/L + G and orbits of the diagonal LG-action on Gr Gr. If these latter orbits were finite-dimensional we would have been able to define the Intersection cohomology complexes of their closures. The abelian category of perverse sheaves on Gr Gr isomorphic to direct sums of such complexes would have been clearly equivalent to the category P(Gr) and would have had a natural convolution structure defined by the formula (cf. [Spr]): M N = (p 13 ) (p 12M p 23N) where p ij : Gr Gr Gr Gr Gr denotes the projection along the factor not named in the subscript. Unfortunately, all LG-orbits in Gr Gr have infinite dimension. That is why we were forced in n. 1.2 to use the loop group Ω in order to define the convolution. We will now give a purely algebraic construction of the convolution. Another, more canonical, algebraic construction based on equivariant technique will be given in the next chapter. 23
Let Oµ 2 denote the LG-orbit in Gr Gr corresponding to an L + G-orbit O µ Gr, µ X (T), and let p 1,2 : Gr Gr Gr denote the first and the second projections. Given λ,µ X (T), set O λ,µ = p 1 1 (O λ) Oµ 2. Clearly, O λ,µ is a finite-dimensional subvariety of Gr Gr. Furthermore, the first projection makes O λ,µ a locally-trivial fibration over O λ with fibre O µ. Let IC λ,µ denote the Intersection cohomology complex on O λ,µ, the closure of O λ,µ. Proposition 2.1.1 There is natural isomorphism: IC λ IC µ = (p2 ) IC λ,µ. Proof: Identify Gr with the Loop group Ω and define an automorphism f of variety Ω Ω by the formula f : (x 1,x 2 ) (x 1,x 1 1 x 2 ), x 1,x 2 Ω. The map f fits into the commutative triangle: Ω Ω p 2 f m Ω Ω Ω The triangle yields: IC λ IC µ = m (IC λ IC µ ) = (p 2 ) f (IC λ IC µ ). Hence, proving the Proposition amounts to showing that f (IC λ IC µ ) = IC λ,µ, i.e. that O λ,µ = f 1 (O λ O µ ). It suffices to check that O λ,µ = f 1 (O λ O µ ). To prove the last equality we introduce the map q : Ω Ω Ω defined by q(x 1,x 2 ) := x 1 1 x 2. We claim that Oµ 2 = q 1 (O µ ). Indeed, the sets Oµ 2 and q 1 (O µ ) are, clearly, stable under the diagonal Ω-action on Ω Ω. Hence, each of these sets is completely determined by its intersection with Ω {1}. But we have: O 2 µ (Ω {1}) = O µ {1} = q 1 (O µ ) (Ω {1}), and the claim follows. Thus, one finds: O λ,µ = p 1 1 (O λ) O 2 µ = p 1 1 (O λ) q 1 (O µ ) = f 1 (O λ O µ ). This completes the proof of the Proposition. Remark. We have shown in the course of the proof of Proposition 2.1.1 that the product m (O λ O µ ) of any two orbits O λ and O µ is a finite union 24
of orbits. It is clear, on the other hand, that each of the sets Gr i forming an exhaustion of Gr (see n. 1.2) is a finite union of orbits. Hence, for any i,j, the set m (Gr i Gr j ) is contained in a big enough Gr k, as claimed in n. 1.2. 2.2 The following result implies the first part of Theorem 1.3. Its proof is based in a very essential way on a result of Lusztig [Lu]. The geometric construction of the Hecke algebra used in the proof of Proposition 2.2.1 below is nowadays well known, cf. [Spr]. It was independently discovered in the course of the proof of the Kazhdan-Lusztig conjecture by a number of people (including Beilinson-Bernstein, MacPherson, Lusztig and others). Proposition 2.2.1 For any λ,µ X (T), the complex IC λ IC µ is isomorphic to a finite direct sum of the complexes IC ν, ν X (T). Proof: By Proposition 2.1.1 we have: IC λ IC µ = (p 2 ) IC λ,µ. The latter complex is isomorphic to a finite direct sum of shifted Intersection cohomology complexes, by the Decomposition theorem [BBD]. Note further, that the variety O λ,µ is stable under the diagonal action of the group L + G. So, the complex (p 2 ) IC λ,µ, and hence all of its direct summands, are locallyconstant along L + G-orbits in Gr. Hence, these direct summands are of the form IC ν [n ν ] for some ν X (T), where [n ν ] denotes the shift in the derived category. Thus, we obtain: IC λ IC µ = ν IC ν [n ν ], ν X (T) (2.2.0) Recall next that associated to the semisimple group G is the affine Hecke algebra H, cf. [Spr]. This is a Z[t,t 1 ]-algebra which has a base formed by certain distinguished elements c w, w W a (= affine Weyl group), the socalled Kazhdan-Lusztig basis. The algebra H is known to have a geometric realization as the Grothendieck group of a semisimple category whose objects are direct sums of certain (shifted) Intersection cohomology complexes I w [n], w W a, n Z, on the Flag variety associated to an affine Lie algebra. The complex I w [n] corresponds to the element t n c w H. The ring structure on H corresponds to a convolution of complexes. 25