arxiv:math/ v1 [math.rt] 31 Jul 2003

Size: px

Start display at page:

Download "arxiv:math/ v1 [math.rt] 31 Jul 2003"

Lynne Montgomery
5 years ago
Views:

1 Representations of rational Cherednik algebras of rank 1 in positive characteristic arxiv:math/ v1 [math.rt] 31 Jul Introduction Frédéric Latour September 13, 2018 Let Γ SL 2 (C) be a finite subgroup, and r be the number of conjugacy classes of Γ. Let D be the algebra of polynomial differential operators in one variable with complex coefficients. In the paper [CBH98], Crawley- Boevey and Holland introduced an r-parameter family of algebras H t,c1,...,c r 1 over C, which is a universal deformation of the semidirect product algebra CΓ D. They also described their representation theory, showing that it is related to the structure of the root system attached to Γ via the McKay s correspondence. The algebras of Crawley-Boevey and Holland are the simplest case of so called symplectic reflection algebras introduced in [EG02]. These algebras have interesting representation theory, about which little is known. The better understood case is that of rational Cherednik algebras corresponding to complex reflection groups [DO03, GGOR, CE], and especially that of real reflection (in particular, Weyl) groups [BEG03, Gor]. In the Weyl case, these algebras admit a q-deformation defined by Cherednik, whose representation theory (while having some similarities to the rational case) can be effectively studied by the technique of intertwiners [Che03] or geometric representation theory [Vas]. The goal of this paper is to begin the study of representation theory of rational Cherednik algebras in positive characteristic. Namely, we study the simplest case of rank 1, i.e. the algebras of [CBH98] for Γ = Z/rZ in characteristic p, which is prime to r. Our main result is a complete description of irreducible representations of such algebras. The paper is organized as follows. In Section 2, we state the main results. In Section 3, we prove the results for the quantum case, i.e. the case when the Planck s constant t is nonzero. In this case, generic irreducible representations have dimension pr. In Section 4, we prove the results for the classical case, i.e. the case when the Planck s constant t is zero. In this case, generic irreducible representations have dimension r. Acknowledgements. The author thanks his adviser Pavel Etingof for posing the problem and useful discussions, as well as for helping to write an introduction. The work of the author was partially supported by the National Science Foundation (NSF) grant DMS and by a Natural Sciences and Engineering Research Council of Canada (NSERC) Julie Payette research scholarship. 2 Statement of results Let k be an algebraically closed field of characteristic p and r 1 a positive integer relatively prime to p. Let ε k be a primitive r-th root of unity. Definition 2.1. Let t,c 1,...,c r 1 k. The algebra H t,c1,...,c r 1 over k is generated by x,y,s with relations s r = 1, sx = ε 1 xs, sy = εys, [y,x] = t c j s j. 1

2 In characteristic zero, this algebra has been studied in [CBH98]. In the sequel, we fix c 1,...,c r 1 and denote the algebra H t,c1,...,c r 1 simply by H t. We will classify irreducible representations of H t. In particular, we show that they are all finite dimensional. It is clear that for t 0, H t is isomorphic to H 1 with rescaled parameters c j. Thus it is sufficient to classify irreducible representations of H 0 and H 1. So we set H 1 = H, H 0 = H. Remark 2.2. In the trivial case r = 1, H is the polynomial algebra in two variables and H is the Weyl algebra. In the case r = 2, as pointed out in [CM02], H is a quotient of the universal enveloping algebra U(osp(1, 2)) of the Lie superalgebra osp(1, 2) by a central character. Below we will need the element = xy c j (1 ε j ) 1 s j, h def both in H and H. This element (in the case r = 2) was introduced in [CM02]. 2.1 Irreducible representations of H The elements x pr,y pr are central in H. Thus they have to act as scalars in irreducible representations. Proposition 2.3. Suppose that a,b k are not both zero. Then, for each β k which satisfies the equation r 1 m=0 f ( β + c j (1 ε j ) 1 ε mj) = ab, (1) where f(z) = z p z, there exists a unique irreducible representation V β,a,b of H, where x pr acts on V β,a,b through multiplication by a, y pr acts on V β,a,b through multiplication by b, and the spectrum of h in V β,a,b is β +F p. Explicitly, the representation V β,a,b looks as follows. Let µ i = β +i+ c j (1 ε j ) 1 ε ij, for all i = 0,...,pr 1. Then for a 0 the representation V β,a,b has a basis {v 0,v 1,...,v pr 1 } in which xv i = v i+1 for i = 0,...,pr 2, xv pr 1 = av 0, yv i = µ i v i 1 for i = 1,...,pr 1, yv 0 = a 1 µ 0 v pr 1, sv i On the other hand, if a = 0 (but b 0), we have = ε i v i. for i = 0,...,pr 1. xv i = µ i+1 v i+1 for i = 0,...,pr 2, xv pr 1 = b 1 µ 0 v 0, yv i = v i 1 for i = 1,...,pr 1, yv 0 = bv pr 1, sv i = ε i v i. for i = 0,...,pr 1. Thus dimv β,a,b = pr. Two roots β and β of (1) yield isomorphic representations if and only if β β F p. Furthermore, every irreducible representation of H on which x pr and y pr do not both act as zero is of the form V β,a,b for some β,a,b. 2

