Symplectic Reflection Algebras Research Articles

Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism

To any finite group Γ⊂Sp(V) of automorphisms of a symplectic vector space V we associate a new multi-parameter deformation, Hκ of the algebra ℂ[V]#Γ, smash product of Γ with the polynomial algebra on V. The parameter κ runs over points of ℙ r , where r=number of conjugacy classes of symplectic reflections in $Γ$. The algebra Hκ, called a symplectic reflection algebra, is related to the coordinate ring of a Poisson deformation of the quotient singularity V/Γ. This leads to a symplectic analogue of McKay correspondence, which is most complete in case of wreath-products. If Γ is the Weyl group of a root system in a vector space ? and V=?⊕?*, then the algebras Hκ are certain ‘rational’ degenerations of the double affine Hecke algebra introduced earlier by Cherednik. Let $Γ=S n , the Weyl group of ?=?? n . We construct a 1-parameter deformation of the Harish-Chandra homomorphism from ?(?)?, the algebra of invariant polynomial differential operators on ?? n , to the algebra of S n -invariant differential operators with rational coefficients on the space ℂ n of diagonal matrices. The second order Laplacian on ? goes, under the deformed homomorphism, to the Calogero-Moser differential operator on ℂ n , with rational potential. Our crucial idea is to reinterpret the deformed Harish-Chandra homomorphism as a homomorphism: ?(?)? ↠ spherical subalgebra in Hκ, where Hκ is the symplectic reflection algebra associated to the group Γ=S n . This way, the deformed Harish-Chandra homomorphism becomes nothing but a description of the spherical subalgebra in terms of ‘quantum’ Hamiltonian reduction. In the ‘classical’ limit κ→∞, our construction gives an isomorphism between the spherical subalgebra in H∞ and the coordinate ring of the Calogero-Moser space. We prove that all simple H∞-modules have dimension n!, and are parametrised by points of the Calogero-Moser space. The family of these modules forms a distinguished vector bundle on the Calogero-Moser space, whose fibers carry the regular representation of S n . Moreover, we prove that the algebra $H∞ is isomorphic to the endomorphism algebra of that vector bundle.