Rational Cherednik algebras deform the algebra generated by coordinates, derivatives and a finite reflection group. They preserve enough triangular structure to support highest-weight techniques, yet introduce reflection terms into differential operators through the Dunkl construction. The result is a meeting point of representation theory, algebraic geometry, integrable systems and combinatorics.
Start with a finite complex reflection group W acting on a vector space h. Ordinary polynomial differential operators on h form the Weyl algebra. Cross this with W, then deform the commutator between h and h*. The deformation parameter remembers reflections and their conjugacy classes.
This article connects the BTT routes through Category O, Invariant Theory, Hecke Algebras, and Geometric Invariant Theory.
Reflection groups
A complex reflection is an element s∈GL(h) fixing a hyperplane pointwise. Equivalently, rank(1−s)=1.
A finite group W generated by such reflections is a complex reflection group. Real reflection groups include Weyl groups and finite Coxeter groups.
The Chevalley–Shephard–Todd theorem says C[h]^W is a polynomial algebra exactly when W is generated by complex reflections.
The algebra H_c(W,h)
The rational Cherednik algebra H_c is generated by h, h*, and W. Elements x,x′∈h* commute, and y,y′∈h commute. W acts by conjugation in the expected way.
The mixed commutator is deformed:
[y,x]=⟨y,x⟩−Σ_s c_s⟨α_s,y⟩⟨x,α_s^∨⟩s
with normalizations varying across references. The sum runs over reflections, α_s vanishes on the reflecting hyperplane, α_s^∨ spans the moving direction, and c_s is constant on conjugacy classes.
When c=0, the algebra reduces to the semidirect product of the Weyl algebra with W.
PBW theorem
A crucial fact is the triangular vector-space decomposition
H_c ≈ C[h] ⊗ C[W] ⊗ C[h*]
after choosing the conventional order of h and h* generators.
This Poincaré–Birkhoff–Witt property says the deformation changes multiplication without changing the expected size of the algebra as a filtered vector space.
Dunkl operators
The polynomial representation acts on C[h]. Coordinates act by multiplication. Group elements act by their natural linear action.
The y-generators act by Dunkl operators: differential operators corrected by reflection terms.
For a real reflection system, schematically,
D_y = ∂_y − Σ_s c_s ⟨α_s,y⟩/α_s · (1−s).
The apparent pole along α_s=0 cancels on polynomials because (1−s)f is divisible by α_s.
The Dunkl operators commute with one another. That is the central integrability feature.
Worked rank-one example
Take W=Z/2 acting on C by s(x)=−x. Let c be the single reflection parameter.
A common normalization gives
D = d/dx − c(1−s)/x.
For x^n, s(x^n)=(−1)^n x^n. Hence
D(x^n)=n x^{n−1}−c(1−(−1)^n)x^{n−1}.
Even powers behave like ordinary differentiation, while odd powers receive a reflection correction.
This tiny example already shows how group symmetry is fused into differential calculus.
Category O
Rational Cherednik algebras have a highest-weight category O analogous in spirit to Lie-theoretic category O.
Standard modules are induced from irreducible W-representations τ:
Δ(τ)=H_c ⊗_{C[h]⋊W} τ
with h acting trivially on τ in the standard convention.
As vector spaces, Δ(τ) resembles C[h*]⊗τ, depending on the generator convention.
These standard modules have simple quotients L(τ), and the category exhibits highest-weight structure for appropriate parameters.
Euler element
An Euler element eu acts as a grading operator. It satisfies commutator relations of the form
[eu,x]=x, [eu,y]=−y.
Thus x raises degree and y lowers degree, reproducing the directional structure needed for category O.
Spherical subalgebra
Let e=|W|^{-1}Σ_{w∈W}w be the symmetrizing idempotent. The spherical subalgebra is
eH_ce.
It captures the W-invariant part of the Cherednik algebra and often has a geometric interpretation.
For suitable parameters, H_c and eH_ce are Morita equivalent. At singular parameters, this can fail.
Calogero–Moser connection
At t=0 in the broader two-parameter Cherednik family H_{t,c}, the center becomes large. Its spectrum defines a Calogero–Moser-type space associated with W.
For symmetric groups, this geometry connects to classical Calogero–Moser integrable systems and Hilbert-scheme-type structures.
The representation theory of the algebra is reflected in singularities, symplectic leaves and fibers of this central geometry.
KZ functor and Hecke algebras
Localizing modules away from the reflection hyperplanes produces flat connections with monodromy.
The Knizhnik–Zamolodchikov functor sends suitable objects of Cherednik category O to modules over a Hecke algebra of W.
Thus reflection-deformed differential equations produce braid-group monodromy, and braid-group monodromy factors through Hecke algebras.
This creates a direct bridge to BTT’s Hecke Algebra route.
Type A and symmetric groups
For W=S_n acting by reflections on its reflection representation, irreducible W-modules are indexed by partitions.
These labels also index standard objects in rational Cherednik category O. This connects Young-diagram combinatorics, symmetric-group representation theory and deformed differential operators.
At special rational values of c, finite-dimensional representations may appear and category O changes structure dramatically.
Why this belongs after microlocal sheaves
Microlocal sheaf theory attached directional singular geometry to sheaves. Rational Cherednik theory instead deforms differential operators by reflection data.
Both live near the interface between cotangent geometry and representation categories. One tracks singular propagation; the other builds algebraic operators whose associated graded structure still remembers the cotangent-like polynomial algebra.
A verification workflow
- 1. Identify the reflection representation h and group W.
- 2. Fix the normalization of α_s and α_s^∨.
- 3. State the Cherednik parameters and conjugacy-class dependence.
- 4. Check the mixed commutator convention.
- 5. Use PBW to control algebra size.
- 6. Verify Dunkl denominators cancel on polynomials.
- 7. Distinguish polynomial representation from arbitrary H_c-modules.
- 8. Separate H_c from the spherical algebra eH_ce.
- 9. State parameter assumptions before claiming Morita equivalence.
- 10. Keep t=1 representation theory distinct from t=0 Calogero–Moser geometry.
Common mistakes
- Calling every finite group a reflection group.
- Dropping parameter-normalization factors from the mixed commutator.
- Treating Dunkl operators as ordinary derivatives.
- Assuming spherical and full Cherednik algebras are always Morita equivalent.
- Confusing category O here with the Lie-algebra category O.
- Ignoring singular parameter values.
- Confusing the t=0 and t=1 theories.
- Forgetting that KZ lands in Hecke-algebra representations.
Practice questions
1. What is a complex reflection? 2. What generators define H_c? 3. What does PBW say? 4. What is a Dunkl operator?
5. Compute D(x^n) in the Z/2 example. 6. What are the standard modules Δ(τ)? 7. What does the Euler element measure? 8. Define the spherical subalgebra.
9. What geometric space appears at t=0? 10. What does the KZ functor produce? 11. Why are partitions important in type A? 12. Why must singular parameters be treated separately?
Worked answers
1. An element fixing a hyperplane pointwise, equivalently rank(1−s)=1.
2. h, h*, and W with commuting h/h* subalgebras and a reflection-deformed mixed commutator.
3. The filtered algebra has the expected triangular vector-space decomposition.
4. A derivative corrected by reflection difference terms.
5. n x^{n−1}−c(1−(−1)^n)x^{n−1} in the stated normalization.
6. Modules induced from irreducible W-representations with one polynomial direction acting trivially initially.
7. A grading compatible with x raising and y lowering degree.
8. eH_ce for the symmetrizing idempotent e.
9. A Calogero–Moser-type variety from the center.
10. A Hecke-algebra module via monodromy.
11. They index irreducible S_n-representations and hence standard/simple labels in type-A category O.
12. Finite-dimensional modules, reducibility and Morita properties can change at special parameters.
Sources and further study
Etingof and Ginzburg introduced symplectic reflection algebras and developed the rational Cherednik framework in this setting. Dunkl’s differential-difference operators supply the analytic model. Gordon, Rouquier, Berest, Chalykh and others developed category O, spherical subalgebras, Calogero–Moser geometry and Hecke connections.
Representation Mathematics — Batch 12
Begin with Microlocal Sheaves. Generalize the reflection deformation in Symplectic Reflection Algebras. Then move to Cluster Categories and 2-Calabi–Yau Representation Theory. Return to the BTT Mathematics Learning Hub.