Symplectic reflection algebras deform the crossed product of polynomial functions on a symplectic vector space with a finite group of symplectic transformations. They generalize rational Cherednik algebras and translate quotient singularities, deformation theory and representation categories into one algebraic framework.
Let V be a finite-dimensional complex symplectic vector space with form ω, and let Γ⊂Sp(V) be finite. A symplectic reflection is an element s∈Γ for which rank(1−s)=2. Such an element moves exactly one symplectic two-plane and fixes its symplectic complement.
This is the symplectic analogue of a complex reflection, where rank(1−s)=1. Rational Cherednik algebras appear as an important special case after taking V=h⊕h* for a complex reflection group W.
Definition · PBW · Spherical algebra · Quotient geometry · McKay · Practice
The deformation
Start from the tensor algebra T(V)⋊Γ. The symplectic reflection algebra H_{t,c}(Γ,V) is obtained by imposing relations
[u,v]=tω(u,v)−Σ_s c_s ω_s(u,v)s,
where the sum runs over symplectic reflections and c_s is constant on conjugacy classes. The form ω_s is the restriction of ω to im(1−s), extended by zero on its fixed complement.
Different references normalize constants differently. The invariant content is that the ordinary Weyl commutator is corrected by contributions from rank-two symplectic reflections.
PBW theorem
The decisive structural theorem is that the natural filtration has associated graded algebra
gr H_{t,c} ≈ C[V]⋊Γ.
Thus H_{t,c} is a flat filtered deformation of the skew group algebra. The algebra changes multiplication without collapsing the expected polynomial growth.
This PBW property is what makes the construction controllable enough for representation theory.
Two regimes: t≠0 and t=0
When t≠0, scaling lets one usually normalize t=1. The algebra behaves like a noncommutative quantization of V/Γ.
When t=0, the center becomes much larger. The spherical subalgebra is commutative in important cases, and its spectrum gives a Poisson deformation of the singular quotient V/Γ.
These regimes should not be conflated: t=1 emphasizes representation theory and quantization; t=0 exposes classical Poisson geometry.
Spherical subalgebra
Let e=|Γ|^{-1}Σ_{g∈Γ}g. The spherical subalgebra is
eH_{t,c}e.
It captures the Γ-invariant sector and often behaves geometrically better than the full algebra.
For generic parameters the full algebra and spherical algebra can be Morita equivalent. Singular parameters are precisely where this relationship may fail and representation structure changes.
Worked special case: rational Cherednik algebras
Take a complex reflection group W on h and define V=h⊕h*. Equip V with the standard symplectic form pairing h with h*.
Each complex reflection s of h induces a symplectic reflection on V because it moves one line in h and the dual line in h*, giving rank two on V.
The corresponding symplectic reflection algebra is the rational Cherednik algebra discussed in the previous Batch 12 article.
Thus Cherednik theory is not an isolated construction; it sits inside a wider symplectic deformation machine.
The singular quotient V/Γ
Because Γ preserves ω, the quotient V/Γ inherits a Poisson structure on its smooth locus. It is generally singular where stabilizers are nontrivial.
The algebra H_{t,c} behaves as a noncommutative deformation of this quotient. The t=0 center supplies commutative Poisson deformations, while t≠0 supplies quantizations.
This is a representation-theoretic response to singular geometry: rather than resolving the quotient only geometrically, one studies a family of algebras whose modules detect its deformations.
Symplectic resolutions
Some quotients V/Γ admit symplectic resolutions π:X→V/Γ. When they exist, derived categories, quantizations and representation categories often reflect one another.
Nakajima quiver varieties provide many examples of symplectic resolutions related to quotient singularities.
This connects Batch 12 back to Nakajima Quiver Varieties and Derived Categories.
McKay correspondence
For a finite subgroup Γ⊂SL_2(C), the quotient C²/Γ is a Kleinian surface singularity.
The irreducible representations of Γ correspond to vertices of an affine ADE Dynkin diagram. The geometry of the minimal resolution produces the corresponding finite ADE configuration of exceptional curves.
This is the classical McKay correspondence: finite-group representation theory is encoded in the intersection geometry of a resolution.
Symplectic reflection algebras extend this philosophy into deformation and quantization.
Deformed preprojective algebras
In dimension two, symplectic reflection algebras are closely related to deformed preprojective algebras attached to affine Dynkin quivers.
Those algebras impose a deformed moment-map relation on the doubled quiver. Their representation theory is controlled by root systems and quiver geometry.
This makes the McKay–quiver–symplectic-reflection triangle especially tight:
finite subgroup → affine Dynkin graph → doubled quiver → deformation relation → representation category.
Calogero–Moser spaces
For rational Cherednik algebras at t=0, the spectrum of the center yields generalized Calogero–Moser spaces.
Their symplectic leaves and singularities reflect representation-theoretic families. Smooth points often correspond to well-behaved Azumaya fibers of the algebra, while singular strata signal more complicated module theory.
This is a recurring theme: singularities downstairs become representation changes upstairs.
Azumaya behaviour
A finite algebra over its center is Azumaya at a point when the corresponding fiber is a full matrix algebra.
At such points there is essentially one irreducible module of the expected maximal dimension.
Failure of Azumaya behaviour indicates representation-theoretic degeneration and often aligns with singular Poisson geometry.
Poisson brackets from filtered deformations
When a noncommutative algebra deforms a commutative algebra, the first-order commutator can induce a Poisson bracket on the classical limit.
Symplectic reflection algebras therefore provide a controlled passage
classical Poisson quotient ↔ filtered deformation ↔ quantum representation theory.
This is the same quantization philosophy encountered in the orbit method, now applied to singular quotient geometry.
A verification workflow
- 1. Verify V is symplectic and Γ preserves ω.
- 2. Identify elements with rank(1−s)=2.
- 3. Fix the class function c on symplectic reflections.
- 4. State the normalization of ω_s.
- 5. Verify the PBW filtration.
- 6. Separate t=0 from t≠0 conclusions.
- 7. Distinguish full and spherical algebras.
- 8. Check parameter assumptions before using Morita equivalence.
- 9. Identify whether V/Γ admits a symplectic resolution.
- 10. Relate representation changes to singular or Poisson strata only with the required hypotheses.
Common mistakes
- Using rank one instead of rank two for symplectic reflections.
- Assuming every finite symplectic quotient has a symplectic resolution.
- Confusing the t=0 and t=1 centers.
- Assuming spherical Morita equivalence for all parameters.
- Calling every quotient singularity a Kleinian singularity.
- Confusing McKay correspondence with a literal equality of objects.
- Ignoring normalization choices in the defining relation.
- Forgetting that rational Cherednik algebras are a special case, not the whole theory.
Practice questions
1. Define a symplectic reflection. 2. What is the associated graded algebra? 3. What happens when c=0? 4. Define the spherical subalgebra.
5. Why is rational Cherednik theory a special case? 6. What geometry appears at t=0? 7. What is a symplectic resolution? 8. State the classical McKay correspondence in dimension two.
9. What is Azumaya behaviour? 10. Why do deformed preprojective algebras appear? 11. What does PBW protect? 12. Why are singular parameters important?
Worked answers
1. An element s∈Γ with rank(1−s)=2.
2. C[V]⋊Γ.
3. One recovers the undeformed skew/Weyl-type algebra according to t.
4. eH_{t,c}e for the averaging idempotent e.
5. A complex reflection on h becomes a rank-two symplectic reflection on h⊕h*.
6. Poisson/Calogero–Moser-type deformations from the enlarged center.
7. A smooth symplectic variety mapping birationally and crepantly to the singular quotient while extending its symplectic form.
8. Irreducible representations of finite Γ⊂SL₂(C) correspond to vertices of an affine ADE diagram, while exceptional curves of the minimal resolution encode the finite ADE geometry.
9. A central fiber is a full matrix algebra, giving the maximally regular local representation behaviour.
10. The doubled-quiver moment relation encodes the same ADE/McKay deformation geometry in dimension two.
11. It ensures the deformation has the expected filtered size and classical associated graded algebra.
12. Morita equivalence, reducibility, finite-dimensional representations and geometry can change across them.
Sources and further study
Etingof and Ginzburg’s foundational work introduced symplectic reflection algebras as PBW deformations of skew group algebras. Crawley-Boevey and Holland connected deformed preprojective algebras with Kleinian singularities, while Gordon and others developed the relation with Calogero–Moser geometry and representation theory.
Representation Mathematics — Batch 12
Read directional singular geometry in Microlocal Sheaves, then the special reflection-group deformation in Rational Cherednik Algebras. Continue into Cluster Categories and 2-Calabi–Yau Representation Theory. Return to the BTT Mathematics Learning Hub.