This paper studies the seminormal bases $\{f_{\mathfrak{s}\mathfrak{t}}\}$ and the dual seminormal bases $\{g_{\mathfrak{s}\mathfrak{t}}\}$ of the non-degenerate and the degenerate cyclotomic Hecke algebras ${H}_{\ell,n}$ of type $G(\ell,1,n)$. We present some explicit formulae for the constants $α_{\mathfrak{s}\mathfrak{t}}:=g_{\mathfrak{s}\mathfrak{t}}/f_{\mathfrak{s}\mathfrak{t}}\in K^\times$ in terms of the $γ$-coefficients $\{γ_{\mathfrak{u}}, γ'_{\mathfrak{u}}\}$ of $H_{\ell,n}$. In particular, we answer a question of Mathas on the rationality of square roots of some quotients of products of $γ$-coefficients. We obtain some explicit formulae for the expansion of each seminormal bases of $H_{\ell,n-1}$ as a linear combination of the seminormal bases of $H_{\ell,n}$ under the natural inclusion $H_{\ell,n-1}\hookrightarrow H_{\ell,n}$.
The purpose of this paper is to describe a general procedure for computing analogues of Young's seminormal representations of the symmetric groups. The method is to generalize the Jucys-Murphy elements in the group algebras of the symmetric groups to arbitrary Weyl groups and Iwahori-Hecke algebras. The combinatorics of these elements allows one to compute irreducible representations explicitly and often very easily. In this paper we do these computations for Weyl groups and Iwahori-Hecke algebras of types $A_n$, $B_n$, $D_n$, $G_2$. Although these computations are in reach for types $F_4$, $E…
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 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.
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 define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman's hash involution. We compute the rank of these algebras and construct a full set of irreducible representations in the semisimple case, generalising Mitsuhashi's results.
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
We give a classification of the simple modules for the cyclotomic Hecke algebras over $\mathbb{C}$ in the modular case. We use the unitriangular shape of the decomposition matrices of Ariki-Koike algebras and Clifford theory.
We compute the centre of the cyclotomic Hecke algebra attached to $G(m,1,2)$ and show that if $q \neq 1$ it is equal to the image of the centre of the affine Hecke algebra $\Ha$. We also briefly discuss what is known about the relation between the centre of an arbitrary cyclotomic Hecke algebra and the centre of the affine Hecke algebra of type $A$.
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 explore the modular representation theory of affine and cyclotomic Yokonuma-Hecke algebras. We provide an equivalence between the category of finite dimensional representations of the affine (resp. cyclotomic) Yokonuma-Hecke algebra and that of an algebra which is a direct sum of tensor products of affine Hecke algebras of type $A$ (resp. Ariki-Koike algebras). As one of the applications, the irreducible representations of affine and cyclotomic Yokonuma-Hecke algebras are classified over an algebraically closed field of characteristic $p$. Secondly, the modular branching rules for these alg…
We study the seminormal basis ${f_t}$ for the Specht modules of the Iwahori-Hecke algebra ${\cal H}_n(q)$ of type $A_{n-1}$. We focus on the base change coefficients between the seminormal basis ${f_t}$ and Young's natural basis ${x_t}$ with emphasis on the denominators of these coefficients. In certain important cases we obtain simple formulas for these coefficients involving radial lengths. Even for general tableaux we obtain new formulas. On the way we prove a new result about summands of the restricted Specht module at root of unity.
We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.
We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.
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 the Schur elements and the a-function for cyclotomic Hecke algebras. As a consequence, we show the existence of canonical basic sets, as defined by Geck-Rouquier, for certain complex reflection groups. This includes the case of finite Weyl groups for all choices of parameters (in characteristic 0).
In recent joint work with Wang, we have constructed graded Specht modules for cyclotomic Hecke algebras. In this article, we prove a graded version of the Lascoux-Leclerc-Thibon conjecture, describing the decomposition numbers of graded Specht modules over a field of characteristic zero.
We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.
This paper proves a periodic property of Jucys-Murphy elements of the degenerate and non-degenerate cy- clotomic Hecke algebras of type A. We do this by first giving a new closed formula for the KLR idempotents e(i) which, it tuns out, is very efficient computationally.
We derive a formula for the entries in the change-of-basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously-computed entries in the matrix. We generalize our results to work for affine Hecke algebras, Ariki-Koike algebras, Iwahori-Hecke algebras, and complex reflection groups given by the wreath product of a finite cyclic group with the symmetric group.
In this note, we first prove that the degenerate cyclotomic Yokonuma-Hecke algebra $Y_{r,n}^{d}$ is cellular by constructing an explicit cellular basis. We then develop the fusion procedure for $Y_{r,n}^{d}$, that is, a complete set of pairwise orthogonal primitive idempotents for $Y_{r,n}^{d}$ is defined by consecutive evaluations of a certain rational function.
We associate a monoidal category $\mathcal{H}^λ$ to each dominant integral weight $λ$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories of modules for the degenerate cyclotomic Hecke algebras associated to $λ$. We show that, in the $\mathfrak{sl}_\infty$ case, the level $d$ Heisenberg algebra embeds into the Grothendieck ring of $\mathcal{H}^λ$, where $d$ is the level of $λ$. The categories $\mathcal{H}^λ$ can be viewed as a graphical calculus describing induction and restriction functors between categor…
We relate the classes of unitary and calibrated representations of cyclotomic Hecke algebras and, in particular, we show that for the most important deformation parameters these two classes coincide. We classify these representations in terms of both multipartition combinatorics and as the points in the fundamental alcove under the action of an affine Weyl group. Finally, we cohomologically construct these modules via BGG resolutions.
The "Rouquier blocks" of the cyclotomic Hecke algebras, introduced by Rouquier, are a substitute for the "families of characters", defined by Lusztig for Weyl groups, which can be applied to all complex reflection groups. In this article, we determine them for the cyclotomic Hecke algebras of the groups of the infinite series, G(de,e,r), thus completing their calculation for all complex reflection groups.
We show that the Young tableaux theory and constructions of the irreducible representations of the Weyl groups of type A, B and D, Iwahori-Hecke algebras of types A, B, and D, the complex reflection groups G(r,p,n) and the corresponding cyclotomic Hecke algebras H_{r,p,n}, can be obtained, in all cases, from the affine Hecke algebra of type A. The Young tableaux theory was extended to affine Hecke algebras (of general Lie type) in recent work of A. Ram. We also show how (in general Lie type) the representations of general affine Hecke algebras can be constructed from the representations of sim…
Following the definition of Rouquier for the "families of characters" of a Weyl group and its generalization to the case of complex reflection groups, already appeared in the works of Broue-Kim and Malle-Rouquier, we show that these "families" depend on a numerical datum of the group, its "essential hyperplanes". Using this characterization, we provide the algorithm and the results of the determination of the Rouquier blocks of the cyclotomic Hecke algebras of all exceptional complex reflection groups.
Inspired by the work [PA], we establish an explicit algebra isomorphism between the degenerate cyclotomic Yokonuma-Hecke algebra $Y_{r,n}^{d}(q)$ and a direct sum of matrix algebras over tensor products of degenerate cyclotomic Hecke algebras of type $A$. We then develop several applications of this result, including a new proof of the modular representation theory of $Y_{r,n}^{d}(q)$, a semisimplicity criterion for it and cellularity of it. Moreover, we prove that $Y_{r,n}^{d}(q)$ is a symmetric algebra and determine the associated Schur elements by using the isomorphism theorem for it.
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.
We give a Morita equivalence theorem for so-called cyclotomic quotients of affine Hecke algebras of type B and D, in the spirit of a classical result of Dipper-Mathas in type A for Ariki-Koike algebras. As a consequence, the representation theory of affine Hecke algebras of type B and D reduces to the study of their cyclotomic quotients with eigenvalues in a single orbit under multiplication by $q^2$ and inversion. The main step in the proof consists in a decomposition theorem for generalisations of quiver Hecke algebras that appeared recently in the study of affine Hecke algebras of type B an…
Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA's and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA's and a conjecture of Chuang-Miyachi on the Koszul duality for the category O of CRDAHA's.
Brundan and Kleshchev introduced graded decomposition numbers for representations of cyclotomic Hecke algebras of type $A$, which include group algebras of symmetric groups. Graded decomposition numbers are certain Laurent polynomials, whose values at 1 are the usual decomposition numbers. We show that in quantum characteristic 2 every such polynomial has non-zero coefficients either only in odd or only in even degrees. As a consequence, we find the first examples of graded decomposition numbers of symmetric groups with non-zero coefficients in some negative degrees.
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…
Following the generalization of the notion of families of characters, defined by Lusztig for Weyl groups, to the case of complex reflection groups, thanks to the definition given by Rouquier, we show that the degree and the valuation of the Schur elements (functions A and a) remain constant on the "families" of the cyclotomic Hecke algebras of the exceptional complex reflection groups. The same result has already been obtained for the groups of the infinite series and for some special cases of exceptional groups.
In this paper all of the classical constructions of A. Young are generalized to affine Hecke algebras of type A. It is proved that the calibrated irreducible representations of the affine Hecke algebra are indexed by placed skew shapes and that these representations can be constructed explicitly with a generalization of Young's seminormal construction of the irreducible representations of the symmetric group. The seminormal construction of an irreducible calibrated module does not produce a basis on which the affine Hecke algebra acts integrally but using it one is able to pick out a different…
The families of characters, defined by Lusztig for Weyl groups, play an important role in the representation theory of finite reductive groups. The definition of Rouquier for the families of characters in terms of blocks of the Hecke algebra has made possible the generalization of this notion to the case of complex reflection groups. In this article, we study the Rouquier blocks of the cyclotomic Hecke algebras and we show that they depend on numerical data determined by the generic Hecke algebra. Moreover, we provide the algorithm and the results of their determination for all exceptional com…
We first give a direct proof of a basis theorem for the cyclotomic Yokonuma-Hecke algebra $Y_{r,n}^{d}(q).$ Our approach follows Kleshchev's, which does not use the representation theory of $Y_{r,n}^{d}(q),$ and so it is very different from that of [ChP2]. We also present two applications. Then we prove that the cyclotomic Yokonuma-Hecke algebra $Y_{r,n}^{d}(q)$ is cellular by constructing an explicit cellular basis, and show that the Jucys-Murphy elements for $Y_{r,n}^{d}(q)$ are JM-elements in the abstract sense. In the appendix, we shall develop the fusion procedure for $Y_{r,n}^{d}(q).$
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…
Let $n\in\mathbb{N}$ and $K$ be any field. For any symmetric generalized Cartan matrix $A$, any $β$ in the positive root lattice with height $n$ and any integral dominant weight $Λ$, one can associate a quiver Hecke algebras $R_β(K)$ and its cyclotomic quotient $R_β^Λ(K)$ over $K$. It has been conjectured that the natural map from $R_β(K)$ to $R_β^Λ(K)$ maps the center of $R_β(K)$ surjectively onto the center of $R_β^Λ(K)$. A similar conjecture claims that the center of the affine Hecke algebra of type $A$ maps surjectively onto the center of its cyclotomic quotient---the cyclotomic Hecke alge…
In this paper we derive a closed formula for the $(\mathbb{Z}\times\mathbb{Z}_2)$-graded dimension of the cyclotomic quiver Hecke superalgebra $R^Λ(β)$ associated to an {\it arbitrary} Cartan superdatum $(A,P,Π,Π^\vee)$, polynomials $(Q_{i,j}({\rm x}_1,{\rm x}_2))_{i,j\in I}$, $β\in Q_n^+$ and $Λ\in P^+$. As applications, we obtain a necessary and sufficient condition for which $e(ν)\neq 0$ in $R^Λ(β)$. We construct an explicit monomial basis for the bi-weight space $e(\widetildeν)R^Λ(β)e(\widetildeν)$, where $\widetildeν$ is a certain specific $n$-tuple defined in (1.4). In particular, this g…
We study the cocenter of the cyclotomic quiver Hecke algebra $R^Λ_α$ associated to an {\it arbitrary} symmetrizable Cartan matrix $A=(a_{ij})_{i,j}\in I$, $Λ\in P^+$ and $α\in Q_n^+$. We introduce a notion called "piecewise dominant sequence" and use it to construct some explicit homogeneous elements which span the maximal degree component of the cocenter of $R^Λ_α$. We show that the minimal degree components of the cocenter of $R^Λ_α$ is spanned by the image of some KLR idempotent $e(ν)$, where each $ν\in I^α$ is piecewise dominant. As an application, we show that the weight space $L(Λ)_{Λ-α}…
This paper proves that the restriction of a Specht module for a (degenerate or non-degenerate) cyclotomic Hecke algebra, or KLR algebra, of type A has a Specht filtration.
The paper uses the cellular basis of the (semi-simple) degenerate cyclotomic Hecke algebras to investigate these algebras exhaustively. As a consequence, we describe explicitly the "Young's seminormal form" and a orthogonal bases for Specht modules and determine explicitly the closed formula for the natural bilinear form on Specht modules and Schur elements for the degenerate cyclotomic Hekce algebras.
An inductive approach to the representation theory of cyclotomic Hecke algebras, inspired by Okounkov and Vershik, is developed. We study the common spectrum of the Jucys-Murphy elements using representations of the simplest affine Hecke algebra. Representations are constructed with the help of a new associative algebra whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by standard m-tableaux.
