More than 10 years ago, Dipper, James and Murphy developped the theory of Specht modules for Hecke algebras of type $B\_n$. More recently, using Lusztig's a-function, Geck and Rouquier showed how to obtain parametrisations of the irreducible representations of Hecke algebras (of any finite type) in terms of so-called canonical basic sets. For certain values of the parameters in type $B\_n$, combinatorial descriptions of these basic sets were found by Jacon, based on work of Ariki and Foda-Leclerc-Okado-Thibon-Welsh. Here, we consider the canonical basic sets for all the remaining choices of the parameters.
We give an explicit description of the "canonical basic set'' for all Iwahori-Hecke algebras of finite Weyl groups in "good'' characteristic. We obtain a complete classification of simple modules for this type of algebras.
Let H be a non semi-simple Ariki-Koike algebra. According to [18] and [14], there is a generalisation of Lusztig's a-function which induces a natural order (parametrised by a tuple m) on Specht modules. In some cases, Geck and Jacon have proved that this order makes unitriangular the decomposition matrix of H. The algebra H is then said to admit a "canonical basic set". We fully classify which values of m afford a canonical basic set for H and which do not. When this is the case, we describe these sets in terms of "twisted Uglov" or "twisted Kleshchev" multipartitions.
A canonical system of basic invariants is a system of invariants satisfying a set of differential equations. The properties of a canonical system are related to the mean value property for polytopes. In this article, we naturally identify the vector space spanned by a canonical system of basic invariants with an invariant space determined by a fundamental antiinvariant. From this identification, we obtain explicit formulas of canonical systems of basic invariants. The construction of the formulas does not depend on the classification of finite irreducible reflection groups.
We study the parametrizations of simple modules provided by the theory of basic sets for all finite Weyl groups. In the case of type B, we show the existence of basic sets for the matrices of constructible representations. Then we study bijections between the various basic sets and show that they are controlled by the matrices of the constructible representations.
It has been known that there exists a canonical system for every finite real reflection group. The first and the third authors obtained an explicit formula for a canonical system in the previous paper. In this article, we first define canonical systems for the finite unitary reflection groups, and then prove their existence. Our proof does not depend on the classification of unitary reflection groups. Furthermore, we give an explicit formula for a canonical system for every unitary reflection group.
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 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 show the existence of a unitriangular basic set for unipotent blocks simple reductive groups of classical type in bad characteristic with some exceptions. Then,we introduce an algorithm to count irreducible unipotent Brauer characters and we verify that this algorithm is effective for exceptional adjoint groups.
In this paper we show, using Deligne-Lusztig theory and Kawanaka's theory of generalised Gelfand-Graev representations, that the decomposition matrix of the special linear and unitary group in non defining characteristic can be made unitriangular with respect to a basic set that is stable under the action of automorphisms.
The problem of finding a canonical form of complex matrices up to conjugacy with the set of canonical matrices being a union of affine planes in the matrix space is considered. A solution of the problem is given producing a new canonical form for matrices over algebraically closed fields.
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the decomposition matrices, that is, the existence of a unitriangular basic set. We study several ways to obtain such sets in the general case of a symmetric algebra. We apply our results to the symmetric groups and to their Hecke algebras and thus obtain new ways to label the simple modules for these objects. Finally, we show that these sets do not always exis…
We characterize the canonical algebras such that for all dimension vectors of homogeneous modules the corresponding module varieties are complete intersections (respectively, normal). We also investigate the sets of common zeros of semi-invariants of non-zero degree in important cases. In particular, we show that for sufficiently big vectors they are complete intersections and calculate the number of their irreducible components.
We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (defined over a base field of odd characteristic $p$, and with coefficients in a field of odd characteristic $\ell\neq p$): the modular case is obtained as a restriction of the ordinary case to a basic set. In order to do so, we compare the …
We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.
In this paper, we give the decomposition into irreducible characters of the restriction to the wreath product $\mathbb{Z}_{p-1} \wr \mathfrak{S}_w$ of any irreducible character of $(\mathbb{Z}_p \rtimes \mathbb{Z}_{p-1}) \wr \mathfrak{S}_w$, where $p$ is any odd prime, $w \geq 0$ is an integer, and $\mathbb{Z}_p$ and $\mathbb{Z}_{p-1}$ denote the cyclic groups of order $p$ and $p-1$ respectively. This answers the question of how to decompose the restrictions to $p$-regular elements of irreducible characters of the symmetric group $\mathfrak{S}_n$ in the $\mathbb{Z}$-basis corresponding to the …
In this investigation of character tables of finite groups we study basic sets and associated representation theoretic data for complementary sets of conjugacy classes. For the symmetric groups we find unexpected properties of characters on restricted sets of conjugacy classes, like beautiful combinatorial determinant formulae for submatrices of the character table and Cartan matrices with respect to basic sets; we observe that similar phenomena occur for the transition matrices between power sum symmetric functions to bounded partitions and the $k$-Schur functions introduced by Lapointe and M…
We investigate sets of the common zeros of non-constant semi-invariants for regular modules over canonical algebras. In particular, we show that if the considered algebra is tame then for big enough vectors these sets are complete intersections.
In this paper, following the methods of http://arxiv.org/abs/1305.7449v2, we show that the double covering groups of the symmetric and alternating groups have p-basic sets for any odd prime p.
The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James' row and column removal rule for the symmetric group can be derived from a smooth equival…
Navarro defined the set ${Irr}(G \mid Q, δ) \subseteq {Irr}(G)$, where $Q$ is a $p$-subgroup of a $p$-solvable group $G$, and shows that if $δ$ is the trivial character of $Q$, then ${Irr}(G \mid Q, δ)$ provides a set of canonical lifts of ${\textup{IBr}}_p(G)$, the irreducible Brauer characters with vertex $Q$. Previously, Isaacs defined a canonical set of lifts $\bpig$ of $\ipig$. Both of these results extend the Fong-Swan Theorem to $π$-separable groups, and both construct canonical sets of lifts of the generalized Brauer characters. It is known that in the case that $2 \in π$, or if $|G| $…
We initiate the study of several distinguished bases for the positive half of a quantum supergroup $U_q$ associated to a general super Cartan datum $(\mathrm{I}, (\cdot,\cdot))$ of basic type inside a quantum shuffle superalgebra. The combinatorics of words for an arbitrary total ordering on $\mathrm{I}$ is developed in connection with the root system associated to $\mathrm{I}$. The monomial, Lyndon, and PBW bases of $U_q$ are constructed, and moreover, a direct proof of the orthogonality of the PBW basis is provided within the framework of quantum shuffles. Consequently, the canonical basis i…
Given a rank $n$ irreducible finite reflection group $W$, the $W$-invariant polynomial functions defined in ${\mathbb R}^n$ can be written as polynomials of $n$ algebraically independent homogeneous polynomial functions, $p_1(x),\ldots,p_n(x)$, called basic invariant polynomials. Their degrees are well known and typical of the given group $W$. The polynomial $p_1(x)$ has the lowest degree, equal to 2. It has been proved that it is possible to choose all the other $n-1$ basic invariant polynomials in such a way that they satisfy a certain system of differential equations, including the Laplace …
We show that the decomposition matrix of a given group $G$ is unitriangular, whenever $G$ has a normal subgroup $N$ such that the decomposition matrix of $N$ is unitriangular, $G/N$ is abelian and certain characters of $N$ extend to their stabilizer in $G$. Using the recent result by Brunat--Dudas--Taylor establishing that unipotent blocks have a unitriangular decomposition matrix, this allows us to prove that blocks of groups of quasi-simple groups of Lie type have a unitriangular decomposition matrix, whenever they are related via Bonnafé--Dat--Rouquier's equivalence to a unipotent block. Th…
We classify the elements of $W(\tilde{A}_n)$ by giving a canonical reduced expression for each, using basic tools among which affine length. We give some direct consequences for such a canonical form: a description of left multiplication by a simple reflection, a study of the right descent set, and a proof that the affine length is preserved along the tower of affine Coxeter groups of type $\tilde A$, which implies in particular that the corresponding tower of affine Hecke algebras is a faithful tower.
