Searcharxiv⌕ Search

arXiv subjects

Meinolf Geck

Publications and source records attributed to Meinolf Geck.

At least 55 records · Page 3Linked to original sources
arXiv2009

On Iwahori--Hecke algebras with unequal parameters and Lusztig's isomorphism theorem

By Tits' deformation argument, a generic Iwahori--Hecke algebra $H$ associated to a finite Coxeter group $W$ is abstractly isomorphic to the group algebra of $W$. Lusztig has shown how one can construct an explicit isomorphism, provided that the Kazhdan--Lusztig basis of $H$ satisfies certain deep properties. If $W$ is crystallographic and $H$ is a one-parameter algebra, then these properties are known to hold thanks to a geometric interpretation. In this paper, we develop some new general methods for verifying these properties, and we do verify them for two-parameter algebras of type $I_2(m)$ and $F_4$ (where no geometric interpretation is available in general). Combined with previous work by Alvis, Bonnafé, DuCloux, Iancu and the author, we can then extend Lusztig's construction of an explicit isomorphism to all types of $W$, without any restriction on the parameters of $H$.

math.RT↗
arXiv2008

James' Conjecture for Hecke algebras of exceptional type, I

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 problem of computing decomposition numbers to a manageable size where standard techniques, e.g., Parker's {\sf MeatAxe} and its variations, can be applied. In this part, we describe the theoretical foundations for this procedure.

math.RT↗
arXiv2008

Leading coefficients and cellular bases of Hecke algebras

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$, without any reference to $\{\bC_w\}$. Then we can extend the construction of the cellular basis to the case where $W$ is not crystallographic. Furthermore, if $\bH$ is a multi-parameter algebra, we will see that there always exists at least one cellular structure on $\bH$. Finally, one may also hope that the new construction of $\bJ$ can be extended to Hecke algebras associated to complex reflection groups.

math.RT↗
arXiv2008

On the unipotent support of character sheaves

Let $G$ be a connected reductive group over $F_q$, where $q$ is large enough and the center of $G$ is connected. We are concerned with Lusztig's theory of {\em character sheaves}, a geometric version of the classical character theory of the finite group $G(F_q)$. We show that under a certain technical condition, the restriction of a character sheaf to its {\em unipotent support} (as defined by Lusztig) is either zero or an irreducible local system. As an application, the generalized Gelfand-Graev characters are shown to form a $\Z$-basis of the $\Z$-module of unipotently supported virtual characters of $G(F_q)$ (Kawanaka's conjecture).

math.RT↗
arXiv2007

Specht modules and Kazhdan--Lusztig cells in type $B_n$

Dipper, James and Murphy generalized the classical Specht module theory to Hecke algebras of type $B_n$. On the other hand, for any choice of a monomial order on the parameters in type $B_n$, we obtain corresponding Kazhdan--Lusztig cell modules. In this paper, we show that the Specht modules are naturally equivalent to the Kazhdan--Lusztig cell modules {\em if} we choose the dominance order on the parameters, as in the ``asymptotic case'' studied by Bonnafé and the second named author. We also give examples which show that such an equivalence does not hold for other choices of monomial orders.

math.RT↗
arXiv2007

On domino insertion and Kazhdan--Lusztig cells in type $B_n$

Based on empirical evidence obtained using the {\sf CHEVIE} computer algebra system, we present a series of conjectures concerning the combinatorial description of the Kazhdan--Lusztig cells for type $B_n$ with unequal parameters. These conjectures form a far-reaching extension of the results of Bonnafé and Iancu obtained earlier in the so-called ``asymptotic case''. We give some partial results in support of our conjectures.

math.RT↗
arXiv2007

Hecke algebras of finite type are cellular

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$.

math.RT↗
arXiv2006

Modular principal series representations

Recently, there has been considerable progress in classifying the irreducible representations of Iwahori--Hecke algebras at roots of unity. Here, we present an application of these results to $\ell$-modular Harish--Chandra series for a finite group of Lie type $G(q)$. Under some mild condition on $\ell$, we show that the $\ell$-modular principal series representations of $G(q)$ are naturally parametrized by a {\em subset} of the set of complex irreducible characters of the Weyl group of $G(q)$. We also show that this subset is ``generic'' in a precise sense.

