arXiv++ Combinatorics

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.

Given natural numbers m and n, we define a deflation map from the characters of the symmetric group S_{mn} to the characters of S_n. This map is obtained by first restricting a character of S_{mn} to the wreath product S_m \wr S_n, and then taking the sum of the irreducible constituents of the restricted character on which the base group S_m \times ... \times S_m acts trivially. We prove a combinatorial formula which gives the values of the images of the irreducible characters of S_{mn} under this map. We also prove an analogous result for more general deflation maps in which the base group is not required to act trivially. These results generalize the Murnaghan--Nakayama rule and special cases of the Littlewood--Richardson rule. As a corollary we obtain a new combinatorial formula for the character multiplicities that are the subject of the long-standing Foulkes' Conjecture. Using this formula we verify Foulkes' Conjecture in some new cases.