L'accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l'accord avec les conditions générales d'utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/
We introduce the computer algebra package PyCox, written entirely in the Python language. It implements a set of algorithms, in a spirit similar to the older CHEVIE system, for working with Coxeter groups and Hecke algebras. This includes a new variation of the traditional algorithm for computing Kazhdan-Lusztig cells and W -graphs, which works efficiently for all finite groups of rank 8 (except E8). We also discuss the computation of Lusztig's leading coefficients of character values and distinguished involutions (which works for E8 as well). Our experiments suggest a re-definition of Lusztig's 'special' representations which, conjecturally, should also apply to the unequal parameter case.
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$.Comment: 14 pages; added reference
Barbasch and Vogan showed that the Kazhdan-Lusztig cells of a finite Weyl group are compatible with parabolic subgroups. Their proof uses the known bridge between the theory of cells and the theory of primitive ideals. In this paper, an elementary, self-contained proof of this result is provided, which works for arbitrary Coxeter groups and Lusztig's general definition of cells (involving Iwahori-Hecke algebras with unequal parameters). The argument is based on a recent paper by Howlett and Yin.
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.
Abstract. Let H be the Iwahori-Hecke algebra associated with Sn, 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.