arxiv:math/ v5 [math.rt] 16 Jul 2002

Transcription

1 HECKE-CLIFFORD SUPERALGEBRAS, CRYSTALS OF TYPE A (2) 2l MODULAR BRANCHING RULES FOR Ŝn AND arxv:math/ v5 [math.rt] 16 Jul 2002 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV Abstract. Ths paper s concerned wth the modular representaton theory of the affne Hecke-Clfford superalgebra, the cyclotomc Hecke-Clfford superalgebras, and projectve representatons of the symmetrc group. Our approach explots crystal graphs of affne Kac-Moody algebras. 1. Introducton In [LLT], Lascoux, Leclerc and Thbon made the startlng combnatoral observaton that the crystal graph of the basc representaton of the affne Kac-Moody algebra g = A (1) l, determned explctly by Msra and Mwa [MM], concdes wth the modular branchng graph for the symmetrc group S n n characterstc p = l + 1, as n [K 1 ]. The same observaton apples to the modular branchng graph for the assocated complex Iwahor-Hecke algebras at a prmtve (l+1)th root of unty, see [B]. In ths latter case, Lascoux, Leclerc and Thbon conjectured moreover that the coeffcents of the canoncal bass of the basc representaton concde wth the decomposton numbers of the Iwahor-Hecke algebras. Ths conjecture was proved by Ark [A 1 ] 1. More generally, Ark establshed a smlar result connectng the canoncal bass of an arbtrary ntegrable hghest weght module of g to the representaton theory of a correspondng cyclotomc Hecke algebra, as defned n [AK]. Note that ths work s concerned wth the cyclotomc Hecke algebras over the ground feld C, but Ark and Mathas [A 2, AM] were later able to extend the classfcaton of the rreducble modules (but not the result on decomposton numbers) to arbtrary felds. For further developments related to the LLT conjecture, see [LT 1, VV, Sch]. Subsequently, Grojnowsk and Vazran [G 1, G 2, GV, V 1, V 2 ] have developed a new approach to (amongst other thngs) the classfcaton of the rreducble modules of the cyclotomc Hecke algebras. The approach s vald over an arbtrary ground feld, and s entrely ndependent of the Specht module theory that plays an mportant role n Ark s work. Branchng rules are bult n from the outset (lke n [OV]), resultng n an explanaton and generalzaton of the lnk between modular branchng rules and crystal graphs. The methods are purely algebrac, explotng affne Hecke algebras n the sprt of [BZ, Z 1 ] and others. On the other hand, Ark s result on decomposton numbers does not follow, snce that ultmately depends on the geometrc work of Kazhdan, Lusztg and Gnzburg. In ths artcle, we use Grojnowsk s methods to develop a parallel theory n the twsted case: we replace the affne Hecke algebras wth the affne Hecke-Clfford superalgebras of Jones and Nazarov [JN], and the Kac-Moody algebra A (1) l wth the twsted algebra g = A (2) 2l subject classfcaton: 17B67, 20C08, 20C20, 17B10, 17B37. Both authors partally supported by the NSF (grant nos DMS and DMS ). 1 Grojnowsk has nformed us that the result can also be proved followng hs note Representatons of affne Hecke algebras (and affne quantum GL n) at roots of unty, Internat. Math. Res. Notces 5 (1994),

2 2 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV In partcular, we obtan an algebrac constructon purely n terms of the representaton theory of Hecke-Clfford superalgebras of the plus part U + Z of the envelopng algebra of g, as well as of Kashwara s hghest weght crystals B( ) and B(λ) for each domnant weght λ. These emerge as the modular branchng graphs of the Hecke-Clfford superalgebras. Note there s at present no analogue of the noton of Specht module n our theory, underlnng the mportance of Grojnowsk s methods. However, we do not obtan an analogue of Ark s result on decomposton numbers. As we work over an arbtrary ground feld, the results of the artcle have applcatons to the modular representaton theory of the double covers Ŝn of the symmerc groups, as was predcted orgnally by Leclerc and Thbon [LT 2 ], see also [BK 2 ]. In partcular, the parametrzaton of rreducbles, classfcaton of blocks and analogues of the modular branchng rules of the symmetrc group for the double covers over felds of odd characterstc follow from the specal case λ = Λ 0 of our man results. These matters are dscussed n the fnal secton of the paper, 9. Let us now descrbe the man results n more detal. Let H n denote the affne Hecke- Clfford superalgebra of [JN], over an algebracally closed feld F of characterstc dfferent from 2 and at defnng parameter a prmtve (2l + 1)-th root of unty q F. All results also have analogues n the degenerate case q = 1, workng nstead wth the affne Sergeev superalgebra of Nazarov [N], when the feld F should be taken to be of characterstc (2l+1). We consder K( ) = K(Rep I H n ), n 0 the sum of the Grothendeck groups of ntegral Z 2 -graded representatons of H n for all n (see 4-d for the precse defnton). In a famlar way (cf. [Z 2 ]), K( ) has a natural structure as a commutatve graded Hopf algebra over Z, multplcaton beng nduced by nducton and comultplcaton beng nduced by restrcton. Hence, the graded dual K( ) s a cocommutatve graded Hopf algebra over Z. Next, let g denote the twsted affne Kac-Moody algebra of type A (2) 2l. We wll adopt standard Le theoretc notaton for the root system of g, summarzed n more detal n the man body of the artcle. In partcular, U Q = U Q U0 Q U+ Q denotes the Q-form of the unversal envelopng algebra of g generated by the Chevalley generators e,f,h ( I). Also U Z = U Z U0 Z U+ Z denotes the Kostant Z-form of U Q. The frst man theorem (Theorem 7.17) dentfes K( ) wth U + Z, vewng the latter as a graded Hopf algebra over Z va the prncpal gradng: Theorem A. K( ) and U + Z are somorphc as graded Hopf algebras. We also ntroduce for the frst tme for each domnant ntegral weght λ P + a fnte dmensonal quotent superalgebra Hn λ of H n. These superalgebras play the role of the cyclotomc Hecke algebras n Grojnowsk s theory. In the specal case λ = Λ 0, Hn λ s the fnte Hecke-Clfford superalgebra ntroduced by Olshansk [O]. Consder the sum of the Grothendeck groups K(λ) = K(Rep Hn λ ) n 0 of fnte dmensonal Z 2 -graded H λ n-modules for all n. In ths case, we can dentfy the graded dual K(λ) wth K(λ) = n 0 K(Proj H λ n)