3 Example 2.4. For r = 2, V β,a,b (a 0) will has the following form: a 0 µ µ 2 0 x ,y µ 2p a 1 µ ,s Proposition 2.5. For each m Z/rZ, there exists a unique irreducible representation W m of H with x pr = y pr = 0 and sv = ε m v whenever yv = 0. The dimension D pr of W m is the smallest positive integer satisfying the equation D = W m has a basis {v 0,v 1,...,v D 1 }, such that D 1 c j ε (m i)j. i=0 xv i = v i+1, for 0 i D 2, xv D 1 = 0, yv i = µ i v i 1 for 1 i D 1, yv 0 = 0, sv i = ε m i v i for 0 i D 1, where µ k = k k 1 r 1 i=0 c jε (m i)j. Every irreducible representation of H on which x pr and y pr both act as zero is of the form W m for some m. Remark 2.6. For generic c j, we have dimw m = pr for all m. 2.2 Irreducible representations of H The elements x r,y r and h are central in H, so they must act as scalars in irreducible representations. Proposition 2.7. Suppose that a,b k are not both zero. Then, for each β which satisfies the equation r 1 ab = β + c j (1 ε j ) 1 ε mj, (2) m=0 there exists a unique irreducible representation V β,a,b of H, where x r acts on V β,a,b through multiplication by a, y r acts on V β,a,b through multiplication by b, and h acts on V β,a,b through multiplication by β. Explicitly, the representation V β,a,b looks as follows. Let µ i = β + c j (1 ε j ) 1 ε ij, for all i = 0,...,r 1. Then for a 0 the representation V β,a,b has a basis {v 0,v 1,...,v r 1 } in which xv i = v i+1 for i = 0,...,r 2, xv r 1 = av 0, yv i = µ i v i 1 for i = 1,...,r 1, yv 0 = a 1 µ 0 v r 1, sv i = ε i v i. for i = 0,...,r 1. 3

4 On the other hand, if a = 0 (but b 0), we have xv i = µ i+1 v i+1 for i = 0,...,r 2, xv r 1 = b 1 µ 0 v 0, yv i = v i 1 for i = 1,...,r 1, yv 0 = bv r 1, sv i = ε i v i. for i = 0,...,r 1. Thus dimv β,a,b = r. Every irreducible representation of H on which x r and y r do not both act as zero is of the form V β,a,b for some β,a,b. Proposition 2.8. For each m Z/rZ, there exists a unique irreducible representation W m of H with x r = y r = 0 and sv = ε m v whenever yv = 0. The dimension D r of W m is the smallest positive integer satisfying the equation W m has a basis {v 0,v 1,...,v D 1 }, such that 0 = D 1 c j ε (m i)j. i=0 xv i = v i+1, for 0 i D 2, xv D 1 = 0, yv i = µ i v i 1 for 1 i D 1, yv 0 = 0, sv i = ε m i v i for 0 i D 1, where µ k = k 1 r 1 i=0 c jε (m i)j. Every irreducible representation of H on which x r and y r both act as zero is of the form W m for some m. 3 Proof of propositions 2.3 and 2.5 Lemma 3.1 (PBW for H, easy direction). The elements x i y j s l, 0 i,j, 0 l r 1 span H over k. Proof. Given a product of x,y,s in any order, one can ensure that the y s are to the right of all the x s by using yx = xy+1 r 1 c js j repeatedly, and one can also ensure that the s s are to the right of all the x s and y s by using sx = ε 1 xs and sy = εys repeatedly. Lemma 3.2. x pr and y pr belong to the center Z(H) of H. Proof. First, let us show that x pr Z(H). It is enough to show that [x pr,y] = [x r,s] = 0. But x r s = ε r sx r = 4

