We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is the (finite) Iwahori-Hecke algebra associated to W. We prove that the Knizhnik-Zamolodchikov functor induces an equivalence between O/O_tor, the quotient of O by the subcategory of A-modules supported on the discriminant and the category of finite-dimensional H-modules. The standard A-modules go, under this equivalence, to certain modules arising in Kazhdan-Lusztig theory of ``cells'', provided W is a Weyl group and the Hecke algebra H has equal parameters. We prove that the category O is equivalent to the module category over a finite dimensional algebra, a generalized "q-Schur algebra" associated to W.
A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed.
Based on the methods developed in [Kashiwara-Rouquier], we consider microlocalization of the rational Cherednik algebra of type $\Z/l\Z$. Our goal is to construct the irreducible modules and standard modules of the rational Cherednik algebra by using the microlocalization. As a consequence, we obtain the sheaves of microlocal system corresponding to holonomic systems with regular singularities.
We construct a microlocalization of the rational Cherednik algebras $H$ of type $S_n$. This is achieved by a quantization of the Hilbert scheme $\Hilb^n\C^2$ of $n$ points in $\C^2$. We then prove the equivalence of the category of $H$-modules and the one of modules over its microlocalization under certain conditions on the parameter.
In this article we study rational Cherednik algebras at $t = 1$ in positive characteristic. We study a finite dimensional quotient of the rational Cherednik algebra called the restricted rational Cherednik algebra. When the corresponding pseudo-reflection group belongs to the infinite series $G(m,d,n)$, we describe explicitly the block decomposition of the restricted algebra. We also classify all pseudo-reflection groups for which the centre of the corresponding rational Cherednik algebra is regular for generic values of the deformation parameter.
We study those finite dimensional quotients of the rational Cherednik algebra at t=0 that are supported at a point of the centre. It is shown that each such quotient is Morita equivalent to a certain cuspidal quotient of a rational Cherednik algebra associated to a parabolic subgroup of W.
In this paper we describe the Jordan-Holder series of the standard modules over the rational Cherednik algebras associated with the dihedral group. In particular, we compute the characters of the irreducible representations from the category O and classify the finite dimensional representations.
This paper surveys the representation theory of rational Cherednik algebras. We also discuss the representations of the spherical subalgebras. We describe in particular the results on category O. For type A, we explain relations with the Hilbert scheme of points on C^2. We insist on the analogy with the representation theory of complex semi-simple Lie algebras.
We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.
We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian subvariety Nil in M. We introduce a category, C, of D-modules whose characteristic variety is contained in Nil. Simple objects of that category are analogous to Lusztig's character sheaves. We construct a functor of Quantum Hamiltonian reduction from category C to the category O for type A rational Cherednik algebra.
We study the Dunkl-Opdam subalgebra of the rational Cherednik algebra for wreath products at $t=0$, and use this to describe the block decomposition of restricted rational Cherednik algebras for $G(m,d,n)$.
We classify blocks of category $\mathcal{O}$ for rational Cherednik algebras and of cyclotomic Hecke algebras of type G(r,p,n) by using the "residue equivalence" for multi-partitions.
We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant v…
Ram and Rammage have introduced an automorphism and Clifford theory on affine Hecke algebras. Here we will extend them to cyclotomic Hecke algebras and rational Cherednik algebras.
We study lowest weight representations of the rational Cherednik algebra attached to a complex reflection group W. In particular, we generalize a number of previous results due to Berest, Etingof and Ginzburg.
Following the work of Kashiwara-Rouquier and Gan-Ginzburg, we define a family of exact functors from category $\mathcal O$ for the rational Cherednik algebra in type $A$ to representations of certain "coloured braid groups" and calculate the dimensions of the representations thus obtained from standard modules. To show that our constructions also make sense in a more general context, we also briefly study the case of the rational Cherednik algebra corresponding to complex reflection group $\mathbb Z/l\mathbb Z$.
We show that the wall crossing bijections between simples of the category O of the rational Cherednik algebras reduce to particular crystal isomorphisms which can be computed by a simple combinatorial procedure on multipartitions of fixed rank.
We study the rational Cherednik algebra attached to the complex reflection group $G(r,1,2)$. Each irreducible representation $S^λ$ of $G(r,1,2)$ corresponds to a standard module $Δ(λ)$ for the rational Cherednik algebra. We give necessary and sufficient conditions for the existence of morphism between two of these modules and explicit formulas for them when they exist.
For any smooth algebraic curve C, Pavel Etingof introduced a `global' Cherednik algebra as a natural deformation of the cross product of the algebra of differential operators on C^n and the symmetric group. We provide a construction of the global Cherednik algebra in terms of quantumn Hamiltonian reduction. We study a category of character D-modules on a representation scheme associated to C and define a Hamiltonian reduction functor from that category to category O for the global Cherednik algebra. In the special case where the curve C is the multiplicative group, the global Cherednik algebra…
This paper describes irreducible representations in category O of the rational Cherednik algebra H_c(H_3,h) associated to the exceptional Coxeter group H_3 and any complex parameter c. We compute the characters of all these representations explicitly. As a consequence, we classify all the finite dimensional irreducible representations of H_c(H_3,h).
Motivated by the recent developments of the theory of Cherednik algebras in positive characteristic, we study rational Cherednik algebras with divided powers. In our research we have started with the simplest case, the rational Cherednik algebra of type $A_1$. We investigate its maximal divided power extensions over $R[c]$ and $R$ for arbitrary principal ideal domains $R$ of characteristic zero. In these cases, we prove that the maximal divided power extensions are free modules over the base rings, and construct an explicit basis in the case of $R[c]$. In addition, we provide an abstract const…
In this paper we describe the characters of irreducible objects in category O for the rational Cherednik algebra associated to GL_2(F_p) over an algebraically closed field of positive characteristic p, for any value of the parameter t and generic value of the parameter c.
In this paper, we study representations of the rational Cherednik algebra associated to the complex reflection group $G_4$. In particular, we classify the irreducible finite dimensional representations and compute their characters.
We show that the spherical subalgebra of the rational Cherednik algebra associated to the wreath product of a symmetric group and a cyclic group is isomorphic to a quotient of the ring of invariant differential operators on a space of representations of the cyclic quiver. This confirms a version of a conjecture of Etingof and Ginzburg in the case of cyclic groups. The proof is a straightforward application of work of Oblomkov on the deformed Harish-Chandra homomorphism, and of Crawley-Boevey and of Gan and Ginzburg on preprojective algebras.
We finish the classification of finite-dimensional irreducible representations of rational Cherednik algebras $H_c(W)$ with equal parameters for exceptional Coxeter groups by resolving the last open case: when $W=E_8$ and the denominator of $c$ is $3$.
Given a complex reflection group W we compute the support of the spherical irreducible module of the rational Cherednik algebra of W in terms of the simultaneous eigenfunction of the Dunkl operators and Schur elements for finite Hecke algebras.
We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Et…
We study rational Cherednik algebras over an algebraically closed field of positive characteristic. We first prove several general results about category O, and then focus on rational Cherednik algebras associated to the general and special linear group over a finite field of the same characteristic as the underlying algebraically closed field. For such algebras we calculate the characters of irreducible representations with trivial lowest weight.
We study the polynomial representation of the rational Cherednik algebra of type $A_{n-1}$ with generic parameter in characteristic $p$ for $p \mid n$. We give explicit formulas for generators for the maximal proper graded submodule, show that they cut out a complete intersection, and thus compute the Hilbert series of the irreducible quotient. Our methods are motivated by taking characteristic $p$ analogues of existing characteristic $0$ results.
Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation re…
We prove that the KZ functor from a certain category of modules for the Cherednik algebra to finite dimensional modules over the Hecke algebra is essentially surjective. Then we begin to use this result to study the analog of category O for Cherednik algebras on Riemann surfaces and on products of elliptic curves. In particular we give conditions on the parameters under which these categories are nonzero.
In this paper, we describe the irreducible representations in category O of the rational Cherednik algebra H_c(G_12,h) associated to the complex reflection group G_12 with reflection representation h for an arbitary complex parameter c. In particular, we determine the irreducible finite dimensional representations and compute their characters.
In this survey article we review Kac-Moody and Heisenberg algebra actions on the categories $\mathcal{O}$ of the rational Cherednik algebras associated to groups $G(\ell,1,n)$. Using these actions we solve basic representation theoretic problems for these categories such as the classification of finite dimensional irreducible representations and computation of characters of the irreducibles.
We study unitarity of lowest weight irreducible representations of rational Cherednik algebras. We prove several general results, and use them to determine which lowest weight representations are unitary in a number of cases. In particular, in type A, we give a complete description of the unitarity locus (justified in Section 5 and appendix by Stephen Griffeth), and resolve a question by Cherednik on the unitarity of the irreducible subrepresentation of the polynomial representation. Also, as a by-product, we establish Kasatani's conjecture in full generality (the previous proof by Enomoto ass…
We consider representations of rational Cherednik algebras which are particular ideals in the ring of polynomials. We investigate convergence of the integrals which express the Gaussian inner product on these representations. We derive that the integrals converge for the minimal submodules in types B and D for the singular values suggested by Cherednik with at most one exception, hence the corresponding modules are unitary. The analogous result on unitarity of the minimal submodules in type A was obtained by Etingof and Stoica, we give a different proof of convergence of the Gaussian product i…
We determine the structure of category $\cO$ for the rational Cherednik algebra of $G(m,1,n)$ in the case where the $\KZ$ functor satisfies a condition called \emph{separating simples}. As a consequence, we show that the property of having exactly $N-1$ simple modules, where $N$ is the number of simple modules of $G(m,1,n)$, determines the Ariki-Koike algebra up to isomorphism.
We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group $W=G(m,p,n)$ and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category $\cO$ for the rational Cherednik algebra of $W$.
We introduce parabolic degenerations of rational Cherednik algebras of complex reflection groups, and use them to give necessary conditions for finite-dimensionality of an irreducible lowest weight module for the rational Cherednik algebra of a complex reflection group, and for the existence of a non-zero map between two standard modules. The latter condition reproduces and enhances, in the case of the symmetric group, the combinatorics of cores and dominance order, and in general shows that the c-ordering on category O may be replaced by a much coarser ordering. The former gives a new proof o…
We prove a number of results on the structure and representation theory of the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$. In particular, we: (1) show a relationship to the Coulomb branch construction of Braverman, Finkelberg and Nakajima, and 3-dimensional quantum field theory; (2) show that the spherical Cherednik algebra carries the structure of a principal Galois order; (3) construct a graded lift of category $\mathcal{O}$ and the larger category of Dunkl-Opdam modules, whose simple modules have the properties of a dual canonical basis and (4) give the fir…
We define Lie algebra cohomology associated with the half-Dirac operators for representations of rational Cherednik algebras and show that it has property described in the Casselman-Osborne Theorem by establishing a version of the Vogan's conjecture for the half-Dirac operators. Moreover, we study the relationship between Lie algebra cohomology and Dirac cohomology in analogy of the representations for semisimple Lie algebras.
We consider ideals of polynomials vanishing on the W-orbits of the intersections of mirrors of a finite reflection group W. We determine all such ideals which are invariant under the action of the corresponding rational Cherednik algebra hence form submodules in the polynomial module. We show that a quantum integrable system can be defined for every such ideal for a real reflection group W. This leads to known and new integrable systems of Calogero-Moser type which we explicitly specify. In the case of classical Coxeter groups we also obtain generalized Calogero-Moser systems with added quadra…
We study the endomorphism algebra of Verma modules for rational Cherednik algebras at t=0. It is shown that, in many cases, these endomorphism algebras are quotients of the centre of the rational Cherednik algebra. Geometrically, they define Lagrangian subvariaties of the generalized Calogero-Moser space. In the introduction, we motivate our results by describing them in the context of derived intersections of Lagrangians.
We study a connection between the representation theory of the rational Cherednik algebra of type $GL_n$ and the representation theory of the degenerate double affine Hecke algebra (the degenerate DAHA). We focus on an algebra embedding from the rational Cherednik algebra to the degenerate DAHA and investigate the induction functor through this embedding. We prove that this functor embeds the category ${\mathcal O}$ for the rational Cherednik algebra fully faithfully into the category ${\mathcal O}$ for the degenerate DAHA. We also study the full subcategory ${\mathcal O}^{ss}$ of ${\mathcal O…
The representation theory of rational Cherednik algebras of type A at t=0 gives rise, by considering supports, to a natural family of smooth Lagrangian subvarieties of the Calogero-Moser space. The goal of this article is to make precise the relationship between these Lagrangians and Schubert cells in the adelic Grassmannian. In order to do this we show that the isomorphism, as constructed by Etingof and Ginzburg, from the spectrum of the centre of the rational Cherednik algebra to the Calogero-Moser space is compatible with the factorization property of both of these spaces. As a consequence,…
We give an overview of the representation theory of restricted rational Cherednik algebras. These are certain finite-dimensional quotients of rational Cherednik algebras at t=0. Their representation theory is connected to the geometry of the Calogero-Moser space, and there is a lot of evidence that they contain certain information about Hecke algebras even though the precise connection is so far unclear. We outline the basic theory along with some open problems and conjectures, and give explicit results in the cyclic and dihedral cases.
In this paper, we classify the irreducible representations of the rational Cherednik algebras of rank 1 in characteristic p > 0. There are two cases. One is the "quantum" case, where "Planck's constant" is nonzero and generic irreducible representations have dimension pr, where r is the order of the cyclic group contained in the algebra. The other is the "classical" case, where "Planck's constant" is zero and generic irreducible representations have dimension r.
We apply the Dunkl-Opdam operators and generalized Jack polynomials to study category O for the rational Cherednik algebra of type G(r,1,n). We determine the set of aspherical values, and answer a question of Iain Gordon on the ordering of category O.
Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a complex reflection group $W$. We establish two generalizations of this result. On the one hand to the extension of the Hecke algebra associated to the normaliser of a reflection subgroup and on the other hand to the extension of the Hecke algebra by a lattice.
In this article, we describe all two sided ideals of a cyclotomic rational Cherednik algebra $H_\mathbf{c}$ and its spherical subalgebra $eH_\mathbf{c} e$ with a Weil generic aspherical parameter $\mathbf{c}$, and further describe the simple modules in the category $\mathcal{O}^{sph}_\mathbf{c}$ . The main tools we use are categorical Kac-Moody actions on catogories $\mathcal{O}_\mathbf{c}$ and restriction functors for Harish-Chandra bimodules.
We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary representations of type $B$ rational Cherednik algebras to show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica.
We classify the simple modules for the rational Cherednik algebra that are irreducible when restricted to W, in the case when W is a finite Weyl group. The classification turns out to be closely related to the cuspidal two-sided cells in the sense of Lusztig. We compute the Dirac cohomology of these modules and use the tools of Dirac theory to find nontrivial relations between the cuspidal Calogero-Moser cells and the cuspidal two-sided cells.
We first consider the rational Cherednik algebra corresponding to the action of a finite group on a complex variety, as defined by Etingof. We define a category of representations of this algebra which is analogous to "category O" for the rational Cherednik algebra of a vector space. We generalise to this setting Bezrukavnikov and Etingof's results about the possible support sets of such representations. Then we focus on the case of $S_n$ acting on $\C^n$, determining which irreducible modules in this category have which support sets. We also show that the category of representations with a gi…
We show how the existence of a PBW-basis and a large enough central subalgebra can be used to deduce that an algebra is Frobenius. This is done by considering the examples of rational Cherednik algebras, Hecke algebras, quantised universal enveloping algebras, quantum Borels and quantised function algebras. In particular, we give a positive answer to \cite[Problem 6]{Rouquier} stating that the restricted rational Cherednik algebra at the value $t=0$ is symmetric.
We study equivalences for category O_p of the rational Cherednik algebras H_p of type G_l(n) = μ_l^n\rtimes S_n: a highest weight equivalence between O_p and O_{σ(p)} for σ\in S_l and an action of S_l on a non-empty Zariski open set of parameters p; a derived equivalence between O_p and O_{p'} whenever p and p' have integral difference; a highest weight equivalence between O_p and a parabolic category O for the general linear group, under a non-rationality assumption on the parameter p. As a consequence, we confirm special cases of conjectures of Etingof and of Rouquier.
We present a computer algebra package based on Magma for performing computations in rational Cherednik algebras at arbitrary parameters and in Verma modules for restricted rational Cherednik algebras. Part of this package is a new general Las Vegas algorithm for computing the head and the constituents of a module with simple head in characteristic zero which we develop here theoretically. This algorithm is very successful when applied to Verma modules for restricted rational Cherednik algebras and it allows us to answer several questions posed by Gordon in some specific cases. We could determi…
We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided cells.
