Download - Introduction degenerate affine Hecke algebra
![Page 1: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/1.jpg)
CENTERS OF DEGENERATE CYCLOTOMIC HECKE
ALGEBRAS AND PARABOLIC CATEGORY O
JONATHAN BRUNDAN
Abstract. We prove that the center of each degenerate cyclotomicHecke algebra associated to the complex reflection group of type Bd(l)consists of symmetric polynomials in its commuting generators. Theclassification of the blocks of the degenerate cyclotomic Hecke algebrasis an easy consequence. We then apply Schur-Weyl duality for higherlevels to deduce analogous results for parabolic category O for the Liealgebra gln(C).
1. Introduction
Let R be a fixed commutative ground ring. Recall from [D] that thedegenerate affine Hecke algebra Hd is the R-algebra which is equal as anR-module to the tensor product R[x1, . . . , xd] ⊗R RSd of the polynomialalgebra R[x1, . . . , xd] and the group algebra RSd of the symmetric groupSd. Multiplication is defined so that R[x1, . . . , xd] (identified with the sub-space R[x1, . . . , xd]⊗ 1) and RSd (identified with the subspace 1⊗RSd) aresubalgebras, and in addition
sixi+1 = xisi + 1,
sixj = xjsi (j 6= i, i + 1),
where si denotes the basic transposition (i i+1) ∈ Sd. It is known by[L, Theorem 6.5] that the center Z(Hd) of Hd consists of all symmetricpolynomials in the (algebraically independent) generators x1, . . . , xd.
Given in addition a monic polynomial f(x) = xl + c1xl−1 + · · ·+ cl ∈ R[x]
of degree l ≥ 1, the degenerate cyclotomic Hecke algebra Hfd is the quotient
of Hd by the two-sided ideal generated by f(x1). We refer to l here asthe level. Since we seldom mention Hd itself again, it should not causeconfusion to also use the notation x1, . . . , xd for the canonical images of thepolynomial generators of Hd in the quotient Hf
d . For example, if f(x) = x
then Hfd can be identified simply with the group algebra RSd, and under
this identification we have that
xi =i−1∑j=1
(j i) ∈ RSd,
2000 Mathematics Subject Classification: 20C08, 17B20.Research supported in part by NSF grant no. DMS-0654147.
1
![Page 2: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/2.jpg)
2 JONATHAN BRUNDAN
the Jucys-Murphy elements. In this case, it has long been known (see [Ju] or[M, 1.9]) that the center of RSd again consists of all symmetric polynomialsin x1, . . . , xd, though of course these generators are no longer algebraicallyindependent. In other words, the canonical homomorphism Hd RSd
maps Z(Hd) surjectively onto Z(RSd). Our first result proves the analogousstatement for the quotient map Hd Hf
d in general.
Theorem 1. The center of Hfd consists of all symmetric polynomials in
x1, . . . , xd. Moreover, Z(Hfd ) is free as an R-module with an explicit basis
parametrized by all l-multipartitions of d.
For the first application, specialize to the case that R = F is an alge-braically closed field. We say that two irreducible modules L and L′ belongto the same block if they are linked by a chain L = L0, L1, . . . , Ln = L′ ofirreducible modules such that there is a non-split extension between Li−1
and Li for each i = 1, . . . , n. For modules over a finite dimensional algebralike Hf
d , this is equivalent to the property that L and L′ have the samecentral character. So, on combining Theorem 1 with the existing theory,we obtain the classification of the blocks of the degenerate cyclotomic Heckealgebras1. The conclusion is exactly as claimed in Grojnowski’s unpublishednote [G]; see §4 below for the precise statement. Unfortunately, as has beenpointed out by Anton Cox, the argument given there is incomplete, so thisfills a gap in the literature2. Actually, [G] was mainly concerned with cy-clotomic Hecke algebras (not their rational degenerations). For these, it hasalso long been expected that the center consists of all symmetric polynomi-als in the Jucys-Murphy elements, but we still do not know how to provethis. Nevertheless, Lyle and Mathas [LM] have recently managed to solvethe problem of classifying the blocks of the cyclotomic Hecke algebras too,using the analogue of Jantzen’s sum formula for cyclotomic q-Schur algebrasfrom [JM].
Now we further specialize to the case that F = C. Let µ = (µ1, . . . , µl)be an l-tuple of positive integers summing to n. Let g = gln(C) and let pbe the standard parabolic subalgebra with block diagonal Levi subalgebrah = glµ1
(C)⊕ · · · ⊕ glµl(C). Let Oµ be the category of all finitely generated
g-modules which are locally finite as p-modules and integrable as h-modules,i.e. they lift to rational representations of H = GLµ1(C) × · · · × GLµl
(C).This is the usual parabolic analogue of the BGG category O, except that
1In an earlier version of this article, we also explained that Theorem 1 implies the fol-lowing assertion describing the blocks of degenerate affine Hecke algebras: two irreducibleHd-modules belong to the same block if and only if they have the same central character.However, Iain Gordon has pointed out that this already follows directly by a general resultof Muller [BG, III.9.2], since Hd is finite as a module over its center.
2The same mistake also appears in the proof of [BK1, Corollary 8.13] dealing with thetwisted case. In the degenerate case in that setting, the appropriate analogue of Theorem1 needed to fill the gap has recently been announced by Ruff [R] for all odd levels. In levelone the result already appears in [BK2, Theorem 3.2].
![Page 3: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/3.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 3
we are only allowing modules with integral weights/central characters. Thecategory Oµ decomposes as
Oµ =⊕
ν
Oµν
where the direct sum is over integral central characters ν : Z(g) → C ofthe universal enveloping algebra U(g), and Oµ
ν is the full subcategory of Oµ
consisting of modules with generalized central character ν. Our next result,also ultimately a consequence of Theorem 1, is an essential ingredient in bothof the articles [B2] and [S], which give quite different (and independent)proofs of a conjecture of Khovanov [Kh, Conjecture 3]. Recall that thecenter Z(C) of an additive category C is the commutative ring consisting ofall natural transformations from the identity functor to itself. For example,if C is the category of finite dimensional modules over a finite dimensionalalgebra C, then Z(C) is canonically isomorphic to the center of the algebraC itself.
Theorem 2. For any integral central character ν, the natural map
mµν : Z(g)→ Z(Oµ
ν )
sending z ∈ Z(g) to the natural transformation defined by left multiplica-tion by z is a surjective algebra homomorphism. Moreover, the dimensionof Z(Oµ
ν ) is the same as the number of isomorphism classes of irreduciblemodules in Oµ
ν .
The category Oµν is equivalent to the category of finite dimensional mod-
ules over a finite dimensional algebra, e.g. one can take the endomorphismalgebra of a minimal projective generator. Hence, two irreducible modulesin Oµ
ν belong to the same block if and only if they have the same centralcharacter with respect to Z(Oµ
ν ). By definition, all irreducible modules inOµ
ν have the same central character with respect to Z(g). So Theorem 2 im-plies that all the irreducible modules in Oµ
ν belong to the same block. Thisproves that the above decomposition of Oµ (defined by central characterswith respect to Z(g)) coincides with its decomposition into blocks (definedby linkage classes of irreducible modules). This coincidence is a special fea-ture of type A. For an arbitrary semisimple Lie algebra and any parabolicsubalgebra, [Ja, Corollar 4] (proved using the sum formula from [Ja, Satz 2])implies for any regular integral central character ν : Z(g)→ C that the fullsubcategory of parabolic category O consisting of modules with generalizedcentral character ν is always a single block. However, for singular integralcentral characters in types other than type A, Platt [P] has given counterex-amples showing that the subcategory defined by the given central charactercan decompose as a sum of more than one block in general; for types B andC one can already find such examples in [ES].
![Page 4: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/4.jpg)
4 JONATHAN BRUNDAN
The remainder of the article is organized as follows. There is a naturalfiltration on the algebra Hf
d with respect to which the associated graded al-gebra gr Hf
d is the twisted tensor product of the level l truncated polynomialalgebra R[x1, . . . , xd]/(xl
1, . . . , xld) by the group algebra RSd of the symmet-
ric group. In section 2, we compute the center of this associated gradedalgebra directly, giving the crucial upper bound on the size of Z(Hf
d ) sincewe obviously have that grZ(Hf
d ) ⊆ Z(grHfd ). There are then several differ-
ent ways to show that this upper bound is actually attained. The approachfollowed in section 3 is to simply write down enough linearly independentcentral elements in Hf
d . This has the advantage of yielding at the sametime an explicit basis for Z(Hf
d ) which is a generalization of Murphy’s basisfor Z(RSn) constructed in the proof of [M, 1.9]. In section 4, we discussthe classification of the blocks of Hf
d in more detail. In particular we com-pute the dimension of the center of each block, refining Theorem 1 whichgives the dimension of the center of the whole algebra. Finally in section 5we deduce the results about parabolic category O by exploiting the Schur-Weyl duality for higher levels from [BK3], which reduces many questionsabout the category Oµ to the degenerate cyclotomic Hecke algebras Hf
d forf(x) = (x− µ1) · · · (x− µl).
Acknowledgements. Thanks go to Brian Boe, Alexander Kleshchev andVictor Ostrik for helpful discussions, Iain Gordon for pointing out Muller’stheorem, and Jim Humphreys for the reference to Jantzen’s paper mentionedabove.
2. The center of the associated graded algebra
We fix an integer l ≥ 1 and a commutative ring R. Let Rl[x1, . . . , xd]denote the level l truncated polynomial algebra, that is, the quotient of thepolynomial algebra R[x1, . . . , xd] by the relations xl
1 = · · · = xld = 0. The
symmetric group Sd acts on Rl[x1, . . . , xd] by algebra automorphisms so thatw · xi = xwi for each i and w ∈ Sd. We view the resulting twisted tensorproduct algebra Rl[x1, . . . , xd] o©RSd as a graded algebra with each xi indegree 1 and all elements of Sd in degree 0. The goal in this section is tocompute the center of this algebra explicitly. We remark that the algebraRl[x1, . . . , xd] o©RSd can be viewed as a degeneration of the group algebraR(Cl o Sd) of the wreath product of the symmetric group and the cyclicgroup of order l. It is well known that the conjugacy classes of Cl o Sd areparametrized by certain multipartitions; see [Mac, p.170] or [W]. With thisin mind the results in this section should not be too surprising.
Let Qd denote the centralizer of Rl[x1, . . . , xd] in Rl[x1, . . . , xd] o©RSd.The symmetric group Sd acts on Qd by conjugation, i.e. w · z = wzw−1.It is obvious that the center of Rl[x1, . . . , xd] o©RSd is just the set of fixedpoints:
Z(Rl[x1, . . . , xd] o©RSd) = QSdd .
![Page 5: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/5.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 5
We are going first to describe an explicit basis for Qd from which it will beeasy to determine the Sd-fixed points, hence the center.
For r ≥ 0 and any set I = i1, . . . , ia of a distinct numbers chosen from1, . . . , d, let
hr(I) = hr(i1, . . . , ia) :=∑
0≤r1,...,ra<lr1+···+ra=(a−1)(l−1)+r
xr1i1· · ·xra
ia∈ Rl[x1, . . . , xd],
the ((a − 1)(l − 1) + r)th complete symmetric function in the variablesxi1 , . . . , xia . By the pigeonhole principle, hr(I) is zero if r ≥ l, and moreoverhl−1(I) = xl−1
i1· · ·xl−1
ia.
Lemma 2.1. Let I, J be any two subsets of 1, . . . , d with c = |I ∩ J | > 0.For any r, s ≥ 0, we have that hr(I)hs(J) = lc−1hr+s+(c−1)(l−1)(I ∪ J).
Proof. Suppose first that I = i1, . . . , ia, k and J = j1, . . . , jb, k withI ∩ J = k. Then we have that
hr(I)hs(J) =∑
r1,...,ras1,...,sb
xr1i1· · ·xra
iax
a(l−1)+r−r1−···−ra
k xs1j1· · ·xsb
jbx
b(l−1)+s−s1−···−sb
k
=∑
r1,...,ras1,...,sb
xr1i1· · ·xra
iaxs1
j1· · ·xsb
jbx
(a+b)(l−1)+r+s−r1−···−ra−s1−···−sb
k
= hr+s(I ∪ J).
This proves the lemma in the case c = 1. Next we take i 6= j and note that
h0(i, j)h0(i, j) =∑r,s
xri x
l−1−rj xs
jxl−1−si
=∑r,s
xl−1+r−si xl−1+s−r
j = lxl−1i xl−1
j = lhl−1(i, j).
Finally take I = i1, . . . , ia, k1, . . . , kc, J = j1, . . . , jb, k1, . . . , kc for c ≥ 2and assume that I ∩ J = k1, . . . , kc. Using the preceeding two formulae,we get that
hr(I)hs(J) = hr(i1, . . . , ia, k1)h0(k1, k2) · · ·h0(kc−1, kc)
× h0(k1, k2) · · ·h0(kc−1, kc)hs(j1, . . . , jb, k1)
= lc−1hr+s+(c−1)(l−1)(i1, . . . , ia, j1, . . . , jb, k1, . . . , kc)
= lc−1hr+s+(c−1)(l−1)(I ∪ J).
This is what we wanted.
Now let A = (i1 · · · ia) be an a-cycle in Sd. Write hr(A) for hr(i1, . . . , ia).Given another cycle B = (j1 · · · jb), write A ∪ B and A ∩ B for the setsi1, . . . , ia ∪ j1, . . . , jb and i1, . . . , ia ∩ j1, . . . , jb, respectively. Let
A(r) := hr(A)A ∈ Rl[x1, . . . , xd] o©RSd,
![Page 6: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/6.jpg)
6 JONATHAN BRUNDAN
which we call a cycle of color r. As before, we have that A(r) = 0 for r ≥ l,so we need only consider colors from the set 0, 1, . . . , l − 1. In the case of1-cycles, we have that (i)(r) = xr
i , so 1-cycles of color 0 are trivial.
Lemma 2.2. Let r, s ≥ 0 be colors and A and B be cycles in Sd. Letc = |A ∩B|.
(i) If c = 0 then A(r)B(s) = B(s)A(r), i.e. disjoint colored cycles com-mute.
(ii) If c = 1 (in which case the product AB is a single cycle) then
A(r)B(s) = (AB)(r+s).
(iii) If c ≥ 2 then
A(r)B(s) = δr+s,0lc−1h(c−1)(l−1)(A ∪B)AB.
Proof. (i) Obvious.(ii) Say A = (i1 · · · ia k) and B = (j1 · · · jb k). By Lemma 2.1, we have
that
A(r)B(s) = hr(i1, . . . , ia, k)Ahs(j1, . . . , jb, k)B
= hr(i1, . . . , ia, k)hs(j1, . . . , jb, i1)AB
= hr+s(i1, . . . , ia, j1, . . . , jb, k)AB = (AB)(r+s)
as required.(iii) Arguing exactly as in (ii), we get that
A(r)B(s) = lc−1hr+s+(c−1)(l−1)(A ∪B)AB.
Now observe that hr+s+(c−1)(l−1)(A ∪B) is zero unless r + s = 0.
Now we are going to consider products of colored cycles. Using Lemma 2.2,it is easy to see that any such product is either zero or else it can be rewrit-ten as some power of l times a product of disjoint colored cycles, meaninga product A
(r1)1 · · ·A(rm)
m where A1, . . . , Am are disjoint cycles in Sd and0 ≤ r1, . . . , rm < l are some colors. Moreover, two such products of disjointcolored cycles are equal if and only if one can be obtained from the other byreordering the disjoint colored cycles and adding/removing some 1-cycles ofcolor 0. For example,
(1 2 3)(4)(7 9 2)(1) = ((1 2 3)(7 9 2))(5) = (1 2 7 9 3)(5) = (1 2 7 9 3)(5)(4)(0),
(1 2 3)(4)(7 9 2 1)(1) = 0 = (1 2 3)(0)(7 9 3 2 1)(0) (assuming l > 1),
(1 2 3)(0)(7 9 2 1)(0) = l(x1x2x3x7x9)l−1(1 2 3)(7 9 2 1) = l(1 7 9 3)(l−1)(2)(l−1).
Theorem 2.3. The set of all products of disjoint colored cycles is a basisfor Qd. In particular, it is a free R-module of rank∑ d!
r1!r2! · · ·
(l
1
)r1(
l
2
)r2
· · ·
summing over all partitions (1r12r2 · · · ) of d.
![Page 7: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/7.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 7
Proof. Observe by applying Lemma 2.2 with B(s) = (i)(1) = xi thatevery colored cycle A(r) belongs to the algebra Qd. Hence all products ofcolored cycles belong to Qd. Moreover, any product of colored cycles is alinear combination of products of disjoint colored cycles, and the set of allproducts of disjoint colored cycles is linearly independent. It just remainsto show that Qd is spanned by all products of colored cycles.
Suppose to start with that A = (i1 · · · ia) is an a-cycle in Sd and that
z =∑
0≤r1,...,ra<lr1+···+ra=k
cr1,...,raxr1i1· · ·xra
iaA
is a non-zero homogeneous element of Qd of degree k ≥ 0 for some coefficientscr1,...,ra ∈ R. We claim that z is a scalar multiple of A(r) for some 0 ≤ r < l(in which case k = (a − 1)(l − 1) + r). To see this, equating coefficients ofxr1
i1· · ·xrj+1
ij· · ·xra
iaA in the equation xijz = zxij gives that
cr1,...,rj ,rj+1,...,ra = cr1,...,rj+1,rj+1−1,...,ra
whenever rj < l − 1 for some j = 1, . . . , a − 1, interpreting the right handside as zero in case rj+1 = 0. If k = (a−1)(l−1)+r for 0 ≤ r < l, we deducefrom this that all the coefficents cr1,...,ra are equal to cl−1,...,l−1,r, hence z isa scalar multiple of A(r). Otherwise, we can write k = m(l − 1) + r forsome m ≤ a − 2 and 0 ≤ r < l − 1 and get that all the coefficients cr1,...,ra
are equal to cl−1,...,l−1,r,0,0,...,0 = cl−1,...,l−1,r+1,−1,0,...,0 = 0, contradicting theassumption that z 6= 0.
Now take an element fw ∈ Qd for w ∈ Sd and a homogeneous poly-nomial f ∈ Rl[x1, . . . , xd]. Write w = A1 · · ·Am as a product of disjointcycles, none of which are 1-cycles. We show by induction on m that fw isa linear combination of products of colored cycles. The base case m = 0is clear as then w = 1. For the induction step, suppose that m ≥ 1 andAm = (i1 · · · ia). Let I = i1, . . . , ia and J = 1, . . . , d \ I. We can writef =
∑ts=1 fsgs for homogeneous polynomials f1, . . . , ft ∈ Rl[xi | i ∈ I] and
linearly independent homogeneous polynomials g1, . . . , gt ∈ Rl[xj | j ∈ J ].Equating coefficients of gsA1 · · ·Am−1 in the equations xifw = fwxi foreach i ∈ I, we deduce that each fsAm belongs to Qd. Hence by the previousparagraph each fsAm is a scalar multiple of A
(r)m for some 0 ≤ r < l − 1.
This shows that fw =∑l−1
r=0 hrA1 · · ·Am−1A(r)m for homogeneous polyno-
mials hr ∈ Rl[xj | j ∈ J ]. Equating coefficients of A(r)m in the equations
xjfw = fwxj for each j ∈ J , we deduce that each hrA1 · · ·Am−1 belongsto Qd. Hence by the induction hypothesis each hrA1 · · ·Am−1 is a linearcombination of products of colored cycles. Hence fw is too.
Finally take an arbitrary homogeneous element∑
w∈Sdfww ∈ Qd, for
polynomials fw ∈ Rl[x1 . . . , xd]. We have for each i that∑
w∈Sdxifww =∑
w∈Sdxwifww. Equating coefficients gives that xifww = xwifww = fwwxi
for each i and w. Hence each fww belongs to Qd. So by the previous
![Page 8: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/8.jpg)
8 JONATHAN BRUNDAN
paragraph each fww is a linear combination of products of colored cycles.This completes the proof.
For a partition λ = (λ1 ≥ λ2 ≥ · · · ) we write |λ| for λ1 + λ2 + · · ·and `(λ) for its length, that is, the number of non-zero parts. By an l-multipartition of d we mean a tuple λ = (λ(1), λ(2), . . . , λ(l)) of partitions suchthat |λ(1)|+ · · ·+ |λ(l)| = d. LetMd(l) denote the set of all l-multipartitionsof d. Given a product z = A
(r1)1 · · ·A(rm)
m of disjoint colored cycles in Qd,where each Ai is an ai-cycle, we can add extra 1-cycles of color 0 if necessaryto assume that a1 + · · · + am = d. Define the cycle type of z to be thel-multipartition λ = (λ(1), . . . , λ(l)) of d defined by declaring that λ(r) isthe partition whose parts consist of all the ai such that ri = r − 1. Forλ = (λ(1), . . . , λ(l)) ∈ Md(l), let zd(λ) denote the sum of all products ofdisjoint colored cycles in Qd of cycle type λ.
Theorem 2.4. The elements zd(λ) | λ ∈ Md(l) form a basis for thecenter of Rl[x1, . . . , xd] o©RSd. In particular, Z(Rl[x1, . . . , xd] o©RSd) is afree R-module of rank |Md(l)|.Proof. As we remarked at the beginning of the section, the center ofRl[x1, . . . , xd] o©RSd is the set of fixed points of Sd on Qd. Given a coloredcycle A(r) = (i1 · · · ia) and w ∈ Sd, we have that
w ·A(r) = (w ·A)(r) = (wi1 · · · wia)(r).
So the action of Sd on Qd is the linear action induced by a permutationaction on the basis from Theorem 2.3. It just remains to observe that twoproducts of disjoint colored cycles lie in the same Sd-orbit if and only if theyhave the same cycle type, and the zd(λ)’s are simply the orbit sums.
Corollary 2.5. If d! is invertible in R then the center of Rl[x1, . . . , xd] o©RSd
is generated by the elements
zd(a(r)) :=∑
all a-cycles A∈Sd
A(r)
for all 0 ≤ r < l and 1 ≤ a ≤ d.
Proof. Take a multipartition λ = (λ(1), . . . , λ(l)) ∈ Md(l). Consider theproduct of the elements zd(a(r−1)) over all r = 1, . . . , l and all non-zero partsa of λ(r). It gives an invertible scalar multiple of zd(λ) modulo lower terms.
In the remainder of the section, we are going to construct another basis forZ(Rl[x1, . . . , xd] o©RSd) which is a generalization of the basis for the centerof RSn constructed by Murphy in the proof of [M, 1.9]. Given k ≥ 0 and1 ≤ i ≤ d, write k = (a− 1)l + r for a ≥ 1 and 0 ≤ r < l, then set
yi(k) :=∑
1≤i1,...,ia−1<ii1,...,ia−1 distinct
(i1 · · · ia−1 i)(r),
![Page 9: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/9.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 9
an element of degree (a− 1)(l− 1) + r. For example, yi(k) = 0 if k ≥ il andyi(r) = (i)(r) = xr
i for 0 ≤ r < l. Particularly important, we have that
yi(l) =i−1∑j=1
(j i)(0),
which we call the ith colored Jucys-Murphy element.
Lemma 2.6. For any 1 ≤ i ≤ d and p ≥ 0, we have that
yi(l)p = yi(pl) + (∗)
where (∗) is a linear combination of products A(l−1)1 · · ·A(l−1)
m for disjointcycles A1, . . . , Am in Si such that A1 involves i and |A1 ∪ · · · ∪Am| ≤ p.
Proof. Induction exercise using Lemma 2.2.
For a partition λ = (λ1 ≥ λ2 ≥ · · · ), let λ/l := (bλ1/lc ≥ bλ2/lc ≥ · · · ).We are going to use partitions belonging to the set
Pd(l) = λ | `(λ) + |λ/l| ≤ dto parametrize our new basis. Note to start with that |Pd(l)| = |Md(l)|, sothis set is of the right size. Indeed, there is a bijection
ϕ :Md(l)→ Pd(l),
defined as follows. Suppose that λ = (λ(1), . . . , λ(l)) ∈ Md(l) where λ(r) =(λ(r)
1 ≥ · · · ≥ λ(r)mr > 0). Then ϕ(λ) denotes the ordinary partition with
parts (λ(r)i − 1)l + r − 1 for all 1 ≤ r ≤ l and 1 ≤ i ≤ mr. It is easy to see
that ϕ(λ) belongs to Pd(l). Conversely, given µ = (µ1 ≥ µ2 ≥ · · · ) ∈ Pd(l),there is a unique multipartition λ = (λ(1), . . . , λ(l)) of d such that ϕ(λ) = µ:the parts of λ(r) are the numbers bµi/lc+ 1 for all i = 1, . . . , d− |µ/l| suchthat µi ≡ r − 1 (mod l). Hence ϕ is indeed a bijection.
Since every element µ of Pd(l) is of length at most d, it can be thoughtof simply as a d-tuple of integers. Given two d-tuples µ = (µ1, . . . , µd)and ν = (ν1, . . . , νd) we write µ ∼ ν if one is obtained from the other bypermuting the entries. For µ = (µ1, . . . , µd) ∈ Pd(l), define
md(µ) :=∑ν∼µ
y1(ν1) · · · yd(νd).
This is a homogeneous element of Qd of degree |µ| − |µ/l|.
Theorem 2.7. The elements md(µ) | µ ∈ Pd(l) form a basis for thecenter of Rl[x1, . . . , xd] o©RSd.
Proof. Let us first check that md(µ) belongs to Z(Rl[x1, . . . , xd] o©RSd).We just need to check it commutes with each basic transposition (i i+1).Obviously, (i i+1) commutes with yj(m) if j 6= i, i + 1. Therefore it sufficesto show for each i = 1, . . . , d− 1 and k, m ≥ 0 that (i i+1) commutes with
![Page 10: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/10.jpg)
10 JONATHAN BRUNDAN
both the elements yi(k)yi+1(k) and yi(k)yi+1(m) + yi(m)yi+1(k). For thefirst case, write k = (a− 1)l + r as usual. We have that
yi(k)yi+1(k) =∑
1≤i1,...,ia−1<i1≤j1,...,ja−1<i+1
(i1 · · · ia−1 i)(r)(j1 · · · ja−1 i+1)(r)
where the sum is over distinct i1, . . . , ia−1 and distinct j1, . . . , ja−1. We splitthis sum into two pieces:∑
1≤i1,...,ia−1<i1≤j1,...,ja−1<i
(i1 · · · ia−1 i)(r)(j1 · · · ja−1 i+1)(r)
which clearly commutes with (i i+1), anda−1∑b=1
∑1≤i1,...,ia−1<i
1≤j1,...,ja−1<i+1jb=i
(i1 · · · ia−1 i)(r)(j1 · · · jb−1 i jb+1 · · · ja−1 i+1)(r)
which also commutes with (i i+1) by an application of Lemma 2.2. Thesecond case is similar.
Now we compare the md(µ)’s with the basis from Theorem 2.4. For anyλ ∈Md(l) define #λ to be (d−z) where z is the number of parts of λ(1) thatequal 1. We claim for λ ∈ Md(l) with ϕ(λ) = µ that md(µ) = zd(λ) + (∗)where (∗) is a linear combination of zd(ν)’s for ν ∈ Md(l) with #ν < #λ.The theorem clearly follows from this claim and Theorem 2.4. To prove theclaim, let µ = (µ1 ≥ · · · ≥ µh > 0) and write each µi as (ai − 1)l + ri asusual, so #λ = a1 + · · ·+ ah. By definition, md(µ) is a sum of products ofcolored cycles of the form z = A
(r1)1 · · ·A(rh)
h where each Ai is an ai-cycle. IfA1, . . . , Ah happen to be disjoint cycles then z is of cycle type λ. Otherwise,|A1 ∪ · · · ∪ Ah| < #λ so using Lemma 2.2 we can rewrite z as a linearcombination of products of disjoint colored cycles of cycle type ν ∈ Md(l)with #ν < #λ. Combined with the first paragraph and Theorem 2.4, thisshows that md(µ) = czd(λ) + (∗) for some c. Finally, to show that c = 1,consider the coefficient of one particular product of disjoint colored cyclesof cycle type λ in the expansion of md(µ).
3. The center of Hfd
We are ready to tackle the problem of computing the center of the degen-erate cyclotomic Hecke algebra Hf
d , where f(x) = xl+c1xl−1+· · ·+cl ∈ R[x]
is a monic polynomial of degree l. Define a filtration
F0 Hfd ⊆ F1 Hf
d ⊆ F2 Hfd ⊆ · · ·
of the algebra Hfd by declaring that Fr Hf
d is spanned by all xi1 · · ·xiswfor 0 ≤ s ≤ r, 1 ≤ i1, . . . , is ≤ d and w ∈ Sd. So each xi is in fil-tered degree 1 and each w ∈ Sd is in filtered degree 0. Given an element
![Page 11: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/11.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 11
z ∈ Fr Hfd , we write grr z for its canonical image in the rth graded com-
ponent grr Hfd = Fr Hf
d / Fr−1 Hfd of the associated graded algebra gr Hf
d =⊕r≥0 grr Hf
d . By the PBW theorem for degenerate cyclotomic Hecke alge-bras [BK3, Lemma 3.5], this associated graded algebra grHf
d can be iden-tified with the twisted tensor product Rl[x1, . . . , xd] o©RSd so that gr1 xi
is identified with xi ∈ Rl[x1, . . . , xd] o©RSd and gr0 w is identified withw ∈ Rl[x1, . . . , xd] o©RSd. To avoid confusion, we reserve the notationsxr
i and si from now on for the elements of Hfd , always using the alternate
notations (i)(r) and (i i+1) for the corresponding elements of the associatedgraded algebra Rl[x1, . . . , xd] o©RSd.
Given an R-submodule V of Hfd , we can consider the induced filtration
on V defined by setting Fr V := V ∩ Fr Hfd . The associated graded module
grV is canonically identified with an R-submodule of Rl[x1, . . . , xd] o©RSd,and for two submodules we have that V = V ′ if and only if grV = gr V ′.Note also that
grZ(Hfd ) ⊆ Z(Rl[x1, . . . , xd] o©RSd).
Hence if we can find elements z1 ∈ Fi1 Z(Hfd ), . . . , zm ∈ Fim Z(Hf
d ) withthe property that gri1 z1, . . . , grim zm is a basis for Z(Rl[x1, . . . , xd] o©RSd),then it follows immediately that z1, . . . , zm also is a basis for Z(Hf
d ). Thisis exactly what we are going to do. Recall the elements yi(k) and md(µ) ofRl[x1, . . . , xd] o©RSd from the previous section.
Lemma 3.1. Assume that 1 ≤ i ≤ d and k = (a − 1)l + r for some a ≥ 1and 0 ≤ r < l. Then we have that xk
i ∈ F(a−1)(l−1)+r Hfd and
gr(a−1)(l−1)+r xki =
yi(k) + (∗) if r = 0,yi(k) if r > 0,
where (∗) denotes a linear combination of products of disjoint colored cyclesof the form A
(l−1)1 · · ·A(l−1)
m such that i ∈ A1 ∪ · · · ∪ Am ⊆ 1, . . . , i and|A1 ∪ · · · ∪Am| ≤ a− 1.
Proof. Assume to start with that k = l, i.e. a = 2, r = 0. We provethe lemma in this case by induction on i = 1, . . . , d. For the base case, wehave that xl
1 = −c1xl−11 − · · · − cl, so it is in filtered degree (l − 1) and
grl−1 xl1 = −c1(1)(l−1) = y1(l) − c1(1)(l−1). For the induction step, we have
by the relations that
xli+1 = six
lisi +
l−1∑t=0
xtix
l−1−ti+1 si.
Hence by induction we get that xli+1 is in filtered degree (l − 1) and
grl−1 xli+1 = (i i+1)(yi(l)− c1(i)(l−1))(i i+1) + (i i+1)(0)
= yi+1(l)− c1(i + 1)(l−1)
![Page 12: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/12.jpg)
12 JONATHAN BRUNDAN
as we wanted.Now assume that k = (a − 1)l for any a ≥ 1, i.e. the case when r = 0.
By the previous paragraph, we have that xki = (xl
i)a−1 is in filtered degree
(a− 1)(l − 1) and
gr(a−1)(l−1) xki = (yi(l)− c1(i)(l−1))a−1.
By Lemma 2.6 this equals yi(k) + (∗) where (∗) is a linear combination ofproducts of disjoint colored cycles of the form A
(l−1)1 · · ·A(l−1)
m such thati ∈ A1 ∪ · · · ∪Am ⊆ 1, . . . , i and |A1 ∪ · · · ∪Am| ≤ a− 1.
Finally assume that k = (a − 1)l + r for 0 < r < l. Writing xki =
(x(a−1)li )(xr
i ) and using the previous paragraph and Lemma 2.2 gives thedesired conclusion in this case.
For any d-tuple µ = (µ1, . . . , µd) of non-negative integers, let
pd(µ) :=∑ν∼µ
xν11 · · ·x
νdd ∈ Hf
d .
Since this is a symmetric polynomial in x1, . . . , xd, it is automatically central.Theorem 1 from the introduction is a consequence of the following moreprecise result.
Theorem 3.2. For µ ∈ Pd(l), we have that pd(µ) ∈ Fr Z(Hfd ) where
r = |µ| − |µ/l|. Moreover, grr pd(µ) = md(µ) + (∗) where (∗) is a linearcombination of md(ν)’s for ν ∈ Pd(l) with |ν/l|+`(ν) < |µ/l|+`(µ). Hence,grZ(Hf
d ) = Z(Rl[x1, . . . , xd] o©RSd) and the elements
pd(µ) | µ ∈ Pd(l)
form a basis for Z(Hfd ). In particular, Z(Hf
d ) is a free R-module of rankequal to the number of l-multipartitions of d.
Proof. Recall the bijection ϕ :Md(l) → Pd(l) and also the notation #λfrom the last paragraph of the proof of Theorem 2.7. We showed there forλ ∈ Md(l) with ϕ(λ) = µ that md(µ) = zd(λ) + (∗) where (∗) is a linearcombination of zd(ν)’s with #ν < #λ. Note #λ = |µ/l| + `(µ). So we getfrom this also that zd(λ) = md(µ) + (∗) where (∗) is a linear combination ofmd(ν)’s for ν ∈ Pd(l) with |ν/l|+ `(ν) < |µ/l|+ `(µ).
Now, by Lemma 3.1 and the definitions, pd(µ) is in filtered degree r = |µ|−|µ/l| and moreover grr pd(µ) = md(µ)+(∗) where (∗) is a linear combinationof products of disjoint colored cycles A
(r1)1 · · ·A(rm)
m such that |A1 ∪ · · · ∪Am| < |µ/l|+ `(µ). Since grr pd(µ) is central, it follows by Lemma 2.2 andTheorem 2.4 that (∗) can be rewritten as a linear combination of zd(ν)’swith #ν < #λ. Hence by the first paragraph it is also a linear combinationof md(ν)’s with |ν/l|+ `(ν) < |µ/l|+ `(µ). This proves that the elements
gr|µ|−|µ/l| pd(µ) | µ ∈ Pd(l)
![Page 13: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/13.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 13
form a basis for Z(Rl[x1, . . . , xd] o©RSd). Now the theorem follows by thegeneral principles discussed just before Lemma 3.1.
Corollary 3.3. If d! is invertible in R, then the center of Hfd is generated
by the power sums xr1 + · · ·+ xr
d for 1 ≤ r ≤ d.
Proof. Under the assumption on R, it is well known that every symmetricpolynomial in variables x1, . . . , xd can be expressed as a polynomial in thefirst d power sums.
4. The blocks of Hfd
In this section, we replace the ground ring R with a ground field F overwhich we can factor f(x) = (x − µ1) · · · (x − µl) for µ1, . . . , µl ∈ F . Wewill denote the algebra Hf
d instead by Hµd where µ = (µ1, . . . , µl) ∈ F l.
We point out that F is a splitting field for the algebra Hµd ; one way to see
this is to observe that the construction of the irreducible Hµd -modules over
the algebraic closure of F from [K, §5.4] already makes sense over F itself.Theorem 1 just proved shows in particular that the dimension of Z(Hµ
d ) isequal to the number of l-multipartitions of d. The goal in this section isto refine this statement by computing the dimensions of the centers of theindividual blocks.
Before we can even formulate the result, we need an explicit combinatorialparametrization of the blocks, or equivalently, the central characters of Hµ
d .This is a well known consequence of Theorem 1. To start with we recall theclassification of central characters of Hd itself following [K, §4.2]. Given atuple i = (i1, . . . , id) ∈ F d, write
χ(i) : Z(Hd)→ F
for the central character mapping a symmetric polynomial f(x1, . . . , xd) tof(i1, . . . , id). Clearly, χ(i) = χ(j) if and only if i ∼ j, so this gives aparametrization of central characters of Hd by the set Xd of ∼-equivalenceclasses in F d. Now we pass to the quotient Hµ
d of Hd. Since Z(Hd) mapssurjectively onto Z(Hµ
d ) by Theorem 1, the set of all central characters ofHµ
d is naturally parametrized by the subset
Xµd = i ∈ Xd | χ(i) : Z(Hd)→ F factors through the quotient Z(Hµ
d )of Xd. Given i ∈ Xµ
d we will write χ(i) : Z(Hµd ) → F for the central char-
acter of Hµd induced by χ(i) : Z(Hd)→ F . To complete the classification of
blocks of Hµd , it just remains to describe this subset Xµ
d combinatorially.To do this, we must first construct enough central characters, which we do
by considering Specht modules following [BK3, §6]. For a partition λ of d, letSλ denote the corresponding Specht module for the symmetric group overthe field F ; we are deliberately being historically inaccurate here in referringto Sλ as a Specht module as we actually mean the dual of the Specht moduleSλ introduced originally by James [J]. Given any m ∈ F , we can extend Sλ
![Page 14: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/14.jpg)
14 JONATHAN BRUNDAN
to a module over the degenerate affine Hecke algebra Hd so that x1 acts byscalar multiplication by m. We denote the resulting Hd-module by Sm
λ . Ifd = d′ + d′′, there is a natural embedding of Hd′,d′′ := Hd′ ⊗Hd′′ into Hd, soit makes sense to define the product
M ′ M ′′ = Hd ⊗Hd′,d′′ (M ′ M ′′)
of an Hd′-module M ′ and an Hd′′-module M ′′, where denotes outer tensorproduct. Given an l-multipartition λ = (λ(1), λ(2), . . . , λ(l)) of d, the Hd-module
Sµλ := Sµ1
λ(1) · · · Sµl
λ(l)
factors through the quotient Hµd to give a well-defined Hµ
d -module. This isthe Specht module parametrized by the multipartition λ.
Let us compute the central character of the Specht module Sµλ . Note that
if M ′ is an Hd′-module of central character χ(i′) and M ′′ is an Hd′′-module ofcentral character χ(i′′), then M ′ M ′′ is of central character χ(i′ i′′) wherei′ i′′ denotes the concatenation (i′1, . . . , i
′d′ , i
′′1, . . . , i
′d′′). This reduces to the
problem of computing the central character simply of Smλ for a partition λ
of d and a scalar m ∈ F , which is well known: for each i, j ≥ 1 fill the boxin the ith row and jth column of the Young diagram of λ with the residue(m + j − i); then Sµ
λ is of central character parametrized by the tuple iµλ
obtained by reading off the residues in all the boxes in some order. Forexample, if λ = (4, 2, 1) and m = 5 then the residues are
5 6 7 84 53
and imλ ∼ (5, 6, 7, 8, 4, 5, 3). Given λ = (λ(1), . . . , λ(l)), we deduce that Sµ
λ isof central character parametrized by
iµλ = iµ1
λ(1) · · · iµl
λ(l) .
In this way, we have proved the existence of many central characters of Hµd ,
namely, the central characters χ(iµλ) | λ ∈Md(l).
To show that this construction gives all the central characters, we proceedlike in finite group theory. Let R be a Noetherian domain with maximal idealm such that F = R/m and the field of fractions of R is of characteristic 0.Let µ1, . . . , µl ∈ R be lifts of the parameters µ1, . . . , µl ∈ F . Let R bethe completion of the polynomial algebra R[τ1, . . . , τl] with respect to themaximal ideal generated by m and τ1 − µ1, . . . , τl − µl. We still have thatF = R/m, where m is the unique maximal ideal of R. Also let K be thefield of fractions of R. Letting τ = (τ1, . . . , τl), define Hτ
d and Hτd to be the
degenerate cyclotomic Hecke algebras defined by the polynomial f(x) = (x−τ1) · · · (x− τl) over the field K and over the ring R, respectively. In view ofthe PBW theorem for degenerate cyclotomic Hecke algebras, Hτ
d is naturallyisomorphic to K⊗RHτ
d , and Hµd is naturally isomorphic to F⊗RHτ
d , viewing
![Page 15: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/15.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 15
F here as an R-module so that each τi acts as multiplication by µi. Notemoreover that the definition of Specht modules carries over unchanged togive modules Sτ
λ for Hτd and Sτ
λ for Hτd for each λ ∈ Md(l), such that
Sτλ∼= K ⊗R Sτ
λ and Sµλ∼= F ⊗R Sτ
λ . The following lemma is well known, butthe proof given here is quite instructive.
Lemma 4.1. The algebra Hτd is split semisimple. Moreover, the Specht
modules Sτλ give a complete set of pairwise non-isomorphic irreducible Hτ
d -modules.
Proof. For each i = 1, . . . , l, let Hτid denote the degenerate cyclotomic
Hecke algebra over K defined by the polynomial f(x) = (x − τi). Thereis an isomorphism Hτi
d∼→ KSd which is the identity on Sd and maps x1
to τi. Since K is a field of characteristic zero, we get from this and theclassical representation theory of the symmetric group that each Hτi
d is asplit semisimple algebra and that the Specht modules Sτi
λ for all partitions λof d give a complete set of pairwise non-isomorphic irreducible Hτi
d -modules.Since τ1, . . . , τl are algebraically independent, the proof of [BK3, Corollary5.20] shows that there is an isomorphism
Hτd∼=
⊕d1+···+dl=d
Hτ1d1⊗ · · · ⊗Hτl
dl
under which Sτλ corresponds to the outer tensor product Sτ1
λ(1) · · · Sτl
λ(l)
of Specht modules. The lemma follows.
Lemma 4.1 implies that all the Specht modules Sτλ | λ ∈ Xτ
d havedifferent central characters. One can also see this directly by observingfrom the combinatorial definition that the tuples iτ
λ for λ ∈ Md(l) are indifferent ∼-equivalence classes, i.e. in the generic case the map
Md(l)→ Xτd , λ 7→ iτ
λ
is injective. Actually, it is a bijection, by a trivial special case of the followinglemma completing the classification of blocks of Hµ
d in general.
Lemma 4.2. Xµd = iµ
λ | λ ∈Md(l).
Proof. We have already noted that all iµλ belong to Xµ
d . Conversely, weneed to show that every maximal ideal of Z(Hµ
d ) is of the form ker χ(iµλ) for
some λ ∈ Md(l). We claim that∏
λ∈Md(l) ker χ(iµλ) = 0. This is more than
enough to complete the proof, for if I is any prime ideal of Z(Hµd ) then the
claim implies that ker χ(iµλ) ⊆ I for some λ ∈ Md(l), hence I = ker χ(iµ
λ).To prove the claim, note that the following diagram commutes
Z(Hτd)
χ(iτλ)
−−−−→ Ry yZ(Hµ
d ) −−−−→χ(iµ
λ)F
![Page 16: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/16.jpg)
16 JONATHAN BRUNDAN
where the vertical maps are defined by evaluating each τi at µi. The lefthand map is surjective by Theorem 1. Hence given z ∈ ker χ(iµ
λ) we canfind a pre-image z ∈ Z(Hτ
d) and, replacing z by z − (χ(iτλ))(z) if necessary,
we can even assume that z ∈ ker χ(iτλ). This shows that each ker χ(iµ
λ) isthe image of ker χ(iτ
λ) ⊆ Z(Hτd). Now we have that Hτ
d ⊆ Hτd , and in the
semisimple algebra Hτd it is certainly the case that
∏λ∈Md(l) ker χ(iτ
λ) = 0because the χ(iτ
λ)’s for all λ ∈Md(l) are the central characters of a full setof irreducible Hτ
d -modules, thanks to Lemma 4.1.
For i ∈ Xµd , let b(i) be the primitive central idempotent corresponding to
the central character χ(i), that is, b(i) is the unique element of Z(Hµd ) that
acts as one on irreducible modules of central character χ(i) and as zero onall other irreducibles. Thus, we have that
Hµd =
⊕i∈Xµ
d
b(i)Hµd .
This is the decomposition of Hµd into blocks. Similarly, recalling the bijection
Md(l) → Xτd , λ 7→ iτ
λ, we can define idempotents b(λ) ∈ Z(Hτd ) for each
λ ∈Md(l) such that b(λ) acts as one on Sτλ and as zero on all other Specht
modules. In view of Lemma 4.1, the resulting decomposition
Hτd =
⊕λ∈Md(l)
b(λ)Hτd
is the Wedderburn decomposition of the semisimple algebra Hτd .
Since R is a Noetherian ring complete with respect to the maximal idealm, and moreover we know that Z(Hτ
d) surjects onto Z(Hµd ) by Theorem 1,
there is a unique lift of each b(i) ∈ Z(Hµd ) to a central idempotent b(i) ∈ Hτ
d ;see e.g. [E, Corollary 7.5]. This lifts the block decomposition of Hµ
d to adecomposition
Hτd =
⊕i∈Xµ
d
b(i)Hτd
of the semisimple algebra Hτd . Finally, the commutative diagram from the
proof of Lemma 4.2 implies for each i ∈ Xµd that
b(i)Hτd =
⊕λ∈Md(l)
iµλ∼i
b(λ)Hτd .
Now we can prove the only new result of the section, as follows.
Theorem 4.3. For i ∈ Xµd , the dimension of the center of the block b(i)Hµ
dis equal to the number of l-multipartitions λ of d such that iµ
λ ∼ i.
Proof. By Theorem 1, Z(Hτd) is a free R-module of finite rank. Since R is
a local ring, it follows that the summand Z(b(i)Hτd) = b(i)Z(Hτ
d) is also free,of rank equal to dimK Z(b(i)Hτ
d ). Since each b(λ)Hτd is a full matrix algebra
with a one dimensional center, we know from the preceeding discussion
![Page 17: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/17.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 17
that the latter dimension is equal to the number of l-multipartitions λ withiµλ ∼ i. By Theorem 1 again, the isomorphism F ⊗R Hτ
d∼→ Hµ
d inducesan isomorphism F ⊗R Z(Hτ
d) ∼→ Z(Hµd ). From this, we get an isomorphism
F ⊗R Z(b(i)Hτd) ∼→ Z(b(i)Hµ
d ). So dimF Z(b(i)Hµd ) is the same as the rank
of Z(b(i)Hτd), i.e. the number of l-multipartitions λ of d with iµ
λ ∼ i.
5. The center of parabolic category O
Let g = gln(C) with natural module V . We denote the standard basisfor V by v1, . . . , vn and use the notation ei,j for the matrix units in g. Lett be the subalgebra of g of diagonal matrices and b be the standard Borelsubalgebra of upper triangular matrices. Let ε1, . . . , εn be the basis fort∗ dual to the standard basis e1,1, . . . , en,n for t. We write L(α) for theirreducible highest weight module of highest weight (α− ρ), where ρ is theweight −ε2 − 2ε3 − · · · − (n− 1)εn. Viewing elements of S(t) as polynomialfunctions on t∗, the Harish-Chandra homomorphism
Ψ : Z(g) ∼−→ S(t)Sn
can be defined by declaring that Ψ(z) is the unique element of S(t) with theproperty that z acts on L(α) by the scalar (Ψ(z))(α) for each α ∈ t∗. Itsimage is the algebra S(t)Sn of symmetric polynomials (for the usual actionof Sn on t not the dot action).
In order to write down a canonical generating set for Z(g), let u be anindeterminate and set ei,j := ei,j + δi,j(u + 1 − i). Then the coefficientsz1, . . . , zn of the polynomial
z(u) =n∑
r=0
zrun−r :=
∑w∈Sn
sgn(w)ew1,1 · · · ewn,n ∈ U(g)[u]
are algebraically independent generators for the center Z(g) of U(g); seee.g. [CL, §2.2]. We adopt the convention that zr = 0 for r > n. Theimage of z(u) under Ψ (extended in the obvious way to polynomials in theindeterminate u) is given by the formula
Ψ(z(u)) = (u + e1,1) · · · (u + en,n).
Hence, for α =∑n
i=1 aiεi ∈ t∗, the central element zr acts on L(α) asthe scalar er(α) = er(a1, . . . , an), the rth elementary symmetric functionevaluated at the numbers a1, . . . , an. Let P denote the free abelian group onbasis γa | a ∈ C. For α =
∑ni=1 aiεi ∈ t∗, let θ(α) = γa1 + · · ·+ γan ∈ P .
The point of this definition is that L(α) and L(β) have the same centralcharacter if and only if θ(α) = θ(β). In this way, we have parametrizedthe central characters of U(g) by the set of all ν ∈ P whose coefficients arenon-negative integers summing to d.
Let ∆ : U(g) → U(g) ⊗ U(g) be the canonical comultiplication on theuniversal enveloping algebra of g. We are only going to need to work withthe homomorphism δ : U(g) → U(g) ⊗ EndC(V ) obtained by composing
![Page 18: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/18.jpg)
18 JONATHAN BRUNDAN
∆ with the map 1 ⊗ ϕ where ϕ : U(g) → EndC(V ) here is the algebrahomomorphism arising from the representation of g on V . Also, let
Ω =n∑
i,j=1
ei,j ⊗ ej,i ∈ U(g)⊗ EndC(V ).
The following lemma is probably classical.
Lemma 5.1. For r ≥ 0, we have that
δ(zr) = zr ⊗ 1 +r−1∑s=0
(−1)s(zr−1−s ⊗ 1)Ωs.
Proof. Both sides of the equation are elements of U(g) ⊗ EndC(V ), socan be viewed as n × n matrices with entries in U(g). To see that thesematrices are equal, it suffices to check that their entries act in the same wayon sufficiently many finite dimensional irreducible representations of g. Thisreduces to the following problem. Take α =
∑ni=1 aiεi ∈ t∗ such that L(α)
is finite dimensional and
L(α)⊗ V ∼=n⊕
i=1
L(α + εi).
We need to show that the left and right hand sides of the given equationdefine the same endomorphism of L(α)⊗V . For such an α, let M := L(α)⊗Vand write v+ for a highest weight vector in L(α). For i = 0, . . . , n, defineMi to be the submodule of M generated by the vectors v+ ⊗ vj (j ≤ i).Since v+ ⊗ vi is a highest weight vector of weight α + εi modulo Mi−1, theassumption on α implies that 0 = M0 ⊂M1 ⊂ · · · ⊂Mn = M is a filtrationof M such that Mi/Mi−1
∼= L(α + εi). Since the filtration splits, there is aunique highest weight vector xi ∈ M such that xi ≡ v+ ⊗ vi (mod Mi−1).Now we just check that the left and right hand sides of the given equationact on these highest weight vectors by the same scalar for each i = 1, . . . , n.Of course δ(zr) acts on xi as er(α + εi), while each zt ⊗ 1 acts as et(α) onall of M . Finally, since Ω defines a g-module endomorphism of M , it leavesMi−1 invariant and maps xi to a scalar multiple of itself. To compute thescalar, note that
Ω(v+ ⊗ vi) =∑j≤i
(ei,jv+)⊗ vj = (ei,iv+)⊗ vi +∑j<i
(ei,jv+)⊗ vj
= (ai + i− 1)v+ ⊗ vi +∑j<i
(ei,j(v+ ⊗ vj)− v+ ⊗ vi)
≡ aiv+ ⊗ vi (mod Mi−1).
Hence, Ωxi = aixi. So the equation we are trying to prove reduces tochecking that
er(α + εi) = er(α) +r−1∑s=0
(−1)ser−1−s(α)asi
![Page 19: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/19.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 19
for each i = 1, . . . , n. This follows from the following general identity whichis true for all r, k ≥ 0:
er(u1, . . . , uk, u + 1) = er(u1, . . . , uk, u) +r−1∑s=0
(−1)ser−1−s(u1, . . . , uk, u)us.
To see this, expand both sides using the obvious formula et(u1, . . . , uk, v) =et(u1, . . . , uk) + et−1(u1, . . . , uk)v.
Let M be any g-module. Recall from [AS, §2.2] that the degenerateaffine Hecke algebra Hd over the ground field C acts naturally on the righton M ⊗ V ⊗d by g-module endomorphisms. The action of each w ∈ Sd
arises from its usual action on V ⊗d by place permutation. The action of x1
(from which one can deduce the action of all other xi’s) is the same as leftmultiplication by Ω⊗ 1⊗(d−1). For any partition µ with `(µ) ≤ d, recall thenotation pd(µ) introduced just before Theorem 3.2; we are now viewing thisexpression as an element of Hd.
Lemma 5.2. For any r, d ≥ 0 and any highest weight module M of highestweight α−ρ ∈ t∗, the endomorphism of M⊗V ⊗d define by left multiplicationby zr ∈ Z(g) is equal to the endomorphism defined by right multiplication by∑
µ
(−1)|µ|(
d− `(µ)d− `(µ)
)er−|µ|(α)pd(µ) ∈ Z(Hd)
where the sum is over partitions µ of length `(µ) ≤ d and size |µ| ≤ r, and µdenotes the partition (µ1− 1 ≥ · · · ≥ µ`(µ)− 1) obtained from µ by removingthe first column of its diagram.
Proof. Let δd : U(g)→ U(g)⊗EndC(V )⊗d be the map defined inductivelyby setting δ0 = 1 and δd = (δ ⊗ 1⊗(d−1)) δd−1 for d ≥ 1. Let Ωi :=(δi−1⊗ 1)(Ω)⊗ 1(d−i) ∈ U(g)⊗EndC(V )⊗d. If we adopt the convention that(−Ω)−1 = 1, we can write the conclusion of Lemma 5.1 simply as
δ(zr) =r∑
s=0
(zr−s ⊗ 1)(−Ω)s−1.
Proceeding from this by induction on d, it is straightforward to deduce that
δd(zr) =∑
s1,...,sd≥0s1+···+sd≤r
(zr−s1−···−sd⊗ 1⊗d)(−Ω1)s1−1 · · · (−Ωd)sd−1,
interpreting the right hand side with same convention. Since xi+1 = sixisi+si and x1 acts as Ω1 by definition, one checks by induction that xi acts asΩi for each i. Hence on applying our expression to M ⊗ V ⊗d, we deducethat zr acts in the same way as∑
s1,...,sd≥0s1+···+sd≤r
er−s1−···−sd(α)(−x1)s1−1 · · · (−xd)sd−1,
![Page 20: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/20.jpg)
20 JONATHAN BRUNDAN
again interpreting (−xi)−1 as 1. It is now a combinatorial exercise to rewritethis expression as formulated in the statement of the lemma.
Corollary 5.3. For any highest weight module M , the subalgebra of thealgebra EndC(M ⊗ V ⊗d)op generated by the endomorphisms zr (1 ≤ r ≤ n)coincides with the subalgebra generated by xr
1 + · · ·+ xrd (1 ≤ r ≤ d).
Proof. Since we are working over a field of characteristic 0, any symmetricpolynomial in x1, . . . , xd lies in the subalgebra generated by the power sumsxr
1 + · · ·+ xrd (1 ≤ r ≤ d). By Lemma 5.2, the endomorphism defined by zr
can be expressed as a symmetric polynomial in x1, . . . , xd, so it lies in thesubalgebra generated by the power sums.
Conversely, we show by induction on r ≥ 0 that every homogeneous sym-metric polynomial in x1, . . . , xd of degree r acts on M ⊗ V ⊗d in the sameway as some element of the subalgebra generated by z1, . . . , zr+1. For theinduction step, every homogeneous symmetric polynomial of degree r lies inthe subalgebra generated by the power sums xs
1 + · · ·+ xsd (1 ≤ s ≤ r). By
induction all of these power sums with s < r certainly lie in the subalge-bra generated by z1, . . . , zr+1, so it just remains to show that xr
1 + · · ·+ xrd
does too. By Lemma 5.2, the image of zr+1 is the same as the image ofxr
1 + · · ·+ xrd (which is the term pd(µ) when µ = (r + 1)) plus a linear com-
bination of symmetric polynomials in x1, . . . , xd of strictly smaller degree,which we already have by the induction hypothesis.
Let µ = (µ1, . . . , µl) be a composition of n and let p be the corre-sponding standard parabolic subalgebra of g with standard Levi subalgebrah ∼= glµ1
(C)⊕ · · · ⊕ glµl(C), as in the introduction. We are interested in the
category Oµ of all finitely generated g-modules that are locally finite overp and integrable over h. Let Hµ
d denote the degenerate cyclotomic Heckealgebra associated to the polynomial (x− µ1) · · · (x− µl) from the previoussection over the ground field F = C. We are going to apply the Schur-Weylduality for higher levels from [BK3] (taking the choice of origin there to bec = (n, . . . , n)) to connect the category Oµ to the finite dimensional algebrasHµ
d for all d ≥ 0. Actually, [BK3] only considered the special case that µ isa partition, i.e. µ1 ≥ · · · ≥ µl, so we will need to extend some of the resultsof [BK3] to the general case as we go.
To start with, we need some combinatorial definitions. Let
Colµ =
α =
n∑i=1
aiεi ∈ t∗∣∣∣∣ a1, . . . , an ∈ Z such that ai > ai+1 for
all i 6= µ1, µ1 + µ2, . . . , µ1 + · · ·+ µl
,
so called because its elements can be visualized as column strict tableaux ofcolumn shape µ like in [B1, §2] or [BK3, §4]. The irreducible modules in Oµ
are the modules L(α) | α ∈ Colµ. Hence the set Y µ = θ(α) | α ∈ Colµnaturally parametrizes the central characters arising from modules in Oµ.Given ν ∈ Y µ, we let Colµν = α ∈ Colµ | θ(α) = ν and define Oµ
ν to be theSerre subcategory of Oµ generated by the modules L(α) | α ∈ Colµν. The
![Page 21: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/21.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 21
category Oµ then decomposes as
Oµ =⊕
ν∈Y µ
Oµν .
This is the same as the central character decomposition of Oµ that wasdescribed in the introduction.
Let γ ∈ Y µ be the special element γ =∑l
i=1
∑µia=1 γa. The key feature
of γ is that the set Colµγ contains just one weight α. In other words, forthis α, L(α) is the unique irreducible module in Oµ with central charac-ter parametrized by γ. This special irreducible module, which we denotehenceforth by Pµ, is automatically projective. For d ≥ 0, let
Y µd = γ − (γi1 − γi1+1)− · · · − (γid − γid+1) ∈ Y µ | i1, . . . , id ∈ Z,
Colµd = α ∈ Colµ | θ(α) ∈ Y µd .
The irreducible modules L(α) | α ∈ Colµd are significant because they areexactly the irreducible constituents of the module Pµ⊗V ⊗d. This statementis proved in [BK3, Lemma 4.2] in the case that µ is a partition, and the sameargument works in general.
Lemma 5.4. The map Y µd → Xµ
d sending ν = γ−(γi1−γi1+1)−· · ·−(γid−γid+1) to i = (i1, . . . , id) is injective with image equal to
iµλ | λ ∈Md(l) such that `(λ(r)) ≤ µr for r = 1, . . . , l.
For ν ∈ Y µd corresponding to i ∈ Xµ
d in this way, the map Colµν → Md(l)sending α =
∑ni=1 aiεi to the multipartition λ = (λ(1), . . . , λ(l)) such that
λ(r) = (aµ1+···+µr−1+1−µr, aµ1+···+µr−1+2− (µr−1), . . . , aµ1+···+µr−1+µr −1)is injective with image equal to λ ∈Md(l) | iµ
λ ∼ i.
Proof. We leave this as a combinatorial exercise. It is helpful to use theinterpretation of Colµν as the set of column strict tableaux of column shapeµ and type ν as in [BK3, §4].
As explained before Lemma 5.2, the degenerate affine Hecke algebra Hd
acts on the right on Pµ ⊗ V ⊗d by g-module endomorphisms. We let
ρµ : Hd → Endg(Pµ ⊗ V ⊗d)op
be the resulting algebra homomorphism. The following lemma is the keyto extending the results from [BK3] to general µ. The proof of this is non-trivial: the parabolic categories Oµ and Oµ′ for conjugate compositions µand µ′ are not in general equivalent so it is necessary to work at the level ofderived categories adapting an argument due to Mazorchuk and Stroppel.
![Page 22: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/22.jpg)
22 JONATHAN BRUNDAN
Lemma 5.5. Given another composition µ′ ∼ µ, there is an algebra iso-morphism ιµ,µ′ making the following diagram commute:
Hd
Endg(Pµ ⊗ V ⊗d)op ∼−−−−→ιµ,µ′
Endg(Pµ′ ⊗ V ⊗d)op.
ρµ
ρµ′
@@
Moreover, ιµ,µ′ intertwines the natural actions of Z(g) on the two endomor-phism algebras.
Proof. As explained in the proof of [MS, Theorem 5.4], there is an adjointpair (F,G) of functors (which are compositions of certain derived Zuckermanfunctors) between the bounded derived categories
Db(Oµ) Db(Oµ′).F−→←−G
with the following properties:(i) F and G commute with tensoring with finite dimensional g-modules,
that is, for any finite dimensional g-module V there are given naturalisomorphisms αV : F?⊗V→?⊗V F and βV : G?⊗V→?⊗V Gsuch that the following two diagrams commute for any morphismf : V →W of finite dimensional g-modules:
F?⊗ VαV−−−−→ ?⊗ V F
1F (id⊗f)
y y(id⊗f)1F
F?⊗W −−−−→αW
?⊗W F
G?⊗ VβV−−−−→ ?⊗ V G
1G(id⊗f)
y y(id⊗f)1G
G?⊗W −−−−→βW
?⊗W G
(ii) The isomorphisms αV and βV are compatible with the unit η : Id→GF and counit ε : F G→ Id of the canonical adjunction betweenF and G, i.e. the following diagrams commute:
?⊗ V1?⊗V η−−−−→ ?⊗ V G Fyη1?⊗V
xβV 1F
G F?⊗ V −−−−→1GαV
G?⊗ V F
?⊗ V1?⊗V ε←−−−− ?⊗ V F Gxε1?⊗V
xαV 1G
F G?⊗ V −−−−→1F βV
F?⊗ V G
(iii) F and G restrict to mutually inverse equivalences of categories be-tween Oµ
γ and Oµ′γ .
(iv) The following associativity pentagon commutes for any two finitedimensional g-modules V and W :
![Page 23: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/23.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 23
F?⊗ (V ⊗W ) −−−−→ ?⊗ (V ⊗W ) F∥∥∥ ∥∥∥F?⊗W?⊗ V −−−−−−→
αW1?⊗V
?⊗W F?⊗ V −−−−−−→1?⊗W αV
?⊗W?⊗ V F
αV⊗W
(v) F transforms the endomorphism of an object M defined by left mul-tiplication by z ∈ Z(g) to the endomorphism of FM defined by leftmultiplication by the same element z.
We now explain how to deduce the lemma from these facts. By (iii), we canchoose an isomorphism ϕ0 : F (Pµ) ∼→ Pµ′ . Then define a homomorphismϕd : F (Pµ ⊗ V ⊗d) → Pµ′ ⊗ V ⊗d by ϕd := (ϕ0 ⊗ idV ⊗d) αV ⊗d . Thisis an isomorphism in Db(Oµ′) by (i). Define another homomorphism ϕd :Pµ⊗V ⊗d → G(Pµ′⊗V ⊗d) by ϕd := GϕdηP µ⊗V ⊗d . This is an isomorphismin Db(Oµ) by (ii). Then we get an algebra homomorphism
ιµ,µ′ : Endg(Pµ ⊗ V ⊗d)op → Endg(Pµ′ ⊗ V ⊗d)op
mapping f to ϕd Ff ϕ−1d and another algebra homomorphism
ιµ′,µ : Endg(Pµ′ ⊗ V ⊗d)op → Endg(Pµ ⊗ V ⊗d)op
sending g to ϕ−1d Gg ϕd, such that ιµ,µ′ and ιµ′,µ are mutual inverses.
Moreover, by (v), both homomorphisms intertwine the natural actions ofZ(g). It just remains to check that ιµ,µ′ is compatible with the action of Hd.The compatibility of ιµ,µ′ with the action of each w ∈ Sd follows immediatelyfrom the naturality in (i). So it suffices to show that it is compatible with theaction of x1. For this, we first reduce using (iv) to checking compatiblity justin the special case d = 1. In that case it follows from (v) since by Lemma 5.1we have that x1 acts as left multiplication by Ω = z2 ⊗ 1 + z1 ⊗ 1 − δ(z2),and z2 ⊗ 1 and z1 ⊗ 1 act by the same scalars on Pµ ⊗ V and Pµ′ ⊗ V .
We can formulate the critical result needed from [BK3] as follows. Recallthe primitive central idempotents b(i) ∈ Hµ
d for each i ∈ Xµd introduced just
after Lemma 4.2.
Theorem 5.6. The image of ρµ : Hd → EndC(Pµ ⊗ V ⊗d)op coincides withthe endomorphism algebra Endg(Pµ⊗V ⊗d)op. Moreover, the representationρµ factors through the quotient Hµ
d of Hd, and the kernel of the induced mapHµ
d Endg(Pµ⊗V ⊗d)op is generated by (1−e), where e ∈ Hµd is the central
idempotent e =∑
i b(i) summing over all i lying in the set
iµλ | λ ∈Md(l) such that `(λ(r)) ≤ µr for r = 1, . . . , l
from Lemma 5.4. Hence, ρµ induces an isomorphism between the sum ofblocks eHµ
d of Hµd and the endomorphism algebra Endg(Pµ ⊗ V ⊗d)op.
![Page 24: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/24.jpg)
24 JONATHAN BRUNDAN
Proof. If µ is a partition, this follows by [BK3, Theorem 5.13] and [BK3,Corollary 6.7]. It then follows for arbitrary µ too by Lemma 5.5.
Corollary 5.7. The center of Endg(Pµ ⊗ V ⊗d)op is generated by the endo-morphisms z1, . . . , zn.
Proof. By Corollary 3.3 we know already that Z(Hµd ) is generated by the
power sums xr1 + · · · + xr
d for 1 ≤ r ≤ d. By Theorem 5.6, we can identifythe endomorphism algebra Endg(Pµ ⊗ V ⊗d)op with eHµ
d for some centralidempotent e ∈ Hµ
d . So its center is generated by the restrictions of thesepower sums to the module Pµ ⊗ V ⊗d. Now apply Corollary 5.3.
Now let us restrict attention to a single central character. For the restof the article, we fix ν ∈ Y µ
d and define i = (i1, . . . , id) ∈ Xµd from ν =
γ − (γi1 − γi1+1)− · · · − (γid − γid+1) as in Lemma 5.4. Let
eµν ∈ Endg(Pµ ⊗ V ⊗d)op
be the central idempotent projecting Pµ⊗V ⊗d onto its component of gener-alized central character parametrized by ν. Note (Pµ⊗ V ⊗d)eµ
ν is non-zero;see e.g. [BK3, Lemma 4.2]. Identifying Endg(Pµ⊗V ⊗d)op with eHµ
d accord-ing to Theorem 5.6, it follows that eµ
ν is identified with a non-zero centralidempotent in Hµ
d .
Lemma 5.8. eµν = b(i).
Proof. We first prove this in the special case that µ is a partition. Cer-tainly eµ
ν is a non-zero sum of the primitive central idempotents b(i) fori ∈ Xµ
d . So we just need to show that eµν acts as zero on Sµ
λ for all λ ∈Md(l)with iµ
λ 6∼ i. Given such a λ, this is clear from the definition of the idem-potent e in Theorem 5.6 unless `(λ(r)) ≤ µr for each r = 1, . . . , l. In thatcase, there is a unique weight α ∈ Colµd mapping to λ under the secondbijection from Lemma 5.4, and the assumption that iµ
λ 6∼ i is equivalent tothe statement that θ(α) 6= ν. Let M(α) be the parabolic Verma module inOµ of highest weight (α− ρ). By [BK3, Theorem 6.12], we have that
Homg(Pµ ⊗ V ⊗d,M(α)) ∼= Sµλ
as Hµd -modules. Since M(α) and (Pµ ⊗ V ⊗d)eµ
ν have different generalizedcentral characters, we have that
eµνHomg(Pµ ⊗ V ⊗d,M(α)) = Homg((Pµ ⊗ V ⊗d)eµ
ν ,M(α)) = 0.
Hence eµνSµ
λ = 0 as required.To deduce the general case, assume still that µ is a partition and take
another composition µ′ ∼ µ. We can find a central element zν ∈ Z(g) thatacts on Pµ⊗V ⊗d in the same way as eµ
ν and on Pµ′ ⊗V ⊗d in the same wayas eµ′
ν . In the notation of Lemma 5.5, we have shown that ρµ(b(i)) coincideswith the endomorphism of Pµ ⊗ V ⊗d defined by left multiplication by zν .
![Page 25: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/25.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 25
We need to prove that ρµ′(b(i)) does too. This follows because the map ιµ,µ′
commutes with the action of zν .
Now we can deduce the following refinement of Theorem 5.6.
Theorem 5.9. The map ρµν : b(i)Hµ
d → Endg((Pµ ⊗ V ⊗d)eµν )op induced by
the right action of Hµd on Pµ ⊗ V ⊗d is an algebra isomorphism. Moreover,
the center of this algebra is generated by the endomorphisms z1, . . . , zn, andis of dimension equal to the number of isomorphism classes of irreduciblemodules in Oµ
ν .
Proof. The first statement is immediate from Theorem 5.6 since eµν =
b(i). The fact that the center of Endg((Pµ ⊗ V ⊗d)eµν )op is generated by the
endomorphisms z1, . . . , zn is immediate from Corollary 5.7. The center isisomorphic to Z(b(i)Hµ
d ), which by Theorem 4.3 is of dimension equal tothe size of the set λ ∈ Md(l) | iµ
λ ∼ i. By Lemma 5.4, this is the sameas the size of the set Colµν , that is, the number of isomorphism classes ofirreducible modules in Oµ
ν .
We need just one more fact, which is a variation on a result of Irving [I].
Lemma 5.10. The injective hull of any module in Oµν with a parabolic
Verma flag is a finite direct sum of direct summands of (Pµ ⊗ V ⊗d)eµν .
Proof. We claim that every irreducible submodule of a parabolic Vermamodule in Oµ
ν embeds into (Pµ ⊗ V ⊗d)eµν . Since (Pµ ⊗ V ⊗d)eµ
ν is injectivethis implies the lemma. To prove the claim, recall that ν is an element ofthe set Y µ
d that parametrizes the central characters arising from irreducibleconstituents of Pµ ⊗ V ⊗d. So the claim follows by [BK3, Theorem 4.8]and [BK3, Corollary 4.6] in the special case that µ is actually a partition.Essentially the same proof as there proves the analogue of this theorem forarbitrary µ, providing one replaces the definition of “standard tableau” usedin [BK3] with the less familiar combinatorial notion from [B1, (2.2)].
Now finally we consider the commutative diagramZ(g)
Z(Oµν ) −−−−→
fµν
Z(Endg((Pµ ⊗ V ⊗d)eµν )op),
@@mµ
ν gµν
where mµν , fµ
ν and gµν are the natural multiplication maps.
Theorem 5.11. In the above diagram, the maps mµν and gµ
ν are surjec-tive and the map fµ
ν is an isomorphism. Hence, Z(Oµν ) is isomorphic to
Z(b(i)Hµd ) and is of dimension equal to the number of isomorphism classes
of irreducible module in Oµν .
Proof. We first prove that fµν is injective. Suppose we are given a natural
transformation z ∈ Z(Oµν ) defining the zero endomorphism of (Pµ⊗V ⊗d)eµ
ν .
![Page 26: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/26.jpg)
26 JONATHAN BRUNDAN
To show that z = 0, we need to show that z defines the zero endomorphismof every module M ∈ Oµ
ν . Let P be the projective cover of M and I bethe injective hull of P . Since P has a parabolic Verma flag by generaltheory, Lemma 5.10 implies that I is a finite direct sum of summands of(Pµ ⊗ V ⊗d)eµ
ν . Hence z defines the zero endomorphism of I. Since P em-beds into I and surjects onto M , we get from this that z defines the zeroendomorphism of M too. Now to finish the proof of the theorem, we knowalready from Theorem 5.9 that gµ
ν is surjective. Hence by the commutativ-ity of the diagram, mµ
ν and fµν must both be surjective too. The remaining
statements are immediate from Theorem 5.9.
Finally, we note for any ν ∈ Y µ that tensoring with a sufficiently largepower of determinant induces an equivalence between Oµ
ν and Oµν′ for some
ν ′ ∈ Y µd and some d ≥ 0. Given this, Theorem 2 from the introduction
follows from Theorem 5.11.
References
[AS] T. Arakawa and T. Suzuki, Duality between sln(C) and the degenerate affineHecke algebra, J. Algebra 209 (1998), 288–304.
[AMR] S. Ariki, A. Mathas and H. Rui, Cyclotomic Nazarov-Wenzl algebras, NagoyaMath. J. 182 (2006), 47–134.
[BG] K. Brown and K. Goodearl, Lectures on algebraic quantum groups, Birkhauser,2002.
[B1] J. Brundan, Dual canonical bases and Kazhdan-Lusztig polynomials, J. Algebra306 (2006), 17-46.
[B2] J. Brundan, Symmetric functions, parabolic category O and the Springer fiber,Duke Math. J. 143 (2008), 41–79.
[BK1] J. Brundan and A. Kleshchev, Hecke-Clifford superalgebras, crystals of type A(2)2`
and modular branching rules for bSn, Represent. Theory 5 (2001), 317-403.[BK2] J. Brundan and A. Kleshchev, Representation theory of symmetric groups and
their double covers, in: Groups, combinatorics and geometry (Durham, 2001), pp.31-53, World Scientific, 2003.
[BK3] J. Brundan and A. Kleshchev, Schur-Weyl duality for higher levels, to appear inSelecta Math.; math.RT/0605217.
[CL] R. Carter and G. Lusztig, On the modular representations of the general linearand symmetric groups, Math. Z. 136 (1974), 193–242.
[D] V. Drinfeld, Degenerate affine Hecke algebras and Yangians, Func. Anal. Appl. 20(1986), 56–58.
[E] D. Eisenbud, Commutative algebra with a view towards algebraic geometry, GTM150, Springer, 1994.
[ES] T. Enright and B. Shelton, Categories of highest weight modules: applications toclassical Hermitian symmetric pairs, Mem. Amer. Math. Soc. 67 (1987), no. 367.
[G] I. Grojnowski, Blocks of the cyclotomic Hecke algebra, preprint, 1999.[I] R. Irving, Projective modules in the category OS : self-duality, Trans. Amer. Math.
Soc. 291 (1985), 701–732.[J] G. James, The representation theory of the symmetric groups, Lecture Notes in
Mathematics, no. 682, Springer, 1978.[JM] G. James and A. Mathas, The Jantzen sum formula for cyclotomic q-Schur alge-
bras. Trans. Amer. Math. Soc. 352 (2000), 5381–5404.
![Page 27: Introduction degenerate affine Hecke algebra](https://reader034.vdocuments.us/reader034/viewer/2022042408/625e717d9848413ba553e494/html5/thumbnails/27.jpg)
DEGENERATE CYCLOTOMIC HECKE ALGEBRAS 27
[Ja] J. Jantzen, Kontravariante Formen aud induzierten Darstellungen halbeinfachenLie-Algebren, Math. Ann. 226 (1977), 53–65.
[Ju] A. Jucys, Symmetric polynomials and the center of the symmetric group ring,Report Math. Phys. 5 (1974), 107–112.
[Kh] M. Khovanov, Crossingless matchings and the cohomology of (n, n) Springer va-rieties, Commun. Contemp. Math. 6 (2004), 561–577.
[K] A. Kleshchev, Linear and Projective Representations of Symmetric Groups, Cam-bridge University Press, Cambridge, 2005.
[L] G. Lusztig, Cuspidal local systems and graded Hecke algebras I, Inst. Hautes
Etudes Sci. Publ. Math. 67 (1988), 145–202.[LM] S. Lyle and A. Mathas, Blocks of cyclotomic Hecke algebras, Adv. Math 216
(2007), 854–878.[Mac] I. Macdonald, Symmetric functions and Hall polynomials, Oxford Mathematical
Monographs, second edition, OUP, 1995.[MS] V. Mazorchuk and C. Stroppel, Projective-injective modules, Serre functors and
symmetric algebras, J. Reine Angew. Math. 616 (2008), 131–165.[M] G. Murphy, The idempotents of the symmetric group and Nakayama’s conjecture,
J. Algebra 81 (1983), 258–265.[P] K. Platt, Classifying the representation type of infinitesimal blocks of category OS ,
PhD thesis, University of Georgia, 2008.[R] O. Ruff, Centers of cyclotomic Sergeev superalgebras, preprint, 2008.[S] C. Stroppel, Perverse sheaves on Grassmannians, Springer fibres and Khovanov
homolog, to appear in Compositio Math.; math.RT/0608234.[W] W. Wang, Vertex algebras and the class algebras of wreath products, Proc. London
Math. Soc. 88 (2004), 381–404.
Department of Mathematics, University of Oregon, Eugene, OR 97403, USAE-mail address: [email protected]