5 sx r, so [x r,s] = 0. Now let g(s) = 1 r 1 c js j. Then, yx r = (yx)x r 1 = (xy+g(s))x r 1 = x(yx)x r 2 +g(s)x r 1 = = x r y+g(s)x r 1 +xg(s)x r 2 + +x r 1 g(s) = x r y+rx r 1 ( + c j s j x r 1 +xs j x r 2 + +x r 1 s j) = x r y+rx r 1 + c j (1+ε j + +ε j(r 1) )s j x r 1 = x r y+rx r 1, since 1 + z + + z r 1 = 0 whenever z 1 is an r-th root of unity. Thus [y,x r ] = rx r 1, and hence [y,x pr ] = prx pr 1 = 0. This completes the proof that x pr Z(H). The proof that y pr Z(H) is similar. Corollary 3.3. H is finitely generated as a module over its center. Proof. From Lemmas 3.1 and 3.2, we see that H is generated over its center by x i y j s l, 0 i,j pr 1, 0 l r 1. Corollary 3.4. Every irreducible H-module is finite-dimensional over k. Proof. Let V be an irreducible H-module. Then V is cyclic; that is, V = H/J, where J is a left ideal of H. By corollary 3.3, it follows that V is a finitely generated Z(H)-module. Hence, there exists a maximal ideal M Z(H) such that V/MV 0. But MV is asubmodule ofthe irreducibleh-module V, somv = 0. Thus the action of H in V factors through H/MH, which is a finite-dimensional algebra. So V = (H/MH)/L for some left ideal L of H/MH. Hence V is finite-dimensional. Thus Schur s lemma implies that central elements of H act as scalars in any irreducible H-module. Lemma 3.5. One has [h,x] = x,[h,y] = y,[h,s] = 0. Proof. We have [h,x] = hx xh = xyx x 2 y+ c j (1 ε j ) 1 (xs j s j x) = x[y,x]+x c j s j = x[y,x]+x(1 [y,x]) = x. Similarly, [h,y] = y. Finally, sxy = ε 1 xsy = xys. From this it follows that s commutes with h. 5

6 Lemma 3.6. Let V be a representation of H. Then, the sum of the common eigenspaces of h and s is a subrepresentation. Proof. Let v V be a common eigenvector of h and s, with eigenvalues λ and µ respectively. Then, using lemma 3.5, h(xv) = xhv +xv = (λ+1)(xv), h(yv) = yhv yv = (λ 1)(yv), h(sv) = shv = λ(sv), s(xv) = ε 1 xsv = ε 1 µ(xv), s(yv) = εysv = εµ(yv), s(sv) = µ(sv). Thus, xv,yv and sv are also common eigenvectors of h and s. The result follows. Corollary 3.7. If V is an irreducible representation of H, then V = β,m V[β,m], where V[β,m] is the common eigenspace of h and s with eigenvalues β and ε m. Corollary 3.8. Let H be the subalgebra of H generated by Z(H),h and s. Then H is commutative. Proof. Follows from lemma 3.5. Lemma 3.9. One has x m y n s l H for all m,n,l such that pr divides m n. Proof. For all m 1, we have x m y m = x m 1 (xy)y m 1 = x m 1 (h+f 0 (s))y m 1 for some f 0 (s) k[s] = f 1 (s)x m 1 y m 1 +x m 1 hy m 1 for some f 1 (s) k[s] = f 1 (s)x m 1 y m 1 +x m 1 y m 1 h (m 1)x m 1 y m 1. Using induction, it follows that x m y m H for all m 0. Using lemma 3.2, we see that x m y n s l H whenever pr divides m n. Corollary Let V be an irreducible H-module. Then dimv[β,m] 1 for each β k,m Z/rZ. Moreover, if V[β,m] 0 and V[β,m ] 0, then β β is an element of the prime field F p k, and thus dimv pr. Proof. Let v V be nonzero. Since V is irreducible, we have Hv = V. By lemma 3.1, we know that V is generated over k by x i y j s l v, 0 i,j,0 l r 1. By lemma 3.2, it follows that V is generated over k by x i y j s l v, 0 i,j pr 1,0 l r 1. Now suppose V[β,m] 0, and let v V[β,m] be nonzero. Then x i y j s l v V[β + i j,m i + j] for all i,j,l. This proves the second part of the corollary, and also implies that V[β,m] is generated by x i y i s l v with 0 i pr 1. Thus V[β,m] Hv, by lemma 3.9. But it is easy to see that Hv V[β,m]. Thus Hv = V[β,m]. Since this is true for all nonzero v V[β,m], we conclude that V[β,m] is an irreducible representation of H. Since H is commutative, we see that V[β,m] is one dimensional. This proves the first part of the corollary. 6