math.RT↗
arXiv2006

Canonical basic sets in type B

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.

math.RT↗
arXiv2006

Modular representations of Hecke algebras

These notes are based on a course given at the EPFL in May 2005. It is concerned with the representation theory of Hecke algebras in the non-semisimple case. We explain the role that these algebras play in the modular representation theory of finite groups of Lie type and survey the recent results which complete the classification of the simple modules. These results rely on the theory of Kazhdan--Lusztig cells in finite Weyl groups (with respect to possibly unequal parameters) and the theory of canonical bases for representations of quantum groups.

math.RT↗
arXiv2005

Lusztig's $a$-function in type $B_n$ in the asymptotic case

In this paper, we study Lusztig's $a$-function for a Coxeter group with unequal parameters. We determine that function explicitly in the ``asymptotic case'' in type $B_n$, where the left cells have been determined in terms of a generalized Robinson--Schensted correspondence by Bonnafé and the second author. As a consequence, we can also show that all of Lusztig's conjectural properties (P1)--(P15) hold in this case, except possibly (P9), (P10) and (P15). Our methods rely on the ``leading matrix coefficients'' introduced by the first author. We also interprete the ideal structure defined by the two-sided cells in the associated Iwahori--Hecke algebra $\bH_n$ in terms of the Dipper--james--Murphy basis of $\bH_n$.

math.RT↗
arXiv2005

Relative Kazhdan--Lusztig cells

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 group algebra of the underlying Weyl group of type $B_n$.

math.RT↗
arXiv2005

Kazhdan--Lusztig cells and the Murphy basis

Let $H$ be the Iwahori--Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdan--Lusztig basis and the Murphy basis. While the former admits a deep geometric interpretation, the latter leads to a purely combinatorial construction of the representations of $H$, including the Dipper--James theory of Specht modules. In this paper, we establish a precise connection between the two bases, allowing us to give, for the first time, purely algebraic proofs for a number of fundamental properties of the Kazhdan--Lusztig basis and Lusztig's results on the $a$-function.

math.RT↗
arXiv2004

On the $p$-defect of character degrees of finite groups of Lie type

This paper is concerned with the representation theory of finite groups. According to Robinson, the truth of certain variants of Alperin's weight conjecture on the $p$-blocks of a finite group would imply some arithmetical conditions on the degrees of the irreducible (complex) characters of that group. The purpose of this note is to prove directly that one of these arithmetical conditions is true in the case where we consider a finite group of Lie type in good characteristic.

math.RT↗
arXiv2004

On the number of simple modules of Iwahori--Hecke algebras of finite Weyl groups

Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 \neq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.

math.RT↗
arXiv2004

Left cells and constructible representations

We consider the partition of a finite Coxeter group $W$ into left cells with respect to a weight function $L$. In the equal parameter case, Lusztig has shown that the representations carried by the left cells are precisely the so-called constructible ones. We show that this holds for general $L$, if the conjectural properties (P1)--(P15) in Lusztig's book on Hecke algebras with unequal parameters hold for $W,L$. Our proofs use the idea (Gyoja, Rouquier) that left cell representations are projective in the sense of modular representation theory. This also gives partly new proofs for Lusztig's result in the equal parameter case.

math.RT↗
arXiv2003

Computing Kazhdan--Lusztig cells for unequal parameters

Following Lusztig, we consider a Coxeter group $W$ together with a weight function $L$. This gives rise to the pre-order relation $\leq_{L}$ and the corresponding partition of $W$ into left cells. We introduce an equivalence relation on weight functions such that, in particular, $\leq_{L}$ is constant on equivalent classes. We shall work this out explicitly for $W$ of type $F_4$ and check that several of Lusztig's conjectures concerning left cells with unequal parameters hold in this case, even for those parameters which do not admit a geometric interpretation. The proofs involve some explicit computations using {\sf CHEVIE}.

math.RT↗