3 HECKE-CLIFFORD SUPERALGEBRAS 3 where K(Proj Hn) λ denotes the Grothendeck group of fnte dmensonal Z 2 -graded projectves. It turns out that the natural Cartan map K(λ) K(λ) s njectve (Theorem 7.10), so we can vew both K(λ) and K(λ) as lattces n K(λ) Q = Q Z K(λ) = Q Z K(λ). Each K(λ) has a natural structure of rght K( )-comodule, wth K(λ) K(λ) beng a subcomodule. In other words, accordng to Theorem A, K(λ) and K(λ) are left U + Z - modules. The acton of the Chevalley generator e here s essentally a refnement of the restrcton functors from Hn λ to Hn 1 λ. We show moreover, by consderng refnements of nducton, that the acton of U + Z extends to an acton of all of U Z on both K(λ) and K(λ). Hence, on extendng scalars, we have an acton of U Q on K(λ) Q, wth K(λ) K(λ) beng two dfferent ntegral forms. The second man theorem (Theorem 7.16) s the followng: Theorem B. For each λ P +, K(λ) Q s the ntegrable hghest weght U Q -module of hghest weght λ, wth hghest weght vector [1 λ ] correspondng to the rreducble H0 λ -module. Moreover K(λ) K(λ) are ntegral forms for K(λ) Q wth K(λ) = U Z [1 λ] and K(λ) beng the dual lattce under the Shapovalov form. Now let B( ) denote the set of somorphsm classes of rreducble ntegral H n -modules for all n 0. Ths has a natural crystal graph structure, the acton of the crystal operators ẽ beng defned by consderng the socle of the restrcton of an rreducble H n -module to H n 1. Smlarly, wrtng B(λ) for the set of somorphsm classes of rreducble Hn-modules λ for all n 0, each B(λ) has a natural crystal structure descrbng branchng rules between the algebras Hn λ and Hn 1 λ. We stress the crystal structures on B( ) and each B(λ) are defned purely n terms of the representaton theory of the Hecke-Clfford superalgebras. The next man result (Theorems 8.10 and 8.11) dentfes the crystals: Theorem C. The crystal B( ) s somorphc to Kashwara s crystal assocated to the crystal base of U Q. Moreover, for each λ P +, the crystal B(λ) s somorphc to Kashwara s crystal assocated to the ntegrable hghest weght U Q -module of hghest weght λ. Acknowledgements. We would lke to express our debt to the beautful deas of Ian Grojnowsk n [G 1 ]. Many of the proofs here, and certanly the overall strategy adopted n the artcle, are exactly as n Grojnowsk s work. We would also lke to thank Monca Vazran for explanng [GV] to us, n dscussons whch ntated the present work. 2. Affne Hecke-Clfford superalgebras 2-a. Ground feld and parameters. Let F be an algebracally closed feld of characterstc dfferent from 2, and choose q F such that ether q s a prmtve odd root of unty (ncludng the possbly q = 1), or q s not a root of unty at all. Let h be the quantum characterstc,.e. the smallest postve nteger such that q 1 h + q 3 h + + q h 3 + q h 1 = 0 or n case no such nteger exsts. We refer to the case q 1 as the quantum case and q = 1 as the degenerate case. All the results wll apply to ether stuaton, but there are suffcently many dfferences that for the purpose of exposton we wll work n the quantum case n the man body of the text, wth a summary of modfcatons n the degenerate case gven at the end of each secton whenever necessary. We set ξ = q q 1

4 4 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV as a convenent shorthand. 2-b. Modules over superalgebras. We wll use freely the basc notons of superalgebra, referrng the reader to [Le, ch.i], [Man, ch.3, 1 2] and [BK 2, 2]. We wll denote the party of a homogeneous vector v of a vector superspace by v Z 2. By a superalgebra, we mean a Z 2 -graded assocatve algebra over the fxed feld F. If A and B are two superalgebras, then A B = A F B s agan a superalgebra wth multplcaton satsfyng (a 1 b 1 )(a 2 b 2 ) = ( 1) b 1 ā 2 a 1 a 2 b 1 b 2 for a A,b B. Note ths and other such expressons only make sense for homogeneous b 1,a 2 : the ntended meanng for arbtrary elements s to be obtaned by extendng lnearly from the homogeneous case. If A s a superalgebra, an A-module means a Z 2 -graded left A-module. A morphsm f : M N of A-modules M and N means a (not necessarly homogeneous) lnear map such that f(am) = ( 1) fā af(m) for all a A,m M. The category of all such A-modules s denoted A-mod. By a submodule of an A-module, we always mean a graded submodule unless we explctly say otherwse. We have the party change functor Π : A-mod A-mod. (2.1) For an object M, ΠM s the same underlyng vector space but wth the opposte Z 2 -gradng. The new acton of a A on m ΠM s defned n terms of the old acton by a m := ( 1)āam. It wll occasonally be necessary to consder bmodules over two superalgebras A, B: an (A,B)-bmodule s an A-module M, as n the prevous paragraph, whch s also a Z 2 - graded rght B-module such that (am)b = a(mb) for all a A,b B,m M. Note a morphsm f : M N of (A,B)-bmodules means a morphsm of A-modules as n the prevous paragraph such that f(mb) = f(m)b for all m M,b B. Ths gves us the category A-mod-B of all (A, B)-bmodules. Also f M s an (A, B)-bmodule, ΠM denotes the A-module defned as n the prevous paragraph, wth the rght B-acton on ΠM beng the same as the orgnal acton on M. If M s a fnte dmensonal rreducble A-module, Schur s lemma (e.g. [BK 2, 2]) says that End A (M) s ether one dmensonal, or two dmensonal on bass d M,θ M where θ M s an odd nvoluton of M, unque up to a sgn. In the former case, we call M an rreducble of type M, n the latter case M s an rreducble of type Q. We wll occasonally wrte M N (as opposed to the usual M = N) to ndcate that there s actually an even somorphsm between A-modules M and N. For nstance, f M s an rreducble of typeq, then M ΠM, whle f M s rreducble of type M then M = ΠM but M ΠM. Gven another superalgebra B and A-, B-modules M, N respectvely, M N = M F N has a natural structure of A B-module wth (a b)(m n) = ( 1) b m am bn. We wll call ths the outer tensor product of M and N and denote t M N. If M and N are fnte dmensonal rreducbles, M N need not be rreducble (unlke the purely even case). Indeed, f both M and N are of type M, then M N s also rreducble of type M, whle f one s of type M and the other of type Q, then M N s rreducble of type Q. In ether of these two cases, t wll be convenent to wrte M N n place of M N. But f both M and N are of type Q, then M N s decomposable: let θ M : M M be an odd nvoluton