7 Proof of proposition 2.3. Let V be an irreducible representation of H. Let v V[β,m] be nonzero. Then x i v V[β + i,m i] for all i. By lemma 3.2, we know that x pr,y pr act on V by multiplication by scalars a,b respectively. Assume a 0. Then x pr v = av 0, so x i v 0 for all 0 i pr 1, and thus V[β +i,m i] 0 for 0 i pr 1. Applying corollary 3.10, and using the fact that p,r are relatively prime, we conclude that dimv = pr and dimv[β,m ] = 1 for β = β,β +1,...,β +(p 1),0 m r 1. We may now assume that m = 0. def Now let v i = x i v for i = 0,1,...,pr. In particular, v 0 = v and v pr = av. Then the v i,0 i pr 1, form a basis of V. We have v i V[β +i, i], so sv i = ε i v i. For each i, yv i V[β +i 1, i+1], so we let yv i = µ i v i 1 for 1 i pr. Then, for 1 i pr, we have so (β +i)v i = hv i = xy c j (1 ε j ) 1 s j v i = µ i c j (1 ε j ) 1 ε ij v i, µ i = β +i+ c j (1 ε j ) 1 ε ij, which proves uniqueness. Now it is easy to check that V β,a,b = span{v i,0 i pr 1}, xv i = v i+1, 0 i pr 1 yv i = µ i v i 1, 1 i pr sv i = ε i v i, 0 i pr v pr = av 0 defines a representation of H. Furthermore, the representation is irreducible, since any nonzero subrepresentation of V β,a,b would have dimension pr, by the arguments contained in this proof. We note that Therefore, ab = = = abv 0 = bv pr = y pr v pr = pr i=1 r 1 ( pr i=1 µ i )v 0. β +i+ c j (1 ε j ) 1 ε ij m=0 i=0 r 1 m=0 p 1 β +i+ c j (1 ε j ) 1 ε mj f β + c j (1 ε j ) 1 ε mj, where f(z) = z p z. It remainsto showthat V β,a,b = Vβ,a,b ifand only ifβ β F p. But if β β F p, then the common eigenvalues of h and s for V β,a,b and V β,a,b are the same, so V β,a,b = Vβ,a,b by the arguments in this proof. If β β / F p, then the common eigenvalues of h and s for V β,a,b and V β,a,b are different, so V β,a,b and V β a,b cannot be isomorphic. A similar argument works in the case a = 0,b 0. 7

8 Proof of proposition 2.5. Let V be an irreducible representationofhwith x pr = y pr = 0. Let v be a common eigenvector of h and s. Since x pr V = 0 and y pr V = 0, we can find minimal d,d such that x D v = y d v = 0. Let v i = y i v,1 i < d; v 0 = v; v i = x i v,1 i < D. Since V is irreducible, we know that the v i form a basis of V and that xv i 0 for 1 i < d, yv i 0 for 1 i < D. Thus, by scaling and relabeling, and using corollary 3.10, we may assume that V has a basis v 0,v 1,...,v D 1 with xv i = v i+1, for 0 i D 2; xv D 1 = 0; yv i = µ i v i 1 for 1 i D 1; yv 0 = 0; sv i = ε m i v i for 0 i D 1. In order for this to be a representation, we need (yx xy)v i == 1 c j s j v i. Writing µ D = µ 0 = 0, this gives Adding up (3) for 0 i k 1 gives In particular, µ i+1 µ i = 1 c j ε (m i)j for 0 i D 1. (3) k 1 µ k = k c j ε (m i)j. 0 = µ D = D i=0 D 1 c j ε (m i)j. i=0 As we saw earlier, in order for the representation to be irreducible, we need µ k 0 for 1 k D 1, which translates as k 1 0 k c j ε (m i)j, 1 k D 1. i=0 Corollary 3.11 (PBW for H). The elements x i y j s l, 0 i,j, 0 l r 1 form a basis of H over k. Proof. This follows because the elements x i y j s l act as linearly independent operators on β,a,b V β,a,b. 8

