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.
In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard modules through the KZ functor agree with the appropriate cell modules, whenever the Hecke algebra has a cellular structure.
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 construct characteristic-free bases and BGG resolutions of unitary simple modules of quiver Hecke algebras and Cherednik algebras. We hence solve and vastly generalise Berkesch-Griffeth-Sam's conjecture, calculate the Castelnuovo-Mumford regularity of ideals of of certain highly symmetric linear subspace arrangements, and compute Dirac homology of Cherednik algebras.
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.
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.
In this paper, we shall establish the Mackey formulas in the following two set ups: (i) on the tensor induction and restriction functors on the modules over cyclotomic Hecke algebras (Ariki-Koike algebras) and their standard subalgebras of parabolic subgroups. (ii) on the Bezrukavnikov-Etingof induction and restriction functors among categories O of rational Cherednik algebras for the complex reflection group of type G(r, 1, n) and their parabolic subgroups.
The goal of this paper is to define a new class of objects which we call triple groups and to relate them with Cherednik's double affine Hecke algebras. This has as immediate consequences new descriptions of double affine Weyl and Artin groups, the double affine Hecke algebras as well as the corresponding elliptic objects. From the new descriptions we recover results of Cherednik on automorphisms of double affine Hecke algebras.
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 introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a "super-strong linkage principle" which provides degree-wise upper bounds for graded decomposition numbers (this is new even in the case of symmetric groups). Next, we generalise the notion of homomorphisms between Weyl/Specht modules which are "generically" placed (within the associated alcove geometries) to cyclotomic Hecke and diagrammatic Cherednik algebr…
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.
Determining whether an irreducible representation of a group (or $*$-algebra) admits a non-degenerate invariant, positive-definite Hermitian form is an important problem in representation theory. In this paper, we study a related notion: that of signatures. We study representations $S^λ(q)$ of $\mathcal{H}_{n}(q)$, the Hecke algebra of type $A$ ($|q| = 1$), and representations $M_{c}(λ)$ of $\mathbb{H}_{c}$, the rational Cherednik algebra of type $A$ ($c \in \mathbb{R}$), which have unique (up to scaling) invariant Hermitian forms (here $λ$ is a partition of $n$). The signature is the number o…
In this note we determine the values of parameters c for which the polynomial representation of the degenerate double affine Hecke algebra (DAHA), i.e. the trigonometric Cherednik algebra, is reducible. Namely, we show that c is a reducibility point for the polynomial representation of the trigonometric Cherednik algebra for a root system R if and only if it is a reducibility point for the rational Cherednik algebra for the Weyl group of some root subsystem R' of R of the same rank; such subsystems for any R are given by the well known Borel-de Siebenthal algorithm. This result has been proved…
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…
We construct and study an explicit simultaneous $\mathscr{Y}$ eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL_n$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion and Wu and the double Dyck path algebra of Carlsson and Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is unde…
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.
We recast the classical notion of standard tableaux in an alcove-geometric setting and extend these classical ideas to all reduced paths in our geometry. This broader path-perspective is essential for implementing the higher categorical ideas of Elias--Williamson in the setting of quiver Hecke algebras. Our first main result is the construction of light leaves bases of quiver Hecke algebras. These bases are richer and encode more structural information than their classical counterparts, even in the case of the symmetric groups. Our second main result provides path-theoretic generators for the …
We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke alg…
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.
For simply-laced quivers, we consider the fixed-point subalgebra of the quiver Hecke algebra under the homogeneous sign map. This leads to a new family of algebras we call alternating quiver Hecke algebras. We give a basis theorem and a presentation by generators and relations which is strikingly similar to the KLR presentation for quiver Hecke algebras.
Hopf-Hecke algebras and Barbasch-Sahi algebras were defined by the first named author (2016) in order to provide a general framework for the study of Dirac cohomology. The aim of this paper is to explore new examples of these definitions and to contribute to their classification. Hopf-Hecke algebras are distinguished by an orthogonality condition and a PBW property. The PBW property for algebras such as the ones considered here has been of great interest in the literature and we extend this discussion by further results on the classification of such deformations and by a class of hitherto unex…
We prove that cyclotomic Yokonuma--Hecke algebras of type A are cyclotomic quiver Hecke algebras and we give an explicit isomorphism with its inverse, using a similar result of Brundan and Kleshchev on cyclotomic Hecke algebras. The quiver we use is given by disjoint copies of cyclic quivers. We relate this work to an isomorphism of Lusztig.
We introduce a family of quiver Hecke algebras which give a categorification of quantum Borcherds algebra associated to an arbitrary Borcherds-Cartan datum.
We give a detailed account of a combinatorial construction, due to Cherednik, of cyclic generators for irreducible modules of the affine Hecke algebra of the general linear group with generic parameter q.
Given a quiver automorphism with nice properties, we give a presentation of the fixed subalgebra of the associated cyclotomic quiver Hecke algebra. Generalising an isomorphism of Brundan and Kleshchev between the cyclotomic Hecke algebra of type G(r,1,n) and the cyclotomic quiver Hecke algebra of type A, we apply the previous result to find a presentation of the cyclotomic Hecke algebra of type G(r,p,n) which looks very similar to the one of a cyclotomic quiver Hecke algebra. In the meanwhile, we give an explicit isomorphism which realises a well-known Morita equivalence between Ariki-Koike al…
We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.
Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's categorical equivalence theorem.
We introduce some modified forms for the degenerate and non-degenerate affine Hecke algebras of type $A$. These are certain subalgebras living inside the inverse limit of cyclotomic Hecke algebras. We construct faithful representations and standard bases for these algebras and give some explicit description of their centers. We show that there are algebra isomorphisms between some generalized Ore localizations of these modified affine Hecke algebras and of the quiver Hecke algebras of type $A$. As an application, we show that the center conjecture for the cyclotomic quiver Hecke algebra of typ…
We derive a new expression for the q-analogue of the Young symmetrizer which generate irreducible representations of the Hecke algebra. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.
We construct and investigate Specht modules $\mathcal{S}^λ$ for cyclotomic quiver Hecke algebras in type $C^{(1)}_\ell$ and $C_\infty$, which are labelled by multipartitions $λ$. It is shown that in type $C_\infty$, the Specht module $\mathcal{S}^λ$ has a homogeneous basis indexed by standard tableaux of shape $λ$, which yields a graded character formula and good properties with the exact functors $E_i^Λ$ and $F_i^Λ$. For type $C^{(1)}_\ell$, we propose a conjecture.
We give a graded dimension formula described in terms of combinatorics of Young diagrams and a simple criterion to determine the representation type for the finite quiver Hecke algebras of type $C_{\ell}^{(1)}$.
We compute the equivariant cohomology ring of the moduli space of framed instantons over the affine plane. It is a Rees algebra associated with the center of cyclotomic degenerate affine Hecke algebras of type A. We also give some related results on the center of quiver Hecke algebras and cohomology of quiver varieties.
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-L…
We study canonical intertwining operators between modules of the trigonometric Cherednik algebra, induced from the standard modules of the degenerate affine Hecke algebra. We show that these operators correspond to the Zhelobenko operators for the affine Lie algebra $\widehat{\mathfrak{sl}}_m$. To establish the correspondence, we use the functor of Arakawa, Suzuki and Tsuchiya which maps certain $\widehat{\mathfrak{sl}}_m$-modules to modules of the Cherednik algebra.
We give Erdmann-Nakano type theorem for the finite quiver Hecke algebras $R^{Λ_0}(β)$ of affine type $A^{(1)}_{\ell}$. Note that each finite quiver Hecke algebra lies in one parameter family, and the original Erdmann-Nakano theorem studied the finite quiver Hecke algebra at a special parameter value. We study the general case in our paper. Our result shows in particular that their representation type does not depend on the parameter. Moreover, when the parameter value is nonzero, we show that finite quiver Hecke algebras of tame representation type are biserial algebras.
We give a classification of the graded simple modules of cyclotomic quiver Hecke algebras of type A using the diagram calculus of the diagrammatic Cherednik algebra. We also obtain a non-trivial lower bound for the dimension of the simple modules which is independent of the field characteristic.
We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its Lie algebra. We also begin to develop the representation theory of continuous Hecke algebras, which unifies representation theories of real reductive groups, Drinfeld-Lusztig degenerate affine Hecke al…
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.
We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors .
This paper shows that the cyclotomic quiver Hecke algebras of type $A$, and the gradings on these algebras, are intimately related to the classical seminormal forms. We start by classifying all seminormal bases and then give an explicit "integral" closed formula for the Gram determinants of the Specht modules in terms of the combinatorics which utilizes the KLR gradings. We then use seminormal forms to give a deformation of the KLR algebras of type $A$. This makes it possible to study the cyclotomic quiver Hecke algebras in terms of the semisimple representation theory and seminormal forms. As…
We give Erdmann-Nakano type theorem for the finite quiver Hecke algebras $R^{Λ_0}(β)$ of affine type $D^{(2)}_{\ell+1}$, which tells their representation type. If $R^{Λ_0}(β)$ is not of wild representation type, we may compute its stable Auslander-Reiten quiver.
We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove tha…
We show that for a finite-type Lie algebra $\mathfrak{g}$, the representation theory of quiver Hecke algebras provides a natural framework for the construction of Newton-Okounkov bodies associated to the quantum coordinate rings $\Aqnw$. When $\mathfrak{g}$ is simply-laced, we use Kang-Kashiwara-Kim-Oh's monoidal categorification to investigate the cluster theory of these bodies. In particular, our construction yields a simplex $\ds$ for every seed $\s$ of $\Aqnw$. We exhibit various properties of these simplices by characterizing their rational points, normal fans, and volumes. As an applicat…
Varagnolo-Vasserot and Rouquier proved that, in a symmetric generalized Cartan matrix case, the simple modules over the quiver Hecke algebra with a special parameter correspond to the upper global basis. In this note we show that the simple modules over the quiver Hecke algebras with a generic parameter also correspond to the upper global basis in a symmetric generalized Cartan matrix case.
We study graded dimension formulas for finite quiver Hecke algebras $R^{Λ_0}(β)$ of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$ using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluatin…
We give a presentation of localized affine and degenerate affine Hecke algebras of arbitrary type in terms of weights of the polynomial subalgebra and varied Demazure-BGG type operators. We offer a definition of a graded algebra $\mathcal{H}$ whose category of finite-dimensional ungraded nilpotent modules is equivalent to the category of finite-dimensional modules over an associated degenerate affine Hecke algebra. Moreover, unlike the traditional grading on degenerate affine Hecke algebras, this grading factors through central characters, and thus gives a grading to the irreducible representa…
For a complex reflection group $W$ with reflection representation $\mathfrak{h}$, we define and study a natural filtration by Serre subcategories of the category $\mathcal{O}_c(W, \mathfrak{h})$ of representations of the rational Cherednik algebra $H_c(W, \mathfrak{h})$. This filtration refines the filtration by supports and is analogous to the Harish-Chandra series appearing in the representation theory of finite groups of Lie type. Using the monodromy of the Bezrukavnikov-Etingof parabolic restriction functors, we show that the subquotients of this filtration are equivalent to categories of …
A new class of algebras have been introduced by Khovanov and Lauda and independently by Rouquier. These algebras categorify one-half of the Quantum group associated to arbitrary Cartan data. In this paper, we use the combinatorics of Lyndon words to construct the irreducible representations of those algebras associated to Cartan data of finite type. This completes the classification of simple modules for the quiver Hecke algebra initiated by Kleshchev and Ram.
We define and study RoCK blocks for double covers of symmetric groups. We prove that RoCK blocks of double covers are Morita equivalent to standard `local' blocks. The analogous result for blocks of symmetric groups, a theorem of Chuang and Kessar, was an important step in Chuang and Rouquier ultimately proving Broué's abelian defect group conjecture for symmetric groups. Indeed we prove Broué's conjecture for the RoCK blocks defined in this article. Our methods involve translation into the quiver Hecke superalgebras setting using the Kang-Kashiwara-Tsuchioka isomorphism and categorification m…
We construct all the irreducible representations of spin quiver Hecke algebras for orthosymplectic Lie superalgebras $osp(1|2n),$ and show that their highest weights are given by the dominant words. We use the dominant Lyndon words to construct the cuspidal modules and show that the irreducible representations are the simple heads of standard representations constructed by induction from the cuspidal modules.
This is a brief introduction to the quiver Hecke algebras of Khovanov, Lauda and Rouquier, emphasizing their application to the categorification of quantum groups. The text is based on lectures given by the author at the ICRA workshop in Bielefeld in August, 2012.
