arXiv++ Combinatorics

We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.

This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.

We prove a ``positive'' Jantzen sum formula for the Specht modules of the cyclotomic Hecke algebras of type~$A$. That is, in the Grothendieck group, we show that the sum of the pieces of the Jantzen filtration is equal to an explicit non-negative linear combination of modules $E^ν_{f,e}$, which are modular reductions of simple modules for closely connected Hecke algebras in characteristic zero. The coefficient of $E^ν_{f,e}$ in the sum formula is determined by the graded decomposition numbers in characteristic zero, which are known, and the characteristic of the field. As a consequence we see that the decomposition numbers of a cyclotomic Hecke algebra at an $e$th root of unity in characteristic $p$ depend on the decomposition numbers of related cyclotomic Hecke algebras at $ep^r$th roots of unity in characteristic zero, for $r\ge0$.

This chapter is based on a series of lectures that I gave at the National University of Singapore in April 2013. The notes survey the representation theory of the cyclotomic Hecke algebras of type A with an emphasis on understanding the KLR grading and the connections between the "classical" ungraded representation theory and the rapidly emerging graded theory. They are fairly self-contained and they try to give a leisurely introduction to these algebras, with many examples and calculations that don't appear elsewhere. We make extensive use of the interactions between the ungraded and graded representation theory and try to explain what the grading gives us that we didn't have before. Combinatorics and cellular algebra techniques are used throughout, with a few results from geometry and 2-representation theory being quoted from the literature. Highlights include a complete description of the semisimple KLR algebras of type A using just the KLR relations, extensive discussion about graded Specht modules, a proof of the Ariki-Brundan-Kleshchev graded categorification theorem based on the graded branching rules, a cellular algebra approach to adjustment matrices and a (possibly optimistic) conjecture for the graded dimensions of the simple modules.

This paper classifies the blocks of the truncated $q$-Schur algebras of type $A$ which have as weight poset an arbitrary cosaturated set of partitions.

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 an application we construct a new distinguished graded cellular basis of the cyclotomic KLR algebras of type $A$.

We define a graded quasi-hereditary covering for the cyclotomic quiver Hecke algebras $\mathcal{R}^Λ_n$ of type $A$ when $e=0$ (the linear quiver) or $e\ge n$. We show that these algebras are quasi-hereditary graded cellular algebras by giving explicit homogeneous bases for them. When $e=0$ we show that the KLR grading on the quiver Hecke algebras is compatible with the gradings on parabolic category $\mathcal{O}$ previously introduced in the works of Beilinson, Ginzburg and Soergel and Backelin. As a consequence, we show that when $e=0$ our graded Schur algebras are Koszul over field of characteristic zero. Finally, we give an LLT-like algorithm for computing the graded decomposition numbers of the quiver Schur algebras in characteristic zero when $e=0$.

The graded Specht module $S^λ$ for a cyclotomic Hecke algebra comes with a distinguished generating vector $z^λ\in S^λ$, which can be thought of as a "highest weight vector of weight $λ$". This paper describes the {\em defining relations} for the Specht module $S^λ$ as a graded module generated by $z^λ$. The first three relations say precisely what it means for $z^λ$ to be a highest weight vector of weight $λ$. The remaining relations are homogeneous analogues of the classical {\em Garnir relations}. The homogeneous Garnir relations, which are {\em simpler} than the classical ones, are associated with a remarkable family of homogeneous operators on the Specht module which satisfy the braid relations.

Recently Brundan, Kleshchev and Wang introduced a $\Z$-grading on the Specht modules of the degenerate and non-degenerate cyclotomic Hecke algebras of type $G(\ell,1,n)$. In this paper we show that induced Specht modules have an explicit filtration by shifts of graded Specht modules. This proves a conjecture of Brundan, Kleshchev and Wang.

