inst-mat.utalca.clinst-mat.utalca.cl/~sgriffeth/publications/griffeththesis.pdf · i abstract this...
TRANSCRIPT
Rational Cherednik Algebras andCoinvariant Rings
By
Stephen Griffeth
A dissertation submitted in partial fulfillment of the
requirements for the degree of
Doctor of Philosophy
(Mathematics)
at the
UNIVERSITY OF WISCONSIN – MADISON
2006
i
Abstract
This work uses the rational Cherednik algebra to solve the problem of constructing
bases for the coinvariant rings of the complex reflection groups G(r, p, n). The rational
Cherednik algebra is a relatively new tool in the theory of complex reflection groups. In
Chapter 1 we recount the preliminary algebraic and representation theoretic material
we will need. In Chapter 2 we review some of the classical constructions of bases for
coinvariant rings. In Chapter 3 we study the rational Cherednik algebra for a complex
reflection group and show that the coinvariant rings may be regarded as an irreducible
module for the rational Cherednik algebra. In Chapter 4 we use the rational Cherednik
algebra to construct bases for the Gordon module and the coinvariant ring for the group
G(r, p, n). A consequence is that the Gordon module contains two “mirror” copies of
the coinvariant ring. The main trick in our construction of bases is to identify a family
of commuting operators which have simple spectrum on these modules.
ii
Acknowledgments
I am indebted to all the people I have learned from here at the University of Wisconsin.
I am grateful to Paul Terwilliger and Marty Isaacs for their clarity and enthusiasm for
mathematics. I have learned a great deal, and expect to learn a great deal more, from
my wife Elisa.
I would especially like to thank my adviser Arun Ram for teaching me how to calcu-
late, for his intuition, and most of all, for patience. I also thank him for support through
the National Science Foundation under Grant No. 0353038.
iii
Introduction
Many deep and difficult general theorems about finite groups, algebraic groups, alge-
braic varieties, K-theory and cohomology have as concrete special cases theorems about
complex reflection groups (see [4], [8], [6], and [15]). One of the most attractive features
of the study of complex reflection groups is the accessiblity of geometric information
by elementary combinatorial and algebraic methods. For instance, the cohomology of
the Grassmannians may be described as quotients of polynomial rings by polynomials
invariant under the symmetric group. In this way the classical problem of computing in-
tersections of subvarieties of Grassmannians is transposed into a combinatorial problem
involving only the standard permutation representation of the symmetric group. So all
the combinatorics of permutations, tableaux, and symmetric functions can be applied
to solve a problem born as pure geometry.
The study of complex reflection groups also poses many interesting questions of its
own, whose solutions often involve methods from other fields. The fundamental charac-
terization of complex reflection groups as precisely those finite subgroups of the general
linear group whose invariants are polynomial rings is usually proved using homological
algebra (see [9]). Recent work has uncovered fascinating combinatorics and geometry
related to the case when the reflection group acts on polynomials in two sets of variables
(see [25], [22], and [20]).
The problem of finding explicit bases for the coinvariant rings of complex reflec-
tion groups motivated much of the work in this thesis. For this reason, the first two
chapters are concerned with reviewing some classical facts about coinvariant rings, and
iv
constructing explicit bases in some special cases. In Chapter 1, we define complex reflec-
tion groups, the Weyl algebra, and rational Cherednik algebras. The rational Cherednik
algebra Hc for a complex reflection group is a certain deformation of the Weyl alge-
bra, introduced by [20]. The rational Cherednik algebra for the group G(r, p, n) is the
primary tool for obtaining the main results in this thesis.
In Chapter 2 we describe classical constructions of bases for rings of coinvariants: the
Steinberg weights, the Garsia-Stanton descent monomials and the Hulsurkar basis. In
[34] and [38], the authors showed that the representation ring R(T ) of a maximal torus
in an adjoint algebraic group is free over its subring R(T )W of Weyl group invariants. In
[38], a particular basis consisting of monomials was constructed, involving the Steinberg
weights. At nearly the same time, in [28], Hulsurkar constructed a basis for the harmonic
polynomials. His construction involved precisely the same set of weights. Several years
later, in [24] and [23], Garsia and Garsia-Stanton constructed monomial bases for the
coinvariant ring for the symmetric group that rely on the Steinberg weights. One of the
goals of Chapter 2 is to show how all these results are related.
The rational Cherednik algebra has a representation Mc(1) on a ring of polynomials.
In Chapter 3 we define a bilinear pairing on the polynomial ring and show that the
quotient of Mc(1) by the radical of this form is a simple module Lc(1). The Gordon
module and the coinvariant ring are Lc(1) for particular choices of c. In Chapter 3
we describe the Koszul resolutions of the trivial module and the coinvariant ring. In
[5] “Koszul resolutions” of other simple Hc modules are constructed by using a Koszul
resolution for the trivial module and an exact functor S : Hc-Mod → Hc+1-Mod called
the shift functor. Applying the Knizhnik-Zamolodchikov functor to a resolution of this
type is the method that Gordon [25] uses to study the module L(1) at the parameter
v
c = 1 + 1/h and prove some conjectures of Haiman ([27]) on the diagonal coinvariant
ring for a Coxeter group. In Chapter 4 we will study Lc(1) for the groups G(r, p, n) at
c = k + 1/h by using the method of intertwining operators.
The main results of this thesis are in Chapter 4, where we study the rational Chered-
nik algebra Hc for G(r, p, n) This algebra depends on parameters κ and c0, c1, . . . , cr−1,
and has a representation on the polynomial ring C[x1, . . . , xn] involving certain divided
difference operators. We identify a subalgebra of Hc and study the polynomial repre-
sentation with respect to the action of this subalgebra. This subalgebra, identified by
Dezelee in [16], contains commuting elements z1, . . . , zn and tζ1 , . . . , tζn, and the non-
symmetric Jack polynomials defined by Dunkl and Opdam in [18] are the eigenbasis for
the polynomial representation with respect to the action of these elements. For the case
of the groups G(r, p, n) we study the coinvariant ring and the “Gordon module” (see
[25]) using intertwining operators (generalizing those in [31]) and the spectrum of the
polynomial representation of Hc.
There is a certain bilinear pairing < ·, · >c: C[y1, . . . , yn]×C[x1, . . . , xn] → C. When
the parameter κ 6= 0, the right radical of this pairing is precisely the simple head of the
polynomial representation C[x1, . . . , xn] of Hc. In general, we define the module Lc(1)
to be the quotient of the polynomial representation by the right radical of this pairing.
Then Lc(1) is an irreducible graded Hc-module.
To state our main result we introduce some notation. Write
v =[ζk1w(1), . . . , ζknw(n)
], where w ∈ Sn and 0 ≤ k1, . . . , kn ≤ r − 1, (0.1)
for an element of G(r, 1, n). The descent set of v is
D(v) = {1 ≤ j ≤ n − 1 | kj < kj+1 or kj = kj+1 and w(j) > w(j + 1)}. (0.2)
vi
The Steinberg weight for v is
λv = (d1(v), . . . , dn(v)) where di(v) = r|{j ≥ w−1(i) | j ∈ D(v)}| + kw−1(i), (0.3)
and we define the set G(r, 1, n)p by
G(r, 1, n)p = {[ζk1w(1), . . . , ζknw(n)
]| 0 ≤ kn ≤ r/p − 1}. (0.4)
The Coxeter number of G(r, p, n) is
h =
r(n − 1) if p = r,
r(n − 1) + r/p if p < r.
(0.5)
The following theorem is our main result.
Theorem 0.1.
(a) If κ = 0, ci = 0 for i not divisible by p, and ci = c is constant for i divisible by p,
then Lc(1) is isomorphic to the coinvariant ring for G(r, p, n), and the Jack polynomials
fλvfor v ∈ G(r, 1, n)p are a basis for Lc(1).
(b) If κ 6= 0, ci = 0 for i not divisible by p, and ci = (k + 1/h)κ for i divisible by p
and some integer k ∈ Z≥0, then the Jack polynomials fλ for λ ∈ [0, kh]n are a basis for
Lc(1).
The module Lc(1) in part (a) is the simplest kind of baby Verma module for the
rational Cherednik algebra (see [26]). The module in part (b) has also been constructed,
in the case p < r and k = 1 and using completely different techniques, in [39]. By
examining the proof of the theorem, we obtain the following corollary.
Corollary 0.2. The calibration graph of S/I admits two embeddings in the calibration
graph of the Gordon module, which overlap in precisely one weight space if and only if
r = p or r = 2.
vii
The fact that the two copies of S/I may overlap in more than one weight space is a
reflection of the fact that the determinant character of hC and the determinant character
for h∗C
are, in general, different for the groups G(r, p, n).
viii
Contents
Abstract i
Acknowledgments ii
Introduction iii
1 Preliminaries 1
1.1 Polynomial rings. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 The Weyl algebra. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Complex reflection groups. Definitions and first examples. . . . . . . . . 11
1.4 W -harmonic polynomials. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Real Reflection Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6 Root Systems and Weyl Groups . . . . . . . . . . . . . . . . . . . . . . . 19
1.7 Rational Cherednik Algebras. . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8 Isomorphisms and automorphisms. . . . . . . . . . . . . . . . . . . . . . 28
1.9 Lowest weight modules and Verma modules . . . . . . . . . . . . . . . . 29
2 Coinvariants 34
2.1 Coinvariants for the symmetric group. . . . . . . . . . . . . . . . . . . . 34
2.2 Exponential coinvariants for Weyl groups . . . . . . . . . . . . . . . . . . 41
2.3 Coinvariant rings for Weyl groups . . . . . . . . . . . . . . . . . . . . . . 49
2.4 Coinvariant rings for complex reflection groups . . . . . . . . . . . . . . . 52
ix
3 Rational Cherednik Algebras 55
3.1 The h action. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2 The Coxeter number and one-dimensional modules for Hc. . . . . . . . . 59
3.3 The c-pairing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.4 The coinvariant ring. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4 The Gordon module and coinvariants for the groups G(r, p, n). 69
4.1 The rational Cherednik algebra for G(r, p, n). . . . . . . . . . . . . . . . 69
4.2 The graded Hecke algebra inside Hc. . . . . . . . . . . . . . . . . . . . . 72
4.3 Intertwiners. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.4 Weight spaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.5 The spectrum of the polynomial representation. . . . . . . . . . . . . . . 81
4.6 Coinvariants and the Gordon module for G(r, p, n). . . . . . . . . . . . . 89
4.7 Some examples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.7.1 The group G(1, 1, 2). . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.7.2 The group G(1, 1, 3). . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.7.3 The group G(r, 1, 1). . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.7.4 The group G(r, r, 2). . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.7.5 The group G(3, 1, 2). . . . . . . . . . . . . . . . . . . . . . . . . . 99
5 Conclusion 101
Bibliography 103
1
Chapter 1
Preliminaries
1.1 Polynomial rings.
Let hC be a finite dimensional complex vector space. The symmetric algebra S(hC) of
hC is the C-algebra with generators y ∈ hC and relations
y1y2 = y2y1, for y1, y2 ∈ hC.
It can also be defined via a universal property: the symmetric algebra of hC is the
commutative C-algebra S(hC) together with a map of vector spaces i : hC → S(hC) such
that for any commutative C-algebra A and any map φ : hC → A of vector spaces, there
is a unique C-algebra homomorphism ψ : S(hC) → A such that φ = ψ ◦ i. There are two
more ways of thinking of S(hC) that are often useful. First, if we fix a basis y1, y2, . . . , yn
of hC, then using the universal property of S(hC) we obtain an isomorphism from S(hC)
onto the polynomial ring C[y1, y2, . . . , yn]. Second, if h∗C
is the dual space of hC, then
we may think of S(hC) as the ring of polynomial functions on h∗C. More commonly, the
situation is reversed, and we think of S(h∗C) as the ring of polynomial functions on hC.
Now suppose we are given a finite subgroup W ⊆ GL(hC). Using the universal
property of S(hC), we obtain an action of W on S(hC) by algebra automorphisms. This
action is determined by the W action on hC together with the rule
w(fg) = (wf)(wg), for w ∈ W, f, g ∈ S(hC).
2
Given an irreducible representation χ of CW , we will write S(hC)χ for the sum of all the
submodules of S(hC) isomorphic to χ. If χ is the trivial representation of CW on a one
dimensional vector space, then instead of S(hC)χ, we will write S(hC)W . Thus
S(hC)W = {f ∈ S(hC) | wf = f for w ∈ W}.
The W -action on hC induces a W -action on h∗C, defined by
(wx)(y) = x(w−1y) for w ∈ W,x ∈ h∗C, y ∈ hC. (1.1)
This representation of W on h∗C
is called the dual representation to hC. It is an irreducible
representation of W if and only if hC is. The canonical bilinear pairing < ·, · > between
h∗C
and hC is defined by
< x, y >= x(y), for x ∈ h∗C, y ∈ hC.
By (1.1), the pairing satisfies
< wx,wy >=< x, y >, for w ∈ W,x ∈ h∗C, y ∈ hC. (1.2)
Let x, y ∈ hC and let f : hC → C be a function. The derivative of f at x in the
direction y is
(∂yf)(x) = limt→0
f(x + ty) − f(x)
t(where the limit is over t ∈ C
×),
whenever this limit exists. The function f is differentiable if this limit exists for all
x, y ∈ hC.
Every element of S(h∗C) is a differentiable function. An algebraic definition of ∂yf
is given by saying that ∂y is the unique C-linear derivation of the C-algebra S(h∗C) that
satisfies ∂y(x) =< x, y > for all x ∈ h∗C. Thus ∂y is the C-linear map determined by
∂y(x) =< x, y > and ∂y(fg) = ∂y(f)g + f∂y(g), for x ∈ h∗C, f, g ∈ S(h∗
C).
3
As operators on S(h∗C),
∂y1∂y2 = ∂y2∂y1 , for y1, y2 ∈ hC,
and by the universal property of the algebra S(hC) there is a unique algebra homomor-
phism
S(hC) → EndC(S(h∗C))
y 7→ ∂y.
Write ∂f for the image of f under this map. If we have fixed a basis x1, . . . , xn for h∗C
with dual basis y1, . . . , yn for hC and f is the polynomial
f =∑
ai1...inyi11 . . . yin
n then ∂f =∑
ai1...in
(∂
∂x1
)i1
. . .
(∂
∂xn
)in
, (1.3)
obtained from f by substituting the operators ∂∂xi
for the yi’s. In this way S(h∗C) becomes
a module for S(hC). When no confusion will result, we write simply f.g for the action
of f ∈ S(hC) on g ∈ S(h∗C):
f.g = ∂f (g).
Suppose that w ∈ GL(hC). The definitions imply that
w(f.g) = (wf).(wg), for w ∈ W, f ∈ S(hC), g ∈ S(h∗C).
So the S(hC)-action on S(h∗C) is GL(hC)-equivariant.
The C-algebra S(hC) is graded by degree,
S(hC) =⊕
d∈Z
Sd(hC),
where Sd(hC) is the set of homogeneous polynomials of degree d. Let
S(hC)+ = {f ∈ S(hC)|f(0) = 0}
4
be the ideal in S(hC) generated by the positive degree elements. The algebra S(h∗C) is
graded in the same way and
deg(f.g) = deg(g) − deg(f),
for homogeneous polynomials f ∈ S(hC) and g ∈ S(h∗C). The action of S(hC)+ on S(h∗
C)
is locally nilpotent : for each g ∈ S(h∗C) there is an integer n with
fn.g = 0 for f ∈ S(hC)+.
This implies that the completion S(hC) of the algebra S(hC) at the ideal S(hC)+ also
acts on S(h∗C). If we have fixed dual bases x1, . . . , xn and y1, . . . , yn of h∗
Cand hC, then
the completion S(hC) may be thought of as the ring of formal power series in y1, . . . , yn
and the action of f ∈ S(hC) is given by (1.3). Now the sum in (1.3) is infinite but
for any particular g ∈ S(h∗C) all but finitely many terms annihilate g. For y ∈ hC, the
exponential series is
ey =∞∑
i=0
yi
i!, characterized by e0 = 1 and eyez = ey+z, for y, z ∈ hC.
Taylor’s formula from Calculus may be written in the form
(ey.f)(z) = f(z + y), for y, z ∈ hC, f ∈ S(h∗C),
where we are regarding f ∈ S(h∗C) as a function on hC.
Taylor’s formula shows that the action by translations of the abelian group hC on
the space of polynomials S(h∗C) by may be interpreted as coming from the action of the
formal power series ring S(hC) on S(h∗C) by differential operators. Decomposing the ring
S(h∗C) (or rather, various rings of functions on hC satisfying some integrability conditions)
into eigenspaces with respect to the hC-action by translations is the subject of classical
5
Fourier analysis. Other than the constant functions, there are no eigenvectors for the
action of the operators ey on S(h∗C). However, the functions ex on hC defined by
ex(y) = e<x,y> for x ∈ h∗C, y ∈ hC, (1.4)
live in the completion S(h∗C) of S(h∗
C) at the maximal ideal S(h∗
C)+ generated by positive
degree polynomials, and since
ey.ex = e<x,y>ex for x ∈ h∗C, y ∈ hC,
they are eigenvectors for the action of the operators ey on an appropriate space of
functions. A special feature of the base field C is used here since the formula (1.4) works
only if e<x,y> is in the base ring. The action of S(hC) on S(h∗C) does not extend to an
action on all of S(h∗C).
Define a pairing < ·, · > between S(hC) and S(h∗C) by
< f, g >= (f.g)(0), for f ∈ S(hC), g ∈ S(h∗C).
If x1, . . . , xn and y1, . . . , yn are dual bases of h∗C
and hC then for any sequences I =
(i1, . . . , in) and J = (j1, . . . , jn) we have
< xi11 . . . xin
n , yj11 . . . yjn
n >= δIJ i1! . . . in!.
Thus the pairing < ·, · > is non-degenerate. The spaces Sd(hC) and Se(h∗C) are orthogonal
unless d = e and the S(hC)-module S(h∗C) is the graded dual of S(hC),
S(h∗C) '
∞⊕
d=0
HomC(Sd(hC), C).
The graded dual of S(hC) is the injective hull of the one dimensional S(hC)-module C
with basis 1 and action f.1 = f(0)1 (see [19]). The following theorem is part of an
6
important piece of homological machinery: the de Rham complex (a particular case of
the “Koszul complex”).
Theorem 1.1 ([19], Chapter 21). The S(hC)-module S(h∗C) is the injective hull of the
one dimensional S(hC)-module C with basis 1 and action f.1 = f(0)1.
The de Rham complex is the complex of vector spaces
0→← C
→← S(h∗
C)
→← S(h∗
C) ⊗C Λ1h∗
C
→← · · ·
→← S(h∗
C) ⊗C Λnh∗
C
→← 0, (1.5)
with the maps given by
d : S(h∗C) ⊗C Λph∗
C→ S(h∗
C) ⊗C Λp+1h∗
C
fdxi1 . . . dxip 7→
n∑
i=1
∂f
∂xi
dxidxi1 . . . dxip
and
δ : S(h∗C) ⊗C Λph∗
C→ S(h∗
C) ⊗C Λp−1h∗
C
fdxi1 . . . dxip 7→
p∑
j=1
(−1)j−1(fxij)dxi1 . . . dxij . . . dxip .
In degree 0, the maps are the inclusion of C as the constant functions in S(h∗C), and the
evaluation at zero map, taking f ∈ S(h∗C) to f(0) ∈ C. The symbols dxi are the elements
of Λ1h∗C
that are the images of a basis x1, . . . , xn of h∗C
under the natural isomorphism
h∗C→ Λ1h∗
C, so that for any p, the set
{dxi1dxi2 . . . dxip |1 ≤ i1 < i2 < · · · < ip ≤ n}
is a basis of Λph∗C. Direct computation shows
d2 = δ2 = 0 and (dδ + δd)(fdxi1 . . . dxip) = (deg(f) + p)fdxi1 . . . dxip .
7
These equations imply in particular that the above complex is double exact in the sense
that ker(d) = im(d) and ker(δ) = im(δ). Furthermore, the maps d are maps of S(hC)-
modules, the maps δ are maps of S(h∗C)-modules, and every module other than C ap-
pearing in the sequence is a projective S(h∗C)-module and an injective S(hC)-module. So
the de Rham complex is a projective resolution of the S(h∗C)-module C and an injective
resolution of the S(hC)-module C. As we will see in (3.9) and (3.13), there are some
interesting deformations of the de Rham complex.
1.2 The Weyl algebra.
In this section we give an abstract definition of the Weyl algebra by generators and
relations and show how to regard it as the algebra of polynomial coefficient differential
operators on S(h∗C). The rational Cherednik algebras we shall meet later are a class of
deformations of the Weyl algebra and the material in this section is a model for some of
the facts to be proved about rational Cherednik algebras in Section 1.7.
Let hC be an n-dimensional complex vector space with dual space h∗C, and let < ·, · >
be the natural pairing between hC and h∗C,
< x, y >= x(y), for x ∈ h∗C, y ∈ hC.
Fix a complex number κ ∈ C. The Weyl algebra H is the C-algebra with generators
x ∈ h∗C
and y ∈ hC and relations
x1x2 = x2x1 and y1y2 = y2y1, for x1, x2 ∈ h∗C, y1, y2 ∈ hC,
and
yx = xy + κ < x, y >, for x ∈ h∗C, y ∈ hC.
8
The map
S(h∗C) ⊗C S(hC) → H
f ⊗ g 7→ fg(1.6)
is an isomorphism of vector spaces (see the proof of the Poincare-Birkhoff-Witt theorem
in [30]). The subalgebras of the Weyl algebra H generated by the x ∈ h∗C
and the y ∈ hC
are isomorphic to S(h∗C) and S(hC).
Lemma 1.2. In H,
yf = fy + κ∂y(f), for y ∈ hC, f ∈ S(h∗C).
Proof. The proof is by induction on deg(f). If deg(f) = 1, then f = x ∈ h∗C, and since
∂y(x) =< x, y >, for y ∈ hC, x ∈ h∗C,
the equation to be proved is just the defining relation for H. If f, g ∈ S(h∗C) then, by
induction on degree,
y(fg) = (fy + κ∂y(f))g = f(gy + κ∂y(g)) + κ∂y(f)g = (fg)y + κ∂y(fg),
since ∂y is a derivation of S(h∗C).
Let C be the one dimensional S(hC) module with basis 1 and action
f.1 = f(0)1, for f ∈ S(hC).
The polynomial representation of the Weyl algebra H is the induced module
M = IndH
S(hC)C = H ⊗S(hC) C ' S(h∗C) ⊗C S(hC) ⊗S(hC) C ' S(h∗
C),
by (1.6). The H-action is given by
y.(g1) = (gf + κ∂y(g)).1 = κ∂y(g)1, for y ∈ hC, g ∈ S(h∗C).
9
If f ∈ S(hC) and g ∈ S(hCC∗) then f.(g1) = κ∂f (g)1, and the map
H → EndC(S(h∗C))
g 7→ multiplication by g, for g ∈ S(h∗C),
f 7→ κ∂f , for f ∈ S(hC),
defines a representation of H on S(h∗C). Even more explicitly, if x1, . . . , xn and y1, . . . , yn
are dual bases of h∗C
and hC then
∑
I,J
aIJxi11 xi2
2 . . . xinn yj1
1 yj22 . . . yjn
n in H
acts on S(h∗C) by the operator
∑
I,J
aIJκ|J |xi11 xi2
2 . . . xinn
(∂
∂x1
)j1 (∂
∂x2
)j2
. . .
(∂
∂xn
)jn
.
The H-module S(h∗C) is faithful and irreducible when κ 6= 0. It is also irreducible
when κ 6= 0. Suppose that κ = 1 and N ⊆ S(h∗C) is an H-submodule of S(h∗
C). Suppose
that f ∈ N is a non-zero element of N , and let fd be its top degree homogeneous
component. Choose g ∈ Sd(hC) with
< g, fd >= 1.
It follows that
1 = g.f ∈ N,
and since 1 generates the H-module S(h∗C), we get N = S(h∗
C). So the polynomial
representation is irreducible. The same argument works for any κ 6= 0. Of course,
for κ = 0, the polynomial representation is not irreducible (since f ∈ S(hC) acts by
multiplication by f(0), any ideal in S(h∗C) is also an H-submodule).
10
Fix dual bases x1, . . . , xn and y1, . . . , yn of h∗C
and hC. The Casimir element or Euler
vector field in H is
h =n∑
i=1
xiyi.
Lemma 1.3. For x ∈ h∗C
and y ∈ hC,
hx = xh + κx and hy = yh − κy.
Proof. Using the defining relations for H,
hx =n∑
i=1
xiyix =n∑
i=1
xi(xyi + κ < x, yi >) = xh +n∑
i=1
κ < x, yi > xi = xh + κx.
The calculation for y ∈ hC is exactly analogous.
By induction on deg(g),
hg = gh + κdeg(g)g for g ∈ S(h∗C).
Therefore the action of h on the polynomial representation is given by
h.(g1) = (gh + κdeg(g)g).1 = κ deg(g)g1.
We close our discussion of the Weyl algebra H by constructing some automorphisms.
Let
hC → h∗C
y 7→ y
be any isomorphism, and let
h∗C
→ hC
x 7→ x
11
be the dual isomorphism, defined by
< y, x >=< x, y > for x ∈ h∗C, y ∈ hC.
Then the map
x 7→ x, y 7→ −y
extends to an automorphism of H. In classical Fourier analysis, the Fourier transform
interchanges multiplication and differentiation. This is visible in the existence of the
automorphisms we have constructed.
1.3 Complex reflection groups. Definitions and first
examples.
Let hC be an n-dimensional complex vector space. A reflection is an invertible linear
transformation of hC whose fixed space has dimension exactly n−1. A complex reflection
group is a finite subgroup W of the general linear group GL(hC) that is generated by
reflections. A complex reflection group W is irreducible if hC is an irreducible W -module.
Note that a complex reflection group is not just a finite group, it is a particular faithful
representation of a finite group as a group of matrices. The fundamental theorem of
complex reflection groups is:
Theorem 1.4 ([9], Chapter 5, §5, Theorem 4). Let hC be a finite dimensional
complex vector space and let W ⊆ GL(hC) be a finite subgroup of the general linear
group. The following are equivalent:
12
(a) The group W is a complex reflection group.
(b) The subring S(h∗C)W of S(h∗
C) is a polynomial ring.
(c) The ring S(h∗C) is a free module over S(h∗
C)W .
Remark 1.5. Some authors reserve the word “reflection” for reflections of order two or
for reflections in real vector spaces and call our broader class “pseudo-reflections”.
Example 1.6. Identifying C× with GL1(C), any finite subgroup of C× is a complex
reflection group.
Let s be a reflection. Since the fixed space of s−1 is the kernel of 1 − s−1, the image
of 1− s−1 is one dimensional. Fix a vector α∨s ∈ hC that spans this image. Then, for all
y ∈ hC,
y − s−1y = αs(y)α∨s , for αs(y) ∈ C. (1.7)
Since 1 − s−1 is a linear map, αs ∈ h∗C.
Let W be a complex reflection group acting on the vector space hC. Let T be the set
of reflections in W . For each reflection s ∈ T , we fix α∨s ∈ hC and αs ∈ h∗
Csatisfying
y − s−1y =< αs, y > α∨s or s−1y = y− < αs, y > α∨
s . (1.8)
Since α∨s is a basis for the image of 1 − s−1, by (1.8) with y = α∨
s ,
1− < αs, α∨s >= dethC
(s−1). (1.9)
This implies that although the vectors αs and α∨s are not uniquely determined by s, the
pair (αs, α∨s ) is determined up to a scalar a ∈ C×: if (α′
s, (α′s)
∨) is another such pair,
then
α′s = aαs and (α′
s)∨ = a−1α∨
s , for some a ∈ C×. (1.10)
13
The set of pseudo-positive roots
R+ = {(αs, α∨s )|s ∈ T}. (1.11)
is in bijection with the set T of reflections in W .
Next we describe an infinite series of examples of complex reflection groups.
Example 1.7. The groups G(r, p, n).
A monomial matrix is a matrix with precisely one non-zero entry in each row and
each column. Fix positive integers r, p, and n with p dividing r. Let Cn be the vector
space of n-tuples of complex numbers, and let GLn(C) be the group of n by n invertible
matrices with complex entries. The group G(r, p, n) is the set of monomial matrices
in GLn(C) whose non-zero entries are rth roots of 1 and such that the product of the
non-zero entries is an rpth root of 1.
For example, G(r, 1, 1) is a cyclic group of order r, G(r, r, 2) is a dihedral group of
order 2r, G(1, 1, n) is the symmetric group Sn, and the Weyl groups of types Bn and Dn
are G(2, 1, n) and G(2, 2, n), respectively.
Aside from the groups G(r, p, n) there is a finite list of exceptional complex reflection
groups (see [36] or [4]. Every irreducible complex reflection group is one of the groups
G(r, p, n) or one of the exceptional groups (see [36] or [14]).
1.4 W -harmonic polynomials.
Let W be a complex reflection group acting on hC. Then W acts on h∗C
by
(wx)(y) = x(w−1y), for w ∈ W,x ∈ h∗C, y ∈ hC. (1.12)
14
This action extends to an action of W on S(h∗C) by
w(fg) = (wf)(wg), for w ∈ W, f, g ∈ S(h∗C). (1.13)
Thus the ring S(h∗C) of polynomial functions on hC is an (infinite dimensional) CW -
module. Let
S(h∗C)W = {f ∈ S(h∗
C) | wf = f for w ∈ W}, and
S(h∗C)det = {f ∈ S(h∗
C) | wf = dethC
(w)f for w ∈ W}.(1.14)
There is a very important vector space isomorphism between these two W -modules. We
state it as the next theorem.
Theorem 1.8. With αs as in (1.8),
S(h∗C)det = aρS(h∗
C)W , where aρ =
∏
s∈T
αs.
Proof. It suffices to prove that for g ∈ S(h∗C), we have
g ∈ S(h∗C)det ⇐⇒ g = aρf for some f ∈ S(h∗
C)W .
First we show that if f ∈ S(h∗C) and s ∈ T is a reflection of order o(s) and
sf = dethC(s)if, for some 0 < i ≤ o(s),
then f is divisible by αo(s)−is . We use induction on o(s)− i. If o(s)− i = 0 the statement
is clear. Suppose o(s) − i > 0. If H is the reflecting hyperplane for s and y ∈ H, then
dethC(s)if(y) = f(s−1y) = f(y),
implying f(y) = 0. Thus f vanishes on H and is divisible by αs. Write f = αsg for
g ∈ S(h∗C) and observe that
dethC(s)iαsg = s(αsg) = dethC
(s−1)αssg.
15
Thus
sg = dethC(s)i+1g,
and, by induction, αo(s)−(i+1)s divides g.
It follows that if g ∈ S(h∗C)det is divisible by the product
∏
H∈H
α|WH |−1sH
,
where sH is a fixed generator of WH , the stabilizer of H under the W -action. This
product is aρ, up to a non-zero scalar. It remains to prove that
waρ = dethC(w)aρ, for w ∈ W.
It suffices to show that
saρ = dethC(s)aρ, for s ∈ T.
Fix s ∈ T , and let Hs be the reflecting hyperplane for s. Then
s.αHs= dethC
(s)−1αHs.
If H is another reflecting hyperplane, and if
H, sH, . . . , skH
are the distinct images of H under the cyclic group generated by s, then the product
αH(sαH) . . . (skαH)
is invariant under s. It follows that
s∏
H∈H
αeH−1H = s(αHs
)eHs−1∏
H∈HH 6=Hs
(sαH)eH−1 = dethC(s)
∏
H∈H
αeH−1H ,
establishing (1.4).
16
Recall from section 1.1 that the ring S(hC) acts by differentiation on the ring S(h∗C)
of polynomial operators and ∂g is the differential operator corresponding to g ∈ S(hC).
The W -harmonic polynomials are the elements of the set
H = {f ∈ S(h∗C) | ∂g(f) = g(0)f, for g ∈ S(hC)W}. (1.15)
Theorem 1.9 ([13]). Let W be a complex reflection group acting in hC, and let aρ be
as in Theorem 1.8.
(a) H is the S(hC)-submodule of S(h∗C) generated by aρ,
H = S(hC).aρ,
and the annihilator of aρ in S(hC) is the ideal generated by the positive degree W -
invariant elements.
(b) As W -modules,
H⊗C S(h∗C)W ∼
−→ S(h∗C)
f ⊗ g 7→ fg
and H is isomorphic to the regular representation of W .
1.5 Real Reflection Groups
In this section we consider the case when the reflection group W is contained in GL(hR),
where hR is a real vector space such that
hC = C ⊗R hR.
Then every reflection s ∈ W has order two, and the word “reflection” matches our
geometric intuition.
17
A Coxeter system is a pair (W,S) consisting of a group W (not necessarily a finite
group) and a subset S ⊆ W such that
(a) The set S consists of elements of order two and generates the group W .
(b) Let G be the group generated by the set S with the relations
(st)o(st) = 1, for s, t ∈ S,
where o(st) is the order of st in W . Then the canonical map from G to W sending
each s ∈ G to its counterpart in W is an isomorphism.
A Coxeter group is a group W such that there exists a subset S ⊆ W making (W,S) a
Coxeter system.
Given a Coxeter system (W,S), we let T be the set of conjugates of elements of S in
W ,
T = {wsw−1|w ∈ W, s ∈ S}.
The abstract root system of (W,S) is the set
R = {±1} × T,
with W -action given by
s.(δ, t) =
(δ, sts−1) if s 6= t
(−δ, sts−1) if s = t,
for all s ∈ S, and (δ, t) ∈ R (see [9], chapter 4 §1 Lemma 1). The positive roots and
negative roots are the elements of the sets
R+ = {1} × T and R− = {−1} × T,
respectively.
18
Theorem 1.10 ([9] chapter 4 §1 Lemma 2). Let (W,S) be a Coxeter system, and
for each w ∈ W , define the length of w to be the minimal number of elements of S in
an expression w = s1 . . . sl of w as a product of elements of S. Then the length of w is
l(w) = |{α ∈ R+|wα ∈ R−}|.
As far as we are aware, there is no completely satisfactory definition of length for an
arbitrary complex reflection group.
Let (W,S) be a Coxeter system with W finite. For each s ∈ S, fix symbols α∨s and
αs, and let hR and h∗R
be the real vector spaces with bases {α∨s |s ∈ S} and {αs|s ∈ S},
respectively. Define a pairing < ·, · >: h∗R× hR → R by
< αs, α∨s >= 2 and < αs, α
∨t >= −2cos
(π
o(st)
), for s 6= t. (1.16)
Then the subgroup of GL(hR) generated by the reflections
rs(y) = y− < αs, y > α∨s (1.17)
is a real reflection group isomorphic to W via the map s 7→ rs.
Conversely, given a real reflection group W ⊆ GL(hR) in the real vector space hR, one
obtains a Coxeter system (W,S) by fixing a connected component of the complement
of the reflecting hyperplanes for W in hR and letting S be the set of reflections in the
hyperplanes bounding this connected component. For details, see [9].
Example 1.11. (The dihedral groups) Let hR be a two dimensional vector space over R
and fix lines L and L′ through the origin meeting at an angle πn
for an integer n ≥ 2.
The group generated by the reflections s and s′ in the lines L and L′ is a dihedral group
of order 2n. It is also a Coxeter group with generating set S = {s, s′} and relations
s2 = (s′)2 = 1, and (ss′)n = 1.
19
1.6 Root Systems and Weyl Groups
In this section we describe a special class of real reflection groups, the Weyl groups. The
following schematic should be kept in mind:
{Weyl groups} ⊆ {Real Reflection Groups} ⊆ {Complex reflection groups}
Every Weyl group may be constructed starting with a root system in a real vector
space and we begin by defining root systems. Let hR be a finite dimensional real vector
space with dual space h∗R
and let < ·, · >: h∗R× hR → R be the pairing defined by
< x, y >= x(y), for x ∈ h∗R, y ∈ hR.
Given non-zero vectors α ∈ h∗R
and α∨ ∈ hR define a reflection sα∨,α by
sα∨,α(x) = x− < x, α∨ > α, for x ∈ h∗R. (1.18)
A root system in h∗R
is a subset R ⊆ h∗R
such that
(a) R is a finite set consisting of non-zero vectors that spans h∗R.
(b) For each α ∈ R, there is α∨ ∈ hR such that the reflection sα∨,α maps R into itself.
(c) For all α, β ∈ R, < α, β∨ >∈ Z.
Let R be a root system in h∗R. For α ∈ R, let
sα = sα∨,α.
The Weyl group of R is the group generated by the reflections sα = sα∨,α,
W = 〈sα|α ∈ R〉 .
20
The canonical inner product on hR is given by
< y1, y2 >=∑
α∈R
< α, y1 >< α, y2 > . (1.19)
This is a positive definite W -invariant symmetric bilinear form on hR. The canonical
inner product on h∗R
is the dual inner product.
Remark 1.12. The canonical inner product on hR is the Killing form if h is the Cartan
subalgebra of a semisimple Lie algebra and R is the corresponding root system in h∗R.
The dual root system, the weight lattice P and the coweight lattice P∨ of R are the
sets
R∨ = {α∨|α ∈ R},
P = {λ ∈ h∗R| < α∨, λ >∈ Z for α∨ ∈ R∨}, and
P∨ = {µ ∈ hR| < µ, α >∈ Z for α ∈ R}.
(1.20)
The root lattice Q and coroot lattice Q∨ are the subgroups of h∗R
and hR
Q = 〈α|α ∈ R〉 and Q∨ = 〈α∨|α∨ ∈ R∨〉 (1.21)
generated by R and R∨. By axiom (c) for root systems, Q ⊆ P and Q∨ ⊆ P∨.
A root basis is a subset {α1, . . . , αn} ⊆ R that is a basis of the vector space h∗R, and
such that for all α ∈ R,
α =n∑
i=1
aiαi with ai integers all of the same sign. (1.22)
It is not obvious that a root basis exists for every root system, but in fact the set of root
bases is always in bijection with W . Given a root basis α1, . . . , αn of the root system R
the set of positive roots R+ with respect to α1, . . . , αn is
R+ = {α ∈ R|α =n∑
i=1
aiαi with ai ∈ Z≥0 for 1 ≤ i ≤ n}. (1.23)
21
Then the root system R is the disjoint union of R+ and the set of negative roots R− =
−R+. The fundamental weights are the basis ω1, . . . , ωn of h∗R
dual to the basis α∨1 , . . . , α∨
n
of hR, determined by the equations
< α∨i , ωj >= δij.
The set of dominant weights P+ is
P+ = {λ ∈ P | < λ, α∨i >∈ Z≥0, for 1 ≤ i ≤ n} =
n∑
i=1
Z≥0ωi. (1.24)
The simple reflections relative to our choice of root basis are defined by
si(x) = x− < αi, x > α∨i , for 1 ≤ i ≤ n, x ∈ h∗
R. (1.25)
In general, for any positive root α ∈ R+ and w ∈ W ,
l(wsα) > l(w) ⇐⇒ wα ∈ R+,
where
l(w) = |{α ∈ R+|wα ∈ R−}|.
In fact, the length of w is also the minimal number p in an expression for w as a product
of simple reflections, w = si1si2 . . . sip . The dominance order is the partial order ≤ on
h∗R
defined by
λ ≤ µ ⇐⇒ µ − λ =n∑
i=1
aiαi, with ai ∈ Z≥0 for 1 ≤ i ≤ n. (1.26)
If R is a reduced root system this partial order is closely related to the representation
theory of the complex semisimple Lie algebra associated to R. As we will see in Chapter
2 the dominance order is also a useful tool for studying the coinvariant rings associated
to the Weyl group of R. The key point in this connection is the following lemma.
22
Lemma 1.13. If λ ∈ P+ and w ∈ W , then wλ ≤ λ.
Proof. The proof is by induction on l(w). The statement is immediate for w = 1. If
l(w) > 0 write w = siv for some v ∈ W with l(v) < l(w). Thus v−1αi ∈ R+ and
< vλ, α∨i >=< λ, v−1α∨
i >≥ 0.
Hence
wλ = sivλ = vλ− < vλ, α∨i > αi ≤ vλ ≤ λ,
where the last inequality follows by induction.
The Weyl groups are precisely those real reflection groups that stabilize a lattice (see
[9], Chapter 6, §2, Proposition 9). The group ring of the weight lattice P is
R(T ) =
{∑
λ∈P
cλeλ|cλ ∈ Z, λ ∈ P, with all but finitely many cλ = 0.
}(1.27)
with product and W -action
eλeµ = eλ+µ and weλ = ewλ,
for w ∈ W , λ, µ ∈ P . If ω1, . . . , ωn is a Z-basis of P , and
xi = eωi , then R(T ) ' Z[x±11 , . . . , x±n
n ].
The subring of W invariant elements is
R(T )W = {f ∈ R(T )|wf = f for w ∈ W}.
In analogy with the situation for the ring of polynomial functions on the reflection
representation of a complex reflection group we might expect that R(T )W is a polynomial
ring. This is true, and easy to prove using the dominance order on P .
23
Theorem 1.14 ([9], chapter 6, §3, Theorem 1). R(T )W = Z[mω1 , . . . ,mωn], where
mωi=
∑
Wωi
ewωi for 1 ≤ i ≤ n
are the orbit sums of the fundamental weights.
In Chapter 2 we will show that R(T ) is a free R(T )W -module and exhibit a specific
basis.
1.7 Rational Cherednik Algebras.
Let W be a complex reflection group acting in hC, and let h∗C
be the dual space of hC.
Let T be the set of reflections in W , and fix a collection of complex numbers κ and cs
indexed by s ∈ T such that
cwsw−1 = cs, for w ∈ W, s ∈ T. (1.28)
We will think of the collection κ and cs for s ∈ T as being a function
c : {1}⋃
T → C, with c(1) = κ and c(s) = cs for s ∈ T. (1.29)
For s ∈ T , let < ·, · >s: h∗C× hC → C be the function defined by
< x, y >s=1
1 − deth∗C(s)
< x − sx, y − s−1y >, (1.30)
Observe that
< x, y >w−1sw =1
1 − deth∗C(w−1sw)
< x − w−1swx, y − w−1s−1wy >
=1
1 − deth∗C(s)
< wx − swx,wy − s−1wy >
=< wx,wy >s,
24
and that the left and right radicals of the form < ·, · >s are precisely the fixed spaces of
s on h∗C
and hC. Therefore if we define a collection of symplectic bilinear forms < ·, · >′s
on h∗C⊕ hC by
< x1, x2 >′s= 0, < y1, y2 >′
s= 0, and < x, y >′s=< x, y >s (1.31)
for x, x1, x2 ∈ h∗C
and y, y1, y2 ∈ hC, then this collection of symplectic forms satisfies the
conditions in [35] and [20].
Recall that the symmetric algebras of h∗C
and hC are the algebras S(h∗C) and S(hC)
generated by h∗C
and hC, with relations
x1x2 = x2x1, for x1, x2 ∈ h∗C
and y1y2 = y2y1, for y1, y2 ∈ hC.
The algebra S(h∗C) is the algebra of polynomial functions on hC, and dually, the algebra
S(hC) is the algebra of polynomial functions on h∗C. The algebra S(hC) may also be
regarded as the algebra of constant coefficient differential operators on S(h∗C).
The rational Cherednik algebra Hc for W is the algebra generated by S(h∗C), S(hC),
and symbols tw for w ∈ W , with relations
tvtw = tvw, for v, w ∈ W, (1.32)
twxt−1w = wx and twyt−1
w = wy, for w ∈ W,x ∈ h∗C, y ∈ hC, (1.33)
and
yx = xy + c1 < x, y > −∑
s∈T
cs < x, y >s ts for x ∈ h∗C, y ∈ hC. (1.34)
By the PBW theorem ([17]; see [35] for a proof), the multiplication map
S(h∗C) ⊗ CW ⊗ S(hC) → Hc (1.35)
25
is an isomorphism. Multiplying all the scalars κ and cs by the same constant does not
affect the algebra Hc, so the parameter space is a projective space. The algebra Hc
behaves very differently in the two cases κ = 0 and κ 6= 0. Also, observe that if κ = 1
and cs = 0 for all s ∈ T , then Hc is isomorphic to the smash product of the Weyl algebra
H (see section 1.2) and the group algebra CW : this smash product is
H ⊗C CW with multiplication (f ⊗ v)(g ⊗ w) = f(vg) ⊗ vw,
for f, g ∈ H and v, w ∈ W . In this sense the family Hc (for all values of the function
c) is a “deformation” of the Weyl algebra H. In fact, we will see below that in analogy
with the situation for H there is a natural representation of Hc on S(h∗C) for all values
of the parameter c.
For each s ∈ T , fix vectors αs ∈ h∗C
and α∨s ∈ hC such that
sx = x− < x, α∨s > αs and s−1y = y− < αs, y > α∨
s for x ∈ h∗C, y ∈ hC. (1.36)
Then we have
< x, y >s=1
1 − deth∗C(s)
< x, α∨s >< αs, y >< αs, α
∨s >=< x, α∨
s >< αs, y > . (1.37)
This equation shows that the bilinear form on the right is independent of the choice of
αs. Using this expression for < x, y >s, the commutation relation (1.34) for x ∈ h∗C
and
y ∈ hC may be written
yx = xy + κ < x, y > −∑
s∈T
cs < αs, y >< x, α∨s > ts. (1.38)
(So the normalization by 1 − deth∗C(s) in the definition of < ·, · >s ensures that our
definition of Hc agrees with the standard one found in [20]). It is in this form that we
will usually use the relation (1.34), but it is useful to keep in mind the fact that it is
independent of the choice of αs and α∨s .
26
Our next lemma is a fundamental computation. It expresses some commutators in
Hc as linear combinations of derivatives and divided differences of elements of S(h∗C).
Lemma 1.15. Let y ∈ hC and f ∈ S(h∗C). Then
yf − fy = κ∂yf −∑
s∈T
cs < αs, y >f − sf
αs
ts. (1.39)
Similarly, for x ∈ h∗C
and g ∈ S(hC), we have
gx − xg = κ∂xg −∑
s∈T
cs < x, α∨s > ts
g − s−1g
α∨s
. (1.40)
Remark 1.16. Note the placement of ts in the second formula. In practice, it is some-
times convenient to rewrite it as
gx − xg = κ∂xg −∑
s∈T
cs < x, α∨s >
sg − g
sα∨s
ts. (1.41)
Proof. Observe if f = x ∈ h∗C, the first formula to be proved is
yx − xy = κ < x, y > −∑
s∈T
cs < αs, y >x − sx
αs
ts,
and the right hand side may be rewritten as
κ < x, y > −∑
s∈T
cs < αs, y >< x, α∨s > ts,
so that the formula to be proved is one of the defining relations for Hc. We proceed by
induction on the degree of f . Assume we have proved the result for h ∈ Sd(h∗C) and all
27
d ≤ m. For f, g ∈ S≤m(h∗C), and y ∈ hC, we have
[y, fg] = [y, f ]g + f [y, g]
=
(κ∂y(f) −
∑
s∈T
cs < αs, y >f − sf
αs
ts
)g
+ f
(κ∂y(g) −
∑
s∈T
cs < αs, y >g − sg
αs
ts
)
= κ (∂y(f)g + f∂y(g))
−∑
s∈T
cs < αs, y >
(f − sf
αs
sg + fg − sg
αs
)ts
= κ∂y(fg) −∑
s∈T
cs < αs, y >fg − s(fg)
αs
ts.
by using the inductive hypothesis in the second equality, and the Leibniz rule for ∂y and
a skew Leibniz rule for the divided differences in the fourth equality. This proves the
first commutator formula, and the proof of the second one is exactly analogous.
Observe that Hc is graded by setting
deg(x) = 1, deg(y) = −1, and deg(w) = 0, for x ∈ h∗C, y ∈ hC, w ∈ W, (1.42)
and filtered by setting
deg(x) = 1, deg(y) = 1, and deg(w) = 0, for x ∈ h∗C, y ∈ hC, w ∈ W. (1.43)
It follows from the PBW theorem for Hc that the associated graded algebra gr(Hc) of
Hc with respect to this filtration is the algebra
S(h∗C⊕ hC) ⊗C CW, with multiplication (f ⊗ v)(g ⊗ w) = f(vg) ⊗ vw
28
1.8 Isomorphisms and automorphisms.
Let W be a complex reflection group acting in the vector space hC, and let
ψ : W → C×
be a one-dimensional representation of W . Fix a parameter c as in (1.28), and let c′ be
defined by
κ′ = κ and c′s = ψ(s)cs for s ∈ T. (1.44)
Then the map
x 7→ x, y 7→ y, and tw 7→ ψ(w)tw forx ∈ h∗C, y ∈ hC, w ∈ W (1.45)
defines an isomorphism of Hc onto Hc′ .
Now suppose that
hC → h∗C
y 7→ y
is an isomorphism of CW -modules. Let
h∗C
→ hC
x 7→ x
be the dual isomorphism, defined by the equation
< y, x >=< x, y > for x ∈ h∗C, y ∈ hC. (1.46)
Note that such an isomorphism can exist only if W is a real reflection group: it implies
that the character of the W -module hC is real, and it is well known (see [4], Proposition
7.1.1) that the field of definition of the reflection representation of a complex reflection
29
group is equal to the field generated by the values of its character. Then for each s ∈ T ,
we have
< y, x >s =1
1 − deth∗C(s)
< y − sy, x − sx >
=1
1 − deth∗C(s)
< x − sx, y − sy >
=< x, y >s .
Now we can check that the map
x 7→ x, y 7→ −y, tw 7→ tw for x ∈ h∗C, y ∈ hC, w ∈ W (1.47)
extends to an automorphism of Hc. We must verify that the defining relations hold for
the images of x, y, and tw under this map. We have
twx = (wx)tw = wxtw for x ∈ h∗C, w ∈ W
and similarly
tw(−y) = (w(−y))tw = −wytw for y ∈ hC, w ∈ W.
Finally,
(−y)x = −xy− < −y, x > +∑
s∈T
cs < −y, x >s ts
= x(−y)+ < x, y > −∑
s∈T
cs < x, y >s ts.
1.9 Lowest weight modules and Verma modules
In this section we describe the analogue for rational Cherednik algebras of the theory of
lowest weight modules for semisimple Lie algebras.
30
Let M be an Hc module. A primitive vector is a vector m ∈ M such that
y.m = 0, for all y ∈ hC. (1.48)
If P ⊆ M is the set of primitive vectors, then P is a CW -submodule of M . A lowest
weight module with lowest weight V is an Hc module M such that there is an irreducible
CW -submodule V ⊆ P such that V generates M as an Hc-module. Next we describe
the “universal” lowest weight modules.
Let V be an irreducible CW -module, and define a S(hC) ⊗ CW action on V by
f.v = f(0)v and tw.v = wv for w ∈ W, f ∈ S(hC). (1.49)
The Verma module with lowest weight V is
M(V ) = IndHc
S(hC)⊗CW V. (1.50)
If M is any lowest weight module with lowest weight V , there is a unique surjection from
M(V ) onto M restricting to the given embedding of V in M . Using the PBW theorem
for Hc, one checks that as an S(h∗C) ⊗C CW -module,
M(V ) ' S(h∗C) ⊗C V. (1.51)
In particular, taking V = 1 to be the trivial representation of CW , we obtain the
polynomial representation of Hc. As an S(h∗C)⊗C CW -module it is isomorphic to S(h∗
C),
M(1) ' S(h∗C). (1.52)
When no confusion will result, we will drop the tensor signs ⊗ when calculating with
the Verma modules M(V ), and simply write
fv instead of f ⊗ v for f ∈ S(h∗C), v ∈ V.
31
When V = 1 is the trivial representation, we simplify this even farther and write just f
instead of f1. With this notation, the formula for the action of y ∈ hC on f ∈ M(1) '
S(h∗C) is obtained from (1.39),
y.f = κ∂yf −∑
s∈T
cs < αs, y >f − sf
αs
. (1.53)
If κ 6= 0, then each module M(V ) has a unique irreducible quotient L(V ). We will
discuss the case κ = 0 in chapter 3. If we wish to emphasize the parameter c, we will
write Mc(V ) and Lc(V ) for M(V ) and L(V ).
There is a useful Casimir element h in the algebra Hc that helps to distinguish
between different lowest weight modules. This element is the analogue for Hc of the
Casimir element we defined for the Weyl algebra H in section 1.2. Fix dual bases
x1, . . . , xn of h∗C
and y1, . . . , yn of hC. It is straightforward to check that the sum
n∑
i=1
xiyi ∈ Hc
does not depend on the choice of dual bases. For x ∈ h∗C, we compute
[n∑
i=1
xiyi, x
]=
n∑
i=1
xi
(xyi + κ < x, yi > −
∑
s∈T
cs < αs, yi >< x, α∨s > ts
)−
n∑
i=1
xixyi
=n∑
i=1
κ < x, yi > xi −∑
s∈T
cs < x, α∨s >
n∑
i=1
< αs, yi > xits
= κx −∑
s∈T
cs < x, α∨s > αsts
= κx −∑
s∈T
cs(x − sx)ts
= κx +
[∑
s∈T
csts, x
],
and it follows that [n∑
i=1
xiyi −∑
s∈T
csts, x
]= κx.
32
Let
h =n∑
i=1
xiyi +∑
s∈T
cs(1 − ts). (1.54)
We have introduced the shift by∑
cs in order to simply some inequalities that occur
later on. By the calculation above,
[h, x] = κx for x ∈ h∗C, (1.55)
and similarly
[h, y] = −κy for y ∈ hC. (1.56)
It is straightforward to check that
htw = twh for w ∈ W, (1.57)
so that if κ = 0, then h is central in Hc.
It follows from (1.55) by induction on the degree of f that
[h, f ] = κdeg(f)f for f ∈ S(h∗C). (1.58)
In order to compute the action of h on the Verma module M(V ) with lowest weight V ,
we need to compute the action of the element
ηc =∑
s∈T
cs(1 − ts) (1.59)
on V . Since ηc is a C-linear combination of class sums, it is central in CW , and by Schur’s
lemma must act on V by a scalar. Let Z(CW ) be the center of the group algebra CW
of W . The central character of an irreducible CW -module V is the homomorphism
ω : Z(CW ) → Cdetermined by
f.v = ω(f)v for f ∈ Z(CW ), v ∈ V. (1.60)
33
Thus the action of h on the Verma module M(V ) is given by
h(fv) = (κdeg(f) + ω(ηc)) (fv) for f ∈ S(h∗C), v ∈ V, (1.61)
where ω is the central character of the CW -module V .
34
Chapter 2
Coinvariants
2.1 Coinvariants for the symmetric group.
This results and techniques of this section are completely elementary, and will be adapted
in a straightforward way to the case of exponential coinvariant rings in the next sec-
tion. Futhermore, precisely the same techniques will work to establish that the descent
monomials for the groups G(r, p, n) are a basis of the coinvariant ring for G(r, p, n) (see
chapter four for the definition of these monomials), but we will take a different approach.
This section is completely self-contained; there is no need even to refer back to the in-
troduction for definitions or results. We hope that this will be helpful to readers who
may not be familiar with root systems and Weyl groups.
The main theorem of this section is a refinement and simplification of a result of
Garsia [24] on the structure of a polynomial ring as a module for its subring of symmetric
polynomials. The idea is due to [2].
Let W = Sn be the group of permutations of the set {1, 2, 3, . . . , n} of integers
between 1 and n. The group Sn is the symmetric group on n letters, or simply the
symmetric group if the number n is understood from context. Let
S = C[X1, . . . , Xn] (2.1)
be the ring of polynomials in n variables with complex coefficients. The particular
35
coefficient ring is actually immaterial in our arguments; we choose C because that is the
base ring we work with for general complex reflection groups. The group W acts on S by
permuting the variables X1, . . . , Xn: if w ∈ W is a permutation and f = f(X1, . . . , Xn)
is an element of S, then
wf = f(Xw(1), . . . , Xw(n)). (2.2)
For example, if
f(X1, X2, X3) = X21X2 and w = (123), (2.3)
where w = (123) is cycle notation for the permutation mapping 1 to 2, 2 to 3, and 3 to
1, then
wf = X22X3. (2.4)
This is a left action of the symmetric group on S provided that we defined the product
wv of two permutations to be the composition from right to left : wv = w ◦ v means first
do v, then do w. That is, with our conventions we have
(wv)f = w(vf) for w, v ∈ Sn, f ∈ S. (2.5)
We are particularly interested in the subring
SW = {f ∈ S|wf = f for w ∈ W} (2.6)
of invariant or symmetric polynomials. More specifically, we are concerned with the way
SW sits inside S. The main theorem of this section gives an algorithm for expressing
an arbitrarty polynomial f ∈ S as an n!-tuple of symmetric polynomials fw for w ∈ W
in a unique way. It is a simplification of some ideas in [24], in which the theory of
Stanley-Reisner rings for ranked Cohen-Macaulay posets is applied to give a similar
result.
36
Now we give the details. Let P be the set of all n-tuples of non-negative integers:
P = {(λ1, λ2, . . . , λn)|λi ∈ Z≥0 for 1 ≤ i ≤ n}. (2.7)
For an n-tuple λ = (λ1, . . . , λn) ∈ P , we write
Xλ = Xλ11 Xλ2
2 . . . Xλn
n . (2.8)
The group W acts on the set of n-tuples λ ∈ P by the rule
w(λ1, . . . , λn) = (λw−1(1), . . . , λw−1(n)), (2.9)
where we have inserted the inverse in order to make this a left action:
(wv)(λ1, . . . , λn) = w(v(λ1, . . . , λn)). (2.10)
Now the W -action on the polynomial ring S may be expressed by the formula
wXλ = Xwλ for w ∈ W,λ ∈ P. (2.11)
Write εi for the n-tuple with a 1 in the ith position and 0’s elsewhere. Note that we
may define an addition on P by simply adding entries coordinate-wise:
λ + µ = (λ1 + µ1, . . . , λn + µn). (2.12)
Define ωj ∈ P by
ωj =
j∑
i=1
εi, (2.13)
so that ωj is a string of j ones followed by n − j zeroes.
For a permutation w, the length l(w) of w is the number of pairs (i, j) with 1 ≤ i <
j ≤ n and w(i) > w(j):
l(w) = |{(i, j)|1 ≤ i < j ≤ n, and w(i) > w(j)}|. (2.14)
37
The only permutation with length zero is the identity. We define a very crude partial
order on W by
v < w ⇐⇒ l(v) < l(w). (2.15)
The subset of P consisting of partitions will be denoted P+:
P+ = {λ ∈ P |λ1 ≥ λ2 ≥ · · · ≥ λn}. (2.16)
For each element λ ∈ P , we write λ+ ∈ P+ for the non-increasing rearrangement of λ,
and let w+(λ) be the unique permutation of minimal length satisfying
w+(λ)λ+ = λ. (2.17)
It is straightforward to check that there is a unique permutation of minimal length
satisfying this equation.
For each 1 ≤ i ≤ n − 1, define a simple reflection si ∈ W by
si = (i, i + 1) in cycle notation. (2.18)
Thus si interchanges i and i + 1 and leaves all other elements of {1, 2, . . . , n} fixed. For
each w ∈ W , we define
λw = w
( ∑
wsi<w
ωi
). (2.19)
Now we can state Garsia’s result:
Theorem 2.1 (Garsia, [24]). The monomials Xλw for w ranging over all permutations
of {1, 2, . . . , n} are an SW -basis of S. That is, for each polynomial f ∈ S there are
uniquely determined symmetric polynomials fw ∈ SW with
f =∑
w∈W
fwXλw . (2.20)
38
Remark 2.2. This theorem was proved by Garsia in [24]. It is the analog for the
polynomial ring of a theorem of Steinberg [38] on exponential coinvariants for Weyl
groups. Garsia was answering a question posed by Gessel in his thesis. It is worthwhile
to note that the mere fact that S is a free module over SW follows from the standard
machinery of Cohen-Macaulay rings together with the beautiful classical result that SW
is a polynomial ring in the variables e1, e2, . . . , en, where ei is the elementary symmetric
function of degree i. Garsia’s theorem gives more informuation: it exhibits a particular
basis of S as an SW -module that has nice combinatorial properties.
We will actually prove a refinement of this theorem that gives an algorithm for
computing the coefficients fw. Before stating the refinement, we need to introduce a
very useful partial order on the set P . Let
αi = εi − εi+1 for 1 ≤ i ≤ n − 1. (2.21)
Thus αi is the sequence with a 1 in the ith positiion, a −1 in the (i + 1)th position, and
zeroes elsewhere. We define the dominance order ≤d on the set of all integer sequences
Zn by
λ ≤d µ ⇐⇒ µ − λ =n−1∑
i=1
kiαi with ki ∈ Z≥0 for 1 ≤ i ≤ n − 1, (2.22)
for all λ, µ ∈ Zn. The utility of the dominance order is due to the following fact:
wλ ≤d λ for λ ∈ P+, w ∈ Sn, (2.23)
which follows from the fact that in order to straighten wλ back into a partition, we add
terms of the form
αij = εi − εj for i < j. (2.24)
39
We define a partial order ≤ on P using the restriction of the dominance order to the set
of partitions P+:
λ < µ ⇐⇒
λ+ <d µ+
or
λ+ = µ+ and w+(λ) > w+(µ)
. (2.25)
Finally, for λ ∈ P we define the monomial symmetric function mλ corresponding to
λ by
mλ =∑
µ∈Wλ
Xµ, (2.26)
the sum over all distinct permutations of λ. Now we can state the refined version of 2.1:
Theorem 2.3 (E.E. Allen, [2]). Let λ = (λ1, . . . , λn) ∈ P be a sequence of n non-
negative integers, and let w = w+(λ). Then
Xλ = mλ−λwXλw −
∑
µ
Xµ, (2.27)
where the sum is over sequences µ < λ.
Remark 2.4. The theorem gives a recursive procedure for writing a given monomial Xλ
as a linear combination of the Xλw ’s with symmetric function coefficients. The same
theorem is true if mλ is replaced by any symmetric function with unique maximal term
λ−, where λ− is the non-decreasing rearrangement of λ. In particular, it works for the
Schur functions sλ. In practice, it is more efficient if the Schur functions sλ are used
in place of the monomial symmetric functions mλ. It appears that the coefficients in
the expansion of an arbitrary Xλ are integer combinations of Schur functions all of the
same sign, but we do not know if this is true in general or how to determine the sign.
40
An analogous fact is not true for other Weyl groups, so this seems to be a “type A only”
phenomenon.
Proof. We must prove that for any v ∈ W with v(λ − λw) 6= λ − λw, we have
λw + v(λ − λw) < λ. (2.28)
We first observe that
λ − λw = w(n∑
i=1
aiωi) with ai ∈ Z≥0 for 1 ≤ i ≤ n, (2.29)
since w is the minimal length element taking λ+ to λ.
Let
u = w+(λw + v(λ − λw)) (2.30)
be the unique element of minimal length with
u(λw + v(λ − λw))+ = λw + v(λ − λw). (2.31)
Thus
(λw + v(λ − λw))+ = u−1λw + u−1v(λ − λw)
= u−1w
( ∑
wsi<w
ωi
)+ u−1vw
(n∑
i=1
aiωi
)
≤∑
wsi<w
ωi +n∑
i=1
aiωi = λ+,
where we have used (2.23). Equality above implies that
u−1w
( ∑
wsi<w
ωi
)=
∑
wsi<w
ωi, (2.32)
which means that u > w since
w = w+
(w
∑
wsi<w
ωi
). (2.33)
41
Now it follows from the definition 2.25 that
λw + v(λ − λw) < λ, (2.34)
and the proof is complete.
Next we note an amusing consequence of this theorem. The major index maj(w) of
a permutation w ∈ Sn is
maj(w) =∑
wsi<w
i. (2.35)
Thus the degree of the monomial Xλw is maj(w). It follows by computing the dimensions
of the space of polynomials in S of dimension d that we have the following identity of
formal power series:
1
(1 − t)n=
(∑
w∈W
tmaj(w)
)n∏
i=1
1
1 − ti. (2.36)
On the other hand, there is the following well-known equality (see [9], :
1
(1 − t)n=
(∑
w∈W
tl(w)
)n∏
i=1
1
1 − ti. (2.37)
So there is an equality of multisets
{maj(w)|w ∈ Sn} = {l(w)|w ∈ Sn}. (2.38)
Of course, there are much easier ways to prove this. See [10], for example.
2.2 Exponential coinvariants for Weyl groups
Let R be a root system in h∗C
with dual root system R∨ ⊆ hC, root lattice Q, and weight
lattice P . Fix a basis α1, α2, . . . , αn for R, and let α∨1 , . . . , α∨
n be the corresponding basis
of R∨. The fundamental weights are the elements ωi of P defined by
< ωi, α∨j >= δij for 1 ≤ i, j ≤ n. (2.39)
42
Let
P+ =
{λ ∈ P |λ =
n∑
i=1
aiωi with ai ≥ 0 for 1 ≤ i ≤ n
}(2.40)
be the set of dominant weights. Let W be the Weyl group of R. For every λ ∈ P , the
orbit Wλ contains a unique dominant weight λ+ ∈ P+. The length function on W is
defined by
l(w) = |{α ∈ R+|wα ∈ R−}| for w ∈ W. (2.41)
For each λ ∈ P , let w+(λ) be the minimal length element of W with
w+(λ)λ+ = λ. (2.42)
This partitions P into sets Pw defined by
Pw = {λ ∈ P |w+(λ) = w}. (2.43)
Let s1, . . . , sn be the simple reflections in W corresponding to the roots α1, . . . , αn. Then
we have the equivalence
l(wsi) < l(w) ⇐⇒ wαi ∈ R−, (2.44)
where R+ is the set of positive roots in R with respect to the basis α1, . . . , αn, and
R− = −R+. We shorten this notation as follows: write
wsi < w ⇐⇒ l(wsi) < l(w). (2.45)
Remark 2.5. The notation agrees with the usual definition of the Bruhat order on W ,
but no knowledge of the Bruhat order is necessary in what follows.
We can also describe the sets Pw as follows:
43
Lemma 2.6. For any w ∈ W ,
Pw = {λ ∈ P |λ = w
(n∑
i=1
aiωi
), where ai ≥ 0 and ai > 0 if l(wsi) < l(w).}
(2.46)
Proof. If λ ∈ Pw, then
λ = w
(n∑
i=1
aiωi
)with ai ∈ Z≥0. (2.47)
Suppose that ai = 0 for some 1 ≤ i ≤ n. Then
λ = wsi
(n∑
i=1
aiωi
), (2.48)
and by minimality of l(w), we have l(wsi) > l(w).
Conversely, suppose that
λ = w
(n∑
i=1
aiωi
), where ai ≥ 0 and ai > 0 if l(wsi) < l(w). (2.49)
If also
λ = v
(n∑
i=1
aiωi
), (2.50)
then v = wz with z an element of the stabilizer of
n∑
i=1
aiωi. (2.51)
But then z is in the subgroup of W generated by
{si|ai = 0} ⊆ {si|l(wsi) > l(w)}, (2.52)
and it follows that
l(v) = l(wz) > l(w), (2.53)
whence w = w+(λ).
44
We define the dominance order ≤ on P+ by
λ ≤ µ if µ − λ =n∑
i=1
miαi with ai ∈ Z≥0 for 1 ≤ i ≤ n. (2.54)
We extend this order to P by
λ < µ if
λ+ < µ+
or
λ+ = µ+ and l(w+(λ)) > l(w+(µ))
. (2.55)
The Steinberg weights are the elements λw of P defined by
λw = w
( ∑
wsi<w
ωi
). (2.56)
Let R(T ) be the group ring of P :
R(T ) = Z − span⟨eλ|λ ∈ P
⟩, with eλeµ = eλ+µ. (2.57)
The Weyl group W of R acts on R(T ) by
weλ = ewλ extended Z − linearly. (2.58)
We write R(T )W for the subring of R(T ) fixed by this action:
R(T )W = {f ∈ R(T )|wf = f for w ∈ W} . (2.59)
Given λ ∈ P , we define the monomial symmetric function mλ ∈ R(T )W by
mλ =∑
µ∈Wλ
eµ. (2.60)
The main result of this section is the exponential coinvariant version of Allen’s theorem
2.3 from the last section:
45
Theorem 2.7.
(a) Fix λ ∈ P , and let w = w+(λ). Then
eλ = eλwmλ−λw+ f, (2.61)
where f ∈ R(T ) is a linear combination of monomials eµ with µ < λ.
(b) The monomials eλw for w ∈ W are an R(T )W basis of R(T ).
Proof. (a) We have
eλ = eλwmλ−λw−
∑
µ∈W (λ−λw)µ6=λ−λw
eµ+λw . (2.62)
We will use the fact that for any µ ∈ P+ and w ∈ W , we have
wµ = µ −
n∑
i=1
aiαi with ai ∈ Z≥0 for 1 ≤ i ≤ n. (2.63)
Suppose that
λ+ =n∑
i=1
aiωi, (2.64)
so that
λ − λw = w
(n∑
i=1
biωi
)for bi ∈ Z≥0, (2.65)
where
λ+ =∑
wsi<w
ωi +n∑
i=1
biωi. (2.66)
Now for any v ∈ W with v(λ − λw) 6= λ − λw, let u = w+(λw + v(λ − λw)). Then
(λw + v(λ − λw))+ = u−1w
( ∑
wsi<w
ωi
)+ u−1vw
(n∑
i=1
biωi
)
≤d
∑
wsi<w
ωi +n∑
i=1
biωi
=n∑
i=1
aiωi,
46
with equality implying
u−1w
( ∑
wsi<w
ωi
)=
∑
wsi<w
ωi, (2.67)
whence either u = w (in which case λw + v(λ − λw) = λ, contrary to our assumption
that v(λ − λw) 6= λ − λw) or
l(u) > l(w) since w = w+
(w
∑
wsi<w
ωi
). (2.68)
Thus
λw + v(λ − λw) < λ, (2.69)
finishing the proof of (a). (b) Part (a) gives a recursive procedure for writing a given
monomial eλ as an R(T )W -linear combination of monomials eλw . Therefore these mono-
mials span R(T ) as an R(T )W -module. Let F be the fraction field of R(T ). Then by
Galois theory, the dimension of F over FW is |W |, and by the previous sentence the
monomials eλw span F as a vector space over FW . Therefore they are FW -linearly inde-
pendent, and it follows that they are also linearly independent over R(T )W . This proves
(b).
Remark 2.8. Part (b) of the theorem is originally due to Steinberg, [38]. Part (a) is
essentially a simplification of some ideas of Garsia [24] and Garsia and Stanton [23]
that apply results on Stanley-Reisner rings to obtain bases for coinvariant rings. The
result in the case of the ordinary coinvariant ring for the symmetric group is due to E.E.
Allen in [2].
There is a certain uniqueness property for the Steinberg weights, related to the fact
that the monomials eλw are a basis for R(T ) as an R(T )W module.
Theorem 2.9. Suppose that µw ∈ P is a set of weights indexed by w ∈ W , and that
47
(a) We have
w+(µw) = w for w ∈ W, (2.70)
and
(b) The monomials eµw are an R(T )W -basis of R(T ). Then
µw = λw for w ∈ W. (2.71)
Proof. The only units in R(T ) are ±eλ for λ ∈ P . Thus the only units in R(T )W are
±1. Since eλw and eµw are both R(T )W -bases of R(T ), the determinant of the change of
basis matrix must be a unit, whence
det(evµw) = ±det(evλw) (2.72)
Now consider the determinant
det(evµw). (2.73)
For each permutation σ of the set W , we obtain a term
(−1)l(σ)eP
w∈W σ(w)µw , (2.74)
and we observe that unless σ(w)µw = (µw)+ for all w ∈ W , this term is strictly smaller
(in dominance order) than
eP
w∈W (µw)+ . (2.75)
But if σ(w)µw = (µw)+, then l(σ(w)) ≥ l(w) with equality only if σ(w) = w−1. It follows
that the unique highest term (with respect to dominance order) in the determinant is
eP
w∈W (µw)+ . (2.76)
48
Now since w+(µw) = w, it follows from 2.6 that
(µw)+ =n∑
i=1
aiωi with ai > 0 if wsi < w. (2.77)
Thus∑
w∈W
(µw)+ =|W |
2ρ +
n∑
i=1
biωi with bi ≥ 0 for 1 ≤ i ≤ n, (2.78)
and in particular the unique highest term of the Steinberg determinant
det(evλw) is|W |
2ρ. (2.79)
On the other hand, any determinant of the form
det(evµw) (2.80)
for weights µw ∈ P is divisible by the factor
e|W |2
ρ∏
α∈R+
(1 − e−α)|W |/2, (2.81)
since by subtracting row sαv from row v for all v with
sαv > v, (2.82)
we see that it is divisible by the factor
(1 − e−α)|W |/2 for α ∈ R+. (2.83)
Now these terms are pairwise coprime, so it follows that the product 2.81 divides the
determinant. Furthermore, the unique highest term of the product is
|W |
2ρ, (2.84)
49
and since the determinant det(evλw) and the product 2.81
∏
α∈R+
(eα/2 − e−α/2) (2.85)
are both either symmetric or skew-symmetric, we get
det(evλw) =∏
α∈R+
(eα/2 − e−α/w) = e|W |2
ρ∏
α∈R+
(1 − e−α)|W |2 . (2.86)
Finally,
det(evµw) = ±det(evλw) = ±e|W |2
ρ∏
α∈R+
(1 − e−α)|W |/2, (2.87)
and this has unique highest term
±e|W |2
ρ, (2.88)
so (µw)+ = (λw)+ for all w ∈ W and it follows that µw = λw for all w ∈ W .
Remark 2.10. The Steinberg weights are not the unique set of weights such that the
monomials eλw are an R(T )W -basis of R(T ). In fact, given any set of weights µw that
give a monomial basis as above, and any element w in the extended affine Weyl group,
the weights w(µw) also give a monomial basis. One might be tempted to guess that up
to this action of the extended affine Weyl group, the Steinberg weights are the unique
weights giving a basis. This is true for the root system of type A1, but false for (at
least) all root systems of rank two. Some condition such as (a) is necessary to guarantee
uniqueness.
2.3 Coinvariant rings for Weyl groups
We keep the setup of the previous section: R is a roots system in h∗C
with Weyl group
W . But now we replace the ring R(T ) by the ring S(hC) of polynomial functions on
50
h∗C. We aim to connect the theory developed in the last section with an old result of
Hulsurkar [28] that states
Theorem 2.11. Let λw for w ∈ W be the Steinberg weights, and let aρ ∈ S(hC) be
defined by
aρ(x) =∏
α∈R+
< x, α∨ >
< ρ, α∨ >for x ∈ h∗
C. (2.89)
Then the translates
aρ(x + λw) for w ∈ W (2.90)
are a basis for the Z-module of W -harmonic polynomials that take integer values on P .
We will define the set H of harmonic polynomials momentarily.
The link between R(T ) and S(hC) is the following action of R(T ) on S(hC) by trans-
lations:
eλ.f(x) = f(x + λ) for λ ∈ P. (2.91)
Observe that by Taylor’s formula, we could also write this as
eλ.f(x) = eδλ .f(x), (2.92)
where δλ is the derivative of f(x) in the direction λ. Algebraically, δλ is the unique
derivation of S(hC) extending the linear map
y 7→< λ, y > for y ∈ hC. (2.93)
We will rephrase this in terms of an action of S(h∗C) and its completion S(h∗
C) on
S(hC). Observe that by equality of mixed partials, we have
δλδµ = δµδλ for λ, µ ∈ h∗C. (2.94)
51
It follows that there is a unique homomorphism from S(h∗C) into the ring EndC(S(hC))
mapping λ ∈ h∗C
to δλ. Furthermore, since the operators δλ are nilpotent, this homomor-
phism extends to the completion S(h∗C) of S(h∗
C). We will write δg for the differential
operator corresponding to g ∈ S(h∗C) under this homomorphism.
The space H of W -harmonic polynomials is
H ={f ∈ S(hC)|g.f = g(0)f for g ∈ S(h∗
C)W
}. (2.95)
The Z-module HZ of integer valued harmonics is
HZ = {f ∈ H|f(P ) ⊆ Z} . (2.96)
Let F be the fraction field of R(T ). We will prove
Theorem 2.12. Let λw ∈ P be a collection of weights indexed by w ∈ W . Then the
translates aρ(x+λw) for w ∈ W are a basis for the space H of W -harmonic polynomials if
and only if the monomials eλw are a basis for F over FW . Also, the translates aρ(x+λw)
are a basis for the space HZ of harmonic polynomials taking integer values on P if and
only if the monomials eλw are a basis for R(T ) as an R(T )W -module.
Proof. By Hulsurkar’s theorem, the translates
aρ(x + λ) for λ ∈ P (2.97)
span HZ. It follows that the map
R(T ) → HZ
f 7→ f.aρ
(2.98)
is a surjection of Z-modules. Notice that
f.aρ = f(0)aρ for f ∈ R(T )W . (2.99)
52
We therefore have an induced surjection
Z ⊗R(T )W R(T ) → HZ
n ⊗ f 7→ nf.aρ
(2.100)
where Z is the trivial R(T ) module with action f.n = f(0)n. But Z ⊗R(T )W R(T ) and
HZ are both free Z-modules of rank |W |, and so this map must be an isomorphism. Now
we have the equivalences
eλw is an R(T )W − basis of R(T )
⇐⇒ 1 ⊗ eλw is a Z − basis of Z ⊗R(T )W R(T )
⇐⇒ aρ(x + λw)is a Z − basis of HZ.
This proves that the monomials eλw are an R(T )W -basis of R(T ) if and only if the
polynomials aρ(x + λw) are a basis for HZ. The proof with R(T ) replaced by F and HZ
replaced by H is similar.
2.4 Coinvariant rings for complex reflection groups
In this section we consider a general complex reflection group W acting on the vector
space hC. The set H of W -harmonic polynomials is defined as in the last section; these
are precisely the polynomials that are annihilated by all positive degree homogeneous
W -invariant differential operators. Let T ⊆ W be the set of reflections in W . The main
result of this section is
Proposition 2.13. For each reflection s ∈ T , let α∨s be an element of hC with zero set
equal to the reflecting hyperplane for s. Define aρ by
aρ(x) =∏
s∈T
< x, α∨s > . (2.101)
53
Then for any element λ ∈ h∗C
with Wλ = 1, the translates
aρ(x + wλ) for w ∈ W (2.102)
are a basis of H.
Proof. Since the partial derivatives of aρ span H ([37], Theorem 2), so do the translates
aρ(x + λ), for λ ∈ h∗C. Fix elements λw ∈ H such that the set aρ(x + λw) is a basis of H.
It follows that for any polynomial f ∈ S(hC), we can write
f(x) =∑
w∈W
fw(x)aρ(x + λw), with fw(x) ∈ S(hC)W . (2.103)
Now suppose λ is a regular element of h∗C
(that is, wλ = λ implies w = 1). For each
w ∈ W , choose a polynomial fw ∈ S(hC) with
fw(vλ) = δwv for v, w ∈ W. (2.104)
Write
fw(x) =∑
v∈W
fwv(x)aρ(x + λv) for fwv ∈ S(hC)W . (2.105)
Putting x = uλ for all u ∈ W and using the W -invariance of fwv gives
δwu =∑
v∈W
fwv(λ)aρ(uλ + λv). (2.106)
It follows that the matrix with u, v entry
aρ(uλ + λv) (2.107)
is non-singular, and therefore the translates
aρ(x + uλ) for u ∈ W (2.108)
are a basis of H.
54
Remark 2.14. The proposition constructs an explicit basis for H, but lacks the precision
of the results of [38] and [28], in which some additional integrality condition is imposed.
It is not clear what the right analogues of these integrality conditions are for arbitrary
complex reflection groups.
55
Chapter 3
Rational Cherednik Algebras
3.1 The h action.
We first recall some notation from the introduction. Let W be a complex reflection
group acting in the complex vector space hC. Let H be the set of reflecting hyperplanes
for W in hC, and for each H ∈ H let WH be the subgroup of W fixing H pointwise. The
groups WH are precisely the maximal cyclic reflection subgroups of W ; for each WH ,
choose sH ∈ WH so that WH =< sH > is the group generated by sH . Let eH = |WH |
be the order of WH . Finally, let
ηc =∑
s∈T
cs(1 − ts) and h =n∑
i=1
xiyi + ηc
be the canonical central element in CW and the Casimir element in the rational Chered-
nik algebra Hc for W . For a simple CW -module V with central character ω, the Casimir
element h acts on the Verma module M(V ) by the rule
h(fv) = (κdeg(f) + ω(ηc))(fv), for f ∈ S(h∗C), v ∈ V.
So in order to calculate the h-action on M(V ), we need to compute the value of the
central character ω of V on ηc. Assuming that the cs are all equal, the following lemma
will determine this value in terms of the dimensions of the fixed spaces of the reflections
s ∈ T on V .
56
Lemma 3.1. Let V be a simple CW -module with central character ω. For each reflection
sH , let dim(fixV sH) be the dimension of the space of sH-fixed points in V . Then
ω
(∑
s∈T
1 − ts
)= N + |H| −
∑
H∈H
eHdim(fixV sH)
dim(V ). (3.1)
Proof. Let χ be the character afforded by the module V . Then for all f ∈ Z(CW ) (the
center of the group algebra CW ), we have
ω(f) =χ(f)
dim(V ).
For each hyperplane H ∈ H, we fix a generator sH of the stabilizer WH of H in W ,
and we write eH = |WH | for the order of WH . Suppose the eigenvalues of sH on V are
λ1, . . . , λd where d = dim(V ). Then the eigenvalues of sjH are λj
1, . . . , λjd, and summing
χ(s) over the non-identity elements of the cyclic group WH =< sH > gives
eH−1∑
j=1
χ(sjH) = (eH−1)dim(fixV sH)−(dim(V )−dim(fixV sH)) = eHdim(fixV sH)−dim(V ).
Using this we can compute the value of ω we want by summing over the maximal cyclic
reflection subgroup WH for all H ∈ H:
ω
(∑
s∈T
1 − ts
)=
Ndim(V ) −∑
s∈T χ(s)
dim(V )
=Ndim(V ) −
∑H∈H(eHdim(fixV sH) − dim(V )
dim(V )
= N + |H| −∑
s∈T
eHdim(fixV sH)
dim(V ).
Remark 3.2. Observe that by the lemma, the central characters of the Galois conjugates
of a simple module V all take the same value at∑
s∈T 1−ts. So these values of the central
character are not enough to distinguish between all simple CW -modules. However, we
can say something in the case when the value is zero. See the following corollary.
57
Corollary 3.3. Let V be a simple CW -module with central character ω. Let
kV = ω
(∑
s∈T
1 − ts
). (3.2)
Then kV is an integer satisfying
0 ≤ kV ≤ N + |H|,
and kV = 0 if and only if V is the trivial module.
Proof. Since∑
H∈H
eHdim(fixV sH)
dim(V )≤
∑
H∈H
eH = N + |H|,
with equality if and only if V is the trivial module, the previous lemma shows that kV is
a non-negative rational number satisfying the given inequalities, and that kV = 0 if and
only if V is the trivial module. On the other hand, it is a standard fact (see [29]) that
central characters of finite groups take algebraic integer values on class sums, so kV is
an integer.
Given more detailed information about the module V , we can compute the value
of kV more explicitly. It is well known that if the reflection representation of W is
irreducible, so are its exterior powers; this is exercise 3 to §2 in chapter five of [9]. The
following corollary is a generalization of a lemma in [25].
Corollary 3.4. Let hC be the reflection representation of the group W , let n = dim(hC),
and let V = ΛihC be the ith exterior power of hC. Then
kV = iN + |H|
n.
58
Proof. Observe that
dim(fixV sH) =
n − 1
i
.
So using the lemma, we have
kV = N + |H| −
(N + |H|)
n − 1
i
n
i
= N + |H| −n − i
n(N + |H|)
= iN + |H|
n.
Remark 3.5. The integer N+|H|n
appearing here is the Coxeter number of W . We will
discuss its significance for the representation theory of Hc in the next section.
Example 3.6. Let W be the symmetric group Sn acting on its standard reflection rep-
resentation of dimension n − 1. For each partition λ of n, let Vλ be the corresponding
irreducible representation of Sn, as in [21]. In this case we can use Frobenius’ formula
to compute the value of the character afforded by Vλ on a reflection (transposition) (ij).
A formula for kVλfollows easily from this. We simply state the answer: let r(λ) be the
number of boxes on the diagonal in the Young diagram for λ, and for the ith box in the
diagonal, let ai and bi be the number of boxes below it and to its right, respectively. Then
kVλ=
n
2
−
1
2
r(λ)∑
i=1
bi(bi + 1) − ai(ai + 1). (3.3)
59
This formula exhibits the symmetry of the number kV about the value N =
n
2
, as
well as showing how far they are from determining the module V . In fact, by pairing λ
with its conjugate λ′, this formula shows that the average of the kV ’s is N .
Note that in the example of the symmetric group, we have the equation
N =1
l
l∑
i=1
ki
where V1, . . . , Vl are the irreducible W = Sn-modules and ki = kVi. In fact, it is straight-
forward to check that this equation holds for any Coxeter group W by observing that
kV + kV ⊗ε = 2N,
where ε is the sign character of W .
3.2 The Coxeter number and one-dimensional mod-
ules for Hc.
Let W be a complex reflection group acting in the complex vector space hC and let T
be the set of reflections in W . In (1.36) we have fixed vectors αs ∈ h∗C
and α∨s ∈ hC such
that
sx = x− < x, α∨s > αs and s−1y = y− < αs, y > α∨
s ,
and in (1.37) we defined
< x, y >s=1
1 − deth∗C(s)
< x, α∨s >< αs, y >< αs, α
∨s >=< x, α∨
s >< αs, y >,
60
for x ∈ h∗C, y ∈ hC. Define a bilinear pairing < ·, · >0 on h∗
C× hC by
< x, y >0=∑
s∈T
< x, y >s .
This pairing satisfies
< wx,wy >0=< x, y >0, for y ∈ hC, x ∈ h∗C, w ∈ W,
since < wx,wy >s=< x, y >w−1sw and T is a union of W -conjugacy classes. Let
y1, y2, . . . , yn and x1, x2, . . . , xn be dual bases of hC and h∗C
with respect to the pair-
ing < x, y >= x(y). Then
n∑
i=1
< xi, yi >0 =∑
s∈T
n∑
i=1
< αs, yi >< xi, α∨s >=
∑
s∈T
<
n∑
i=1
< αs, yi > xi, α∨s > (3.4)
=∑
s∈T
< αs, α∨s >=
∑
s∈T
1 − deth∗C(s) = N + |H|, (3.5)
where N = |T | is the number of reflections in W and |H| is the number of reflecting
hyperplanes in hC (or, the number of maximal cyclic reflection subgroups of W ). The last
equality is obtained by summing deth∗C(s) over the maximal cyclic reflection subgroups.
Proposition 3.7. If hC is an irreducible W -module, then
< x, y >0= h < x, y >, where h =N + |H|
n. (3.6)
Proof. By the W -invariance of < ·, · >0 and Schur’s lemma there is a constant h such
that < x, y >0= h < x, y > for all x ∈ h∗C, y ∈ hC. By (3.4),
N + |H| =n∑
i=1
< xi, yi >0=n∑
i=1
h < xi, yi >= nh,
which gives the formula for h in the statement.
61
The number h is the Coxeter number of W . By Corollary 3.4 it is an integer. If
W is a complex reflection group that can be generated by n = dim(hC) reflections then
h is the maximum integer such that e2πi/h is an eigenvalue of an element of W on the
reflection representation (see [33]).
Lemma 3.8. Suppose W acts irreducibly on its reflection representation. Assume cs = c
for all s ∈ T . The formulas
tw.1 = 1, x.1 = y.1 = 0 for w ∈ W, /x ∈ h∗C, /y ∈ hC.
define a one dimensional Hc-module if and only if c = κ/h.
Proof. Using the defining relation (1.34) and Proposition 3.7,
0 = (yx − xy).1 = (κ < x, y > −c∑
s∈T
< αs, y >< x, α∨s >)1
= (κ < x, y > −c < x, y >0)1 = (κ − ch) < x, y > 1,
for all x ∈ h∗C, y ∈ hC. This holds exactly when ch = κ.
The next proposition appears, for W a Coxeter group, as Proposition 2.3 in [5].
Proposition 3.9. Suppose κ 6= 0 and cs = κ/h for all s ∈ T . Then the de Rham
complex of (1.5)
0 → S(h∗C) ⊗C Λnh∗
C
δn→ · · ·δ2→ S(h∗
C) ⊗C Λ1h∗
C
δ1→ S(h∗C) ⊗C Λ0h∗
C
δ0→ C → 0
is a complex of Hc modules.
Proof. For ease of notation, write Sd ⊗ Λp for Sd(h∗C) ⊗C Λph∗
C. For any p,
S0 ⊗ Λp ∩ ker(δp) = S0 ⊗ Λp ∩ im(δp+1) = 0,
62
since δp+1(Sd ⊗ Λp+1) ⊆ Sd+1 ⊗ Λp.
We prove by induction on p that the map δp is an Hc-module map. The Hc-module
homomorphism δ0 is the universal homomorphism M(1) → 1, where 1 is the one-
dimensional Hc-module constructed in Lemma 3.8. Now assume δp is a Hc-module map.
Let m ∈ δp+1(S0 ⊗ Λp+1). Since δp+1(S
d ⊗ Λp+1) ⊆ Sd+1 ⊗ Λp,
if m ∈ δp+1(S0 ⊗ Λp+1) then ym ∈ yS1 ⊗ Λp ⊆ S0 ⊗ Λp.
Since δp is an Hc-module homomorphism, ym ∈ y ker(δp) ⊆ ker(δp). Since ker(δp)∩S0⊗
Λp = 0, ym = 0. Thus
ym = 0, for all m ∈ δp+1(S0 ⊗ Λp+1),
and so there is an Hc-module homomorphism
M(δp+1(S0 ⊗ Λp+1)) → S ⊗ Λp
f ⊗ m 7−→ fm.(3.7)
Since ker(δp+1) ∩ S0 ⊗ Λp+1 = 0, δp+1 restricted to S0 ⊗ Λp+1 is injective and
Λp+1 ' S0 ⊗ Λp+1 ' δp+1(S0 ⊗ Λp+1).
Thus the map in (3.7) becomes
M(Λp+1) → S ⊗ Λp
f ⊗ m 7−→ fδp+1(m).(3.8)
Since
fδp+1(dxi1 . . . dxip+1) = f
p+1∑
j=1
(−1)j−1xijdxi1 . . . dxij . . . dxip+1 , (3.9)
the Hc-module map in (3.8) coincides with δp+1 in the Koszul complex.
63
3.3 The c-pairing.
In this section we introduce a bilinear pairing < ·, · >c between the spaces S(hC) and
S(h∗C). It is closely related to the Hermitian pairing defined in [18]. We will use this
pairing later to see that the coinvariant ring S(h∗C)/I is an irreducible Hc-module for
any complex reflection group W and a certain choice of the parameter c.
Let Hc be the rational Cherednik algebra for the parameter c defined in Section 1.7.
Define < ·, · >c: S(hC) × S(h∗C) → C by
< g, f >c= g.f(0), for g ∈ S(hC), f ∈ S(h∗C), (3.10)
where g.f is defined by the action of g ∈ Hc on the polynomial representation Mc(1) =
S(h∗C). If κ = 1 and cs = 0 for all s ∈ T then
< g, f >c= (δg(f))(0),
where δg is the differential operator determined by g ∈ S(hC). The use of this pairing is
implicit in the definition of harmonic polynomials in (1.15).
The pairing < ·, · >c is W -invariant,
< wg,wf >c= (φc(wg).wf)(0) = (tw.φc(g).f)(0) = (φc(g).f)(0) =< g, f >c, (3.11)
and the spaces Sd(hC) and Se(h∗C) of homogeneous polynomials of degrees d and e are
orthogonal with respect to < ·, · >c unless d = e.
Proposition 3.10. The right radical of < ·, · >c is
R = {v′ ∈ V ′| < v, v′ >= 0 for all v ∈ V } .
(a) R is a maximal Hc-submodule of S(h∗C).
64
(b) R is the unique maximal element of the set of proper graded submodules of S(h∗C).
Proof. Assume f ∈ R. For w ∈ W and y ∈ hC,
< g, twf >c =< t−1w g, f >c= 0, and
< g, yf >c = gy.f(0) =< gy, f >c= 0, for all g ∈ S(hC).
Hence twf and yf are in R.
Let f ∈ R and x ∈ h∗C. Let g ∈ S(hC) and assume that f and g are homogeneous.
Since Sd and Se are orthogonal unless d = e,
< g, xf >c= 0, unless deg(g) = deg(f) + 1.
If deg(g) = deg(f) + 1 then, by (1.40),
< g, xf >c = g.xf(0) =
(xg + κ∂xg −
∑
s∈T
cs < x, α∨s > ts
g − s−1g
α∨s
).f(0)
= 0+ < κ∂xg, f >c −∑
s∈T
cs < x, α∨s >< ts
g − s−1g
α∨s
, f >c= 0,
since f ∈ R. Thus x.f ∈ R. Hence R is an Hc-submodule of S(h∗C).
Assume M is a non-zero submodule of S(h∗C)/R. Let f be a non-zero element of M .
Let f ∈ S(h∗C) with f = f mod R. We may assume that the top degree component fd
of f is not in R. There is g ∈ Sd(hC) with < g, fd >c= 1 and so
g.f = g.(fd + (lower terms)) = g.fd = g.fd(0) =< g, fd >c= 1.
Hence 1 = g.f ∈ M and since 1 generates the Hc-module S(h∗C) it follows that M =
S(h∗C)/R. Therefore S(h∗
C)/R is simple and thus R is a maximal submodule of S(h∗
C).
If f ∈ R and fd is the degree d part of f then, since Sd and Se are orthogonal unless
d = e,
< fd, g >c=< fd, gd >c=< f, gd >c= 0, for g ∈ S(hC), (3.12)
65
where gd is the degree d part of g. Thus fd ∈ R and R is graded.
Assume M is a proper graded submodule of S(h∗C). Let f ∈ Md, the degree d
component of M . Since M is a proper submodule of S(h∗C) we have M0 = 0 and thus
< g, f >c= g.f(0) = 0, for all g ∈ Sd(h∗C).
Since Sd(h∗C) and Se(hC) are orthogonal if d 6= e it follows that < g, f >c= 0 for all
g ∈ S(hC). So f ∈ R. This proves that M ⊆ R.
3.4 The coinvariant ring.
In this section we study the polynomial representation for κ = 0 and cs = c for all s ∈ T .
We show that the simple Hc-module
Lc(1) = Mc(1)/R constructed in Proposition 3.10 (3.13)
is isomorphic to the coinvariant ring and produce a Koszul resolution of this module.
Recall from (1.54) that the Casimir element h ∈ Hc is defined by
h =n∑
i=1
xiyi +∑
s∈T
cs(1 − ts),
and that
[h, tw] = 0, [h, x] = κx, and [h, y] = −κy for w ∈ W, x ∈ h∗C, y ∈ hC.
When κ = 0 the Casimir element h ∈ Z(Hc), the center of Hc.
Theorem 3.11. Suppose that κ = 0 and cs = c for all s ∈ T . The simple Hc-module
Lc(1) is isomorphic to the coinvariant ring.
66
Proof. This follows from Proposition 3.10 once we show that the right radical R of
< ·, · >c is the ideal I of S(h∗C) generated by the positive degree W -invariant polynomials.
Let f ∈ S(h∗C)W be a positive degree invariant polynomial. Then by (1.39)
y.f = −c∑
s∈T
< αs, y >f − sf
αs
= 0 for all y ∈ hC.
Therefore g.f = 0 for all g ∈ S(hC) and f ∈ R. Since R is an Hc-submodule of S(hC),
it follows that I ⊆ R.
Suppose that f ∈ Rd. Since Rd is a CW -submodule of S(h∗C) we may assume that f
is in the χ-isotypic component of Rd where χ is an irreducible CW -module. With h as
in (1.54) and kχ as in (3.2),
0 − ckχf = h.f −∑
s∈T
c(1 − ts).f =n∑
i=1
xiyi.f.
By induction on d, yi.f ∈ I. If kχ 6= 0 then f ∈ I, and by Corollary 3.3 if kχ = 0 then
f ∈ S(h∗C)W . Since we may assume d > 0 it follows that f ∈ I.
Remark 3.12. An analogous argument shows that the left radical of the form is the
ideal J of S(hC) generated by the positive degree W -invariants. In this way the form
< ·, · >c induces a non-degenerate pairing
S(hC)/J × S(h∗C)/I → C. (3.14)
A set of basic invariants in S(hC)W is a set of algebraically independent homogeneous
polynomials f1, . . . , fn such that S(h∗C)W is generated by f1, . . . , fn as a C-algebra. The
ideal generated by the positive degree W -invariants is
I = 〈f1, . . . , fn〉, and we let Λp < df1, . . . , dfn >
be the pth exterior power of the vector space with basis consisting of the symbols
df1, . . . , dfn.
67
Theorem 3.13. All maps in the Koszul resolution of S(h∗C)/I,
0 → S(h∗C) ⊗C Λn < df1, . . . , dfn >→ . . .
→ S(h∗C) ⊗C Λ1 < df1, . . . , dfn >→ S(h∗
C) ⊗C Λ0 < df1, . . . , dfn >→ S(h∗
C)/I → 0,
with maps given by
S(h∗C) ⊗C Λp < df1, . . . , dfn > → S(h∗
C) ⊗C Λp−1 < df1, . . . , dfn >
f ⊗ dfi1 . . . dfip 7→∑p
j=1(−1)j−1ffijdfi1 . . . dfij . . . dfip ,
are Hc-module homomorphisms.
Proof. The complex we are considering is the usual Koszul complex for S(h∗C)/I. Since
W is a complex reflection group, by Theorem 1.4 the basic invariants f1, . . . , fn are
algebraically independent and so the complex is exact. By Theorem 3.11, the map
Mc(1) → Lc(1) coincides with the map δ0. The remainder of the proof can be completed
in the same way as the proof of Proposition 3.9.
Remark 3.14. The vector spaces Λp < df1, . . . , dfn > have nothing to do with the Hc-
module structure; they are simply counting the number of copies of the Hc-module S(h∗C)
appearing at the pth stage of the resolution. Thus as an Hc-module,
S(h∗C) ⊗C Λp < df1, . . . , dfn >' S(h∗
C)⊕(n
p)
The Hc-module S/I is an example of a baby Verma module. These were introduced
and studied in [26], in order to answer some questions posed in [20]. In the next chapter,
we will study the Hc-module S/I for the complex reflection groups G(r, p, n) in more
detail. We will obtain an eigenspace decomposition, and finally relate our study of
the rational Cherednik algebra to the material in chapter two on bases for coinvariant
68
rings. For now, we simply observe that the only obstacle to using the rational Cherednik
algebra to help us understand coinvariant rings via diagonalization is the absence of an
obvious commutative subalgebra of diagonalizable operators.
69
Chapter 4
The Gordon module and
coinvariants for the groups G(r, p, n).
4.1 The rational Cherednik algebra for G(r, p, n).
Let G(r, 1, n) be the group of n× n monomial matrices whose entries are rth roots of 1.
Let
ζ = e2πi/r and ζ li = diag(1, . . . , ζ l, . . . , 1), for 1 ≤ i ≤ n. (4.1)
Let
si = si,i+1, where sij = (ij), for 1 ≤ i < j ≤ n, (4.2)
be the transposition interchanging i and j. There are r conjugacy classes of reflections
in G(r, 1, n): (a) The reflections of order two:
ζ lisijζ
−li , for 1 ≤ i < j ≤ n, 0 ≤ l ≤ r − 1, (4.3)
and (b) the remaining r − 1 classes, consisting of diagonal matrices
ζ li , for 1 ≤ i ≤ n, 1 ≤ l ≤ r − 1, (4.4)
where ζ li and ζk
j are conjugate if and only if k = l.
Let
yi = (0, . . . , 1, . . . , 0)t and xi = (0, . . . , 1, . . . , 0),
70
so that y1, . . . , yn is the standard basis of hC = Cn and x1, . . . , xn is the dual basis in h∗C.
If
αs = ζ−l−1xi, α∨s = (ζ l+1 − ζ)yi, for s = ζ l
i , (4.5)
and
αs = xi − ζ lxj, α∨s = yi − ζ−lyj, for s = ζ l
isijζ−li . (4.6)
then
sx = x− < x, α∨s > αs and s−1(y) = y− < αs, y > α∨
s ,
for s ∈ T , x ∈ hCC∗, and y ∈ hC. Let c be the parameter defining Hc as in 1.29, and let
κ = c(1), c0 = c(s1), and ci = c(ζ i1) for 1 ≤ i ≤ r − 1. (4.7)
Proposition 4.1. The rational Cherednik algebra for W = G(r, 1, n) with parameters
κ, c0, c1, . . . , cr−1 is the algebra generated by C[x1, . . . , xn], C[y1, . . . , yn], and tw for w ∈
W with relations
twtv = twv, twx = (wx)tw, and twy = (wy)tw,
for w, v ∈ W , x ∈ h∗C, and y ∈ hC,
yixj = xjyi + c0
r−1∑
l=0
ζ−ltζlisijζ−l
i, (4.8)
for 1 ≤ i 6= j ≤ n, and
yixi = xiyi + κ −r−1∑
l=1
cl(1 − ζ−l)tζli− c0
∑
j 6=i
r−1∑
l=0
tζlisijζ−l
i, (4.9)
for 1 ≤ i ≤ n.
71
Proof. This is just a matter of rewriting formula (1.34) using our G(r, 1, n)-specific
notation. For 1 ≤ i < j ≤ n,
yixj = xjyi + κ < xj, yi >
− c0
∑
1≤k<m≤n
r−1∑
l=0
< xk − ζ lxm, yi >< xj, yk − ζ−lym > tζlkskmζ−l
k
−n∑
k=1
r−1∑
l=1
cl < ζ−l−1xk, yi >< xj, (ζl+1 − ζ)yk > tζl
k
= xjyi + κ · 0 − c0
r−1∑
l=0
(−ζ−l)tζlisijζ−l
i− 0 = xjyi + c0
r−1∑
l=0
ζ−ltζlisijζ−l
i.
The calculation for 1 ≤ j < i ≤ n is similar. For i = j,
yixi = xiyi + κ < xi, yi >
− c0
∑
1≤k<m≤n
r−1∑
l=0
< xk − ζ lxm, yi >< xi, yk − ζ−lym > tζlkskmζ−l
k
−
n∑
k=1
r−1∑
l=1
cl < ζ−l−1xk, yi >< xi, (ζl+1 − ζ)yk > tζl
k
= xiyi + κ − c0
∑
1≤i<m≤n
r−1∑
l=0
tζlisimζ−l
i− c0
∑
1≤k<i≤n
r−1∑
l=0
tζlksikζ−l
k−
r−1∑
l=1
cl(1 − ζ−l)tζli.
The complex reflection group G(r, p, n) is the subgroup of G(r, 1, n) consisting of
those matrices so that the product of the non-zero entries is an r/pth root of 1. The
reflections in G(r, p, n) are
(a) ζ lisijζ
−li for 1 ≤ i < j ≤ n and 0 ≤ l ≤ r − 1, and
(b) ζ lpi for 1 ≤ i ≤ n and 0 ≤ l ≤ r/p − 1.
The rational Cherednik algebra for G(r, p, n) with equal parameters c is the subalgebra
of the rational Cherednik algebra Hc for G(r, 1, n) with parameters
cl = c, if p divides l and cl = 0, if p does not divide l,
72
generated by C[x1, . . . , xn], C[y1, . . . , yn], and CG(r, p, n). This observation will allow us
to apply the main results proved for G(r, 1, n) to G(r, p, n).
The Casimir element h (defined in (3.6)) for the rational Cherednik algebra for
G(r, 1, n) is
h =n∑
i=1
xiyi + c0
∑
1≤i<j≤n
r−1∑
l=0
(1 − tζlisijζ−l
i) +
n∑
i=1
r−1∑
l=1
cl(1 − tζli). (4.10)
The Coxeter number of G(r, p, n) is equal to
h =|T | + |H|
n=
r(
n2
)+ n(r/p − 1) + r
(n2
)+ n
n= rn − r + r/p, (4.11)
if p < r, and
h =|T | + |H|
n=
r(
n2
)+ n(r/p − 1) + r
(n2
)
n= rn − r, (4.12)
if p = r.
4.2 The graded Hecke algebra inside Hc.
Let Hc be the rational Cherednik algebra for the group G(r, 1, n). In this section we
will construct a subalgebra of Hc isomorphic to the graded Hecke algebra for G(r, 1, n)
defined in Section 5 of [35]. This subalgebra was identified in [16], Proposition 1.1. For
1 ≤ i ≤ n define
zi = yixi + c0φi for 1 ≤ i ≤ n, where φi =∑
1≤j<i
r−1∑
l=0
tζlisijζ−l
i. (4.13)
Proposition 4.2. The elements z1, . . . , zn of Hc are pairwise commutative:
zizj = zjzi for 1 ≤ i, j ≤ n.
73
Proof. We begin by computing
[yixi, yjxj] = yixiyjxj − yjxjyixi
= yi(xiyj − yjxi)xj + yj(yixj − xjyi)xi
= −yi
(c0
r−1∑
l=0
ζ−ltζljsijζ−l
j
)xj + yj
(c0
r−1∑
l=0
ζ−ltζlisijζ−l
i
)xi
= −yixi
(c0
r−1∑
l=0
tζljsijζ−l
j
)+
(c0
r−1∑
l=0
tζlisijζ−l
i
)yixi
= −
[yixi, c0
r−1∑
l=0
tζlisijζ−l
i
].
Thus [yixi, yjxj + c0
r−1∑
l=0
tζlisijζ−l
i
]= 0 (4.14)
Let
ψi = φ1 + · · · + φi =∑
1≤j<k≤i
r−1∑
l=0
tζlksjkζ−l
k.
Then ψi is a conjugacy class sum and therefore a central element of the group algebra
of G(r, 1, i). It follows that ψi commutes with ψ1, . . . , ψi. Therefore ψ1, ψ2, . . . , ψn are
pairwise commutative and hence φ1, . . . , φn are pairwise commutative.
Using the commutativity of the φi, the commutator formula (4.14), and the fact that
yjxj commutes with φi for i < j, we assume i < j and compute
[zi, zj] = [yixi + c0φi, yjxj + c0φj] = [yixi, yjxj + c0φj]
=
[yixi, yjxj + c0
r−1∑
l=0
tζlisijζ−l
i+ c0
∑
1≤k 6=i<j
r−1∑
l=0
tζljsjkζ−l
j
]= 0.
As observed in [16], Proposition 1.1, the relations in the following lemma imply that
the subalgebra of Hc generated by G(r, 1, n) and z1, . . . , zn is isomorphic to the graded
Hecke algebra for G(r, 1, n) defined in [35] Section 5.
74
Proposition 4.3.
zitζj= tζj
zi for 1 ≤ i, j ≤ n, (4.15)
zitsi= tsi
zi+1 − c0
r−1∑
l=0
tζliζ
−li+1
for 1 ≤ i ≤ n, (4.16)
and
zitsj= tsj
zi for 1 ≤ i ≤ n and j 6= i, i + 1. (4.17)
Proof. First we observe that the elements tζiand φj commute for all 1 ≤ i, j ≤ n. This
is clear if i > j; if i = j then
tζjφjt
−1ζj
= tζj
∑
1≤k<j
r−1∑
l=0
tζljsjkζ−l
jt−1ζj
=∑
1≤k<j
r−1∑
l=0
tζl+1j sjkζ−l−1
j= φj;
a similar computation handles the case i < j. Then (4.15) follows from
tζiyixi = ζyitζi
xi = ζζ−1yixitζi= yixitζi
, for 1 ≤ i, j ≤ n.
For (4.16),
zitsi=
(yixi + c0
∑
1≤j<i
r−1∑
l=0
tζlisijζ−l
i
)tsi
= tsi
(yi+1xi+1 + c0
∑
1≤j<i
r−1∑
l=0
tζli+1si+1,jζ−l
i+1
)
= tsizi+1 − tsi
c0
r−1∑
l=0
tζli+1si+1,iζ
−li+1
= tsizi+1 − c0
r−1∑
l=0
tζliζ
−li+1
.
Finally, we observe that if j 6= i, i + 1 then tsjcommutes with φi and with yixi, and
hence with zi = yixi + c0φi.
The following lemma is a generalization of (4.16) and (4.17)
Lemma 4.4. Let f be a rational function of z1, . . . , zn. Then
tsif = (sif)tsi
− c0πif − sif
zi − zi+1
, for 1 ≤ i ≤ n − 1. (4.18)
75
Proof. Observe that if f is zi, zi+1, or zj for j 6= i, i + 1, then the relation to be proved
is (4.16) and (4.17). Assume the relation (4.18) is true for rational functions f and g.
Then it is evidently true for f + g and af for all a ∈ C, and we compute
tsifg = (tsi
f − (sif)tsi) g + (sif) (tsi
g − (sig)tsi) + (sifg)tsi
=
(−c0πi
f − sif
zi − zi+1
)g + (sif)
(−c0πi
g − sig
zi − zi+1
)+ (sifg)tsi
= (sifg)tsi− c0πi
fg − sifg
zi − zi+1
,
so (4.18) is true for fg. Assuming it is true for the rational function f , we compute
(tsi1/f − (1/sif)tsi
)f(sif) = tsisif − 1/sif
((sif)tsi
− c0πif − sif
zi − zi+1
)sif
= c0πif − sif
zi − zi+1
,
and dividing by f(sif) proves that the relation holds for 1/f . Since it holds for z1, . . . , zn,
it is true for all rational functions in z1, . . . , zn.
4.3 Intertwiners.
The intertwining operators σi for 1 ≤ i ≤ n − 1 are
σi = tsi+
c0πi
zi − zi+1
, where πi =r−1∑
l=0
tζliζ
−li+1
. (4.19)
The σi’s are well-defined since zi commutes with πj for all 1 ≤ i, j ≤ n. They are
important because, as the following lemma shows, they permute the zi’s from (4.13).
Lemma 4.5. For 1 ≤ i ≤ n and j 6= i, i + 1,
ziσi = σizi+1, zi+1σi = σizi, zjσi = σizj,
tζiσi = σitζi+1
, tζi+1σi = σitζi
, tζjσi = σitζj
.
76
Proof. The commutation relation (4.16) for zi and tsigives
ziσi = zi
(tsi
+c0πi
zi − zi+1
)= tsi
zi+1 − c0
r−1∑
l=0
tζliζ
−li+1
+c0πizi
zi − zi+1
= σizi+1 −c0πizi+1
zi − zi+1
− c0πi +c0πizi
zi − zi+1
= σizi+1.
The proof that zi+1σi = σizi is exactly analogous, and the fact that σi and zj commute
if j 6= i, i + 1 is obvious.
Using the relation tζiπi = πitζi+1
,
tζiσi = tζi
(tsi
+c0πi
zi − zi+1
)= tsi
tζi+1+
c0πi
zi − zi+1
tζi+1= σitζi+1
.
The proof that tζi+1σi = σitζi
is the same, and the fact that σi and tζjcommute if
j 6= i, i + 1 is obvious.
Next we compute the squares σ2i of the intertwiners. We will use this calculation
later to detect submodules of the polynomial representation.
Lemma 4.6.
σ2i = 1 −
(c0πi
zi − zi+1
)2
Proof. Using Lemma 4.4,
σ2i =
(tsi
+c0πi
zi − zi+1
)(tsi
+c0πi
zi − zi+1
)
= 1 + tsi
c0πi
zi − zi+1
+c0πi
zi − zi+1
tsi+
(c0πi
zi − zi+1
)2
= 1 +c0πi
zi+1 − zi
tsi− c0πi
c0πi
zi−zi+1− c0πi
zi+1−zi
zi − zi+1
+c0πi
zi − zi+1
tsi+
(c0πi
zi − zi+1
)2
= 1 −
(c0πi
zi − zi+1
)2
.
77
Define the intertwiners Φ and Ψ by
Φ = xntsn−1sn−2...s1 and Ψ = y1ts1s2...sn−1 . (4.20)
The intertwiner Φ was first defined in Section 4 of [31] where it is used for the sym-
metric group case. The following proposition shows that the same element works as an
intertwiner for all the groups G(r, 1, n).
Proposition 4.7. For 1 ≤ i ≤ n − 1,
ziΦ = Φzi+1 tζiΦ = Φtζi+1
, ziΨ = Ψzi−1 tζiΨ = Ψtζi−1
,
tζnΦ = Φ(ζ−1tζ1), znΦ = Φ
(z1 + κ −
r−1∑
l=1
cl(1 − ζ−l)ζ−ltζl1
),
tζ1Ψ = Ψ(ζtζn), and z1Ψ = Ψ
(zn − κ +
r−1∑
l=1
cl(1 − ζ−l)tlζn
).
Proof. The relations for Ψ follow from the relations for Φ and the equation ΨΦ = z1.
Using the commutation formula (4.9) for yn and xn,
ynxnΦ =
(xnyn + κ −
r−1∑
l=1
cl(1 − ζ−l)tζln− c0φn
)xntsn−1 . . . ts1
= Φy1x1 + κΦ − Φr−1∑
l=1
cl(1 − ζ−l)ζ−ltζl1− c0φnΦ.
Hence
znΦ = (ynxn + c0φn)Φ = Φ
(z1 + κ −
r−1∑
l=1
cl(1 − ζ−l)ζ−ltζl1
).
Let 1 ≤ i < n. Since
yixiΦ = yixixntsn−1...s1 =
(xnyi + c0
r−1∑
l=0
ζ−ltζlisinζ−l
i
)xitsn−1...s1
= Φyi+1xi+1 + Φc0
r−1∑
l=0
tζli+1si+1,1ζ−l
i+1
78
and
φiΦ =∑
1≤j<i
r−1∑
l=0
tζlisijζ−l
ixntsn−1...s1 = xntsn−1...s1
∑
1≤j<i
r−1∑
l=0
tζli+1si+1,j+1ζ−l
i+1
= Φ
(φi+1 −
r−1∑
l=0
tζli+1si+1,1ζ−l
i+1
)
it follows that
ziΦ = (yixi + c0φi)Φ
= Φyi+1xi+1 + Φc0
r−1∑
l=0
tζli+1si+1,1ζ−l
i+1+ Φc0
(φi+1 −
r−1∑
l=0
tζli+1si+1,1ζ−l
i+1
)= Φzi+1.
Finally,
tζiΦ = tζi
xntsn−1...s1 = xntsn−1...s1tζi+1= Φtζi+1
, and
tζnΦ = tζn
xntsn−1...s1 = xntsn−1...s1ζ−1tζ1 = Φ(ζ−1tζ1),
for 1 ≤ i < n.
Proposition 4.8.
σiσj = σjσi if |i − j| ≥ 2, σiσi+1σi = σi+1σiσi+1 for 1 ≤ i ≤ n − 2,
σiΦ = Φσi+1 for 1 ≤ i ≤ n − 2, and σiΦn = Φnσi for 1 ≤ i ≤ n − 1.
Proof. This proof is a long calculation that we omit.
4.4 Weight spaces.
The intertwining operators Φ and σ1, . . . , σn−1 are useful for creating new eigenvec-
tors from old eigenvectors. Let t be the (commutative) subalgebra of Hc generated by
z1, . . . , zn and tζ1 , . . . , tζn,
t = C[z1, . . . , zn] ⊗C C[tζ1 , . . . , tζn]. (4.21)
79
Identify a homomorphism γ : t → C with
(a, b) = ((a1, . . . , an), (b1, . . . , bn)) in Cn × (Z/rZ)n ,
via γ(zi) = ai and γ(tζi) = bi. The (a, b)-weight space of M is
M(a,b) = {f ∈ M |zi.f = aif and tζi.f = bif , for 1 ≤ i ≤ n}. (4.22)
Define
φ((a1, . . . , an), (b1, . . . , bn)) = ((a2, . . . , an, a1 + ε(b1)), (b2, . . . , bn, ζ−1b1), (4.23)
where
ε(b1) = κ −
r−1∑
l=1
cl(1 − ζ−l)ζ−lbl1. (4.24)
Proposition 4.9.
(a) σi : M(a,b) → M(sia,sib) is well defined when bi 6= bi+1 or ai 6= ai+1.
(b) σi is a bijection unless bi = bi+1 and ai = ai+1 ± rc0.
(c) Φ : M(a,b) → Mφ(a,b) is always well defined and has left inverse (1/a1)Ψ unless a1 = 0.
Proof. By definition of Φ ∈ Hc, the operator Φ : M(a,b) → Mφ(a,b) is well-defined and
since ΨΦ = z1 in Hc it has left inverse (1/a1)Ψ if a1 6= 0. This proves (c).
For m ∈ M(a,b),
πim =r−1∑
l=0
(bib−1i+1)
lm =
0 if bi 6= bi+1,
rm if bi = bi+1.
Hence σi = tsiif bi 6= bi+1. If bi = bi+1 then, by Lemma 4.6,
σi = tsi+
rc0
ai − ai+1
and σ2i =
(ai − (ai+1 + rc0))((ai − (ai+1 − rc0))
(ai − ai+1)2.
The second equation implies that σi is a bijection if ai 6= ai+1 ± rc0.
80
If
tεi= (si−1 . . . s1)(s1 . . . sn−1φ)(s1 . . . si−1) (4.25)
then wtεiw−1 = tεw(i)
for w ∈ Sn and 1 ≤ i ≤ n, and
W = {tk1ε1
. . . tkn
εnw | k1, . . . , kn ∈ Z, w ∈ Sn} ' Z
no Sn (4.26)
acts on the space of weights Cn × (Z/rZ)n. Explicitly, if
tεi.(a, b) = (a′, b′) then a′
i = ai + ε(bi) = ai + κ −
r−1∑
l=0
cl(1 − ζ−l)ζ−lbli. (4.27)
Lemma 4.10. Suppose that M is an Hc-module that is the direct sum of its weight
spaces, and so that the intertwiners σ1, . . . , σn−1 are defined everywhere on M . Then if
N ⊆ M is a t-submodule that is stable under the intertwiners:
Φ.N ⊆ N, Ψ.N ⊆ N and σi.N ⊆ N for 1 ≤ i ≤ n − 1,
then N is an Hc submodule of M .
Proof. Since N is a t-submodule, it is stable under tζ1 , . . . , tζn. Next we show that N is
stable under ts1 , . . . , tsn−1 . Since N is the direct sum of its weight spaces, it suffices to
show that if f ∈ Nλ for some weight λ, then tsi.f ∈ N for 1 ≤ i ≤ n − 1. But
tsi.f =
(σi −
c0πi
zi − zi+1
).f = σi.f −
c0
λ(zi) − λ(zi+1)πi.f ∈ N.
Finally, we show that N is stable under x1, . . . , xn and y1, . . . , yn. Observe that
Φ = xntsn−1...s1 = tsn−1 . . . tsixitsi−1
. . . ts1 ,
so that
xi = tsi. . . tsn−1Φts1 . . . tsi−1
,
81
and since N is stable under Φ and tsifor 1 ≤ i ≤ n, it is stable under xi for 1 ≤ i ≤ n.
The proof that it is stable under y1, . . . , yn is analogous. Since Hc is generated by
x1, . . . , xn, y1, . . . , yn, and tw for w ∈ G(r, 1, n), we’re done.
Thus if we can find a collection of weight spaces in M that is stable under the
intertwiners, we have found a submodule.
4.5 The spectrum of the polynomial representation.
Let C[x1, x2, . . . , xn] be the polynomial representation of Hc, and let t be the subalgebra
of Hc generated by z1, . . . , zn and tζ1 , . . . , tζn. We will show that C[x1, . . . , xn] has an
eigenbasis indexed by the set Zn≥0 and we will describe how the intertwining operators
act on this basis.
The next proposition is the analogue of [32] 2.6 in our setting. It shows that the
zi’s are upper triangular as operators on C[x1, . . . , xn] with respect to the order on Zn≥0
defined by
λ < µ ⇐⇒ λ+ <d µ+ or λ+ = µ+ and λ <d µ, (4.28)
where λ+ is the non-increasing rearrangement of λ and <d is dominance order on Zn≥0,
λ ≤d µ if µ − λ ∈n−1∑
i=1
Z≥0(εi − εi+1). (4.29)
Let w+(λ) be the minimal length permutation such that
w+(λ)λ+ = λ. (4.30)
82
Proposition 4.11. The action of yi, tζiand zi on the polynomial representation for the
rational Cherednik algebra for G(r, 1, n) are given by
yi.xλ =
(κλi −
r−1∑
l=1
cl(1 − ζ−lλi)
)xλ−εi − c0
∑
j 6=i
r−1∑
l=0
xλ − ζ lisijζ
−li xλ
xi − ζ lxj
,
tζi.xλ = ζ−λixλ, and
zixλ =
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i))
)xλ +
∑
µ<λ
aµxµ.
Proof. The second statement follows from the commutation relation (1.33) in the defini-
tion of the rational Cherednik algebra and the definition of the polynomial representation
C[x1, . . . , xn]. Using the commutation formula 1.39 for f ∈ S(h∗C) and y ∈ hC, we obtain
yi.xλ = κλix
λ−εi − c0
∑
1≤j<k≤n
r−1∑
l=0
< xj − ζ lxk, yi >xλ − ζ l
jsjkζ−lj xλ
xj − ζ lxk
−∑
1≤j≤n
r−1∑
l=1
cl < ζ−l−1xj, yi >xλ − ζ l
jxλ
ζ−l−1xj
= κλixλ−εi − c0
∑
1≤j<i
r−1∑
l=0
(−ζ l)xλ − ζ l
jsijζ−lj xλ
xj − ζ lxi
− c0
∑
i<j≤n
r−1∑
l=0
xλ − ζ lisijζ
−li xλ
xi − ζ lxj
−r−1∑
l=1
cl(1 − ζ−lλi)xλ−εi
=
(κλi −
r−1∑
l=1
cl(1 − ζ−lλi)
)xλ−εi − c0
∑
j 6=i
r−1∑
l=0
xλ − ζ lisijζ
−li xλ
xi − ζ lxj
.
83
Using this equation and the geometric series formula to evaluate the divided differ-
ences,
zixλ = yix
λ+εi + c0
∑
1≤j<i
r−1∑
l=0
ζ lisijζ
−li xλ
=
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1))
)xλ
− c0
∑
j 6=i
r−1∑
l=0
xλ+εi − ζ lisijζ
−li xλ+εi
xi − ζ lxj
+ c0
∑
1≤j<i
r−1∑
l=0
ζ lisijζ
−li xλ
=
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1))
)xλ − c0
∑
1≤j<iλj<λi
r−1∑
l=0
λi−λj∑
k=0
ζ lkxλ+k(εj−εi)
− c0
∑
1≤j<iλj=λi
r−1∑
l=0
xλ − c0
∑
1≤j<iλj>λi+1
r−1∑
l=0
λj−λi−1∑
k=1
(− ζ−lk
)xλ−k(εj−εi)
− c0
∑
i<j≤nλj<λi+1
r−1∑
l=0
λi−λj∑
k=0
ζ lkxλ+k(εj−εi) − c0
∑
i<j≤nλj>λi+1
r−1∑
l=0
λj−λi−1∑
k=1
(− ζ−lk
)xλ−k(εj−εi)
+ c0
∑
1≤j<iλj<λi
r−1∑
l=0
ζ l(λi−λj)xsijλ + c0
∑
1≤j<iλj=λi
r−1∑
l=0
xλ + c0
∑
1≤j<iλj>λi
r−1∑
l=0
ζ l(λi−λj)xsijλ.
84
The third and eighth terms cancel giving
zi.xλ =
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1))
)xλ − c0
∑
1≤j<iλj<λi
r−1∑
l=0
ζ l·0xλ+0(εj−εi)
− c0
∑
1≤j<iλj<λi
r−1∑
l=0
λi−λj−1∑
k=1
ζ lkxλ+k(εj−εi) − c0
∑
1≤j<iλj<λi
r−1∑
l=0
ζ l(λi−λj)xλ+(λi−λj)(εj−εi)
+ c0
∑
1≤j<iλj<λi
r−1∑
l=0
ζ l(λi−λj)xsijλ − c0
∑
1≤j<iλj>λi+1
r−1∑
l=0
λj−λi−1∑
k=1
(− ζ−lk
)xλ−k(εj−εi)
− c0
∑
i<j≤nλj<λi+1
r−1∑
l=0
ζ l·0xλ+0(εj−εi) − c0
∑
i<j≤nλj<λi+1
r−1∑
l=0
λi−λj∑
k=1
ζ lkxλ+k(εj−εi)
− c0
∑
i<j≤nλj>λi+1
r−1∑
l=0
λj−λi−1∑
k=1
(− ζ−lk
)xλ−k(εj−εi) + c0
∑
1≤j<iλj>λi
r−1∑
l=0
ζ l(λi−λj)xsijλ.
Now the fourth and fifth terms cancel giving
zixλ =
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1))
)xλ
− c0
∑
1≤j<iλj<λi
r−1∑
l=0
xλ − c0
∑
i<j≤nλj<λi+1
r−1∑
l=0
xλ + (lower terms)
=
(κ(λi + 1) −
r−1∑
l=1
cl(1 − ζ−l(λi+1) − rc0fi(λ))
)xλ + (lower terms),
where
fi(λ) = |{j < i|λj < λi}| + |{j > i|λj ≤ λi}|
= i − 1 − |{j < i|λj ≥ λi}| + n − i − |{j > i|λj > λi}|
= n − w+(λ)−1(i).
85
The non-symmetric Jack polynomials are the eigenfunctions fλ for the action of
z1, . . . , zn and tζ1 , . . . , tζnon the polynomial representation of the rational Cherednik
algebra that appear in the following theorem.
Theorem 4.12. If κ and c are indeterminates the polynomial representation C[x1, . . . , xn]
has a unique basis of simultaneous eigenfunctions such that
fλ = xλ +∑
µ<λ
aλµxµ, with aλµ ∈ C(κ, c0, c1, . . . , cl), (4.31)
tζi.fλ = ζ−λifλ, and zi.fλ = (tλw+(λ).ρc)
(1)i fλ, (4.32)
where ρc = (ρ(1)c , ρ
(2)c ) is given by
(ρ(1)c )i = κ −
r−1∑
l=1
cl(1 − ζ−l) − c0r(n − i) and (ρ(2)c )i = 1. (4.33)
Proof. By (4.11) in Proposition 4.11 the spectrum of the commutative algebra C[z1, . . . , zn]⊗
C[tζ1 , . . . , tζn] on C[x1, . . . , xn] is simple, so we can simultaneously diagonalize these op-
erators. The result now follows from Proposition 4.11 since
(w+(λ).ρc)(1)i = κ −
r−1∑
l=1
cl(1 − ζ−l) − c0r(n − w+(λ)−1(i)),
which gives
(tλw+(λ).ρc)(1)i = (tλ1
ε1· · · tλn
εnw+(λ).ρc)i
= κ(λi + 1) −r−1∑
l=1
cl(1 − ζ−l(λi+1)) − c0r(n − w+(λ)−1(i)),
where we have used (4.27) and induction.
Corollary 4.13.
(a) The action of zi on fλ is given by
zi.fλ =
(κ(λi + 1) −
r−1∑
l=0
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i))
)fλ (4.34)
86
(b) If κ = 0, or if r > 1, κ 6= 0, and c0 = (k + 1/h)κ with k ∈ Z≥0 then σi.fλ is
well-defined for 1 ≤ i ≤ n − 1 and λ ∈ Zn≥0.
(c) If r = 1, κ 6= 0, and c0 = (k + 1/h) with k ∈ Z≥0, then σi.fλ is well-defined for
1 ≤ i ≤ n − 1 and λ ∈ [0, kh]n.
Proof. By using the formula (4.27) and induction we obtain
(tλw+(λ).ρc)(1)i = κ(λi + 1) −
r−1∑
l=0
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i)),
and (a) follows from this and Theorem 4.12. Next, recall from Proposition 4.9 that σi
is well defined on a weight vector of weight (a, b) if bi 6= bi+1 or ai 6= ai+1. By using (a),
σi is well-defined on fλ unless λi = λi+1 mod r and
κ(λi + 1) −r−1∑
l=0
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i))
= κ(λi+1 + 1) −r−1∑
l=0
cl(1 − ζ−l(λi+1+1)) − rc0(n − w+(λ)−1(i + 1)).
Since λi = λi+1 mod r, this is equivalent to
κ(λi − λi+1) + rc0(w+(λ)−1(i) − w+(λ)−1(i + 1)) = 0,
which is impossible if κ = 0 and c0 6= 0. If r > 1 and c0 = (k + 1/h)κ, we obtain
λi − λi+1
r= (k + 1/h)(w+(λ)−1(i + 1) − w+(λ)−1(i)),
which is impossible since the left hand side is an integer and
h = r(n − 1) > n − 1 ≥ w+(λ)−1(i + 1) − w+(λ)−1(i).
Now suppose r = 1 and c0 = (k + 1/h). Then h = n − 1 and
λi − λi+1 = (k + 1/(n − 1))(w+(λ)−1(i + 1) − w+(λ)−1(i)),
87
so w+(λ)−1(i + 1) − w+(λ)−1(i) = n − 1 and
λi − λi+1 = (n − 1)k + 1 = hk + 1 > hk,
so λ /∈ [0, hk]n.
Generally, the polynomial fλ can be constructed by applying a sequence of the inter-
twiners Φ and σ1, . . . , σn−1 to 1. Then fλ exists for a particular choice of κ, c0, . . . , cl ∈ C
provided the intertwiners in this sequence do not have poles. The calibration graph is
the directed graph whose vertices are all λ ∈ Zn≥0 for which the Jack polynomials fλ
exist and edges
λn→ φ.λ, λ
n→ ψ.λ, if Ψ.fλ 6= 0, and λ
i→ siλ, if σi.fλ 6= 0, (4.35)
where
φ.(λ1, . . . , λn) = (λ2, . . . , λn, λ1 + 1), and (4.36)
ψ.(λ1, . . . , λn) = (λn − 1, λ1, . . . , λn−1). (4.37)
Provided the intertwiners are well defined, for λ ∈ Zn≥0 and 1 ≤ i ≤ n − 1,
σi.fλ ∈ Cfsiλ, Φ.fλ ∈ Cfφλ, and Ψfλ ∈ Cfψλ, (4.38)
explaining the origin of the calibration graph. We obtain an undirected graph from
the calibration graph by erasing the one-way edges. The connected components of the
calibration graph are the connected components of this undirected graph.
Suppose cp ∈ C,
cl =
cp if p divides l,
0 otherwise,
for 1 ≤ cl ≤ r − 1, (4.39)
88
and that cp = 0 if p = r. If ε(b1) is as defined in (4.24) then
(ρ(1)c )i = κ − cr(n − i) − cpr/p, and ε(b1) =
κ + cpr/p, if bp1 = ζ2p,
κ − cpr/p, if bp1 = ζp,
κ otherwise.
(4.40)
Proposition 4.14. Suppose that the parameter c is generic. Let λ ∈ Z≥0. Then
(a) Φfλ = fφλ, where φ(λ1, . . . , λn) = (λ2, . . . , λn, λ1 + 1).
(b) If λi < λi+1 then σifλ = fsiλ.
Proof. If λi < λi+1 then siλ > λ and we will prove that
if µ < λ then siµ < siλ.
Assume µ < λ. Case 1: if µ+ < λ+, then
(siµ)+ = µ+ < λ+ = (siλ)+,
whence siµ < siλ. Case 2: if µ+ = λ+ then w+(µ) > w+(λ), and
w+(siλ) < w+(λ) < w+(µ) and w+(siµ) = siw+(µ) or w+(siµ) = w+(µ).
It follows by Property “Z” of Deodhar that w+(siλ) < w+(siµ). Thus using Theorem
4.12 and the definition of σi in (4.19) there is a constant ξ ∈ C(κ, c0, . . . , cl) such that
σifλ =
(tsi
+c0πi
zi − zi+1
)fλ = tsi
(xλ +
∑
µ<λ
aλµxµ
)+ ξfλ
= xsiλ +∑
µ<λ
aλµxsiµ + ξ
(xλ +
∑
µ<λ
aλµxµ
)= xsiλ + (lower terms),
89
By Proposition 4.9 σifλ is an eigenvector for the zi’s and tζi’s, and since its leading term
is xsiλ, we must have σifλ = fsiλ. Since
Φ.fλ = xntsn−1...s1fλ = xntsn−1...s1
(xλ +
∑
µ<λ
aλµxµ
)= xφλ +
∑
µ<λ
aλµxφµ
and by Proposition 4.9 Φ.fλ has the same weight as fφλ so that Φ.fλ = fφλ.
4.6 Coinvariants and the Gordon module for G(r, p, n).
Let
Lc(1) = Mc(1)/R, (4.41)
where the form < ·, · >c is defined in (3.10) and R is its radical. By Theorem 3.11, Lc(1)
is an irreducible graded Hc-module.
Proposition 4.15. Fix κ, c0, c1, . . . , cr−1 ∈ C. Suppose the intertwiners are well-defined
on all fλ’s, and let Γ be the connected component of the calibration graph containing
(0, 0, . . . , 0). Then the set
{fλ | λ ∈ Γ} (4.42)
is a basis for Lc(1).
Proof. The set of fλ’s for λ outside the connected component of (0, . . . , 0) spans a graded
Hc-submodule of C[x1, . . . , xn] by Lemma 4.10. The quotient by this submodule is simple
since the intertwiners allow us to move from between any two fλ’s in the connected
component of (0, . . . , 0). Now it follows from Theorem 3.10 that Lc(1) is the span of the
fλ’s for λ in the connected component of (0, . . . , 0).
90
Theorem 4.16. Suppose κ 6= 0, k ∈ Z≥0, and r > 1, and let
c0 = (k + 1/h)κ and cl =
(k + 1/h)κ, if p divides l,
0, otherwise.
Then Lc(1) has basis
{fλ | λ ∈ [0, kh]n}.
Proof. We use Proposition 4.15. We must show that the connected component of
(0, . . . , 0) in the calibration graph is precisely [0, kh]n.
Note that if λ ∈ [0, kh]n then siλ ∈ [0, kh]n. Assume σifλ = 0. Then, by (4.34) and
Proposition 4.9 part (b), λi = λi+1 mod r and
κ(λi + 1) −r−1∑
l=0
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i))
−
(κ(λi+1 + 1) −
r−1∑
l=0
cl(1 − ζ−l(λi+1+1)) − rc0(n − w+(λ)−1(i + 1))
)= ±rc0,
and therefore
κλi + rc0w+(λ)−1(i) − κλi+1 − rc0w+(λ)−1(i + 1) = ±rc0.
So
κ(λi − λi+1) = rc0(w+(λ)−1(i + 1) − w+(λ)−1(i) ± 1). (4.43)
Since c0 = (k + 1/h)κ and κ 6= 0,
λi − λi+1 = r(k + 1/h)(w+(λ)−1(i + 1) − w+(λ)−1(i) ± 1).
So if σifλ = 0 then r divides λi − λi+1 and it follows from (4.43) that
h divides (w+(λ)−1(i + 1) − w+(λ)−1(i) ± 1).
91
If λ 6= siλ then λi 6= λi+1 and
|λi − λi+1| = r(kh + 1)|w+(λ)−1(i + 1) − w+(λ)−1(i) ± 1|
h≥ r(kh + 1).
This is impossible for λ ∈ [0, kh]n and so σifλ 6= 0. Thus,
λ ↔ siλ if λ 6= siλ and λ ∈ [0, kh]n.
Assume ΨΦfλ = 0. Then by (4.34) and Proposition 4.9,
κ(λ1 + 1) − κ(k + 1/h)
r/p−1∑
l=0
(1 − ζ−lp(λ1+1)) − κr(k + 1/h)(n − w+(λ)−1(1)) = 0,
so that
λ1 + 1 = (k + 1/h)(r(n − w+(λ)−1(1)) + δ), (4.44)
where
δ =
r/p−1∑
l=0
(1 − ζ−l(λ1+1)) =
0 if r = p or r < p and r/p divides λ1 + 1,
r/p otherwise.
Equation 4.44 implies that h divides r(n − w+(λ)−1(1) + δ). Since
r(n − w+(λ)−1(1)) + δ ≤ r(n − 1) + δ ≤ h
with equality when
w+(λ)−1(1) = 1 and r = p or r < p and r/p does not divide λ1 + 1.
From (4.44)
λ1 + 1 = kh + 1.
It follows that ΨΦfλ = 0 exactly if λ1 = kh is the largest part of λ. Thus, for λ ∈ [0, kh]n,
λ ↔ φλ if λ1 6= kh, and φλ /∈ [0, kh]n exactly if λ1 = kh.
92
Corollary 4.17. As G(r, p, n)-modules,
Lc(1) ' C[x1, . . . , xn]/〈xkh+11 , . . . , xkh+1
n 〉.
Proof. Since the transition matrix between the basis fλ and the basis xλ for C[x1, . . . , xn]
is upper triangular with ones on the diagonal, the CG(r, p, n)-module C-span{xλ | λ ∈
[0, kh]n} maps isomorphically onto Lc(1) under the surjection Mc(1) → Lc(1).
An element of G(r, 1, n) is
v =[ζk1w(1), ζk2w(2), . . . , ζknw(n)
]= [w(1), . . . , w(n)][ζk1 , . . . , ζkn ], (4.45)
with w ∈ Sn, 0 ≤ k1, . . . , kn ≤ r − 1. A descent of v is an integer 1 ≤ i ≤ n − 1 such
that
ki < ki+1 or ki = ki+1 and w(i) > w(i + 1). (4.46)
The Steinberg weight for v is λv = (d1(v), . . . , dn(v)), where
di(v) = r∣∣{j ≥ w−1(i) | j is a descent of v}
∣∣ + kw−1(i), (4.47)
and w−1(i) is the position of i in the sequence [w(1), . . . , w(n)]. The descent monomial
corresponding to v is
xλv = xd1(v)1 x
d2(v)2 . . . xdn(v)
n , (4.48)
Note that
w = w+(λv) and ki = di(v) mod r. (4.49)
The xλv generalize the descent monomials from [24] and [23].
Theorem 4.18. Let
κ = 0, c0 = −1 and cl =
−1, if p divides l,
0, otherwise.
93
Then Lc(1) has basis {fλv| v ∈ G(r, 1, n)p}, where
G(r, 1, n)p ={[
ζk1w(1), . . . , ζknw(n)]∈ G(r, 1, n) | 0 ≤ kn ≤ r/p − 1
}. (4.50)
Proof. If λ ∈ Zn≥0 then, by Proposition 4.9 and Corollary 4.34, there is an edge λ ↔ siλ
when λi 6= λi+1 mod r or
λi = λi+1 mod r and
−
r−1∑
l=0
cl(1 − ζ−l(λi+1)) − rc0(n − w+(λ)−1(i))
= −r−1∑
l=0
cl(1 − ζ−l(λi+1+1)) − rc0(n − w+(λ)−1(i + 1)) ± rc0.
The second condition simplifies to
λi = λi+1 mod r and w+(λ)−1(i + 1) − w+(λ)−1(i) = ±1. (4.51)
Using (4.49), if v ∈ G(r, 1, n) then
λv ↔ siλv ⇐⇒ kw−1(i) 6= kw−1(i+1) or w−1(i) − w−1(i + 1) 6= ±1
⇐⇒ {descents of v } = {descents of siv }
⇐⇒ siλv = λsiv.
Assume v = [w(1), . . . , w(n)] [ζk1 , . . . , ζkn ] ∈ G(r, 1, n)p. Then
siv = [siw(1), siw(2), . . . , siw(n)][ζk1 , ζk2 , . . . , ζkn ], (4.52)
where [siw(1), siw(2), . . . , siw(n)] is the same sequence as [w(1), . . . , w(n)] but with i
and i + 1 interchanged. Thus siv ∈ G(r, 1, n)p. For λ ∈ Zn≥0, recall that
φ(λ1, . . . , λn) = (λ2, . . . , λn, λ1 + 1). (4.53)
94
For λ ∈ Zn≥0, by Proposition 4.9 and Corollary 4.34, there is an edge
λ ↔ φλ ⇐⇒ −
r1∑
l=0
cl(1 − ζ−l(λ1+1)) − c0r(n − w+(λ)−1(1)) 6= 0
⇐⇒ δ + r(n − w+(λ)−1(1)) 6= 0
⇐⇒ w+(λ)−1(1) 6= n or δ 6= 0
where δ = 0 if p = r or r/p divides λ1 + 1 and δ = r/p otherwise. So there is an edge
λ ↔ φλ if and only if
w+(λ)−1(1)) 6= n or p < r and r/p does not divide λ1 + 1. (4.54)
Thus for v ∈ G(r, 1, n)p, the intertwiner Φ is invertible at λv if and only if
w−1(1) 6= n or w−1(1) = n and kw−1(1) + 1 6= r/p. (4.55)
Next, define φ ∈ G(r, 1, n) by
φ = [ζn, 1, 2, . . . , n − 1] , (4.56)
Then, for v ∈ G(r, 1, n)p,
λv ↔ φλv ⇐⇒ w−1(1) 6= n or w−1(1) = n and kw−1(1) + 1 6= r/p
⇐⇒ φλv = λφv and φv ∈ G(r, 1, n)p.
We have proved that if v ∈ G(r, 1, n)p and λv ↔ siλv then siλv = λsiv and siv ∈
G(r, 1, n)p. Also, if v ∈ G(r, 1, n)p and λv ↔ φλv then φλv = λφv and φv ∈ G(r, 1, n)p.
Thus the connected component of the calibration graph containing λ1 = (0, . . . , 0) is
contained in {λv | v ∈ G(r, 1, n)p}.
To prove the opposite containment, let v ∈ G(r, 1, n)p.
95
Case 1: there is an edge λφ−1v ↔ λv. Then deg(xλφ−1v) < deg(xλv).
Case 2: there is an edge λsiv ↔ λv and with w−1(i) − w−1(i + 1) > 0, where
v = [ζk1w(1), . . . , ζknw(n)]. Then siw >B w, where >B is Bruhat order on Sn.
From (4.55), the edge λφ−1v ↔ λv exists unless
kn = 0 and w(n) = n. (4.57)
If kn = 0 and w(n) = n then, from (4.51), there is an edge λsn−1v ↔ λv with sn−1v >B v
unless
w−1(n) − w−1(n − 1) ≤ 1 and
if kw−1(n) 6= kw−1(n−1), then w−1(n) − w−1(n − 1) ≤ 0.
Hence, if λsn−1v ↔ λv does not exist then
kw−1(n−1) = kw−1(n) = 0 and w−1(n − 1) = w−1(n) − 1 = n − 1. (4.58)
Now there is an edge λsn−2v ↔ λv with sn−2v >B v unless
w−1(n − 1) − w−1(n − 2) ≤ 1 and
if kw−1(n−2) 6= kw−1(n−1), then w−1(n − 1) − w−1(n − 2) ≤ 0.
Continuing in this way, we either find an edge as in Case 1 or Case 2, or v = 1.
Thus, every element v ∈ G(r, 1, n)p is connected to 1 by a sequence of edges as in
Case 1 and Case 2. So the connected component of λ1 in the calibration graph is
{λv | v ∈ G(r, 1, n)p}.
The following theorem shows that there are two “mirror” copies of S/I inside the
Gordon module. This is analogous to a similar phenomenon in the perfect representation
96
of the double affine Hecke algebra analyzed in Theorem 8.6 of [11] (see also the remarks
on Gordon’s theorem in [12]).
Theorem 4.19. There are two embedding of the calibration graph of S/I in Gordon’s
module, given by
λv 7−→ λv and λv 7−→ (h, . . . , h) − w0λv.
Proof. Let v = [ζk1w(1), . . . , ζknw(n)] ∈ G(r, 1, n)p. If |{j ≥ w−1(i) | j is a descent of v}| =
n − 1 then w−1(i) = 1, and
kw−1(i) = k1 ≤ k2 ≤ · · · ≤ kn ≤ r/p − 1,
giving
di(v) = r|{j ≥ w−1(i) | j is a descent of v}| + kw−1(i)
≤ r(n − 1) + r/p − 1 ≤ h,
by (4.11) and (4.12). Otherwise,
di(v) = r|{j ≥ w−1(i) | j is a descent of v}| + kw−1(i)
≤ r(n − 2) + r − 1 = r(n − 1) − 1 ≤ h.
Thus λv = (d1(v), . . . , dn(v)) ∈ [0, h]n and (h, h, . . . , h) − w0λv ∈ [0, h]n where w0 =
[n, n − 1, . . . , 2, 1] is the longest element of Sn.
In the calibration graph for S/I, there is an edge λv ↔ siλv whenever siλv = λsiv,
and an edge λv ↔ φλv whenever φλv = λφv. In the calibration graph for the Gordon
module, there is an edge λ ↔ siλ for all λ ∈ [0, h]n, and an edge λ ↔ φλ for all λ ∈ [0, h]n
such that φλ ∈ [0, h]n. It follows that the inclusion identifies the calibration graph of
S/I with a full subgraph of the calibration graph of the Gordon module.
97
An edge λv ↔ siλv = λsiv in the calibration graph of S/I corresponds under the
embedding λv → (h, h, . . . , h) − w0λv to an edge (h, h, . . . , h) − w0λv ↔ (h, h, . . . , h) −
w0siλv = w0siw−10 ((h, h, . . . , h) − w0λv). An edge λv ↔ φλv in S/I corresponds to an
edge (h, h, . . . , h)−w0λv ↔ (h, h, . . . , h)−w0φλv = ψ((h, h, . . . , h)−w0λv). This shows
that the embedding λv → (h, h, . . . , h)−w0λv is an embedding of S/I as a full subgraph
of the Gordon module.
Remark 4.20. If r = 2 or p = r then the image of fλv0is the same under both maps,
where
v0 = [ζr/p−1n, ζr/p−1(n − 1), . . . , ζr/p−11]. (4.59)
4.7 Some examples.
4.7.1 The group G(1, 1, 2).
The calibration graph for S/I for G(1, 1, 2) is
1φ
←→x2 with f1 = 1 and fx2 = Φ · 1 = x2,
and z1f1 = f1, z2f1 = 0, z1fx2 = 0, z2fx2 = fx2 .
4.7.2 The group G(1, 1, 3).
The calibration graph for S/I for G(1, 1, 3) is
1φ
←→ x3φ
←→ x2x3xyσ2
xyσ1
x2φ
←→ x1x3φ
←→x2x23
98
with (generic) non-symmetric Jacks
f1 = 1, fx3 = x3, fx2 = x2 +c
2c − κx3, fx2x3 = x2x3,
fx1x2 = x1x3 +c
2c − κx2x3, fx2x2
3= x2x
23 +
c
2c − κx1x2x3.
4.7.3 The group G(r, 1, 1).
The calibration graph of S/I for G(r, 1, 1) is
1φ
←→ x1φ
←→ x21
φ←→ · · ·
φ←→ xr−2
1
φ←→ xr−1
1 ,
with
fxi1
= xi1, tζ1fi = ζ−ifi, z1fi =
rfi, if 0 ≤ i ≤ r − 2,
0, if i = r − 1.
4.7.4 The group G(r, r, 2).
The calibration graph of S/I for G(r, r, 2) is
1φ
←→ x2 x21
φ←→ x3
2 xr−11
φ←→ xr
2xyσ1
xyσ1
xyσ1 · · ·xyσ1
x1φ
←→ x22 x3
1
φ←→
with fxi2
= xi2, fxi
1= xi
1, and
z1fxi1
= rfxi1
z2fxi1
= 0, tζ1fxi1
= ζ−ifxi1, tζ2fxi
1= fxi
1,
z1fxi2
= 0, z2fxi2
= rf ix2
, tζ1fxi2
= fxi2, tζ2fxi
2= ζ−ifxi
2.
99
4.7.5 The group G(3, 1, 2).
The calibration graph for Lc(1) for G(3, 1, 2) with c0 = c1 = (1 + 1/h)κ = (1 + 1/6)κ,
κ 6= 0. The left-right edges come from the intertwiner σ1 and the up-down edges come
from the intertwiners Φ and Ψ. The boldface monomials are one embedded copy of S/I,
and reflecting about the horizontal midline gives the other copy of S/I. Note that these
100
copies overlap in four weight spaces.
1xy
x2 ←→ x1
xyxy
x1x2 x2
2←→ x2
1xyxy
xy
x1x2
2←→ x2
1x2 x3
2←→ x3
1xyxy
xyxy
x2
1x2
2x1x
3
2←→ x3
1x2 x4
2 ←→ x41xy
xyxy
xyxy
x2
1x3
2←→ x3
1x2
2x1x
4
2←→ x4
1x2 x52 ←→ x5
1xyxy
xyxy
xyxy
x31x
32 x2
1x4
2←→ x4
1x2
2x1x
52 ←→ x5
1x2 x62 ←→ x6
1xyxy
xyxy
xyxy
x31x
42 ←→ x4
1x32 x2
1x5
2←→ x5
1x22 x1x
62 ←→ x6
1x22xy
xyxy
xyxy
x41x
42 x3
1x52 ←→ x5
1x32 x2
1x62 ←→ x6
1x22xy
xyxy
xy
x41x
52 ←→ x5
1x42 x3
1x62 ←→ x6
1x32xy
xyxy
x51x
52 x4
1x62 ←→ x6
1x42xy
xy
x51x
62 ←→ x6
1x52xy
x61x
62
101
Chapter 5
Conclusion
In this thesis we have studied three modules for the rational Cherednik algebra: the
polynomial representation, the Gordon module, and the coinvariant ring. We have de-
fined a subalgebra containing commuting operators z1, . . . , zn and tζ1 , . . . , tζnand shown
that each of these representations contains a basis of simultaneous eigenvectors fλ for
these commuting operators. In the case of the coinvariant ring the leading terms of
the polynomials fλ are generalizations of the descent basis constructed by Garsia in the
symmetric group case in [24]. The Weyl group of type Bn is the complex reflection
group G(2, 1, n) and, in this case, the leading terms of the fλ’s are the type B descent
basis constructed in [1]. The Weyl group of type Dn is the complex reflection group
G(2, 2, n), and for this case the leading terms are the type D descent basis constructed
in [7]. Although we have not checked this, it is likely that the leading terms of the
fλ coincide with the monomial bases for the coinvariant rings for G(r, p, n) which are
constructed by combinatorial methods by Allen in [3].
Our analysis includes a precise description of the action of the intertwiners on the
basis fλ. In the case of the coinvariant algebra there should be a relation between this
description and the results of [3], [1], [23], and [7] on the “descent representations” for
G(r, p, n).
Several natural questions arise:
102
(1) Can we characterize the subalgebra of H0c generated by z1, . . . , zn and tζ1 , . . . , tζn
in some intrisic way?
(2) Will a solution to (1) allow a generalization of our results to the other (exceptional)
complex reflection groups?
(3) What is the relationship between the Springer correspondence and our construc-
tions?
103
Bibliography
[1] Ron M. Adin, Francesco Brenti, and Yuval Roichman, Descent representations and
multivariate statistics, Trans. Amer. Math. Soc. 357 (2005), no. 8, 3051–3082 (elec-
tronic). MR MR2135735 (2006e:20019)
[2] E. E. Allen, The descent monomials and a basis for the diagonally symmetric poly-
nomials, J. Algebraic Combin. 3 (1994), no. 1, 5–16. MR MR1256100 (95e:05121)
[3] Edward E. Allen, Descent monomials, P -partitions and dense Garsia-Haiman mod-
ules, J. Algebraic Combin. 20 (2004), no. 2, 173–193. MR MR2104675 (2005j:05094)
[4] D. J. Benson, Polynomial invariants of finite groups, London Mathematical Society
Lecture Note Series, vol. 190, Cambridge University Press, Cambridge, 1993. MR
MR1249931 (94j:13003)
[5] Yuri Berest, Pavel Etingof, and Victor Ginzburg, Finite-dimensional representa-
tions of rational Cherednik algebras, Int. Math. Res. Not. (2003), no. 19, 1053–1088.
MR MR1961261 (2004h:16027)
[6] I. N. Bernsteın, I. M. Gel′fand, and S. I. Gel′fand, Schubert cells, and the cohomology
of the spaces G/P , Uspehi Mat. Nauk 28 (1973), no. 3(171), 3–26. MR MR0429933
(55 #2941)
[7] Riccardo Biagioli and Fabrizio Caselli, A descent basis for the coinvariant algebra
of type D, J. Algebra 275 (2004), no. 2, 517–539. MR MR2052623 (2005k:20010)
104
[8] Armand Borel, Linear algebraic groups, Graduate Texts in Mathematics, vol. 126,
Springer-Verlag, New York, 1991. MR MR1102012 (92d:20001)
[9] Nicolas Bourbaki, Lie groups and Lie algebras. Chapters 4–6, Elements of Math-
ematics (Berlin), Springer-Verlag, Berlin, 2002, Translated from the 1968 French
original by Andrew Pressley. MR MR1890629 (2003a:17001)
[10] David M. Bressoud, Proofs and confirmations, MAA Spectrum, Mathematical As-
sociation of America, Washington, DC, 1999. MR MR1718370 (2000i:15002)
[11] Ivan Cherednik, Double affine Hecke algebras and difference Fourier transforms,
Invent. Math. 152 (2003), no. 2, 213–303.
[12] , Diagonal coinvariants and double affine Hecke algebras, Int. Math. Res.
Not. 152 (2004), no. 16, 769–791.
[13] Neil Chriss and Victor Ginzburg, Representation theory and complex geometry,
Birkhauser Boston Inc., Boston, MA, 1997. MR MR1433132 (98i:22021)
[14] Arjeh M. Cohen, Finite complex reflection groups, Ann. Sci. Ecole Norm. Sup. (4)
9 (1976), no. 3, 379–436. MR MR0422448 (54 #10437)
[15] Vinay Deodhar, A brief survey of Kazhdan-Lusztig theory and related topics, Al-
gebraic groups and their generalizations: classical methods (University Park, PA,
1991), Proc. Sympos. Pure Math., vol. 56, Amer. Math. Soc., Providence, RI, 1994,
pp. 105–124. MR MR1278702 (96d:20039)
[16] C. Dezelee, Generalized graded Hecke algebra for complex reflection group of type
G(r, 1, n), arXiv:math.RT/0605410v2.
105
[17] V. G. Drinfel′d, Degenerate affine Hecke algebras and Yangians, Funktsional. Anal.
i Prilozhen. 20 (1986), no. 1, 69–70. MR MR831053 (87m:22044)
[18] C. F. Dunkl and E. M. Opdam, Dunkl operators for complex reflection groups, Proc.
London Math. Soc. (3) 86 (2003), no. 1, 70–108. MR MR1971464 (2004d:20040)
[19] David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150,
Springer-Verlag, New York, 1995. MR MR1322960 (97a:13001)
[20] Pavel Etingof and Victor Ginzburg, Symplectic reflection algebras, Calogero-Moser
space, and deformed Harish-Chandra homomorphism, Invent. Math. 147 (2002),
no. 2, 243–348. MR MR1881922 (2003b:16021)
[21] William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathe-
matics, vol. 129, Springer-Verlag, New York, 1991. MR MR1153249 (93a:20069)
[22] A. M. Garsia and M. Haiman, Some natural bigraded Sn-modules and q, t-Kostka
coefficients, Electron. J. Combin. 3 (1996), no. 2, Research Paper 24, approx. 60
pp. (electronic). MR MR1392509 (97k:05205)
[23] A. M. Garsia and D. Stanton, Group actions of Stanley-Reisner rings and invariants
of permutation groups, Adv. in Math. 51 (1984), no. 2, 107–201. MR MR736732
(86f:20003)
[24] Adriano M. Garsia, Combinatorial methods in the theory of Cohen-Macaulay rings,
Adv. in Math. 38 (1980), no. 3, 229–266. MR MR597728 (82f:06002)
[25] Iain Gordon, Baby Verma modules for rational Cherednik algebras, Bull. London
Math. Soc. 35 (2003), no. 3, 321–336. MR MR1960942 (2004c:16050)
106
[26] , On the quotient ring by diagonal invariants, Invent. Math. 153 (2003),
no. 3, 503–518. MR MR2000467 (2004f:20075)
[27] Mark D. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Alge-
braic Combin. 3 (1994), no. 1, 17–76. MR MR1256101 (95a:20014)
[28] S. G. Hulsurkar, Proof of Verma’s conjecture on Weyl’s dimension polynomial,
Invent. Math. 27 (1974), 45–52. MR MR0369555 (51 #5788)
[29] I. Martin Isaacs, Character theory of finite groups, Academic Press [Harcourt Brace
Jovanovich Publishers], New York, 1976. MR MR0460423 (57 #417)
[30] Victor G. Kac, Infinite-dimensional Lie algebras, Cambridge University Press, Cam-
bridge, 1990. MR MR1104219 (92k:17038)
[31] Friedrich Knop and Siddhartha Sahi, A recursion and a combinatorial formula
for Jack polynomials, Invent. Math. 128 (1997), no. 1, 9–22. MR MR1437493
(98k:33040)
[32] Eric Opdam, Harmonic analysis for certain representations of graded Hecke alge-
bras, Acta Math. 175 (1995), 75–121.
[33] Peter Orlik and Louis Solomon, Unitary reflection groups and cohomology, Invent.
Math. 59 (1980), no. 1, 77–94. MR MR575083 (81f:32017)
[34] Harsh V. Pittie, Homogeneous vector bundles on homogeneous spaces, Topology 11
(1972), 199–203. MR MR0290402 (44 #7583)
[35] Arun Ram and Anne V. Shepler, Classification of graded Hecke algebras for complex
107
reflection groups, Comment. Math. Helv. 78 (2003), no. 2, 308–334. MR MR1988199
(2004d:20007)
[36] G. C. Shephard and J. A. Todd, Finite unitary reflection groups, Canadian J. Math.
6 (1954), 274–304. MR MR0059914 (15,600b)
[37] Robert Steinberg, Differential equations invariant under finite reflection groups,
Trans. Amer. Math. Soc. 112 (1964), 392–400. MR MR0167535 (29 #4807)
[38] , On a theorem of Pittie, Topology 14 (1975), 173–177. MR MR0372897 (51
#9101)
[39] Richard Vale, Rational Cherednik algebras and diagonal coinvariants of G(m, p, n),
arXiv:math.RT/0505416v2.