We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in positive characteristic. Quite generally, we study this class of algebras from the point of view of Poisson geometry, exhibiting connections between their representation theory and some well-known geometric constructions. As an application, we employ our results in the study of symplectic reflection algebras, completing work of Etingof and Ginzburg on when these algebras are finite over their centres, and providing a framework for the study of their representation theory in the latter case.
We construct reflection functors on categories of modules over deformed wreath products of the preprojective algebra of a quiver. These functors give equivalences of categories associated to generic parameters which are in the same orbit under the Weyl group action. We give applications to the representation theory of symplectic reflection algebras of wreath product groups.
Basic properties of symplectic reflection algebras over an algebraically closed field k of positive characteristic are laid out. These algebras are always finite modules over their centres, in contrast to the situation in characteristic 0. For the subclass of rational Cherednik algebras, we determine the PI-degree and the Goldie rank, and show that the Azumaya and smooth loci of the centre coincide.
We construct functorially a class of algebras using the formalism of double derivations. These algebras extend to higher dimensions Crawley-Boevey and Holland's construction of deformed preprojective algebras and encompass symplectic reflection algebras associated to wreath products. We use this construction to show that the quotient field of a symplectic reflection algebra is "rational", confirming a pair of conjectures of Etingof and Ginzburg.
We survey recent results on the representation theory of symplectic reflection algebras, focusing particularly on connections with symplectic quotient singularities and their resolutions, spaces of representations of quivers, and on category O.
Let G be a finite subgroup of SL(2,C). Let S_N#G^N be the wreath product of G by the symmetric group of degree N, acting symplectically on a complex vector space V of dimension 2N, with symplectic basis {x_i, y_i} i=1,...,N. In this paper we classify all the irreducible representations of S_N#G^N that can be extended to a representation of the associated symplectic reflection algebra H(k,c,N,G) (where k is a complex number and c a class function on the non-trivial elements of G) for non-zero values of k and with trivial action of the generators x_i,y_i\in H(k,c,N,G).
We determine the PBW deformations of the wreath product of a symmetric group with a deformed preprojective algebra of an affine Dynkin quiver. In particular, we show that there is precisely one parameter which does not come from deformation of the preprojective algebra. We prove that the PBW deformation is Morita equivalent to a corresponding symplectic reflection algebra for wreath product.
In this paper we construct finite dimensional representations of the wreath product symplectic reflection algebra H(k,c,N,G) of rank N attached to a finite subgroup G of SL(2,C) (here k is a number and c a class function on the set of nontrivial elements of G). Specifically, we show that if W is an irreducible representation of S_N whose Young diagram is a rectangle, and Y an irreduible finite dimensional representation of H(c,1,G), then the representation M=W\otimes Y^N of H(0,c_0,N,G) can be deformed along a hyperplane in the space of parameters (k,c) passing through c_0. On the other hand, …
Using Cohen's classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group are themselves symplectic reflection groups. This is the symplectic analogue of Steinberg's Theorem for complex reflection groups. Using computational results required in the proof, we show the non-existence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open. An…
We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent sheaves on a crepant resolution of the spectrum of the centre of these algebras.
We introduce "continuous deformed preprojective algebras" attached to infinite affine Dynkin quivers of type A_{\infty}, A_{+\infty}, D_{\infty}. We define a one-parameter family of deformations of the wreath product of a symmetric group with these algebras and, using the generalized McKay correspondence for infinite reductive subgroups of SL(2,C), we establish a Morita equivalence to a corresponding continuous symplectic reflection algebra of wreath product type. We give applications of this Morita equivalence to the representation theory of continuous wreath product symplectic reflection alg…
In this paper we introduce the notion of twisted symplectic reflection algebras and describe the category of representations of such an algebra associated to a non-faithful G-action in terms of those for faithful actions of G.
In this paper we study the structure of completions of symplectic reflection algebras. Our results provides a reduction to smaller algebras. We apply this reduction to the study of two-sided ideals and Harish-Chandra bimodules.
The current article is a short survey on the theory of Hecke algebras, and in particular Kazhdan-Lusztig theory, and on the theory of symplectic reflection algebras, and in particular rational Cherednik algebras. The emphasis is on the connections between Hecke algebras and rational Cherednik algebras that could allow us to obtain a generalised Kazhdan-Lusztig theory, or at least its applications, for all complex reflection groups.
These lecture notes are based on an introductory course given by the author at the summer school "Noncommutative Algebraic Geometry" at MSRI in June 2012. The emphasis throughout is on examples to illustrate the many different facets of symplectic reflection algebras. Exercises are included at the end of each lecture in order for the student to get a better feel for these algebras.
A version of Kirillov's orbit method states that the primitive spectrum of a generic quantisation $A$ of a Poisson algebra $Z$ should correspond bijectively to the symplectic leaves of $\operatorname{Spec}(Z)$. In this article we consider a Poisson order $A$ over a complex affine Poisson algebra $Z$. We stratify the primitive spectrum $\operatorname{Prim}(A)$ into symplectic cores, which should be thought of as families of non-commutative symplectic leaves. We then introduce a category $A$-$\mathcal{P}$-Mod of $A$-modules adapted to the Poisson structure on $Z$, and we show that when $\operato…
In this survey we describe an interplay between Procesi bundles on symplectic resolutions of quotient singularities and Symplectic reflection algebras. Procesi bundles were constructed by Haiman and, in a greater generality, by Bezrukavnikov and Kaledin. Symplectic reflection algebras are deformations of skew-group algebras defined in complete generality by Etingof and Ginzburg. We construct and classify Procesi bundles, prove an isomorphism between spherical Symplectic reflection algebras, give a proof of wreath Macdonald positivity and of localization theorems for cyclotomic Rational Cheredn…
The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products.
Our paper develops a theory of Poisson slices and a uniform approach to their partial compactifications. The theory in question is loosely comparable to that of symplectic cross-sections in real symplectic geometry.
In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and show that the quantizations of the terminalization are simple sheaves of algebras. We will also sketch some applications: to the generalized Bernstein inequality and to perversity of wall crossing fun…
We give a new proof and an improvement of two Theorems of J. Alev, M.A. Farinati, T. Lambre and A.L. Solotar : the first one about Hochschild cohomology spaces of some twisted bimodules of the Weyl algebra W and the second one about Hochschild cohomology spaces of the smash product G * W (G a finite subgroup of SP(2n)), and as an application, we then give a new proof of a Theorem of P. Etingof and V. Ginzburg, which shows that the Symplectic Reflection Algebras are deformations of G * W (and, in fact, all possible ones).
We study the existence of symplectic resolutions of quotient singularities V/G where V is a symplectic vector space and G acts symplectically. Namely, we classify the symplectically irreducible and imprimitive groups, excluding those of the form $K \rtimes S_2$ where $K < \SL_2(\C)$, for which the corresponding quotient singularity admits a projective symplectic resolution. As a consequence, for $\dim V \neq 4$, we classify all quotient singularities $V/G$ admitting a projective symplectic resolution which do not decompose as a product of smaller-dimensional quotient singularities, except for …
We define uniformly the notions of Dirac operators and Dirac cohomology in the framework of the Hecke algebras introduced by Drinfeld. We generalize in this way the Dirac cohomology theory for Lusztig's graded affine Hecke algebras. We apply these constructions to the case of symplectic reflection algebras defined by Etingof-Ginzburg, particularly to rational Cherednik algebras for real or complex reflection groups with parameters t,c. As applications, we give criteria for unitarity of modules in category O and we show that the 0-fiber of the Calogero-Moser space admits a description in terms …
We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal enveloping algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of the spherical subalgebra.
The goal of this paper is to present some results and (more importantly) state a number of conjectures suggesting that the representation theory of symplectic reflection algebras for wreath products categorifies certain structures in the representation theory of affine Lie algebras (namely, decompositions of the restriction of the basic representation to finite dimensional and affine subalgebras). These conjectures arose from the insight due to R. Bezrukavnikov and A. Okounkov on the link between quantum connections for Hilbert schemes of resolutions of Kleinian singularities and representatio…
For a compact Poisson-Lie group $K$, the homogeneous space $K/T$ carries a family of symplectic forms $ω_ξ^s$, where $ξ\in \mathfrak{t}^*_+$ is in the positive Weyl chamber and $s \in \mathbb{R}$. The symplectic form $ω_ξ^0$ is identified with the natural $K$-invariant symplectic form on the $K$ coadjoint orbit corresponding to $ξ$. The cohomology class of $ω_ξ^s$ is independent of $s$ for a fixed value of $ξ$. In this paper, we show that as $s\to -\infty$, the symplectic volume of $ω_ξ^s$ concentrates in arbitrarily small neighbourhoods of the smallest Schubert cell in $K/T \cong G/B$. This s…
Symplectic reflection algebra $ H_{1, \,ν}(G)$ has a $T(G)$-dimensional space of traces whereas, when considered as a superalgebra with a natural parity, it has an $S(G)$-dimensional space of supertraces. The values of $T(G)$ and $S(G)$ depend on the symplectic reflection group $G$ and do not depend on the parameter $ν$. In this paper, the values $T(G)$ and $S(G)$ are explicitly calculated for the groups $G= Γ\wr S_N$, where $Γ$ is a finite subgroup of $Sp(2,\mathbb C)$.
We introduce the notion of chiral symplectic cores in a vertex Poisson variety, which can be viewed as analogs of symplectic leaves in Poisson varieties. As an application we show that any quasi-lisse vertex algebra is a quantization of the arc space of its associated variety, in the sense that its reduced singular support coincides with the reduced arc space of its associated variety. We also show that the coordinate ring of the arc space of Slodowy slices is free over its vertex Poisson center, and the latter coincides with the vertex Poisson center of the coordinate ring of the arc space of…
Let $G$ be a connected complex semi-simple Lie group and ${\mathcal{B}}$ its flag variety. For every positive integer $n$, we introduce a Poisson groupoid over ${\mathcal{B}}^n$, called the $n$th total configuration Poisson groupoid of flags of $G$, which contains a family of Poisson sub-groupoids whose total spaces are generalized double Bruhat cells and bases generalized Schubert cells. Certain symplectic leaves of these Poisson sub-groupoids are then shown to be symplectic groupoids over generalized Schubert cells. We also give explicit descriptions of symplectic leaves in three series of P…
We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive gr…
This is a continuation of math.AG/0609741. Let Y be an affine symplectic variety with a C^*-action with positive weights, and let π: X -> Y be its crepant resolution. Then πinduces a natural map PDef(X) -> PDef(Y) of Kuranishi spaces for the Poisson deformations of X and Y. In the Part I, we proved that PDef(X) and PDef(Y) are both non-singular, and this map is a finite surjective map. In this paper (Part II), we prove that it is a Galois covering. Markman already obtained a similar result in the compact case, which was a motivation of this paper. As an application, we shall construct explicit…
For each complex number $ν$, an associative symplectic reflection algebra $\mathcal H:= H_{1,ν}(I_2(2m+1))$, based on the group generated by root system $I_2(2m+1)$, has an $m$-dimensional space of traces and an $(m+1)$-dimensional space of supertraces. A (super)trace $sp$ is said to be degenerate if the corresponding bilinear (super)symmetric form $B_{sp}(x,y)=sp(xy)$ is degenerate. We find all values of the parameter $ν$ for which either the space of traces contains a degenerate nonzero trace or the space of supertraces contains a degenerate nonzero supertrace and, as a consequence, the alge…
