The reducibility of the Specht modules for the Iwahori--Hecke algebras in type $A$ is still open in the case where the defining parameter $q$ equals -1. We prove the reducibility of a large class of Specht modules for these algebras.
We consider the problem of classifying irreducible Specht modules for the Iwahori-Hecke algebra of type B with parameters Q,q. We solve this problem completely in the case where q is not a root of unity, and in the case q=-1 we reduce the problem to the corresponding problem in type A.
Let $p$ be a prime and $\mathbb{F}$ a field of characteristic $p$, and let $\mathcal{H}_n$ denote the Iwahori--Hecke algebra of the symmetric group $\mathfrak{S}_n$ over $\mathbb{F}$ at $q=-1$. We prove that there are only finitely many partitions $λ$ such that both $λ$ and $λ'$ are 2-singular and the Specht module $S^λ$ for $\mathcal{H}_{|\la|}$ is irreducible.
Let $S_λ$ denote the Specht module defined by Dipper and James for the Iwahori-Hecke algebra $\mathscr{H}_n$ of the symmetric group $\mathfrak{S}_n$. When $e=2$ we determine the decomposability of all Specht modules corresponding to hook partitions $(a,1^b)$. We do so by utilising the Brundan-Kleshchev isomorphism between $\mathscr{H}$ and a Khovanov-Lauda-Rouquier algebra and working with the relevant KLR algebra, using the set-up of Kleshchev-Mathas-Ram. When $n$ is even, we easily arrive at the conclusion that $S_λ$ is indecomposable. When $n$ is odd, we find an endomorphism of $S_λ$ and us…
The reducible Specht modules for the Hecke algebra $\mathcal{H}_{\mathbb{F},q}(\mathfrak{S}_n)$ have been classified except when $q=-1$. We prove one half of a conjecture which we believe classifies the reducible Specht modules when $q=-1$ and $\mathbb{F}$ has characteristic 0.
Let $\mathscr{H}_n$ denote the Iwahori-Hecke algebra corresponding to the symmetric group $\mathfrak{S}_n$. We set up a Green correspondence for bimodules of these Hecke algebras, and a Brauer correspondence between their blocks. We examine Specht modules for $\mathscr{H}_n$ and compute the vertices of certain Specht modules, before using this to give a classification of the vertices of blocks of $\mathscr{H}_n$ in any characteristic. Finally, we apply this classification to resolve the Dipper-Du conjecture about the structure of vertices of indecomposable $\mathscr{H}_n$-modules.
A construction of bases for cell modules of the Birman--Murakami--Wenzl (or B--M--W) algebra $B_n(q,r)$ by lifting bases for cell modules of $B_{n-1}(q,r)$ is given. By iterating this procedure, we produce cellular bases for B--M--W algebras on which a large abelian subalgebra, generated by elements which generalise the Jucys--Murphy elements from the representation theory of the Iwahori--Hecke algebra of the symmetric group, acts triangularly. The triangular action of this abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters $q$ and $r$, for B--M--W alg…
We study the decomposability of Specht modules labelled by bihooks, bipartitions with a hook in each component, for the Iwahori--Hecke algebra of type $B$. In all characteristics, we determine a large family of decomposable Specht modules, and conjecture that these provide a complete list of decomposable Specht modules indexed by bihooks. We prove the conjecture for small $n$.
We continue the study of Specht modules labelled by hook bipartitions for the Iwahori--Hecke algebra of type $B$ with $e\in\{3,4,\dots\}$ via the cyclotomic Khovanov--Lauda--Rouquier algebra $\mathscr{H}_n^Λ$. Over an arbitrary field, we explicitly determine the graded decomposition submatrices for $\mathscr{H}_n^Λ$ comprising rows corresponding to hook bipartitions.
Let $F$ be a field of characteristic $p$ at least 5. We study the Loewy structures of Specht modules in the principal block of $FΣ_{3p}$. We show that a Specht module in the block has Loewy length at most 4 and composition length at most 14. Furthermore, we classify which Specht modules have Loewy length 1, 2, 3, or 4, produce a Specht module having 14 composition factors, describe the second radical layer and the socle of the reducible Specht modules, and prove that if a Specht module corresponds to a partition that is $p$-regular and $p$-restricted then the head of the Specht module does not…
Recently, Iwahori-Hecke algebras were associated to Kac-Moody groups over non-Archimedean local fields. In a previous paper, we introduced principal series representations for these algebras and partially generalized Kato's irreducibility criterion. In this paper, we study how some of these representations decompose when they are reducible and deduce information on the irreducible representations of these algebras.
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.
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht module for the symmetric group in terms of permutation modules. In this paper we extend the definition of the chain complex to the integral Iwahori Hecke algebra and prove the same partial exactness results that were proved in the symmetric group case. A complete proof of the exactness conjecture in the symmetric group case was recently given by Santana and Yudin…
A celebrated result of Farahat and Higman constructs an algebra $\mathrm{FH}$ which "interpolates" the centres $Z(\mathbb{Z}S_n)$ of group algebras of the symmetric groups $S_n$. We extend these results from symmetric group algebras to type $A$ Iwahori-Hecke algebras, $H_n(q)$. In particular, we explain how to construct an algebra $\mathrm{FH}_q$ "interpolating" the centres $Z(H_n(q))$. We prove that $\mathrm{FH}_q$ is isomorphic to $\mathcal{R}[q,q^{-1}] \otimes_{\mathbb{Z}} Λ$ (where $\mathcal{R}$ is the ring of integer-valued polynomials, and $Λ$ is the ring of symmetric functions). The iso…
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 t…
Suppose $μ$ is a partition of $n$ and $λ$ a composition of $n$, and let $S^μ$, $M^λ$ denote the Specht module and permutation module defined by Dipper and James for the Iwahori--Hecke algebra $\mathscr{H}_n$ of the symmetric group $\mathfrak{S}_n$. We give an explicit fast algorithm for expressing a tableau homomorphism $\hatϕ_A:S^μ\to M^λ$ as a linear combination of semistandard homomorphisms. Along the way we provide a utility result related to removing rows from tableaux.
Let n be a positive integer and let p be a prime. Suppose that we take a partition of n, and obtain another partition by moving a node from one row to a shorther row. Carter and Payne showed that if the p-residue of the removed and added positions is the same, then there is a non-zero homomorphism between the corresponding Specht modules for the symmetric group of degree n, defined over a field of characteristic p. In this paper we give a very simple description of such a homomorphism, as a map between polytabloids, using the action of a Murphy-Jucys element. We also present a proof that in th…
We use graded Specht modules to calculate the graded decomposition numbers for the Iwahori-Hecke algebra of the symmetric group over a field of characteristic zero at a root of unity. The algorithm arrived at is the Lascoux-Leclerc-Thibon algorithm in disguise. Thus we interpret the algorithm in terms of graded representation theory.
We prove a $q$-analogue of the Carter-Payne theorem for the two special cases corresponding to moving an arbitrary number of nodes between adjacent rows, or moving one node between an arbitrary number of rows. As a consequence, we show that these homomorphism spaces are one dimensional when $q \neq -1$. We apply these results to complete the classification of the reducible Specht modules for the Hecke algebras of the symmetric groups when $q \neq-1$. Our methods can also be used to determine certain other pairs of Specht modules between which there is a homomorphism. In particular, we describe…
Recently, Cohen and Wales built a faithful linear representation of the Artin group of type $D_n$, hence showing the linearity of this group. It was later discovered that this representation is reducible for some complex values of its two parameters. It was also shown that when the representation is reducible, the action on a proper invariant subspace is a Hecke algebra action of type $D_n$. The goal of this paper is to classify these proper invariant subspaces in terms of Specht modules indexed by double partitions of the integer $n$. This work is the continuation of arXiv:1103.5673
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…
Let ${\mathcal H}_{q}(d)$ be the Iwahori-Hecke algebra for the symmetric group, where $q$ is a primitive $l$th root of unity. In this paper we develop a theory of support varieties which detects natural homological properties such as the complexity of modules. The theory the authors develop has a canonical description in an affine space where computations are tractable. The ideas involve the interplay with the computation of the cohomology ring due to Benson, Erdmann and Mikaelian, the theory of vertices due to Dipper and Du, and branching results for cohomology by Hemmer and Nakano. Calculati…