5 HECKE-CLIFFORD SUPERALGEBRAS 5 of M as an A-module and θ N : N N be an odd nvoluton of N as a B-module. Then θ M θ N : M N M N, m n ( 1) m θ M (m) θ N (n) s an even A B-automorphsm of M N whose square s 1. Therefore M N decomposes as a drect sum of two A B-modules, namely, the ± 1-egenspaces of the lnear map θ M θ N. The map θ M d N then gves an odd somorphsm between the two summands as A B-modules. In ths case, we pck ether summand, and denote t M N: t s an rreducble A B-module of type M. Thus, { M N Π(M N), f M and N are both of type Q, M N M N, otherwse. We stress that M N s n general only well-defned up to somorphsm. Fnally, we make some remarks about antautomorphsms and dualty. In ths paper, all antautomorphsms τ : A A of a superalgebra A wll be unsgned, so satsfy τ(ab) = τ(b)τ(a). If M s a fnte dmensonal A-module, then we can use τ to make the dual space M = Hom F (M,F) nto an A-module by defnng (af)(m) = f(τ(a)m) for all a A,f M,m M. We wll denote the resultng module by M τ. We often use the fact that there s a natural even somorphsm Hom A (M,N) Hom A (N τ,m τ ) (2.2) for all fnte dmensonal A-modules M,N. The somorphsm sends f Hom A (M,N) to the dual map f Hom A (N τ,m τ ) defned by (f θ)(m) = θ(fm) for all θ N τ. 2-c. Grothendeck groups. For a superalgebra A, the category A-mod s a superaddtve category: each Hom A (M,N) s a Z 2 -graded abelan group n a way that s compatble wth composton. Moreover, the underlyng even category,.e. the subcategory consstng of the same objects but only even morphsms, s an abelan category n the usual sense. Ths allows us to make use of all the basc notons of homologcal algebra on restrctng our attenton to even morphsms. For example by a short exact sequence n A-mod, we mean a sequence 0 M 1 M 2 M 3 0 (2.3) that s a short exact sequence n the underlyng even category, so n partcular all the maps are necessarly even. Note all functors between superaddtve categores that we shall consder send even morphsms to even morphsms, so make sense on restrcton to the underlyng even subcategory. Let us wrte Rep A for the full subcategory of A-mod consstng of all fnte dmensonal A-modules. We defne the Grothendeck group K(Rep A) to be the quotent of the free Z-module wth generators gven by all fnte dmensonal A-modules by the submodule generated by (1) M 1 M 2 + M 3 for every short exact sequence of the form (2.3); (2) M ΠM for every A-module M. We wll wrte [M] for the mage of the A-module M n K(Rep A). In an entrely smlar way, we defne the Grothendeck group K(Proj A), where Proj A denotes the full category of A-mod consstng of fnte dmensonal projectves. Now suppose that A and B are two superalgebras. Then the Grothendeck groups K(Rep A) and K(Rep B) are free Z-modules wth canoncal bases correspondng to the somorphsm classes of rreducble modules. Moreover, there s an somorphsm K(Rep A) Z K(Rep B) K(Rep A B), [L] [L ] [L L ] (2.4)

6 6 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV for rreducble modules L Rep A,L Rep B. Ths smple observaton explans the mportance of the operaton. 2-d. The superalgebras. We now proceed to defne the superalgebras we wll be nterested n. Frst, P n denotes the algebra F[X 1 ±1,...,X±n n ] of Laurent polynomals, vewed as a superalgebra concentrated n degree 0. We record the relatons: X X 1 = 1, X 1 X = 1, (2.5) X k X j = X j X k, X 1 k X 1 j = Xj 1 X 1 k, X kxj 1 = Xj 1 X k, X 1 k X j = X j X 1 k (2.6) for all 1 n, 1 j < k n. (Of course, some of these relatons are redundant, but the precse form of the relatons s used n the proof of Theorem 2.2.) Let A n denote the superalgebra wth even generators X 1 ±1,...,X±1 n and odd generators C 1,...,C n, where the X ±1 are subject to the polynomal relatons (2.5), (2.6), the C are subject to the Clfford superalgebra relatons C 2 = 1, (2.7) C k C j = C j C k (2.8) for all 1 n,1 j < k n, and there are the mxed relatons C X j = X j C, C Xj 1 = Xj 1 C, C X = X 1 C, C X 1 = X C (2.9) for all 1,j n wth j. For α = (α 1,...,α n ) Z n and β = (β 1,...,β n ) Z n 2, we wrte X α and C β for the monomals X α 1 1 Xα Xn αn and C β 1 1 Cβ Cβn n, respectvely. Then, t s straghtforward to show that the elements {X α C β α Z n,β Z n 2 } form a bass for A n. In partcular, A n = A1 A 1 (n tmes), and P n can be dentfed wth the subalgebra of A n generated by the X ±1. The symmetrc group wll be denoted S n, wth basc transpostons s 1,...,s n 1 and correspondng Bruhat orderng denoted. We defne a left acton of S n on A n by algebra automorphsms so that w X = X w, w C = C w (2.10) for each w S n, = 1,...,n. Let Hn cl denote the usual (classcal) Hecke algebra of S n, vewed as a superalgebra concentrated n degree 0. Ths can be defned on generators T 1,...,T n 1 subject to relatons T 2 = ξt + 1, (2.11) T T j = T j T, T T +1 T = T +1 T T +1 (2.12) for all admssble,j wth j > 2. Recall Hn cl has a bass denoted {T w w S n }, where T w = T 1...T m f w = s 1... s m s any reduced expresson for w. We also record T 1 = T ξ. (2.13) Now we are ready to defne the man object of study: the affne Hecke-Clfford superalgebra H n. Ths was frst ntroduced by Jones and Nazarov [JN], beng the q-analogue of the affne Sergeev superalgebra of Nazarov [N]. By defnton, H n has even generators T 1,...,T n 1,

7 X ±1 HECKE-CLIFFORD SUPERALGEBRAS 7 1,...,X±1 n and odd generators C 1,...,C n, subject to the same relatons as A n (2.5), (2.6), (2.7), (2.8), (2.9) and as Hn cl (2.11), (2.12), together wth the new relatons: T C j = C j T, (2.14) T C = C +1 T, (2.15) T X j = X j T, T Xj 1 = Xj 1 T, (2.16) (T + ξc C +1 )X T = X +1 (2.17) for all admssble,j wth j, + 1. The relaton (2.15) s equvalent to T C +1 = C T ξ(c C +1 ), (2.18) whle (2.17) s equvalent to any of the followng four statements: T X = X +1 T ξ(x +1 + C C +1 X ), (2.19) T X 1 = X ξ(x 1 + X+1 1 C +1 ), (2.20) T X +1 = X T + ξ(1 C C +1 )X +1, (2.21) T X 1 +1 = X 1 T ξx 1 (1 C C +1 ) (2.22) for all = 1,...,n 1. Usng (2.19) and nducton on j 1, one shows that (T + ξc C +1 )X j = Xj +1 (T j 1 ( ξ) ξ for all j 1,1 < n. Hence: k=1 X j k (T + ξc C +1 )X j C =X j +1 C +1(T + ξc C +1 ) (T ξ)x j j 1 ( ξ =X j k=1 X j k +1 (T + ξc C +1 ) j 1 ( + ξ X k j k=1 X k ) X+1 k + X k X j k +1 C C +1 ) X+1C k X k X j k +1 C +1, +1 + Xj k X k +1 C C +1 ). (2.23) (2.24) (2.25) Fnally, let Hn fn denote the subalgebra of H n generated by all C,T j for = 1,...,n,j = 1,...,n 1. Alternatvely, as follows easly from Theorem 2.2 below, Hn fn can be defned as the superalgebra generated by elements C,T j subject only to the relatons (2.7), (2.8), (2.11), (2.12) and (2.14), (2.15). Hence, Hn fn s the (fnte) Hecke-Clfford superalgebra frst ntroduced by Olshansk [O] as the q-analogue of the Sergeev superalgebra of [S 1 ]. 2-e. Bass theorem. Now we proceed to study the algebra H n n more detal. The frst goal s to construct a bass. There are obvous homomorphsms f : A n H n and g : Hn cl H n under whch the X,C or T j map to the same elements of H n. We wrte X α C β also for the mage under f of the bass element X α C β of A n, and T w for the mage under g of T w Hn cl. Ths notaton wll be justfed shortly, when we show that f and g are both algebra monomorphsms. The followng lemma s obvous from the relatons:

8 8 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV Lemma 2.1. Let f A n, x S n. Then, n H n, for some f y,f y A n. T x f = (x f)t x + f y T y, ft x = T x (x 1 f) + T y f y y<x y<x It follows easly that H n s at least spanned by all X α C β T w for all α Z n,β Z n 2 and w S n. We wsh to prove that these elements are lnearly ndependent too: Theorem 2.2. The {X α C β T w α Z n,β Z n 2,w S n} form a bass for H n. Proof. Consder nstead the algebra H n on generators, C, T j for 1 n,1 j < n subject to relatons (2.5) (2.9), (2.11), (2.14) (2.16) and (2.18) (2.22). Thus we have all the relatons of H n except for the brad relatons (2.12). Usng precsely these relatons as the reducton system, t s a routne f tedous exercse usng Bergman s damond lemma [Be, 1.2] to prove that H n has a bass gven by all Xα Cβ T for all α Z n,β Z n 2 and all words T n the T j whch do not nvolve a subword of the form T j 2 for any j. Hence, the X ±1 subalgebra Ãn of H n generated by the, C s somorphc to A n. Also let n denote the subalgebra of H n generated by the T j, so that H cl n s somorphc to the algebra on generators T 1,..., T n 1 subject to relatons T j 2 = ξ T j + 1 for each j. Now, by defnton, H n s the quotent of Hn by the two-sded deal I generated by the elements a,j = T Tj T j T, X ±1 b = T T+1 T T +1 T T+1 for,j as n (2.12). Let J be the two-sded deal of Hcl n generated by the same elements a,j,b for all,j. Then, by the bass theorem for Hn, cl Hcl n/j = Hn, cl wth bass gven by elements T w for w S n defned n the usual way. It follows mmedately that to prove the theorem, t suffces to show that I = ÃnJ n H n. In turn, ths follows f we can show that rt = t r for each r {a,j,b } and each generator t of à n, where t s some other element of Ãn. Now agan ths s a routne check: for example, the most complcated case nvolves verfyng that ( T +1 T T+1 T T+1 T ) X +2 = X ( T +1 T T+1 T T+1 T ) usng only the relatons n H n. So we have a rght from now on to dentfy A n and Hn cl wth the correspondng subalgebras of H n. The theorem also shows that the superalgebra Hn fn has bass {C β T w β Z n 2,w S n}. So Theorem 2.2 can be restated as sayng that H n s a free rght Hn fn -module on bass {X α α Z n }. As another consequence, t makes sense to consder the tower of superalgebras H 0 H 1 H 2 H n... where for n, H s dentfed wth the subalgebra of H n generated by C 1,...,C, X 1 ±1,...,X±1, T 1,...,T 1. Smlarly, we can consder A A n, P P n, etc... Fnally, we pont out that there are obvous varants of the bass of Theorem 2.2, reorderng the C s, X s and T s. For nstance, H n also has {T w X α C β w S n,α Z n,β Z n 2 } as a bass. Ths follows usng Lemma f. The center of H n. The next theorem was frst establshed n [JN, Prop. 3.2] (for the case F = C). H cl

9 HECKE-CLIFFORD SUPERALGEBRAS 9 Theorem 2.3. The (super)center of H n conssts of all symmetrc polynomals n X 1 + X1 1,...,X n + Xn 1. Proof. Let Z denote the center of H n,.e. the z such that zy = yz for all y H n. (The argument apples equally well to the supercenter defned by zy = ( 1) zȳ yz.) One frst checks that symmetrc polynomals n X 1 + X1 1,...,X n + Xn 1 are central followng the argument n the proof of [JN, Prop. 3.2(b)]. Conversely, take z = w S n f w T w Z where each f w A n. Let w be maxmal wth respect to the Bruhat order such that f w 0. Assume for a contradcton that w 1. Then, there exsts some {1,...,n} wth w. Consder (X + X 1 )z z(x + X 1 ). By Lemma 2.1, ths looks lke f w (X + X 1 X w Xw 1 )T w plus a lnear combnaton of terms of the form f x T x for f x A n and x S n wth x w n the Bruhat order. So n vew of Theorem 2.2, z s not central, a contradcton. Hence, we must have that z A n. Consderng the form of the center of A n one easly shows that z n fact les n F[X 1 +X1 1,...,X n+xn 1 ]. To see that z s actually a symmetrc polynomal, wrte z =,j 0 a,j(x 1 + X1 1 ) (X 2 + X2 1 )j where the coeffcents a,j le n F[X 3 + X3 1,...,X n + Xn 1]. Applyng Lemma 2.1 to T 1z = zt 1 now gves that a,j = a j, for each,j, hence z s symmetrc n X 1 + X1 1 and X 2 + X2 1. Smlar argument shows that z s symmetrc n X + X 1 and X +1 + X+1 1 for all = 1,...,n 1 to complete the proof. 2-g. Parabolc subalgebras. Suppose that µ = (µ 1,...,µ u ) s a composton of n,.e. a sequence of postve ntegers summng to n. Let S µ = Sµ1 S µu denote the correspondng Young subgroup of S n, and Hµ cl Hn cl denote ts Hecke algebra. So Hµ cl = Hµ cl 1 Hµ cl u s the subalgebra of Hn cl generated by the T j for whch s j S µ. We defne the parabolc subalgebra H µ of the affne Hecke-Clfford superalgebra H n n a smlar way: t s the subalgebra of H n generated by A n and all T j for whch s j S µ. It follows easly from Theorem 2.2 that the elements {X α C β T w α Z n,β Z n 2,w S µ } form a bass for H µ. In partcular, H µ = Hµ1 H µu. Note that the parabolc subalgebra H (1,1,...,1) s precsely the subalgebra A n. We wll need the usual nducton and restrcton functors between H n and H µ. These wll be denoted smply nd n µ : H µ -mod H n -mod, res n µ : H n -mod H µ -mod, (2.26) the former beng the tensor functor H n Hµ? whch s left adjont to res n µ. More generally, we wll consder nducton and restrcton between nested parabolc subalgebras, wth obvous notaton. We wll also occasonally consder the restrcton functor res n n 1 : H n -mod H n 1 -mod (2.27) where H n 1 denotes the subalgebra of H n generated by X ±1,C and T j for = 1,...,n 1,j = 1,...,n 2. 2-h. Mackey theorem. Let µ,ν be compostons of n. We let D ν denote the set of mnmal length left S ν -coset representatves n S n, and Dµ 1 denote the set of mnmal length rght S µ -coset representatves. Then D µ,ν := Dµ 1 D ν s the set of mnmal length (S µ,s ν )-double coset representatves n S n. We recall some well-known propertes, see e.g.

10 10 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV [DJ, 1]. Frst, for x D µ,ν, S µ xs ν x 1 and x 1 S µ x S ν are Young subgroups of S n. So we can defne compostons µ xν and x 1 µ ν of n from S µ xs ν x 1 = S µ xν and x 1 S µ x S ν = S x 1 µ ν. Then, for x D µ,ν, every w S µ xs ν can be wrtten as w = uxv for unque elements u S µ and v S ν D 1. Moreover, when ths s done, l(w) = l(u) + l(x) + l(v). Ths x 1 µ ν fact mples the followng well-known lemma whch s essentally equvalent to the Mackey theorem for Hn cl (see e.g. [DJ, Theorem 2.7]): Lemma 2.4. For x D µ,ν, the subspace H cl µt x H cl ν of H cl n has bass {T w w S µ xs ν }. Ths s our startng pont for provng a verson of the Mackey theorem for H n. Lemma 2.5. For x D µ,ν, the subspace H µ T x Hν cl of H n has bass {X α C β T w α Z n,β Z n 2,w S µxs ν }. Moreover, H n = H µ T x Hν cl. x D µ,ν Proof. Snce H µ = A n Hµ, cl Lemma 2.4 mples at once that the gven {X α C β T w } span H µ T x Hν cl. But they are lnearly ndependent too by Theorem 2.2, provng the frst statement. The second follows mmedately usng Theorem 2.2 once more. Now fx some total order refnng the Bruhat order < on D µ,ν. For x D µ,ν, set B x = H µ T y Hν cl, (2.28) B x = y D µ,ν, y x y D µ,ν, y x H µ T y H cl ν, (2.29) B x = B x /B x. (2.30) It follows mmedately from Lemma 2.1 that B x (resp. B x ) s nvarant under rght multplcaton by A n. Hence, snce H ν = Hν cla n, we have defned a fltraton of H n as an (H µ, H ν )-bmodule. We want to descrbe the quotents B x more explctly as (H µ, H ν )- bmodules. Lemma 2.6. For each x D µ,ν, there exsts an algebra somorphsm ϕ = ϕ x 1 : H µ xν H x 1 µ ν wth ϕ(t w ) = T x 1 wx, ϕ(x ) = X x 1, and ϕ(c ) = C x 1 for w S µ xν, 1 n. Proof. The somorphsm ψ : S µ xν S x 1 µ ν,u x 1 ux s length preservng. Equvalently, x 1 ( + 1) = (x 1 ) + 1 for each wth s S µ xν. Usng ths, t s straghtforward to check that the map ϕ defned as above respects the defnng relatons on generators. Let N be a left H x 1 µ ν-module. By twstng the acton wth the somorphsm ϕ x 1 : H µ xν H x 1 µ ν from Lemma 2.6, we get a left H µ xν -module, whch wll be denoted x N. Now we can dentfy the module B x ntroduced above. Lemma 2.7. Vew H µ as an (H µ, H µ xν )-bmodule and H ν as an (H x 1 µ ν, H ν )-bmodule n the natural ways. Then, x H ν s an (H µ xν, H ν )-bmodule and as an (H µ, H ν )-bmodule. B x H µ Hµ xν x H ν

11 HECKE-CLIFFORD SUPERALGEBRAS 11 Proof. We defne a blnear map H µ H ν B x = B x /B x by (u,v) ut x v + B x. For y S µ xs ν x 1, T y T x = T yx = T xx 1 yx = T x T x 1 yx whch s all that s requred to check that the map s H µ xν -balanced. Hence there s an nduced (H µ, H ν )-bmodule map Φ : H µ x Hµ xν H ν B x. Fnally, to prove that Φ s bjectve, note that {X α C β T u T v α Z n,β Z n 2,u S µ,v S ν D 1 x 1 µ ν } s a bass of the nduced module H µ Hµ xν x H µ as a vector space. In vew of Lemma 2.5, the mage of these elements under Φ s a bass of B x. Now we can prove the Mackey theorem. Theorem 2.8. ( Mackey Theorem ) Let M be an H ν -module. Then res n µ ndn ν M admts a fltraton wth subquotents to nd µ µ xν x (res ν x 1 µ ν M), one for each x D µ,ν. Moreover, the subquotents can be taken n any order refnng the Bruhat order on D µ,ν, n partcular nd µ µ νres ν µ νm appears as a submodule. Proof. Ths follows from Lemma 2.7 and the somorphsm whch s easy to check. (H µ Hµ xν x H ν ) Hν M nd Hµ H µ xν x (res Hν H x 1 µ ν M), 2-. Some (ant)automorphsms. A check of relatons shows that H n posesses an automorphsm σ and an antautomorphsm τ defned on the generators as follows: σ : T T n + ξ, C j C n+1 j, X j X n+1 j ; (2.31) τ : T T + ξc C +1, C j C j, X j X j, (2.32) for all = 1,...,n 1,j = 1,...,n. If M s a fnte dmensonal H n -module, we can use τ to make the dual space M nto an H n -module denoted M τ, see 2-b. Note τ leaves nvarant every parabolc subalgebra of H n, so also nduces a dualty on fnte dmensonal H µ -modules for each composton µ of n. Instead, gven any H n -module M, we can twst the acton wth σ to get a new module denoted M σ. More generally, for any composton ν = (ν 1,...,ν u ) of n we denote by ν the composton wth the same non-zero parts but taken n the opposte order. For example (3,2,1) = (1,2,3). Then σ nduces an somorphsm of parabolc subalgebras H ν H ν. So f M s an H ν -module, we can nflate through σ to get an H ν -module denoted M σ. If M = M 1 M u s an outer tensor product module over H ν then M σ = M σ u Mσ 1. The same holds f each M s rreducble and s replaced wth. These observatons mply: Lemma 2.9. Let M H m -mod and N H n -mod. Then (nd m+n m,n M N)σ = nd m+n n,m Nσ M σ. Moreover, f M and N are rreducble, the same holds for n place of. 2-j. Dualty. Thoughout ths subsecton, let µ be a composton of n and set ν = µ. Let d D µ,ν be the longest double coset representatve. Note that µ dν = µ and d 1 µ ν = ν,

12 12 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV so S µ ds ν = S µ d = ds ν. There s an somorphsm ϕ = ϕ d 1 : H µ H ν, (2.33) see Lemma 2.6. As n 2-h, for an H ν -module M, d M denotes the H µ -module obtaned by pullng back the acton through ϕ. We begn by consderng the classcal stuaton, adoptng the obvous analogous notaton for modules over Hµ,H cl ν cl. Lemma Defne a lnear map θ cl : Hn cl d Hν cl { by θ cl Td (T w ) = 1 w f w ds ν, 0 otherwse, for each w S n. Then: () θ cl s an even homomorphsm of (Hµ cl, Hcl ν )-bmodules; () ker θ cl contans no non-zero left deals of Hn; cl () the map f cl : Hn cl Hom H cl (Hcl µ n, d Hν cl ), h hθ cl s an even somorphsm of (Hn cl, Hcl ν )-bmodules. Proof. () Snce d 1 µ ν = ν, Hµ clt dhν cl = T dhν cl s somorphc as an (Hcl µ, Hcl ν )-bmodule to d Hν cl, the somorphsm beng smply the map T w T d 1 w for w ds ν, compare Lemma 2.7. Now () follows because θ cl s smply ths somorphsm composed wth the projecton from Hn cl to Hcl µ T dhν cl along the bmodule decomposton Hcl n = x D µ,ν Hµ clt xhν cl. () We show by downward nducton on l(x) that θ cl (Hnt) cl 0 whenever we are gven x D ν and t = T y h y y D ν wth l(y) l(x) wth each h y Hν cl and h x 0. Snce d s the longest element of D ν, the nducton starts wth x = d: n ths case, the concluson s clear as θ cl (t) = h x 0. So now suppose x < d and that the clam has been proved for all hgher x D ν. Pck a basc transposton s such that sx > x and sx D ν. Then, T s t = T y h y y D ν wth l(y) l(sx), for h y Hν cl wth h sx = h x 0. But now the nducton hypothess shows that θ cl (Hnt) cl = θ cl (HnT cl s t) 0. () We remnd the reader that hθ cl : Hn cl d Hµ cl denotes the map wth (hθ cl )(t) = ( 1) h t θ cl (th) (the sgn beng + always n ths case). Gven ths and (), t s straghtforward to check that f cl s a homomorphsm of (Hn cl, Hcl ν )-bmodules. To see that t s an somorphsm, t suffces by dmenson to show that t s njectve. Suppose h les n the kernel. Then, (f cl (h))(t) = θ cl (th) = 0 for all t Hn. cl Hence h = 0 by (). Now we extend ths result to H n, recallng the defnton of ϕ from (2.33). Lemma Defne a lnear map θ : H n d H ν by { ϕ(f)td θ(ft w ) = 1 w f w ds ν, 0 otherwse, for each f A n,w S n. Then:

13 HECKE-CLIFFORD SUPERALGEBRAS 13 () θ s an even homomorphsm of (H µ, H ν )-bmodules; () the map f : H n Hom Hµ (H n, d H ν ), s an even somorphsm of (H n, H ν )-bmodules. h hθ Proof. () Accordng to a specal case of Lemma 2.7, the top factor B d n the bmodule fltraton of H n defned n (2.30) s somorphc to d H ν as an (H µ, H ν )-bmodule. The map θ s smply the composte of ths somorphsm wth the quotent map H n B d. () Recall that {T w w Dµ 1 } forms a bass for H n as a free left H µ -module, and d H ν s somorphc to H µ as a left H µ -module. It follows that the maps {ψ w w D 1 µ } form a bass for Hom Hµ (H n, d H ν ) as a free rght H ν -module, where ψ w : H n d H ν s the unque left H µ -module homomorphsm wth ψ w (T u ) = δ w,u.1 for all u Dµ 1. The analogous maps ψw cl Hom H cl(hcl µ n, d Hν cl ) defned by ψcl w (T u) = δ w,u.1 for u Dµ 1 form a bass for Hom H cl (Hcl µ n, d Hν cl ) as a free rght Hν cl -module. So n vew of Lemma 2.10(), we can fnd a bass {a w w D 1 µ } for H cl n vewed as a rght H cl ψ cl w for each w D 1 µ,.e. θ cl (T u a w ) = { 1 f u = w, 0 otherwse ν -module such that f cl (a w ) = for every u Dµ 1. But H ν = Hν cl A n, so the elements {a w w Dµ 1 } also form a bass for H n as a rght H ν -module, and f(a w ) = ψ w snce θ = θ cl on Hn. cl Thus f maps a bass of H n to a bass of Hom Hµ (H n, d H ν ) (as free rght H ν -modules), hence f s an somorphsm of (H n, H ν )-bmodules. Corollary There s a natural somorphsm Hom Hµ (H n, d M) H n Hν M of H n - modules, for every left H ν -module M. Proof. Let f : H n Hom Hµ (H n, d H ν ) be the bmodule somorphsm constructed n Lemma Then, there are natural somorphsms H n Hν M f d Hom Hµ (H n, d H ν ) Hν M Hom Hµ (H n, d H ν Hν M) Hom Hn (H n, d M), the second somorphsm dependng on the fact that H n s a free left H µ -module, see e.g. [AF, 20.10]. Recall the dualty (2.32) on fnte dmensonal H n - (resp. H ν -) modules. Corollary There s a natural somorphsm nd n ν (Mτ ) (nd n µ (d M)) τ for every fnte dmensonal H ν -module M. Proof. One routnely checks usng (2.2) that the functor τ nd n µ τ (from the category of fnte dmensonal H µ -modules to fnte dmensonal H n -modules) s rght adjont to res n µ. Hence, t s somorphc to Hom Hµ (H n,?) by unqueness of adjont functors. Now combne ths natural somorphsm wth the prevous corollary (wth µ and ν swapped and d replaced by d 1 ). We fnally record a specal case, whch s the analogue of [G 1, Proposton 5.8]:

14 14 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV Theorem Gven a fnte dmensonal H m -module M and a fnte dmensonal H n - module N, (nd m+n m,n M N) τ = nd m+n n,m (N τ M τ ). Moreover, f M and N are rreducble, the same s true wth replaced by. 2-k. Modfcatons n the degenerate case. Now we summarze the necessary changes n the degenerate case q = 1. So now F s an algebracally closed feld of odd characterstc h and q = 1. The superalgebras P n, A n, H n, H µ, Hn fn need to be replaced wth ther degenerate analogues (but we keep the same symbols). Frst of all, P n becomes the ordnary polynomal algebra F[x 1,...,x n ] concentrated n degree 0. Then, A n s replaced by the algebra on even generators x 1,...,x n and odd generators c 1,...,c n, where the x satsfy the relatons of a polynomal rng and the c satsfy the same Clfford relatons as before (2.7), (2.8). The relatons (2.9) become nstead: c x = x c, c x j = x j c (2.34) for 1,j n wth j. The algebra Hn cl s replaced by the group algebra FS n of the symmetrc group, always wrtng smply w n place of T w before. Now the affne Hecke-Clfford superalgebra becomes the affne Sergeev superalgebra of [N]. Ths s the superalgebra H n defned on even generators x 1,...,x n,s 1,...,s n 1 and odd generators c 1,...,c n. The relatons between the x s and c s are as n the new A n, the relatons between the s are the usual relatons of the symmetrc group,.e. (2.11), (2.12) wth q there equal to 1, and there are new relatons replacng (2.14) (2.17): s c = c +1 s, s c +1 = c s, s c j = c j s, (2.35) s x = x +1 s 1 c c +1, s x +1 = x s + 1 c c +1, s x j = x j s (2.36) for all admssble, j wth j, + 1. We record the useful formula, beng the analogue of (2.23): s x j = xj +1 s j 1 (x j k 1 x k +1 + x j k 1 ( x +1 ) k c c +1 ) (2.37) k=0 for all j 1,1 < n. Fnally, Hn fn s replaced by the subalgebra of H n generated by the c,s j : t s alternatvely the twsted tensor product of a Clfford algebra wth the group algebra of the symmetrc group,.e. the orgnal Sergeev superalgebra consdered n [S 1 ], also see [BK 2, 3]. The automorphsm σ : H n H n and antautomorphsm τ : H n H n are now defned by: σ : s s n, c j c n+1 j, x j x n+1 j ; (2.38) τ : s s, c j c j, x j x j, (2.39) for all = 1,...,n 1,j = 1,...,n. The bass theorem, proved n an analogous way to Theorem 2.2, now says that H n has a bass gven by {x α c β w α Z n 0,β Zn 2,w S n}. The center of H n, proved as n Theorem 2.3, s now the set of all symmetrc polynomals n x 2 1,x2 2,...,x2 n (see also [N, Prop. 3.1]). Parabolc subalgebras H µ of H n are defned n the same way as before. The Mackey Theorem and Theorem 2.14 are proved n an entrely smlar way.

15 HECKE-CLIFFORD SUPERALGEBRAS Cyclotomc Hecke-Clfford superalgebras 3-a. Cyclotomc Hecke-Clfford superalgebras. Keep all the notaton from the prevous secton. Suppose now that f F[X 1 ] H n s a polynomal of the form a d X d 1 + a d 1 X d a 1 X 1 + a 0 (3.1) for coeffcents a F wth a d = 1 and a = a 0 a d for each = 0,1,...,d. Ths assumpton mples that C 1 f = a 0 X d 1 fc 1. (3.2) Defne I f to be the two-sded deal of H n generated by f and let H f n := H n /I f. (3.3) We call H f n the cyclotomc Hecke-Clfford superalgebra correspondng to f. It s the analogue n our settng of the cyclotomc Hecke algebra of [AK]. 3-b. Bass theorem. The goal n ths subsecton s to descrbe an explct bass for H f n, analogous to the Ark-Koke bass [AK] for cyclotomc Hecke algebras. We ntroduce some further notaton for the proof. Set f 1 = f and for = 2,...,n, defne nductvely f = (T 1 + ξc 1 C )f 1 T 1. The frst lemma follows easly by nducton from (2.23): Lemma 3.1. For = 1,...,n, where u H fn f = X d + (terms lyng n P 1X ehfn s a unt. for 0 < e < d) + u Gven Z = {z 1 < < z u } {1,...,n}, let f Z = f z1 f z2...f zu H n. Defne Π n = {(α,z) Z {1,...,n},α Z n wth 0 α < d whenever / Z}, (3.4) Π + n = {(α,z) Π n Z }. (3.5) Lemma 3.2. H n s a free rght H fn n -module on bass {X α f Z (α,z) Π n }. Proof. Defne a total order on Z so that d 2 d 2 1 d d 2 2 d We have a correspondng reverse lexcographc orderng on Z n : α α f and only f α n = α n,...,α k+1 = α k+1,α k α k for some k = 1,...,n. It s mportant that Zn has a smallest element wth respect to ths total order. Defne a functon γ : Π n Z n by γ(α,z) := (γ 1,...,γ n ) where { α f / Z or α γ = < 0, α + d f Z and α 0. We clam that for (α,z) Π n, X α f Z = X γ(α,z) u + (terms lyng n X β H fn n for β γ(α,z)), where u s some unt n Hn fn. In other words, X α f Z = X γ(α,z) u+(lower terms). Snce γ : Π n Z n s a bjecton and we already know that the {X α α Z n } form a bass for H n vewed as a rght Hn fn -module by Theorem 2.2, the clam mmedately mples the lemma. To prove the clam, proceed by nducton on n. If n = 1, the statement s qute obvous. Now assume n > 1 and the statement has been proved for (n 1). We need to consder

16 16 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV X α f Z for (α,z) Π n. If n / Z, then the concluson follows wthout dffculty from the nducton hypothess, so assume n Z. Let α = (α 1,...,α n 1 ) and Z = Z {n}. Then by nducton X α f Z = X γ(α,z ) u + (terms lyng n X β H fn n 1 for β γ(α,z )), where u s some unt n Hn 1 fn. Multplyng on the left by Xαn n and on the rght by f n, usng Lemma 3.1, one deduces that X α f Z = Xn αn+d X γ(α,z ) u + Xn αn X γ(α,z ) u u n + (terms lyng n X β Hn fn for β γ(α,z)) where both u and u u n are unts n Hn fn. Notng that ths s of the desred form. Lemma 3.3. () For 1 n, () For 1 j n, { X γ(α,z) X α n+d = n X γ(α,z ) f α n 0, X αn n X γ(α,z ) f α n < 0, C f Hn fn X d f H fn 1 n + k=1 P f k H fn n. P j (T j 1 ξ)... (T +1 ξ)(t ξ)x d f Hn fn () For n > 1, H fn n 1 f nh fn n = f nh fn n. Proof. > 1, j k=1 P j f k H fn n. () Proceed by nducton on, the case = 1 beng mmedate from (3.2). For C f Hn fn = C (T 1 + ξc 1 C )f 1 Hn fn = (T 1 ξ)c 1 f 1 Hn fn (T 1 ξ)x d 1 f 1H fn n + 2 (T 1 ξ)p 1 f k H fn k=1 X d (T 1 + ξc 1 C )f 1 H fn n + 1 P f k H fn k=1 n n = X d 1 f Hn fn + k=1 P f k H fn n, applyng Lemma 2.1, the relatons n H n especally (2.25), and the nducton hypothess. () Proceed by nducton on (j ), the concluson beng mmedate n case j =. If j >, an applcaton of (2.25), combned wth () to commute C past f, gves that P j (T j 1 ξ)... (T ξ)x d f Hn fn P j(t j 1 ξ)...(t +1 ξ)x+1 d f +1H fn n + j k=1 P j f k H fn n. Now apply the nducton hypothess. () By consderng the antautomorphsm τ of Hn 1 fn, one sees that Hfn n 1 s generated by the elements C for 1 n 1 and (T j +ξc j C j+1 ) for 1 j < n 1, and the latter satsfy the brad relatons. We show that each of these generators of Hn 1 fn leave f nhn fn nvarant.

17 HECKE-CLIFFORD SUPERALGEBRAS 17 Frst, consder C f n H fn n for 1 n 1. Expandng the defnton of f n and commutng C past the leadng terms, t equals (T n 1 + ξc n 1 C n )... C (T + ξc C +1 )f Hn fn. By the relatons, C (T + ξc C +1 ) = (T + ξc C +1 )C +1. Now the concluson n ths case follows mmedately snce C +1 f Hn fn = f Hn fn. Next, consder (T j +ξc j C j+1 )f n Hn fn for 1 j < n 1. Expandng and commutng agan gves that t equals (T n 1 + ξc n 1 C n )... (T j + ξc j C j+1 )(T j+1 + ξc j+1 C j+2 )(T j + ξc j C j+1 )f j H fn n. Applyng the brad relaton gves (T n 1 + ξc n 1 C n )...(T j+1 + ξc j+1 C j+2 )(T j + ξc j C j+1 )(T j+1 + ξc j+1 C j+2 )f j Hn fn whch agan equals f n Hn fn as requred. Lemma 3.4. I f = n =1 P n f H fn n. Proof. Let H2...n fn denote the subalgebra of Hfn n generated by C 2,...,C n,t 2,...,T n 1, so H2...n fn = Hn 1 fn. We frst clam that n n Hn fn (T 1 + ξc 1 C )... (T 1 + ξc 1 C 2 )H2...n fn + (T 1 ξ)... (T 1 ξ)c 1 H2...n fn. =1 To prove ths, t suffces to show that T w C β les n the rght hand sde for each w S n,β Z n 2. Proceed by nducton on the Bruhat order on w S n, the case w = 1 beng trval. For the nducton step, we can fnd 1 n and u S 2...n such that T w C β = T 1...T 1 T u C β = T 1...T 1 C β 1 1 T uc β where β = ( 0,β 2,...,β n ). Now an argument usng Lemma 2.1 gves that { T w C β (T 1 + ξc = 1 C )...(T 1 + ξc 1 C 2 )T u C β f β 1 = 0, (T 1 ξ)... (T 1 ξ)c 1 T u C β f β 1 = 1, modulo lower terms of the form T w C β wth w < w. The clam follows. Now let J = n =1 P nf Hn fn. Clearly J I f. So t suffces for the lemma to show that I f J. Notng that H n = P n Hn fn and usng the result n the prevous paragraph, we get that =1 I f = H n f 1 H n = H n f 1 P n Hn fn = H n f 1 Hn fn = P n Hn fn f 1 Hn fn n n P n (T 1 + ξc 1 C )... (T 1 + ξc 1 C 2 )f 1 Hn fn + P n (T 1 ξ)... (T 1 ξ)c 1 f 1 H fn =1 Now, each P n (T 1 +ξc 1 C )... (T 1 +ξc 1 C 2 )f 1 Hn fn = P nf Hn fn J. Also each P n(t 1 ξ)... (T 1 ξ)c 1 f 1 Hn fn s contaned n J thanks to Lemma 3.3(),(). Lemma 3.5. I f = X α f Z Hn fn. (α,z) Π + n =1 n.

18 18 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV Proof. We proceed by nducton on n, the case n = 1 beng almost obvous. So now suppose that n > 1. Clearly we can assume that d > 0. It wll be convenent to wrte I f for the two-sded deal of H n 1 generated by f, so I f = X α f Z Hn 1 fn (3.6) (α,z ) Π + n 1 by the nducton hypothess. Let J = (α,z) Π + Xα f n Z Hn fn. Obvously J I f. So n vew of Lemma 3.4, t suffces to show that X α f Hn fn J for each α Zn and each = 1,...,n. Consder frst X α f n Hn fn. Wrte Xα = Xn αnxβ for β Z n 1. Expandng X β n terms of the bass of H n 1 from Lemma 3.2, we see that X α f n H fn n Xn αn Xα f Z Hn 1 fn f nhn fn. (α,z ) Π n 1 Ths s contaned n J thanks to Lemma 3.3(). Fnally, consder X α f Hn fn wth < n. Wrte Xα = Xn αnxβ for β Z n 1. By the nducton hypothess, X α f Hn fn = Xαn n Xβ f Hn fn Xn αn Xα f Z Hn fn. (α,z ) Π + n 1 Now we need to consder the cases α n 0 and α n < d separately. The argument s entrely smlar n each case, so suppose n fact that α n 0. Then we show by nducton on α n that Xn αnxα f Z Hn fn J for each (α,z ) Π + n 1. Ths s mmedate f α n < d, so take α n d and consder the nducton step. Expandng f n usng Lemma 3.1, the set Xn αn d X α f Z f n Hn fn J looks lke the desred Xn αnxα f Z Hn fn I f Hfn n plus a sum of terms lyng n Xαn d+e n 0 e < d. It now suffces to show that each such Xn αn d+e I f Hfn n J. But by (3.6), Xn αn d+e I f Hfn n Xn αn d+e X α f Z Hn fn (α,z ) Π + n 1 and each such term les n J by nducton, snce 0 α n d + e < α n. Theorem 3.6. The canoncal mages of the elements form a bass for H f n. {X α C β T w α Z n wth 0 α 1,...,α n < d,β Z n 2,w S n} Proof. By Lemmas 3.2 and 3.5, the elements {X α f Z (α,z) Π + n } form a bass for I f vewed as a rght Hn fn -module. Hence Lemma 3.2 mples that the elements {X α α Z n wth 0 α 1,...,α n < d} form a bass for a complement to I f n H n vewed as a rght Hn fn -module. The theorem follows at once. 3-c. Cyclotomc Mackey theorem. We wll need a specal case of a Mackey theorem for cyclotomc Hecke-Clfford superalgebras. Let f P 1 be a polynomal of degree d > 0 of the specal form (3.1). Let H f n denote the correspondng cyclotomc Hecke-Clfford superalgebra. wth

19 HECKE-CLIFFORD SUPERALGEBRAS 19 Gven any y H n, we wll wrte ỹ for ts canoncal mage n H f n. Thus, Theorem 3.6 says that the elements { X α Cβ Tw α Z n wth 0 α 1,...,α n < d,β Z n 2,w S n } form a bass for H f n. It s obvous from Theorem 3.6 that the subalgebra of H f n+1 spanned by the X α Cβ Tw for α Z n wth 0 α 1,...,α n < d, β Z n 2 and w S n s somorphc to H f n. We wll wrte nd Hf n+1 H f n and res Hf n+1 H f n for the nducton and restrcton functors between H f n and H f n+1, to avod confuson wth the affne analogue from (2.27). So, nd Hf n+1 M = H f H f n+1 H f M. n n Lemma 3.7. For all 1 < n,j 0,k Z 2, j ( ) X j +1 Ck +1T T X j Ck X+1A h + X+1 h 1 C +1A. Proof. Rearrange (2.23) and (2.24). h=1 Lemma 3.8. () H f n+1 s a free rght Hf n-module on bass { X j a C j b T j... T n 0 a < d,b Z 2,1 j n + 1}. () H f n+1 = Hf T n n Hn f Xa n+1 Cb n+1 Hn f as an (Hn, f Hn)-bmodule. f 0 a<d,b Z 2 () For any 0 a < d, there are somorphsms X n+1h a n f Hn, f Xa n+1 Cn+1 Hn f ΠHn, f Hn f T n Hn f Hn f H f Hn, f n 1 as (H f n, H f n)-bmodules. Proof. For (), by Theorem 3.6 and dmenson consderatons, we just need to check that H f n+1 s generated as a rght Hf n-module by the gven elements. For ths, t suffces to show that all elements of the form X α Cβ Tj... T n (α Z n,β Z n 2,0 α 1,...,α n+1 < d) le n the rght H f n-module generated by { X a k C b k T k... T n 0 a < d,b Z 2,j k n + 1}. Ths nvolves consderng terms of the form X a k C b k T k 1... T n for j < k n + 1 and 0 a < d,b Z 2, for whch Lemma 3.7 s useful. For (),(), defne a map H f n H f n H f n T n H f n,(u,v) u T n v. Ths s H f n 1 -balanced, so nduces a well-defned epmorphsm Φ : H f n H f n 1 H f n Hf n T n H f n of (Hn, f Hn)-bmodules. f We know from () that Hn f H f Hn f s a free rght Hn-module f on n 1 bass X j a C j b T j... T n 1 1 for 1 j n,0 a < d,b Z 2. But Φ maps these elements to X a j C b j T j... T n 1 Tn whch, agan usng (), form a bass for H f n T n H f n as a free rght H f n- module. Ths shows that H f n T n H f n H f n H f n 1 H f n. Now the remanng parts of (), () are obvous consequences of ().

20 20 JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV We have now decomposed H f n+1 as an (Hf n, H f n)-bmodule. So the same argument as for Theorem 2.8 easly gves: Theorem 3.9. Let M be an H f n-module. Then, there s a natural somorphsm of H f n-modules. res Hf n+1 H f n nd Hf n+1 M (M ΠM) d nd Hf H f n res Hf n H f n M n 1 H f n 1 3-d. Dualty. We wsh next to prove that the nducton functor nd Hf n+1 the τ-dualty. We need a lttle prelmnary work. H f n commutes wth Lemma For 1 n and a 0, ( T n + ξ C n Cn+1 )... ( T + ξ C C+1 ) X a T... T n = X n+1 a + ( ) (3.7) where ( ) s a term lyng n Hn f T a 1 n Hn f + ( Xk n+1 Hn f k=1 k 1 + X C ) n+1 n+1 Hn f, and ( T n + ξ C n Cn+1 )... ( T + ξ C C+1 ) X a C T... T n = X a n+1 C n+1 + ( ) (3.8) where ( ) s a term lyng n Hn f T a ( n Hn f + Xk n+1 Hn f k=1 k 1 + X C ) n+1 n+1 Hn f. Proof. We prove (3.7) and (3.8) smultaneously by nducton on n =, + 1,.... In case n =, they follow from a calculaton nvolvng (2.23) or (2.24) respectvely, together wth Lemma 3.7 to commute X n+1 a and X n+1 a C n+1 past T n. The nducton step s smlar, notng that both ( T n+1 + ξ C n+1 Cn+2 ) and T n+1 centralze Hn. f Lemma For any s Hn, f ( X n+1s d = a 0 s + a term lyng n Hn f T d 1 ( n Hn f + Xk n+1 Hn f + Proof. k=1 X k 1 n+1 C n+1 H f n)). Recall the polynomal f F[X 1 ] from (3.1). Its mage f H f n s zero. Hence, ( T n + ξ C n Cn+1 )...( T 1 + ξ C 1 C2 ) f T 1... T n = 0. But a calculaton usng (3.7) shows that the left hand sde equals X d n+1 + a 0 modulo terms of the gven form. The lemma follows easly on multplyng on the rght by s. Lemma There exsts an even (H f n, H f n)-bmodule homomorphsm θ : H f n+1 Hf n such that ker θ contans no non-zero left deals of H f n+1. Proof. By Lemma 3.8(), we know that H f n+1 = Hf n C d 1 ( n+1 Hn f Xa n+1 Hn f X n+1 a C n+1 Hn) f Hn f T n Hn f a=1

21 HECKE-CLIFFORD SUPERALGEBRAS 21 as an (H f n, H f n)-bmodule. Let θ : H f n+1 Hf n be the projecton onto the frst summand of ths bmodule decomposton. We just need to show that f y H f n+1 has the property that θ(hy) = 0 for all h H f n+1, then y = 0. Usng Lemma 3.8(), we may wrte d 1 ( y = Xa n+1 s a + X n+1 a C ) d 1 n ( n+1 t a + Xa j Tj... T n u a,j + X j a C j Tj... T ) n v a,j a=0 a=0 j=1 for s a,t a,u a,j,v a,j Hn. f d 1 Consder θ( X C n+1 n+1 y). An applcaton of Lemma 3.7 reveals that ths equals t d 1, hence t d 1 = 0. Next consder θ( X n+1 y). Usng Lemma 3.11 as well d 2 as Lemma 3.7 ths tme, we get that s d 1 = 0. Now consder smlarly θ( X C n+1 n+1 y), θ( X n+1 2 d 3 y), θ( X C n+1 n+1 y),θ( X n+1 3 y),... n turn to deduce t d 2 = s d 2 = t d 3 = s d 3 = = 0. We have now reduced to the case that d 1 n ( y = Xa j Tj... T n u a,j + X j a C j Tj... T ) n v a,j. a=0 j=1 Now consder y := ( T n + ξ C n Cn+1 )y. Note ( T n + ξ C n Cn+1 ) T n 1 Tn = T n 1 Tn ( T n 1 + ξ C n 1 Cn ) so the terms of y wth j < n yeld terms of y whch le n Hn f T n Hn. f Hence, by Lemma 3.10 too, y d 1 = X C n+1 n+1 v d 1,n + ( ) d 1 where ( ) s a term lyng n Hn f T n Hn f + ( Xk n+1 Hn f k 1 + X C ) n+1 n+1 Hn f. Now multplyng y k=1 d 1 by X C n+1 n+1 and applyng θ, as n the prevous paragraph, gves that v d 1,n = 0. Hence n fact, by Lemma 3.10 once more, we have that y d 1 = X n+1 u d 1,n + ( ) and now one gets u d 1,n = 0 on multplyng by X n+1 and applyng θ, agan as n the prevous paragraph. Contnung n ths way gves that all u a,n = v a,n = 0. Now repeat the argument n the prevous paragraph agan, ths tme consderng y := ( T n + ξ C n Cn+1 )( T n 1 + ξ C n 1 Cn )y, to get that all u a,n 1 = v a,n 1 = 0. Contnung n ths way eventually gves the desred concluson: y = 0. Now we are ready to prove the man result of the subsecton: Theorem There s a natural somorphsm H f n+1 H f M Hom n H f (Hf n n+1,m) for all H f n-modules M. Proof. We show that there s an even somorphsm ϕ : H f n+1 Hom H f n (Hf n+1, Hf n) of (H f n+1, Hf n)-bmodules. The lemma then follows on applyng the functor? H f n M: one obtans natural somorphsms H f n+1 H f n M ϕ d Hom H f n (H f n+1, Hf n) H f n M Hom H f n (H f n+1,m). Note the exstence of the second somorphsm here uses the fact that H f n+1 left Hn-module, f see [AF, 20.10]. s a projectve