projective functors for algebraic groups

Download Projective functors for algebraic groups

Post on 26-Jun-2016

219 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

  • Advances in Mathematics 210 (2007) 754768www.elsevier.com/locate/aim

    Projective functors for algebraic groupsOleksandr Khomenko

    Universitt Freiburg, Mathematisches Institut, Eckestrasse 1, D-79104, Freiburg, Germany

    Received 2 July 2005; accepted 17 July 2006

    Available online 6 September 2006

    Communicated by Michel Van den Bergh

    Abstract

    We investigate the regular subquotient category introduced by Soergel in [W. Soergel, On the relationbetween intersection cohomology and representation theory in positive characteristic, J. Pure Appl. Algebra152 (13) (2000) 311335]. A detailed study of projective functors enables one to relate those categoriesfor semi-simple algebraic group G and its subgroup schemata GrT . As an application we derive someinformation about the characters of tilting modules for G. 2006 Elsevier Inc. All rights reserved.

    Keywords: Semi-simple algebraic group; CategoryO; Tilting module

    1. Introduction

    Let K be an algebraically closed field of characteristic p > 0 and let G be a semi-simple splitsimply connected algebraic group over K. Fix a maximal torus T in G and a Borel subgroupB G containing T . Let R R+ = R(B,T ) be the root system of G and the subset ofpositive roots, and let h be the Coxeter number of R. For every weight X(T ) let K denotethe one-dimensional B-module of weight .

    An important topic in the representation theory of algebraic groups is the study of simplemodules L() of split semi-simple reductive algebraic groups over fields of prime characteristic.The module L() appears as the simple socle of the induced representation H 0() = indGB K.(If is non-dominant then L() is zero. However simple GrT -modules can have non-dominanthighest weights.) The character of the module H 0() is known. So the character of L() can bedetermined from the multiplicities [H 0() : L()] for , X(T ).

    E-mail address: oleksandr.khomenko@math.uni-freiburg.de.0001-8708/$ see front matter 2006 Elsevier Inc. All rights reserved.doi:10.1016/j.aim.2006.07.008

  • O. Khomenko / Advances in Mathematics 210 (2007) 754768 755

    A formula (or rather an algorithm) for computing the above multiplicities for and inthe Jantzen region was conjectured by Lusztig in [11]. Combined with the Steinberg TensorProduct Theorem this gives the characters of all simple G-modules if p > 2h 2. This problemhas attracted the attention of many researchers. An outstanding result in this area is the proofof Lusztigs conjecture for fields of sufficiently large (unspecified) characteristic by Andersen,Jantzen and Soergel in [2].

    An important special case of the discussed problem was considered by Soergel in [17]. Hehas introduced a category O, which is a subquotient category of G-mod; so called regular sub-quotient around the Steinberg point. This category carries information about the multiplicities[H 0(st+x) : L(st+y)] for x, y W where W is the Weyl group of G, is half the sum ofpositive roots of R, and st = (p 1) is the Steinberg weight. If p > h, then the validity of theLusztig conjecture over K in this case follows from the decomposition theorem for B-equivariantintersection cohomology sheaves on flag varieties with coefficients in K (at the moment this the-orem is only available for charK 0).

    Another aspect of the representation theory of algebraic groups in prime characteristic is thestudy of tilting modules. This problem has applications to the study of representation theory ofthe symmetric group Sn in prime characteristic. For example, from the characters of indecom-posable tilting modules for the general linear groups one can derive the dimensions of the simpleSn-modules, see [12,16]. There is no general conjecture about the characters of tilting modules atthe moment. For the lowest p2-alcove it is conjectured by Andersen [1] that the tilting moduleshave the same character as their quantum analogue. However a general analogue of the SteinbergTensor Product Theorem is missing for tilting modules, thus at the moment it is impossible toobtain the character of a general tilting module from those in the lowest p2-alcove. The ideasof Soergel can also be helpful in this situation. The regular subquotient around the Steinbergpoint captures the behaviour of translations of tilting modules locally. So one is still able toderive some information about their characters (see Theorem 3).

    It is known that the behaviour of tilting modules near the walls of the dominant chamberis different from those which are far from the walls. Soergels results can not be directly ap-plied to study simple modules and tilting modules which are near the wall of the dominantchamber.

    In this paper we continue the investigation of Soergels regular subquotient O in a moregeneral context. Firstly, we enable taking subquotients around arbitrary points X(T ) (in par-ticular on the walls of the dominant chamber). Secondly, we study not only rational represen-tations of G but also representations of the Frobenius kernels Gr . Following Soergel we definesubquotient categories OG, for X(T ) when G is either the group G itself or the algebraicgroup GrT (the subgroup scheme of G generated by the r th Frobenius kernel and the torus T ,see [8]).

    We look closely at projective and translation functors on these categories. As it was shownin [10], the careful study of such functors provides a description of an important class of functorswhich naturally commute with projective functors. Moreover, these functors carry combinatorialinformation about the structure of the category in question. See Section 2 for a recollection ofdefinitions and results from [10]. To formulate the first result of the paper we need the followingdefinition:Definition 1. A G-module E is said to be a module with small weights if |,| < 2p 2h forall R+ and X(T ) such that E = 0.

  • 756 O. Khomenko / Advances in Mathematics 210 (2007) 754768

    If E is a module with small weights, then the functor E defines a functor on the categoryOG, which will be denoted by E (see Lemma 2 for details).

    Theorem 1. Assume that p > 2h. For X(T ) the category OG, with all direct summands ofthe functors

    {E | E is a G-module with small weights

    }

    is a category with projective functors. The evaluation on the dominant object is a bijection be-tween isomorphism classes of indecomposable projective functors on OG, and indecomposableprojective objects in OG,.

    This theorem enables one to define for the category OG, analogues of many classical func-tors on BernsteinGelfandGelfand category O (e.g., Joseph and Enright completion functors,Zuckermann functors, Arkhipov functors) and establish their main properties.

    In this paper we utilise two actions of the Weyl group W of R on X(T ): the standard action w and the twisted dot action w = w( + ) . The affine Weyl group Wp isthe subgroup of the group of affine transformations of X(T ) generated by {w | w W } andby translations by elements from pZR.

    To formulate the next result we have to introduce some notations. Fix a Borel subgroup Bin the complex semi-simple algebraic group Gcorresponding to the dual root system R . For asimple reflection s W let Ps G be the minimal parabolic subgroup corresponding to s. Lets denote the projection G/B G/Ps. We say that p is very good for G if, for all x W and allsimple reflections s such that xs > x, the right derived direct image under s of the intersectioncohomology sheaves with coefficients in K on B xB /B is semi-simple. In [17, Corollary 1.0.3]it was shown, that for p > h this condition is equivalent to the validity of Lusztig conjecture in aspecial case. Note that for a fixed group G all but finitely many primes are very good.

    Theorem 1 can be applied to obtain the next important result of the paper. This is a descriptionof the category OG, for general X(T ).

    Theorem 2. Assume that p > 2h is very good for G. Let X(T ) be such that + is dominant,Ws = StabWp , and Wp be the subgroup of Ws generated by the reflections r with respect to awall of the alcove containing +, such that r(+) is non-dominant. Then the transformationmatrices between simple, standard, projective and tilting bases in the Grothendieck group of thecategoryOG, are the same as for a regular block of the parabolic subcategoryOp of BernsteinGelfandGelfand category O for a semi-simple complex finite-dimensional Lie algebra f withWeyl group Ws and a parabolic subalgebra p f corresponding to Wp Ws .

    Note, that if + is not dominant, then ObOG, = .

    Proof. In [17] Soergel gave a combinatorial description of the categoryOG,st (st is the Steinbergweight). If p > h is very good for G this description coincides with the similar description ofBernsteinGelfandGelfand category O (it follows from [17, Corollary 1.0.3]). The statementfor the other weights and parabolic block can be reduced to OG,st using Theorem 6. Finally we provide some information about the characters of the tilting modules for G. LetL= Z[v, v1] be the ring of Laurent polynomials in indeterminate v and let UL be the Lusztig

  • O. Khomenko / Advances in Mathematics 210 (2007) 754768 757

    L-form of the universal enveloping algebra associated with Lie(G). Let q C be a primitivepth root of 1. By Uq we denote the algebra UL L C, here the action of v L on C is givenby the multiplication with q . For a dominant X(T ) let Lq() (respectively q(), q(),Tq()) denotes the simple (respectively Weyl, dual Weyl, indecomposable tilting) Uq -modulewith highest weight . The tilting G-module T () can be deformed to a Uq -module T ()q(see [1] for some details and further references).

    Theorem 3. Assume that p > 2h is very good for G, and that X(T ) is dominant. ThenchT ()q equals to chTq() + chM , where M is a direct sum of tilting Uq -modules Tq(

Recommended

View more >