9 4 Proof of propositions 2.7 and 2.8 In this section, several proofs will be omitted because they are essentially identical to the corresponding proofs in the previous section. Lemma 4.1 (PBW for H, easy direction). The elements x i y j s l, 0 i,j, 0 l r 1 span H over k. Lemma 4.2. x r and y r belong to the center Z(H ) of H. Proof. First, let us show that x r Z(H ). It is enough to show that [x r,y] = [x r,s] = 0. But x r s = ε r sx r = sx r, so [x r,s] = 0. Now let g(s) = r 1 c js j. Then, yx r = (yx)x r 1 = (xy+g(s))x r 1 = x(yx)x r 2 +g(s)x r 1 = = x r y+g(s)x r 1 +xg(s)x r 2 + +x r 1 g(s) = x r ( y+ c j s j x r 1 +xs j x r 2 + +x r 1 s j) = x r y+ c j (1+ε j + +ε j(r 1) )s j x r 1 = x r y, since 1+z + +z r 1 = 0 whenever z 1 is a r-th root of unity. Thus [y,x r ] = 0. This completes the proof that x r Z(H ). The proof that y r Z(H ) is similar. Corollary 4.3. H is finitely generated as a module over its center. Corollary 4.4. Every irreducible H -module is finite-dimensional over k. In particular, central elements of H act as scalars in its irrreducible representations. Lemma 4.5. One has h Z(H ). Proof. We have [h,x] = hx xh = xyx x 2 y+ c j (1 ε j ) 1 (xs j s j x) = x[y,x]+x c j s j = x[y,x]+x( [y,x]) = 0. Similarly, [h,y] = 0. Finally, sxy = ε 1 xsy = xys, so [h,s] = 0. Let H be the subalgebra of H generated by Z(H ) and s. Obviously, H is commutative. 9

10 Lemma 4.6. x m y n s l H for all m,n,l such that r divides m n. Proof. For all m 1, we have x m y m = x m 1 (xy)y m 1 = x m 1 (h+f 0 (s))y m 1 for some f 0 (s) k[s] = f 1 (s)x m 1 y m 1 +x m 1 y m 1 h for some f 1 (s) k[s]. Using induction, it follows that x m y m H for all m 0. Using lemma 4.2, we see that x m y n s l H whenever r divides m n. If V is an irreducible representation of H, then V = m V[m], where V[m] is the eigenspace of s with eigenvalue ε m. Corollary 4.7. Let V be an irreducible H -module. Then dimv[m] 1 for each m Z/rZ. Thus dimv r. Proof. Let v V be nonzero. Since V is irreducible, we have H v = V. By lemma 4.1, we know that V is generated over k by x i y j s l v, 0 i,j,0 l r 1. By lemma 4.2, it follows that V is generated over k by x i y j s l v, 0 i,j r 1,0 l r 1. Now suppose V[m] 0, and let v V[m] be nonzero. Then x i y j s l v V[m i+j] for all i,j,l. This implies that V[m] is generated over k by x i y i s l v with 0 i r 1. Thus V[m] H v, by lemma 4.6. But it is easy to see that H v V[m]. Thus H v = V[m]. Since this is true for all nonzero v V[m], we conclude that V[m] is an irreducible representation of H, hence one dimensional. This proves the corollary. Proof of proposition 2.7. Let V be an irreducible representation of H. Let v V[m] be nonzero. Then x i v V[m i] for all i. By lemmas 4.2 and 4.5, we know that x r,y r and h act on V by multiplication by scalars, say a,b,β respectively. Assume a 0. Then x r v = av 0, so x i v 0 for all 0 i r 1, and thus V[m i] 0 for 0 i r 1. Applying corollary 4.7, we conclude that dimv = r and dimv[m ] = 1 for 0 m r 1. We may now assume that m = 0. def Now let v i = x i v for i = 0,1,...,r. In particular, v 0 = v and v r = av. Then the v i,0 i r 1, form a basis of V. We have v i V[ i], so sv i = ε i v i. For each i, yv i V[ i +1], so we let yv i = µ i v i 1 for 1 i r. Then, for 1 i r, we have βv i = hv i = xy c j (1 ε j ) 1 s j v i = µ i c j (1 ε j ) 1 ε ij v i, so µ i = β + c j (1 ε j ) 1 ε ij, 10