The paper studies the modular representation theory of the cyclotomic Hecke algebras of type $G(r,p,n)$ with $(\eps,q)$-separated parameters. We show that the decomposition numbers of these algebras are completely determined by the decomposition matrices of related cyclotomic Hecke algebras of type $G(s,1,m)$, where $1\le s\le r$ and $1\le m\le n$. Furthermore, the proof gives an explicit algorithm for computing these decomposition numbers. Consequently, in principle, the decomposition matrices of these algebras are now known in characteristic zero. In proving these results, we develop a Specht module theory for these algebras, explicitly construct their simple modules and introduce and study analogues of the cyclotomic Schur algebras of type $G(r,p,n)$ when the parameters are $(\eps,q)$-separated. The main results of the paper rest upon two Morita equivalences: the first reduces the calculation of all decomposition numbers to the case of the \textit{$l$-splittable decomposition numbers} and the second Morita equivalence allows us to compute these decomposition numbers using an analogue of the cyclotomic Schur algebras for the Hecke algebras of type $G(r,p,n)$.

This paper constructs an explicit homogeneous cellular basis for the cyclotomic Khovanov--Lauda--Rouquier algebras of type $A$.

Let $\H_n$ be a (degenerate or non-degenerate) Hecke algebra of type $G(\ell,1,n)$, defined over a commutative ring $R$ with one, and let $S(\bmu)$ be a Specht module for $\H_n$. This paper shows that the induced Specht module $S(\bmu)\otimes_{\H_n}\H_{n+1}$ has an explicit Specht filtration.

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.

We prove a Morita reduction theorem for the cyclotomic Hecke algebras H_{r,p,n}({q,Q})$ of type G(r,p,n). As a consequence, we show that computing the decomposition numbers of H_{r,p,n}(Q) reduces to computing the p'-splittable decomposition numbers of the cyclotomic Hecke algebras H_{r',p',n'}(Q'), where $1\le r'\le r$, $1\le n'\le n$, $ p'\mid p$ and where the parameters Q' are contained in a single $(ε,q)$-orbit and $ε$ is a primitive p'th root of unity.

This paper classifies the blocks of the cyclotomic Hecke algebras of type G(r,1,n) over an arbitrary field. Rather than working with the Hecke algebras directly we work instead with the cyclotomic Schur algebras. The advantage of these algebras is that the cyclotomic Jantzen sum formula gives an easy combinatorial characterization of the blocks of the cyclotomic Schur algebras. We obtain an explicit description of the blocks by analyzing the combinatorics of `Jantzen equivalence'. We remark that a proof of the classification of the blocks of the cyclotomic Hecke algebras was announced in 1999. Unfortunately, Cox has discovered that this previous proof is incomplete.

This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing orthogonal bases for A, and for all of its irreducible representations, when the JM-elements separate A. The seminormal forms for A are defined over the field of fractions of R. Significantly, we show that the Gram determinant of each irreducible A-module is equal to a product of certain structure constants coming from the seminormal basis of A. In the non-separated case we use our seminormal forms to give an explicit basis for a block decomposition of A. The appendix, by Marcos Soriano, gives a general construction of a complete set of orthogonal idempotents for an algera starting from a set of elements which act on the algebra in an upper triangular fashion. The appendix shows that constructions with "Jucys-Murphy elements"depend, ultimately, on the Cayley-Hamilton theorem.

This paper is an attempt to compute the decomposition numbers of the blocks of the symmetric group which have "small defect"; that is, blocks of weight smaller than the characteristic. We present various methods for computing such decomposition numbers and use these as support for a conjecture which relates decomposition numbers in different characteristics. Finally, we apply our techniques to blocks of weight three.

Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group. The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of the bilinear form on S_q(lambda). When they are defined, we give a precise relationship between the elementary divisors of the Specht modules S_q(lambda) and S_q(lambda'), where lambda' is the conjugate partition. We also compute the elementary divisors when lambda is a hook partition and give examples to show that in general elementary divisors do not exist.

This paper investigates the tilting modules of the cyclotomic q-Schur algebras, the Young modules of the Ariki-Koike algebras, and the interconnections between them. The main tools used to understand the tilting modules are contragredient duality, and the Specht filtrations and dual Specht filtrations of certain permutation modules. Surprisingly, Weyl filtrations -- which are in general more powerful than Specht filtrations -- play only a secondary role.

This article is a comprehensive review of the representation theory of the Ariki-Koike algebras and the cyclotomic Schur algebras.