We study geometric representations of GL(n,R) for a ring R. The structure of the associated Hecke algebras is analyzed and shown to be cellular. Multiplicities of the irreducible constituents of these representations are linked to the embedding problem of pairs of R-modules x < y.
Let $\cH$ be the one-parameter Hecke algebra associated to a finite Weyl group $W$, defined over a ground ring in which ``bad'' primes for $W$ are invertible. Using deep properties of the Kazhdan--Lusztig basis of $\cH$ and Lusztig's $\ba$-function, we show that $\cH$ has a natural cellular structure in the sense of Graham and Lehrer. Thus, we obtain a general theory of ``Specht modules'' for Hecke algebras of finite type. Previously, a general cellular structure was only known to exist in types $A_n$ and $B_n$.
We establish an explicit algebra isomorphism between the affine Yokonuma-Hecke algebra $\widehat{Y}_{r,n}(q)$ and a direct sum of matrix algebras with coefficients in tensor products of affine Hecke algebras of type $A.$ As an application of this result, we show that $\widehat{Y}_{r,n}(q)$ is affine cellular in the sense of Koenig and Xi, and further prove that it has finite global dimension when the parameter $q$ is not a root of the Poincaré polynomial. As another application, we also recover the modular representation theory of $\widehat{Y}_{r,n}(q)$ previously obtained in [CW].
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).$
Let $\bH$ be the generic Iwahori--Hecke algebra associated with a finite Coxeter group $W$. Recently, we have shown that $\bH$ admits a natural cellular basis in the sense of Graham--Lehrer, provided that $W$ is a Weyl group and all parameters of $\bH$ are equal. The construction involves some data arising from the Kazhdan--Lusztig basis $\{\bC_w\}$ of $\bH$ and Lusztig's asymptotic ring $\bJ$. This article attemps to study $\bJ$ and its representation theory from a new point of view. We show that $\bJ$ can be obtained in an entirely different fashion from the generic representations of $\bH$,…
A new basis of the $q$-Brauer algebra is introduced, which is a lift of Murphy bases of Hecke algebras of symmetric groups. This basis is a cellular basis in the sense of Graham and Lehrer. Subsequently, using combinatorial language we prove that the non-isomorphic simple $q$-Brauer modules are indexed by the $e(q^2)$-restricted partitions of $n-2k$ where $k$ is an integer, $0 \le k \le [n/2]$. When the $q$-Brauer algebra has low-dimension a criterion of semisimplicity is given, which is used to show that the $q$-Brauer algebra is in general not isomorphic to the BMW-algebra.}
On overview of Coxeter groups $W$, their Iwahori-Hecke algebras $H$, Lusztig's asymptotic algebras $J$, cellular algebras in general and cellularity of $H$ in particular, as well as an introduction to Gyoja's $W$-graph algebra and the $W$-graph decomposition conjecture.
The aim of this paper is to gather and (try to) unify several approaches for the modular representation theory of Hecke algebras of type $B$. We attempt to explain the connections between Geck's cellular structures (coming from Kazhdan-Lusztig theory with unequal parameters) and Ariki's Theorem on the canonical basis of the Fock spaces.
In this paper we show that the lowest two-sided ideal of an affine Hecke algebra is affine cellular for all choices of parameters. We explicitely describe the cellular basis and we show that the basis elements have a nice decomposition when expressed in the Kazhdan-Lusztig basis. In type $A$ we provide a combinatorial description of this decomposition in term of number of paths.
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.
The Hecke-Clifford superalgebra is a super-analogue of the Iwahori-Hecke algebra of type A. The classification of its simple modules is done by Brundan, Kleshchev and Tsuchioka using a method of categorification of affine Lie algebras. In this paper, we introduce another way to produce its simple modules with a generalized theory of cellular algebras which is originally developed by Graham and Lehrer. In our construction the key is that there is a right action of the Clifford superalgebra on the super-analogue of the Specht module. With the help of the notion of the Morita context, a simple mo…
We construct a faithful tensor representation for the Yokonuma-Hecke algebra Y, and use it to give a concrete isomorphism between Y and Shoji's modified Ariki-Koike algebra. We give a cellular basis for Y and show that the Jucys-Murphy elements for Y are JM-elements in the abstract sense. Finally, we construct a cellular basis for the Aicardi-Juyumaya algebra of braids and ties.
In this article we study the representations of general linear groups which arise from their action on flag spaces. These representations can be decomposed into irreducibles by proving that the associated Hecke algebra is cellular. We give a geometric interpretation of a cellular basis of such Hecke algebras which was introduced by Murphy in the case of finite fields. We apply these results to decompose representations which arise from the space of modules over principal ideal local rings of length two with a finite residue field.
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.
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
The Iwahori-Hecke algebra of the symmetric group is the convolution algebra of $\gl_n$-invariant functions on the variety of pairs of complete flags over a finite field. Considering convolution on the space of triples of two flags and a vector we obtain the mirabolic Hecke algebra $R_n$, which had originally been described by Solomon. In this paper we give a new presentation for $R_n$ which shows that it is a quotient of a cyclotomic Hecke algebra, as defined by Ariki and Koike. From this we recover the results of Siegel about the representations of $R_n$. We use Jucys-Murphy elements to descr…
In this paper, and a second part to follow, we complete the programme (initiated more than 15 years ago) of determining the decomposition numbers and verifying James' Conjecture for Iwahori--Hecke algebras of exceptional type. The new ingredients which allow us to achieve this aim are: - the fact, recently proved by the first author, that all Hecke algebras of finite type are cellular in the sense of Graham--Lehrer, and - the explicit determination of $W$-graphs for the irreducible (generic) representations of Hecke algebras of type $E_7$ and $E_8$ by Howlett and Yin. Thus, we can reduce the p…
We initiate the systematic study of endomorphism algebras of permutation modules and show they are obtainable by a descent from a certain "generic" Hecke algebra, infinite-dimensional in general, coming from the universal enveloping algebra of gl_n (or sl_n). The endomorphism algebras and the generic algebras are cellular. We give several equivalent descriptions of these algebras, find a number of explicit bases, and describe indexing sets for their irreducible representations.
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.
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 identify a subalgebra \pH_n of the extended affine Hecke algebra \eH_n of type A. The subalgebra \pH_n is a \u-analogue of the monoid algebra of §_n \ltimes \ZZ_{\geq 0}^n and inherits a canonical basis from that of \eH_n. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod n, which we term \emph{positive affine tableaux} (PAT). We then exhibit a cellular subquotient \R_{1^n} of \pH_n that is a \u-analogue of the ring of coinvariants \CC[y_1,...,y_n]/(e_1,...,e_n) with left cells labeled by PAT that are essentially …
We give a concrete construction of a graded cellular basis for the generalized blob algebra B_n introduced by Martin and Woodcock. The construction uses the isomorphism between KLR-algebras and cyclotomic Hecke algebras, proved by Brundan-Kleshchev and Rouquier. It gives rise to a family of Jucys-Murphy elements for B_n.
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors for certain quantised enveloping algebras and their highest weight representations, Hecke categories and so on. The common feather is that, for most of the examples, the endomorphism algebras of the categories form a tower of algebras. In this paper, we give an axiomatic framework for the cellular categories related to the quasi-hereditary tower and then study…
A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for Kronecker coefficients, which are multiplicities of the decomposition of the tensor product of two §_r-irreducibles into irreducibles. Mulmuley and Sohoni attempt to solve this problem using canonical basis theory, by first constructing a nonstandard Hecke algebra B_r, which, though not a Hopf algebra, is a u-analogue of the Hopf algebra \CC §_r in some sense (where u is the Hecke algebra parameter). For r=3, we study this Hopf-like structure in detail. We define a nonstandard Hecke algebra \b…
We describe an algorithm for computing the $p$-canonical basis of the Hecke algebra, or one of its antispherical modules. The algorithm does not operate in the Hecke category directly, but rather uses a faithful embedding of the Hecke category inside a semisimple category to build a "model" for indecomposable objects and bases of their morphism spaces. Inside this semisimple category, objects are sequences of Coxeter group elements, and morphisms are (sparse) matrices over a fraction field, making it quite amenable to computations. This strategy works for the full Hecke category over any base …
This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively.
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…
In this paper, we study the Kazhdan--Lusztig cells of a Coxeter group $W$ in a ``relative'' setting, with respect to a parabolic subgroup $W_I \subseteq W$. This relies on a factorization of the Kazhdan--Lusztig basis $\{C_w\}$ of the corresponding (multi-parameter) Iwahori--Hecke algebra with respect to $W_I$. We obtain two applications to the ``asymptotic case'' in type $B_n$, as introduced by Bonnafé--Iancu: we show that $\{C_w\}$ is a ``cellular basis'' in the sense of Graham--Lehrer, and we construct an analogue of Lusztig's canonical isomorphism from the Iwahori--Hecke algebra to the gro…
In this paper, we define a quotient of the cyclotomic Hecke algebra of type $G(r,1,n)$ as a generalisation of the Temperley-Lieb algebras of type $A$ and $B$. We establish a graded cellular structure for the generalised Temperley-Lieb algebra and, using the technology of $KLR$ algebras, determine the corresponding decomposition matrix.
In this paper we consider the $q$-Brauer algebra over $R$ a commutative noetherian domain. We first construct a new basis for $q$-Brauer algebras, and we then prove that it is a cell basis, and thus these algebras are cellular in the sense of Graham and Lehrer. In particular, they are shown to be an iterated inflation of Hecke algebras of type $A_{n-1}.$ Moreover, when $R$ is a field of arbitrary characteristic, we determine for which parameters the $q$-Brauer algebras are quasi-heredity. So the general theory of cellular algebras and quasi-hereditary algebras applies to $q$-Brauer algebras. A…
In this paper, we let $\Hecke$ be the Hecke algebra associated with a finite Coxeter group $W$ and with one-parameter, over the ring of scalars $\Alg=\mathbb{Z}(q, q^{-1})$. With an elementary method, we introduce a cellular basis of $\Hecke$ indexed by the sets $E_J (J\subseteq S)$ and obtain a general theory of "Specht modules". We provide an algorithm for $W\!$-graphs for the "generic Specht module", which associates with the Kazhdan and Lusztig cell ( or more generally, a union of cells of $W$ ) containing the longest element of a parabolic subgroup $W_J$ for appropriate $J\subseteq S$. As…
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 r…
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 purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restri…
In this paper the authors investigate the $q$-Schur algebras of type B that were constructed earlier using coideal subalgebras for the quantum group of type A. The authors present a coordinate algebra type construction that allows us to realize these $q$-Schur algebras as the duals of the $d$th graded components of certain graded coalgebras. Under suitable conditions an isomorphism theorem is proved that demonstrates that the representation theory reduces to the $q$-Schur algebra of type A. This enables the authors to address the questions of cellularity, quasi-hereditariness and representatio…
Let $F$ be a local non-archimedian field and $G$ be the group of $F$-points of a split connected reductive group over $F$. In a previous aricle we defined an algebra $\mathcal J(G)$ of functions on $G$ which contains the Hecke algebra $\mathcal H(G)$ and is contained in the Harish-Chandra Schwartz algebra $\mathcal C(G)$. We consider $\mathcal J(G)$ as an algebraic analog the algebra $\mathcal C(G)$. Given a parabolic subgroup $P$ of $G$ with a Levi subgroup $M$ and the unipotent radical $U_P$ we write $X_P:=G/U_P$. In this paper we study two versions of the Schwartz space of $X_P$. The first …
We consider the $ r = 0 $ case of the conjectures by Bonnafé, Geck, Iancu and Lam on cellular structures on the Hecke algebra of type $ B $. We show that this case induces the natural cell structure on the blob algebra $ b_n $ by restriction to one-line bipartitions.
As a generalisation of Graham and Lehrer's cellular algebras, affine cellular algebras have been introduced in [12] in order to treat affine versions of diagram algebras like affine Hecke algebras of type A and affine Temperley-Lieb algebras in a unifying fashion. Affine cellular algebras include Kleshchev's graded quasihereditary algebras, KLR algebras and various other classes of algebras. In this paper we will study ring theoretical properties of affine cellular algebras. We show that any affine cellular algebra $A$ satisfies a polynomial identity. Furthermore, we show that $A$ can be embed…
In this paper, we define the Yokonuma-Schur algebra $\text{YS}_{q}(r,n)$ as the endomorphism algebra of a permutation module for the Yokonuma-Hecke algebra $\text{Y}_{r,n}(q).$ We prove that $\text{YS}_{q}(r,n)$ is cellular by constructing an explicit cellular basis following the approach in [DJM], and we further show that it is a quasi-hereditary cover of $\text{Y}_{r,n}(q)$ in the sense of Rouquier following [HM2]. We also introduce the tilting modules for $\text{YS}_{q}(r,n).$ In the appendix, we define and study the cyclotomic Yokonuma-Schur algebra in a similar way.
For the quiver Hecke algebra $R$ associated with a simple Lie algebra, let $R$-gmod be the category of finite-dimensional graded $R$-modules. It is well-known that it categorifies the unipotent quantum coordinate ring. The localization of $R$-gmod has been defined in [12]. Its Grothendieck ring defines the localized (unipotent) quantum coordinate ring. We shall give a certain crystal structure on the localized quantum coordinate ring by regarding the set of self-dual simple objects in localized $R$-gmod. We also give the isomorphism of crystals to the cellular crystal for an arbitrary reduced …
We review some recent advances in modular representation theory of symmetric groups and related Hecke algebras. We discuss connections with Khovanov-Lauda-Rouquier algebras and gradings on the blocks of the group algebras $FΣ_n$, which these connections reveal; graded categorification and connections with quantum groups and crystal bases; modular branching rules and the Mullineaux map; graded cellular structure and graded Specht modules; cuspidal systems for affine KLR algebras and imaginary Schur-Weyl duality, which connects representation theory of these algebras to the usual Schur algebras …
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 chara…