11 which proves uniqueness. Now it is easy to check that V β,a,b = span{v i,0 i r 1}, xv i = v i+1, 0 i r 1 yv i = µ i v i 1, 1 i r sv i = ε i v i, 0 i r v r = av 0 defines a representation of H. Furthermore, the representation is irreducible, since any nonzero subrepresentation of V β,a,b would have dimension r, by the arguments contained in this proof. We note that ( r abv 0 = bv r = y r v r = µ i )v 0. Therefore, ab = i=1 r β + c j (1 ε j ) 1 ε ij. i=1 A similar argument works in the case b 0. Proof of proposition 2.8. Let V be an irreducible representation of H with x r = y r = 0. Let v be an eigenvector of s. Since x r V = 0 and y r V = 0, we can find minimal d,d such that x D v = y d v = 0. Let v i = y i v,1 i < d; v 0 = v; v i = x i v,1 i < D. Since V is irreducible, we know that the v i form a basis of V and that xv i 0 for 1 i < d, yv i 0 for 1 i < D. Thus, by scaling and relabeling, and using corollary 4.7, we may assume that V has a basis v 0,v 1,...,v D 1 with xv i = v i+1, for 0 i D 2; xv D 1 = 0; yv i = µ i v i 1 for 1 i D 1; yv 0 = 0; In order for this to be a representation, we need sv i = ε m i v i for 0 i D 1. Writing µ D = µ 0 = 0, this gives (yx xy)v i = c j s j v i. Adding up (4) for 0 i t 1 gives µ i+1 µ i = c j ε (m i)j for 0 i D 1. (4) k 1 µ k = c j ε (m i)j. i=0 In particular, 0 = µ D = D 1 c j ε (m i)j. i=0 11

12 As we saw earlier, in order for the representation to be irreducible, we need µ k 0 for 1 k D 1, which translates as k 1 0 c j ε (m i)j, 1 k D 1. i=0 Corollary 4.8 (PBW for H ). The elements x i y j s l, 0 i,j, 0 l r 1 form a basis of H over k. Proof. This follows because the elements x i y j s l act as linearly independent operators on β,a,b V β,a,b. References [BEG03] Yuri Berest, Pavel Etingof, and Victor Ginzburg. Finite-dimensional representations of rational Cherednik algebras. Int. Math. Res. Not., 2003(19): , [CBH98] W. Crawley-Boevey and M. Holland. Noncommutative deformations of Kleinian singularities. Duke Math. J., 92(3): , [CE] Tatyana Chmutova and Pavel Etingof. On some representations of the rational Cherednik algebra. math.qa/ [Che03] Ivan Cherednik. Double affine Hecke algebras and difference Fourier transforms. Invent. Math., 152(2): , [CM02] I. Cherednik and Y. Markov. Hankel transform via double Hecke algebra. In M.W. Baldoni and D. Barbasch, editors, Iwahori Hecke Algebras and their Representation Theory, volume 1804 of Lecture Notes in Mathematics. Springer Verlag, New York, [DO03] C. F. Dunkl and E. M. Opdam. Dunkl operators for complex reflection groups. Proc. London Math. Soc., 86(1):70 108, [EG02] Pavel Etingof and Victor Ginzburg. Symplectic reflection algebras, Calogero Moser space and deformed Harish Chandra homomorphism. Invent. Math., 147(2): , [GGOR] Victor Ginzburg, Nicolas Guay, Eric Opdam, and Raphael Rouquier. On the category O for rational Cherednik algebras. math.rt/ , to appear in Invent. Math. [Gor] [Vas] Iain Gordon. On the quotient ring by diagonal harmonics. math.rt/ , to appear in Invent. Math. E. Vasserot. Induced and simple modules of double affine Hecke algebras. math.rt/

ON SOME REPRESENTATIONS OF THE RATIONAL CHEREDNIK ALGEBRA

REPRESENTATION THEORY An Electronic Journal of the American Mathematical Society Volume 7, Pages 641 650 (November 21, 2003) S 1088-4165(03)00214-0 ON SOME REPRESENTATIONS OF THE RATIONAL CHEREDNIK ALGEBRA