text:
# Familles de caractères de groupes de réflexions complexes

## 1. Introduction

Lusztig a construit une partition des caractères irréductibles d’un groupe de Coxeter fini $`W`$ en familles, à l’aide de la théorie des cellules. Cette partition apparaît naturellement dans le paramétrage de Lusztig des caractères unipotents d’un groupe réductif sur un corps fini.

Gyoja  a démontré (cas par cas) que la partition en “$`p`$-blocs” de l’algèbre de Iwahori-Hecke affine la partition en familles et que les deux partitions coïncident lorsque $`p`$ est l’unique mauvais nombre premier. Dans , il a ensuite été démontré (par un argument général utilisant l’algèbre $`J`$ de Lusztig et une propriété des anneaux basés) que les blocs de l’algèbre d’Iwahori-Hecke sur un anneau convenable $`𝒪`$ coïncident avec les familles.

Les groupes de Weyl finis forment une classe particulière de groupes de réflexions complexes. Des travaux récents ont apportés de nombreux indices que les groupes de réflexions complexes (au moins certains d’entre eux) jouissent de propriétés analogues aux groupes de Weyl (voir par exemple ). On dispose en particulier d’algèbres du type Iwahori-Hecke. Pour le moment, il n’existe pas de définition de cellules pour les groupes de réflexions complexes. On ne peut donc utiliser l’approche de Lusztig pour définir les familles de caractères, mais celle de  décrite plus haut est differente : on définit les familles comme blocs de l’algèbre de Iwahori-Hecke sur un certain anneau $`𝒪`$.

La première partie de cet article consiste en la détermination, cas par cas, des $`𝒪`$-blocs des algèbres de Hecke pour les groupes de réflexions exceptionnels spetsiaux, c’est à dire, pour les 18 groupes de réflexions irréductibles

$$G_4,G_6,G_8,G_{14},G_{23,\mathrm{}\mathrm{,30}},G_{32,\mathrm{}\mathrm{,37}}$$

dans la notation de Shephard-Todd (ceci couvre en particulier le cas du groupe de Coxeter de type $`H_4`$ qui ne pouvait être traité par les méthodes de ). Le cas des séries infinies a été traité par Broué et Kim . Nous calculons aussi (partiellement) les matrices de décomposition pour chaque nombre premier mauvais.

Dans un second temps, nous démontrons (théorème 6.1) un résultat concernant les caractères unipotents de groupes réductifs finis : à l’intérieur d’une $`d`$-série de Harish-Chandra, les familles définies par l’algèbre de Hecke de la série sont les intersections des familles de Lusztig avec la $`d`$-série concernée. Ce résultat (établi cas par cas) peut être vu comme une généralisation des résultats de , qui ne concernent que le cas $`d=1`$ et la série principale.

Dans le cas particulier des $`1`$-séries de Harish-Chandra, le théorème 6.1 apparaît comme une variante de la conjecture de Lusztig \[16, (25.3)\] sur les cellules bilatères dans les algèbres de Hecke usuelles avec des paramètres inégaux.

Les calculs ont été effectués à l’aide du logiciel Chevie, en utilisant en particulier les fonctions sur les groupes de réflexions complexes implémentées par Jean Michel. Nous lui adressons nos remerciements pour avoir fourni cet outil essentiel. Nous remercions aussi Jürgen Müller pour ses calculs de décomposition de représentations (en particulier, pour $`G_{30}=W(H_4)`$) avec les logiciels MeatAxe et VectorEnumerator.

## 2. Algèbres de Hecke de groupes de réflexions complexes et familles

Nous commençons par rappeler la définition des algèbres de Hecke associées aux groupes de réflexions complexes et certaines de leurs propriétés. Ensuite, nous donnons quelques résultats qui seront utilisés plus tard pour la détermination des $`𝒪`$-blocs.

### 2.1. Algèbres de Hecke

#### 2.1.1.

Soit $`k`$ un corps de nombres et $`W`$ un groupe de réflexions complexe fini sur le $`k`$-espace vectoriel $`V`$. Soit $`=(W,x)`$ l’algèbre de Hecke de $`W`$ sur l’anneau des polynômes de Laurent $`A=[x,x^1]`$.

Rappelons sa construction par Broué–Malle–Rouquier . Soit $`𝒜`$ l’ensemble des hyperplans de réflexion de $`W`$ et $`B_W`$ le groupe de tresses de $`W`$, i.e., le groupe fondamental de

$$X=(V\underset{H𝒜}{}H)/W$$

relatif à un point base $`x_0`$. Alors, $``$ est le quotient de l’algèbre de groupe $`A[B_W]`$ par l’idéal engendré par $`(\sigma _Hx)(1+\sigma _H+\mathrm{}+\sigma _H^{d1})`$, où $`H`$ décrit $`𝒜`$, $`d`$ est l’ordre du fixateur de $`H`$ dans $`W`$, $`s`$ est la réflexion autour de $`H`$ de déterminant $`\mathrm{exp}(2i\pi /d)`$ et $`\sigma _H`$ est un $`s`$-générateur de la monodromie autour de $`H`$.

La structure de ces algèbres de Hecke reste encore mystérieuse. Néanmoins on conjecture qu’elles partagent beaucoup des propriétés des algèbres d’Iwahori-Hecke usuelles.

#### 2.1.2.

Soit $`W^{}`$ un sous-groupe parabolique de $`W`$. Dans \[8, §4.C\], on construit une injection de $`(W^{})`$ dans $``$. Cette injection est définie à automorphisme intérieur de $``$ près.

###### Conjecture 2.1.

Pour tout sous-groupe parabolique $`W^{}`$ de $`W`$, l’algèbre $``$ est un module libre de rang $`[W:W^{}]`$ sur $`(W^{})`$.

Notons que cette conjecture est indépendante du choix du plongement. On conjecture en particulier que $``$ est un module libre de rang $`|W|`$ sur $`A`$.

On notera $`A^{}`$ l’algèbre $`A^{}_A`$, pour $`A^{}`$ une $`A`$-algèbre commutative.

Supposons dorénavant la conjecture 2.1 correcte. Alors, $``$ est une déformation de $`[W]`$ : on a un isomorphisme

(1)
$$_A\left(A/(x1)\right)\stackrel{}{}[W]$$

(ce morphisme est celui par lequel se factorise l’application canonique $`[B_W][W]`$ provenant du revêtement galoisien $`V_{H𝒜}HX`$).

Soit $`K`$ une extension galoisienne finie de $`k(x)`$ telle que $`K`$ et $`K[W]`$ sont semi-simples déployées (d’après Benard et Bessis , l’algèbre $`k[W]`$ est déployée et d’après Malle \[20, Thm. 5.2\], l’algèbre $`_Ak(x^{1/\mu (k)})`$ est déployée, où $`\mu (k)`$ est l’ordre du groupe des racines de l’unité de $`k`$).

Soit $`B`$ la clôture intégrale de $`A`$ dans $`K`$ et $`𝔫`$ un idéal premier de $`B`$ au-dessus de $`(x1)`$. On déduit de (1) un isomorphisme $`(B_𝔫/𝔫)\stackrel{}{}(B_𝔫/𝔫)[W]`$. Puisque $`(B_𝔫/𝔫)`$ est semi-simple et déployée, l’application de décomposition est une bijection entre l’ensemble $`\mathrm{Irr}()`$ des caractères irréductibles de $`K`$ et l’ensemble des caractères irréductibles de $`(B_𝔫/𝔫)`$. De même, on a une bijection entre l’ensemble $`\mathrm{Irr}(W)`$ des caractères irréductibles de $`K[W]`$ et l’ensemble des caractères irréductibles de $`(B_𝔫/𝔫)[W]`$.

Par conséquent, on obtient une bijection

(2)
$$\mathrm{Irr}()\stackrel{}{}\mathrm{Irr}(W).$$

Dans la suite, nous identifierons les caractères irréductibles de $`W`$ et de $``$ via cette bijection.

Cette bijection dépend du choix de l’idéal premier $`𝔫`$. Les idéaux premiers au dessus de $`(x1)`$ sont permutés par le groupe de Galois de $`K/k(x)`$. Soit maintenant $`R`$ une sous-$`A`$-algèbre de $`K`$ invariante par le groupe de Galois. La partition des caractères irréductibles de $`K`$ selon les blocs de $`R`$ est invariante par action du groupe de Galois : par conséquent, la partition correspondante de $`\mathrm{Irr}(W)`$ est indépendante du choix de $`𝔫`$.

#### 2.1.3.

Dans Broué–Malle–Michel \[7, Thm. 2.1\], il est démontré qu’il existe au plus une forme symétrisante sur $``$ vérifiant certaines propriétés : nous l’appellerons forme symétrisante canonique.

###### Conjecture 2.2.

La forme symétrisante canonique sur $`(W)`$ existe et sa restriction à toute sous-algèbre parabolique $`(W^{})`$ est la forme symétrisante canonique.

Nous supposons aussi que la forme symétrisante construite dans  pour les groupes de réflexions complexes de rang $`2`$ et dans  pour des groupes de rang supérieur est la forme canonique.

Rappelons qu’on ne sait pas, en général, que $``$ est une algèbre symétrique.

Soit $`t:A`$ une forme symétrisante vérifiant la conjecture 2.2. Alors, on a une décomposition de l’extension de $`t`$ à $`K`$ :

$$t=\underset{\chi \mathrm{Irr}(W)}{}\frac{1}{c_\chi }\chi $$

où nous avons identifié les caractères de $`K`$ et de $`W`$. Les éléments de Schur $`c_\chi `$ sont dans $`B`$ (cf. Geck–Rouquier \[12, Prop. 4.2\]).

#### 2.1.4.

La conjecture suivante est vraie lorsque $`W`$ est un groupe de Weyl \[12, Thm. 5.2\]. Le bon comportement du centre par extension des scalaires est une propriété importante pour l’étude des représentations d’une algèbre symétrique, car elle est équivalente à la propriété correspondante pour les fonctions de classe sur l’algèbre.

###### Conjecture 2.3.

Soit $`R`$ une $`A`$-algèbre commutative locale de corps résiduel $`F`$. Alors, le morphisme canonique $`Z(R)Z(F)`$ est surjectif.

### 2.2. Détermination des $`𝒪`$-blocs

Dans la suite, nous supposerons que $`W`$ vérifie les conjectures 2.1, 2.2 et 2.3.

Les conjectures 2.1 et 2.2 ont été vérifiées pour tous les groupes de réflexion complexes imprimitifs ainsi que pour des groupes primitifs d’ordre petit, via des méthodes informatiques. Quant à la conjecture 2.3, elle n’a pas été, à notre connaissance, vérifiée pour des groupes de réflexion non réels.

#### 2.2.1.

Soit $`𝒪=B[(1+xP(x))^1]_{P[x]}`$.

Nous identifierons comme à l’accoutumée les blocs d’une algèbre $`C`$ sur un anneau commutatif intègre $`R`$ avec l’ensemble des caractères irréductibles de $`F_RC`$, où $`F`$ est le corps des fractions de $`R`$.

###### Définition 2.4.

Les familles de $`\mathrm{Irr}(W)`$ sont les blocs de $`𝒪(W)`$ (via l’identification (2)).

D’après , cette définition coïncide avec la définition de Lusztig en termes de combinatoire de Kazhdan-Lusztig, pour les groupes de Weyl et plus généralement pour les groupes de Coxeter finis n’ayant pas de facteur de type $`H_4`$ (une propriété de positivité des constantes de structure de la base de Kazhdan-Lusztig est requise). Nos résultats montrent (cf. corollaire 3.2) que c’est en fait vrai pour tous les groupes de Coxeter finis.

On définit de manière inductive la notion de caractère constructible de $`W`$ : le caractère trivial du groupe trivial est constructible. Les caractères constructibles de $`W`$ sont les éléments de la famille génératrice minimale du sous-monoïde de $`\mathrm{Irr}(W)`$ engendré par les $`p_{}(\mathrm{Ind}_W^{}^W\varphi )`$, où $`W^{}`$ est un sous-groupe parabolique propre de $`W`$, $`\varphi `$ un caractère constructible de $`W^{}`$, $``$ une famille de $`\mathrm{Irr}(W)`$ et $`p_{}`$ la projection sur $``$. Les caractères constructibles sont donc des caractères de $`𝒪`$-modules projectifs.

Rappelons la construction des caractères constructibles au sens de Lusztig. C’est la donnée, pour chaque groupe de Coxeter fini, d’un ensemble minimal de caractères vérifiant les propriétés suivantes :

* le caractère trivial est constructible
* pour $`\varphi `$ un caractère constructible d’un sous-groupe parabolique $`W^{}`$ de $`W`$, alors le $`J`$-induit de $`\varphi `$ est un caractère constructible de $`W`$
* le produit tensoriel par le caractère signe $`ϵ`$ d’un caractère constructible est encore un caractère constructible.

###### Proposition 2.5.

Lorsque $`W`$ est un groupe de Coxeter fini, un caractère est constructible (au sens défini ci-dessus) si et seulement si il est constructible au sens de Lusztig.

###### Preuve.

Le caractère trivial est seul dans sa famille et le caractère signe $`ϵ`$ est constructible. La $`J`$-induction est une induction suivie par une projection sur une union de familles. Par conséquent, un caractère constructible au sens de Lusztig est une somme de caractères constructibles.

Il suffit de démontrer la proposition pour $`W`$ irréductible, ce que nous supposons maintenant.

Si $`W`$ n’est pas de type $`F_4`$ ou $`E_n`$, alors les caractères constructibles au sens de Lusztig forment une base du sous-monoïde des caractères formé des caractères des $`𝒪`$-modules projectifs \[22, Thm. 2\]. Or, les caractères constructibles sont des caractères de $`𝒪`$-modules projectifs. Par conséquent, les caractères constructibles sont les caractères constructibles au sens de Lusztig.

Le cas où $`W`$ est de type $`F_4`$ ou $`E_n`$ se vérifie directement par calcul de tous les induits de caractères constructibles de sous-groupes paraboliques stricts maximaux. ∎

#### 2.2.2.

Soit $`p`$ un nombre premier, $`𝔭`$ un idéal premier de $`𝒪`$ au-dessus de $`p`$ et $`k_𝔭`$ le corps des fractions de $`𝒪_𝔭/𝔭`$.

Nous renvoyons le lecteur à Geck–Rouquier \[12, §2\] pour le traitement des applications de décomposition (extension au cas d’un anneau de base intégralement clos des résultats classiques pour un anneau de valuation discrète).

On dispose d’une application de décomposition du groupe de Grothendieck $`G_0(K)`$ de la catégorie des $`K`$-modules de type fini vers $`G_0(k_𝔭)`$ et d’une application de Cartan $`c`$ du groupe de Grothendieck $`K_0(k_𝔭)`$ de la catégorie des $`k_𝔭`$-modules projectifs de type fini vers $`G_0(K)`$ qui est duale de l’application de décomposition. L’application de Cartan est injective (on utilise ici la conjecture 2.3) \[12, Prop. 3.1\]. Nous appellerons caractère virtuellement projectif (de $`𝒪_𝔭`$) un élément de $`G_0(K)`$ dans l’image de l’application de Cartan. Lorsque cet élément provient d’un $`k_𝔭`$-module projectif, nous dirons que c’est un caractère projectif.

Les familles de caractères de $`W`$ sont les sous-ensembles minimaux de $`\mathrm{Irr}(W)`$ qui sont réunion de blocs de $`𝒪_𝔭`$ pour tout nombre premier $`p`$.

Rappelons quelques propriétés classiques utilisant la structure symétrique de $`𝒪_𝔭`$.

###### Lemme 2.6.

* Soit $`\varphi `$ un caractère virtuellement projectif de $`𝒪_𝔭`$. Alors,

$$\underset{\chi \mathrm{Irr}(W)}{}\frac{\varphi ,\chi }{c_\chi }𝒪_𝔭.$$
* $`\chi `$ est seul dans son bloc $``$ $`c_\chi 𝔭`$ $``$ $`\chi `$ est un caractère projectif.
* Si deux caractères irréductibles $`\chi `$ et $`\psi `$ sont dans le même bloc de $`𝒪_𝔭`$, alors ils sont dans le même bloc de $`𝒪_𝔭[W]`$. Tout caractère projectif de $`𝒪_𝔭[W]`$ est un caractère projectif de $`𝒪_𝔭`$.
* Soit $`W^{}`$ un sous-groupe parabolique de $`W`$. Alors, la restriction d’un caractère projectif de $`𝒪_𝔭`$ à $`𝒪_𝔭(W^{})`$ est un caractère projectif. De même, l’induit d’un caractère projectif de $`𝒪_𝔭(W^{})`$ est un caractère projectif de $`𝒪_𝔭`$.

###### Preuve.

L’assertion (a) est \[12, Prop. 4.4\].

Si $`\chi `$ est un caractère projectif, il résulte de (a) que $`c_\chi 𝔭`$.

Soit $`C`$ le bloc de $`𝒪_𝔭`$ contenant $`\chi `$. Si $`c_\chi `$ est inversible dans $`𝒪_𝔭`$, alors l’idempotent central $`e_\chi `$ associé à $`\chi `$ est dans $`𝒪_𝔭`$, donc $`\chi `$ est seul dans son bloc, $`k_𝔭C`$ est une algèbre simple et $`\chi `$ est un caractère projectif.

Si $`\chi `$ est seul dans son bloc, alors $`Z(C)`$ est de rang $`1`$ sur $`𝒪_𝔭`$, donc $`Z(k_𝔭C)`$ est de dimension $`1`$ (conjecture 2.3). Par conséquent, le socle de $`k_𝔭C`$ est nul, donc $`k_𝔭C`$ est une algèbre simple et $`\chi `$ est un caractère projectif.

Si $`\chi `$ est un caractère projectif, alors $`\chi `$ est seul dans son bloc. Ceci achève la preuve de (b).

Soit $`𝔮`$ un idéal premier de $`B`$ contenant $`𝔭`$ et $`𝔫`$ ($`𝔫`$ est un idéal premier de $`B`$ au-dessus de $`(x1)`$). La surjection canonique

$$(B_𝔮)(B_𝔮/𝔫)\stackrel{}{}(B_𝔮/𝔫)[W]$$

envoie un bloc sur un bloc. Puisqu’un bloc de $`(B_𝔮)`$ est une somme de blocs de $`(B_𝔭)=𝒪_𝔭`$ et que les blocs de $`(B_𝔮/𝔫)[W]`$ coïncident avec ceux de $`𝒪_𝔭[W]`$, on obtient la première partie de (c). La seconde partie de (c) résulte de la transitivité des applications de décomposition \[12, Prop. 2.12\].

Puisque $`𝒪_𝔭`$ est un $`𝒪_𝔭(W^{})`$-module projectif par conjecture 2.1, les foncteurs d’induction et de restriction entre ces algèbres sont exacts, d’où (d). ∎

Soit $`W^{}`$ un sous-groupe parabolique de $`W`$. On considère le morphisme canonique

$$(W)(W)_{(W^{})}(W)(W)$$

composition de l’unité et de la counité provenant de la paire biadjointe $`(\mathrm{Res}_{(W^{})}^{(W)},\mathrm{Ind}_{(W^{})}^{(W)})`$. On note $`\mathrm{Tr}_{(W^{})}^{(W)}1Z()`$ l’image de $`1`$ par ce morphisme. Alors, on a le lemme classique suivant :

###### Lemme 2.7.

L’action de $`\mathrm{Tr}_{(W^{})}^{(W)}1`$ sur un $`K`$-module simple de caractère $`\chi `$ est donnée par l’élément de $`𝒪`$

$$c_\chi \underset{\psi \mathrm{Irr}(W^{})}{}\frac{\mathrm{Res}_W^{}^W\chi ,\psi }{c_\psi }.$$

Soit $`B`$ un bloc de $`𝒪_𝔭(W)`$. Alors, l’image dans $`k_𝔭`$ du scalaire par lequel $`\mathrm{Tr}_{(W^{})}^{(W)}1`$ agit sur un $`KB`$-module simple est indépendante du module simple. En outre, $`B`$ est projectif relativement à $`𝒪_𝔭(W^{})`$ si et seulement si ce scalaire est inversible.

###### Preuve.

Pour la formule, voir par exemple \[11, Lemma 9.4.6\].

Pour le reste, on utilise la propriété de $`Z(k_𝔭B)`$ d’être local. Un élément de $`Z(B)`$ est inversible si et seulement si son image dans le corps résiduel de $`Z(k_𝔭B)`$ est non nulle, ce qui explique la dernière assertion. ∎

Soit $`S(V)`$ l’algèbre symétrique de l’espace vectoriel $`V`$. Alors $`S(V)`$ est un $`k[W]`$-module gradué. L’algèbre des coinvariants de $`W`$ est le quotient de $`S(V)`$ par l’idéal engendré par les invariants de degré positif, $`R=S(V)/(S(V)_+^W)`$. C’est encore un $`k[W]`$-module gradué. Le polynôme de Poincaré $`P(W)[x]`$ de $`W`$ est la dimension graduée de $`R`$. Pour $`\chi \mathrm{Irr}(W)`$ le degré fantôme $`R_\chi [x]`$ est défini comme la multiplicité graduée de $`\chi `$ dans le caractère de $`R`$. Notons $`N(\chi )=\frac{dR_\chi }{dx}|_{x=1}`$. Pour $`\chi \mathrm{Irr}(W)`$, nous notons $`\chi ^{}`$ le caractère conjugué.

Le résultat suivant est utile pour la détermination des blocs :

###### Lemme 2.8.

L’application

$$\mathrm{Irr}(W),\chi (N(\chi )+N(\chi ^{}))/\chi (1),$$

est constante sur les blocs de $`𝒪`$.

###### Preuve.

D’après Broué–Michel \[9, Prop. 4.18\], on a

$$\chi (T_𝝅)=\chi (1)x^{N+N^{}(N(\chi )+N(\chi ^{}))/\chi (1)},$$

$`𝝅`$ est la classe du lacet $`t\mathrm{exp}(2i\pi t)x_0`$ (un élément du centre de $`B_W`$), $`T_𝝅`$ son image dans $``$ (voir aussi Broué–Malle–Michel \[7, Prop. 6.7(3)\]), $`N`$ est le nombre d’hyperplans de réflexion de $`W`$ et $`N^{}`$ le nombre de réflexions. On déduit alors le lemme de la propriété de la restriction de $`\frac{1}{\chi (1)}\chi `$ modulo $`𝔭`$ au centre d’un bloc d’être indépendante du caractère irréductible $`\chi `$ du bloc. ∎

### 2.3. Groupes spetsiaux

Suivant  nous dirons que le groupe de réflexions complexe $`W`$ est spetsial si tous les éléments de Schur $`c_\chi `$ de $`(W)`$ sont dans $`A`$. Les groupes de réflexions spetsiaux sont déterminés dans \[21, 8A\]. Notre but est la détermination des familles de $`W`$ et des matrices de décomposition de $`𝒪_𝔭`$. D’après le lemme 2.6(b), l’application de décomposition est l’identité si $`c_\chi 𝔭`$ pour tout $`\chi `$. Nous dirons que $`p`$ est un nombre premier mauvais pour $`W`$ si $`p`$ divise un des $`c_\chi `$, pour un $`\chi \mathrm{Irr}(W)`$. Il nous suffit donc de considérer les matrices de décomposition pour des idéaux $`𝔭`$ au-dessus des mauvais nombres premiers.

Dans la table 1 nous indiquons les mauvais nombres premiers pour les groupes de réflexions spetsiaux exceptionnels (i.e., pour les groupes qui ne font pas partie des séries infinies).

## 3. Description des familles et des matrices de décomposition

### 3.1. Démarche algorithmique

Nous allons donner les matrices de décomposition de $`𝒪_𝔭(W)`$ pour tous les groupes de réflexions complexes spetsiaux irréductibles $`W`$, à des indéterminations près pour $`W=G_{29}`$, $`p=2`$, $`W=G_{32}`$, $`p=\mathrm{2,3}`$ et $`W=G_{34}`$, $`p=3`$. Le cas des groupes de Weyl $`F_4`$, $`E_6`$ et $`E_7`$ a été résolu par Gyoja .

La notation utilisée pour les caractères coïncide avec celle du système Chevie.

Commençons par décrire notre démarche algorithmique.

Nous procédons par induction. Soit $`W`$ un groupe de réflexions complexe et $`p`$ un nombre premier mauvais. Les $`p`$-blocs de $`W`$ se déterminent immédiatement à partir de la table de caractères de $`W`$. Supposons que les degrés fantômes $`R_\chi `$ et les éléments de Schur $`c_\chi `$ sont connus ainsi que les matrices de décomposition correspondantes pour les algèbres de Hecke de tous les sous-groupes paraboliques stricts (maximaux) de $`W`$. Alors une approximation de la matrice de décomposition est construite par la méthode suivante :

* Une partition de $`\mathrm{Irr}(W)`$ en union de blocs est donnée par l’intersection des $`p`$-blocs de $`W`$ avec les sous-ensembles sur lesquels $`(N(\chi )+N(\chi ^{}))/\chi (1)`$ est constant (cf. lemmes 2.8 et 2.6(c)). De plus, chaque $`\chi `$ avec $`c_\chi 𝔭`$ forme un bloc en lui-même (cf. lemme 2.6(b)).
* Une approximation des caractères projectifs indécomposables s’obtient comme suit. Soit $`P`$ l’ensemble des induits des caractères projectifs indécomposables des sous-algèbres paraboliques maximales, coupés par les approximations des blocs obtenus à la première étape. On construit alors la famille $`U`$ génératrice du sous-monoïde de $`\mathrm{Irr}(W)`$ engendré par $`P`$.
* On définit une relation d’équivalence comme clôture transitive de la relation suivante sur $`\mathrm{Irr}(W)`$: deux caractères $`\chi _1,\chi _2`$ sont reliés si ils sont dans une même partie de la partition construite en (1) et si de plus il existe un caractère $`\varphi U`$ tel que $`\chi _1`$ et $`\chi _2`$ interviennent dans $`\varphi `$. On obtient ainsi un raffinement de la partition construite en (1) où les parties sont toujours des unions de blocs.
* Par construction, les éléments de $`U`$ sont des caractères projectifs. Supposons que $`\varphi U`$ n’est pas indécomposable. Alors, il existe des caractères non nuls $`\varphi _1`$ et $`\varphi _2`$ avec $`\varphi _1+\varphi _2=\varphi `$ et $`_\chi \varphi _1,\chi /c_\chi 𝒪_𝔭`$ (cf. lemme 2.6(a)). Par conséquent, si la somme précedente n’est contenue dans $`𝒪_𝔭`$ pour aucun sous-caractère propre de $`\varphi `$, alors $`\varphi `$ est indécomposable.

Les points (1)–(4) suffisent pour obtenir les matrices de décomposition pour tous les mauvais nombres premiers lorsque $`W=G_i`$ avec $`i\{\mathrm{4,6,23,26,27,33}\}`$. Pour les autres groupes, nous aurons besoin d’arguments supplémentaires.

Les étapes décrites ci-dessus peuvent toutes être effectuées manuellement. Néanmoins, nous avons utilisé la librairie Chevie pour organiser et manipuler les tables plus aisément et pour réduire les risques d’erreurs. Par exemple, pour $`W=G_{24}`$, les instructions suivantes ont été utilisées:

```
W:=ComplexReflectionGroup(24);            ## creation de W
ti:=CharTable(W).irreducibles;;           ## recupere Irr(W)
Aa:=[0,42,28,14,28,14,14,28,24,18,21,21]; ## liste des val. de (a+A)
W1:=ReflectionSubgroup(W,[1,2]);          ## cree un ssgp de reflexion
ind1:=InductionTable(W1,W);               ## table d’ind. pour W1<W
for j in [0..100] do if Position(Aa,j)<>false then
  Display(ind1,rec(charsGroup:=Filtered([1..Length(ti)],i->Aa[i]=j)));
fi; od;
##  affiche la table d’induction, divisee suivant la valeur de a+A

```

Pour utiliser l’information sur les $`p`$-blocs de $`W`$, les instructions GAP suivantes

```
t:=CharTable(W);                ##  recupere la table de car. de W
pr:=PrimeBlocks(t,p).block;     ##  determine les p-blocs

```

ont été utilisées.

### 3.2. Types de familles

De nombreux blocs de $`𝒪(W)`$ présentent des matrices de décomposition identiques pour des groupes $`W`$ différents. Aussi, nous introduisons ici les types rencontrés plus d’une fois. Nous indiquons la matrice de décomposition pour chaque nombre premier $`p`$ où elle n’est pas l’identité. Nous indiquons aussi le plus petit coefficient non nul $`f_\chi `$ de $`c_\chi `$ et dans la colonne $`c`$, les caractères constructibles.

$`f_\chi `$ $`p`$ $`c`$  $`\chi _1`$ $`\frac{1}{2}p^n(1+\sqrt{14p^n})`$ $`1`$ $`1`$  $`\chi _2`$ $`\frac{1}{2}p^n(1\sqrt{14p^n})`$ $`1`$ $`1`$
Type $`\alpha _{1^2}(p^n)`$       $`f_\chi `$ $`p=2`$ $`c`$  $`\chi _1`$ $`2(1\sqrt{1})`$ $`1`$ $`1`$  $`\chi _2`$ $`2`$ $`1`$ $`1`$  $`\chi _3`$ $`2(1+\sqrt{1})`$ $`1`$ $`1`$
Type $`\alpha _{1^3}(2)`$

$`f_\chi `$ $`p=2`$ $`c`$  $`\chi _1`$ $`4`$ $`1`$ $`1`$  $`\chi _2`$ $`2`$ $`1`$ $`1`$  $`\chi _3`$ $`4`$ $`1`$ $`1`$
Type $`\beta _{1^3}(2)`$      $`f_\chi `$ $`p=3`$ $`c`$  $`\chi _1`$ $`3`$ $`1`$ $`1`$  $`\chi _2`$ $`3`$ $`1`$ $`1`$  $`\chi _3`$ $`3`$ $`1`$ $`1`$
Type $`\alpha _{1^3}(3)`$      $`f_\chi `$ $`p=3`$ $`c`$  $`\chi _1`$ $`3\zeta _3`$ $`1`$ $`1`$  $`\chi _2`$ $`3`$ $`1`$ $`1`$  $`\chi _3`$ $`3`$ $`1`$ $`1`$  $`\chi _4`$ $`3\zeta _3^2`$ $`1`$ $`1`$
Type $`\alpha _{1^4}(3)`$

$`f_\chi `$ $`p=3`$ $`c`$   $`\chi _1`$ $`3\zeta _3`$ $`1`$  $`1`$   $`\chi _2`$ $`3\zeta _3^2`$ $`1`$  $`1`$   $`\chi _3`$ $`3`$  $`1`$  $`1`$  $`\chi _4`$ $`3`$ $`1`$ $`1`$ $`1`$ $`1`$  $`\chi _5`$ $`3`$ $`1`$ $`1`$ $`1`$ $`1`$
Type $`(Z_3)`$      $`f_\chi `$ $`p=3`$ $`c`$   $`\chi _1`$ $`3\zeta _3`$ $`1`$  $`1`$   $`\chi _2`$ $`3\zeta _3^2`$ $`1`$  $`1`$   $`\chi _3`$ $`3`$  $`1`$ $`1`$ $`1`$  $`\chi _4`$ $`3`$  $`1`$ $`1`$ $`1`$  $`\chi _5`$ $`3`$ $`1`$ $`1`$ $`2`$ $`1`$
Type $`(Z_3)^{}`$      $`f_\chi `$ $`p=3`$ $`c`$   $`\chi _1`$ $`3`$ $`1`$  $`1`$   $`\chi _2`$ $`3`$ $`1`$  $`1`$   $`\chi _3`$ $`3`$  $`1`$  $`1`$  $`\chi _4`$ $`3`$  $`1`$  $`1`$  $`\chi _5`$ $`3`$ $`1`$ $`1`$ $`1`$ $`1`$
Type $`(Z_3)^{\prime \prime }`$

$`f_\chi `$ $`p=2`$ $`c`$   $`\chi _1`$ $`2`$ $`1`$  $`1`$   $`\chi _2`$ $`2`$  $`1`$  $`1`$  $`\chi _3`$ $`2`$ $`1`$ $`1`$ $`1`$ $`1`$
Type $`(Z_2)`$       $`f_\chi `$ $`p=2`$ $`p=r`$ $`c`$  $`\chi _1`$ $`2\sqrt{r}`$ $`1`$  $`1`$  $`1`$  $`\chi _2`$ $`2\sqrt{r}`$  $`1`$ $`1`$  $`1`$  $`\chi _3`$ $`2`$ $`1`$ $`1`$  $`1`$ $`2`$
Type $`\alpha _{G_4}(r)`$, $`r2`$

$`f_\chi `$ $`p=2`$ $`p=r`$ $`c`$  $`\chi _1`$ $`r+\sqrt{4r15}`$ $`1`$  $`1`$  $`1`$  $`\chi _2`$ $`r+\sqrt{4r15}`$ $`1`$   $`1`$ $`1`$  $`\chi _3`$ $`r\sqrt{4r15}`$  $`1`$  $`1`$ $`1`$  $`\chi _4`$ $`r\sqrt{4r15}`$  $`1`$ $`1`$  $`1`$
Type $`\alpha _{3\times 4}(r)`$, $`r2`$      $`f_\chi `$ $`p=2`$  $`p=3`$   $`c`$   $`\chi _1`$ $`3`$ $`1`$    $`1`$    $`1`$    $`\chi _2`$ $`6`$  $`1`$    $`1`$    $`1`$   $`\chi _3`$ $`2`$   $`1`$    $`1`$  $`1`$ $`1`$ $`1`$  $`\chi _4`$ $`6`$  $`1`$ $`1`$  $`1`$   $`1`$ $`1`$  $`1`$  $`\chi _5`$ $`3`$    $`1`$  $`1`$  $`1`$  $`1`$ $`1`$
Type $`(S_3)`$

$`f_\chi `$ $`p=2`$  $`p=3`$  $`c`$   $`\chi _1`$ $`6\zeta _3^2`$ $`1`$     $`1`$   $`1`$   $`\chi _2`$ $`6\zeta _3`$  $`1`$    $`1`$   $`1`$   $`\chi _3`$ $`3`$   $`1`$    $`1`$   $`1`$  $`\chi _4`$ $`6\zeta _3`$    $`1`$  $`1`$ $`1`$  $`1`$ $`1`$  $`\chi _5`$ $`6\zeta _3^2`$     $`1`$ $`1`$ $`1`$  $`1`$ $`1`$  $`\chi _6`$ $`3\sqrt{3}`$ $`1`$    $`1`$   $`1`$ $`2`$ $`1`$  $`\chi _7`$ $`3+\sqrt{3}`$  $`1`$  $`1`$    $`1`$ $`2`$ $`1`$
Type $`\alpha _{3\times 5}`$      $`f_\chi `$ $`p=2`$  $`p=3`$ $`c`$   $`\chi _1`$ $`6\zeta _3^2`$ $`1`$    $`1`$  $`1`$   $`\chi _2`$ $`6\zeta _3`$  $`1`$   $`1`$  $`1`$   $`\chi _3`$ $`6\zeta _3`$   $`1`$  $`1`$  $`1`$   $`\chi _4`$ $`6\zeta _3^2`$    $`1`$ $`1`$  $`1`$   $`\chi _5`$ $`3\sqrt{3}`$ $`1`$   $`1`$  $`1`$ $`2`$   $`\chi _6`$ $`3+\sqrt{3}`$  $`1`$ $`1`$   $`1`$ $`2`$
Type $`\alpha _{3\times 5}^{}`$

$`f_\chi `$ $`p=2`$  $`p=3`$  $`c`$   $`\chi _1`$ $`6\zeta _3^2`$ $`1`$     $`1`$   $`1`$   $`\chi _2`$ $`6\zeta _3`$  $`1`$    $`1`$   $`1`$   $`\chi _3`$ $`3\sqrt{3}`$   $`1`$    $`1`$   $`1`$  $`\chi _4`$ $`3+\sqrt{3}`$    $`1`$   $`1`$   $`1`$  $`\chi _5`$ $`6\zeta _3`$  $`1`$ $`1`$     $`1`$ $`1`$ $`1`$  $`\chi _6`$ $`6\zeta _3^2`$ $`1`$   $`1`$    $`1`$ $`1`$ $`1`$  $`\chi _7`$ $`3`$     $`1`$ $`1`$  $`1`$ $`2`$ $`1`$
Type $`\alpha _{3\times 5}^{\prime \prime }`$

Dans la table 2, nous indiquons les types de familles qui apparaissent dans un groupe de réflexions spetsial exceptionnel donné.

### 3.3. $`W=G_4`$

Soit $`W=G_4`$ le groupe primitif de réflexions complexe de dimension 2 et d’ordre 24. Pour $`\chi \mathrm{Irr}(W)`$, on pose $`d(\chi )=\chi (1)`$ et on note $`b(\chi )`$ la valuation en $`x`$ du degré fantôme $`R_\chi `$. Les caractères irréductibles $`\chi `$ sont uniquement déterminés par les paires $`(d(\chi ),b(\chi ))`$ associées et nous notons $`\chi =\varphi _{d,b}`$ lorsque $`d=d(\chi )`$ et $`b=b(\chi )`$.

Le groupe de réflexions $`G_4`$ a 4 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{3,2}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,3}})`$

$``$ type $`\alpha _{G_4}(3)`$ : $`(\varphi _{\mathrm{1,4}},\varphi _{\mathrm{1,8}},\varphi _{\mathrm{2,5}})`$

### 3.4. $`W=G_6`$

Les caractères irréductibles de $`G_6`$ ne sont pas distingués par leur degré et leur invariant $`b`$. Dans les cas ambigus, nous donnons en plus comme troisième indice le degré en $`x`$ du degré fantôme $`R_\chi `$.

Le groupe de réflexions $`G_6`$ a 5 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{3,4}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{2,5,13}},\varphi _{\mathrm{2,7}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{1,10}},\varphi _{\mathrm{1,14}})`$

$``$ Autre famille :

|  | $`f_\chi `$ | $`p=2`$ | |  | $`p=3`$ | | | |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,4}}`$ | $`4\sqrt{3}`$ | $`1`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{1,8}}`$ | $`4\sqrt{3}`$ |  | $`1`$ |  | $`1`$ |  |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{1,6}}`$ | $`4`$ |  |  | $`1`$ |  | $`1`$ |  |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{2,1}}`$ | $`2(1+\sqrt{1})(3+\sqrt{3})`$ | $`1`$ |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,5,9}}`$ | $`2(1+\sqrt{1})(3\sqrt{3})`$ |  | $`1`$ | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,3,7}}`$ | $`2(1\sqrt{1})(3\sqrt{3})`$ | $`1`$ |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,3,11}}`$ | $`2(1\sqrt{1})(3+\sqrt{3})`$ |  | $`1`$ | $`1`$ |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,2}}`$ | $`4`$ | $`1`$ | $`1`$ | $`1`$ |  |  |  |  | $`1`$ | $`2`$ | $`1`$ |

### 3.5. $`W=G_8`$

Le groupe de réflexions complexe $`G_8`$ possède une paire de caractères irréductibles de mêmes degré et invariant $`b`$. Nous noterons $`\varphi _{\mathrm{2,7}}^{}`$ le conjugué complexe de $`\varphi _{\mathrm{2,1}}`$, et $`\varphi _{\mathrm{2,7}}^{\prime \prime }`$ le conjugué de $`\varphi _{\mathrm{2,13}}`$.

Le groupe de réflexions $`G_8`$ a 5 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$

$``$ type $`\alpha _{1^3}(2)`$ : $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{2,7}}^{}),(\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,6}})`$

$``$ Autre famille :

$`f_\chi `$ $`p=2`$  $`p=3`$    $`c`$  $`\varphi _{\mathrm{1,6}}`$ $`12`$ $`1`$ $`1`$      $`1`$  $`\varphi _{\mathrm{1,18}}`$ $`12`$ $`1`$  $`1`$     $`1`$  $`\varphi _{\mathrm{1,12}}`$ $`4`$ $`1`$   $`1`$    $`1`$  $`\varphi _{\mathrm{2,10}}`$ $`12`$ $`2`$ $`1`$ $`1`$     $`2`$  $`\varphi _{\mathrm{2,7}}^{\prime \prime }`$ $`4\sqrt{1}`$ $`2`$    $`1`$   $`2`$  $`\varphi _{\mathrm{2,13}}`$ $`4\sqrt{1}`$ $`2`$     $`1`$  $`2`$  $`\varphi _{\mathrm{3,8}}`$ $`4`$ $`3`$      $`1`$ $`3`$
Le seul caractère projectif pour $`p=2`$ dans la famille à 7 éléments est indécomposable, car tous les caractères de cette famille se factorisent (modulo $`𝔭`$) par l’algèbre de groupe $`k_𝔭[W]`$. Pour $`W`$, le caractère projectif correspondant est indécomposable.

### 3.6. $`W=G_{14}`$

Les caractères irréductibles de $`G_{14}`$ ne sont pas distingués par leur degré et leur invariant $`b`$. Dans les cas ambigus, nous donnons en plus comme troisième indice le degré en $`x`$ du degré fantôme $`R_\chi `$.

Le groupe de réflexions $`G_{14}`$ a 6 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\beta _{1^3}(2)`$ : $`(\varphi _{\mathrm{2,9}},\varphi _{\mathrm{2,12}},\varphi _{\mathrm{2,15}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{4,5}},\varphi _{\mathrm{4,7}}),(\varphi _{\mathrm{1,20}},\varphi _{\mathrm{1,28}})`$

$``$ type $`\alpha _{1^3}(3)`$ : $`(\varphi _{\mathrm{3,8}},\varphi _{\mathrm{3,6,24}},\varphi _{\mathrm{3,10}})`$

$``$ Autre famille :

|  | $`f_\chi `$ | $`p=2`$ | | | | |  | $`p=3`$ | | |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,8}}`$ | $`12\zeta _3^2`$ | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{1,12}}`$ | $`6`$ |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{1,16}}`$ | $`12\zeta _3`$ |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{2,1}}`$ | $`12(2\sqrt{6})\zeta _3`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,5}}`$ | $`12(2\sqrt{6})\zeta _3^2`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,7}}`$ | $`12(2+\sqrt{6})\zeta _3`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,11}}`$ | $`12(2+\sqrt{6})\zeta _3^2`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,4}}`$ | $`12\zeta _3`$ |  |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,8}}`$ | $`12\zeta _3^2`$ |  |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,2}}`$ | $`12\zeta _3^2`$ | $`1`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{3,4}}`$ | $`12\zeta _3`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  | $`1`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{3,6,18}}`$ | $`6`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{4,3}}`$ | $`6`$ |  | $`1`$ |  |  |  | $`1`$ |  |  | $`2`$ |  | $`2`$ | $`2`$ |

Avec les méthodes de 3.1, il restent deux questions pour la famille à 13 éléments. Pour $`p=2`$, on ne trouve pas le deuxième caractère projectif mais seulement la somme avec le sixième. Cependant, un calcul explicite montre que la représentation de caractère $`\varphi _{\mathrm{4,3}}`$ à des facteurs de degrés 3 et 1 modulo 2 et la matrice de décomposition est comme indiquée. Pour $`p=3`$, il faut montrer que le troisième projectif $`\varphi `$ est indécomposable. On utilise alors le fait que les 4 caractères de degré 2 intervenant dans $`\varphi `$ se factorisent par l’algèbre de Hecke $`(G_{12})`$. Il est alors facile de voir qu’ils ont même réduction modulo 3.

### 3.7. $`W=G_{23}=W(H_3)`$

Le groupe de réflexions $`G_{23}`$ a 7 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{5,2}}),(\varphi _{\mathrm{5,5}}),(\varphi _{\mathrm{1,15}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,4}})`$

$``$ type $`\alpha _{1^2}(5)`$ : $`(\varphi _{\mathrm{3,1}},\varphi _{\mathrm{3,3}})`$, $`(\varphi _{\mathrm{3,6}},\varphi _{\mathrm{3,8}})`$

### 3.8. $`W=G_{24}`$

Le groupe de réflexions $`G_{24}`$ a 7 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{7,3}}),(\varphi _{\mathrm{7,6}}),(\varphi _{\mathrm{1,21}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{8,4}},\varphi _{\mathrm{8,5}})`$

$``$ type $`\alpha _{G_4}(7)`$ : $`(\varphi _{\mathrm{3,3}},\varphi _{\mathrm{3,1}},\varphi _{\mathrm{6,2}})`$ $`(\varphi _{\mathrm{3,8}},\varphi _{\mathrm{3,10}},\varphi _{\mathrm{6,9}})`$

Pour établir ce resultat il faut voir que le projectif $`\varphi _{\mathrm{3,1}}+\varphi _{\mathrm{3,3}}+2\varphi _{\mathrm{6,2}}`$ n’est pas indécomposable modulo 2 (et de même pour le produit avec le caractère déterminant). Puisque $`\varphi _{\mathrm{3,1}}`$ et $`\varphi _{\mathrm{3,3}}`$ ont des réductions différentes pour l’algèbre $`k_𝔭[W]`$, alors il en est de même pour $``$.

### 3.9. $`W=G_{25}`$

Pour distinguer les caractères de $`W=G_{25}`$ ayant mêmes valeurs $`d,b`$ nous choissisons la notation telle que $`(\varphi _{\mathrm{3,1}},\varphi _{\mathrm{3,5}}^{})`$, $`(\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{3,13}}^{\prime \prime })`$, $`(\varphi _{\mathrm{3,13}}^{},\varphi _{\mathrm{3,17}})`$, $`(\varphi _{\mathrm{6,2}},\varphi _{\mathrm{6,4}}^{})`$, $`(\varphi _{\mathrm{6,4}}^{\prime \prime },\varphi _{\mathrm{6,8}}^{\prime \prime })`$ et $`(\varphi _{\mathrm{6,8}}^{},\varphi _{\mathrm{6,10}})`$ sont des paires de caractères conjugués.

Le groupe de réflexions $`G_{25}`$ a 7 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{3,1}},\varphi _{\mathrm{3,5}}^{}),(\varphi _{\mathrm{8,6}},\varphi _{\mathrm{8,9}}),(\varphi _{\mathrm{6,8}}^{},\varphi _{\mathrm{6,10}})`$

$``$ type $`(Z_3)^{}`$ : $`(\varphi _{\mathrm{2,3}},\varphi _{\mathrm{2,9}},\varphi _{\mathrm{6,2}},\varphi _{\mathrm{6,4}}^{},\varphi _{\mathrm{8,3}})`$

$``$ type $`\alpha _{3\times 5}`$ : $`(\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{3,13}}^{\prime \prime },\varphi _{\mathrm{3,6}},\varphi _{\mathrm{6,4}}^{\prime \prime },\varphi _{\mathrm{6,8}}^{\prime \prime },\varphi _{\mathrm{9,5}},\varphi _{\mathrm{9,7}})`$

$``$ Autre famille :

|  | $`f_\chi `$ | $`p=2`$ | | |  | $`p=3`$ | | $`c`$ |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,12}}`$ | $`6`$ | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{1,24}}`$ | $`6`$ |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{2,15}}`$ | $`6`$ | $`1`$ | $`1`$ |  |  |  | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{3,13}}^{}`$ | $`3\zeta _3`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ | $`3`$ |
| $`\varphi _{\mathrm{3,17}}`$ | $`3\zeta _3^2`$ |  |  |  | $`1`$ | $`1`$ | $`1`$ | $`3`$ |

Plusieurs points sont à justifier. Tout d’abord, il faut démontrer qu’il y a un module simple de dimension $`6`$ dans la famille $`(Z_3)^{}`$ pour $`p=3`$.

Supposons $`p=3`$. Soit $`C`$ le bloc de $`𝒪_𝔭`$ correspondant à la famille de type $`(Z_3)^{}`$. Soit $`W^{}`$ un sous-groupe parabolique de $`W`$ de type $`G(\mathrm{3,1,1})\times G(\mathrm{3,1,1})`$, de générateurs $`s,u`$ (conjugués dans $`W`$) et $`^{}`$ son algèbre de Hecke.

Le lemme 2.7 montre que l’algèbre $`C`$ est projective relativement à $`𝒪_𝔭^{}`$.

Soit $`S`$ un $`𝒪_𝔭`$-module libre sur $`𝒪_𝔭`$ tel que $`K_{𝒪_𝔭}S`$ a pour caractère $`\varphi _{\mathrm{2,3}}`$. Soit $`\overline{S}`$ sa réduction modulo $`3`$. C’est un $`k_𝔭`$-module simple.

Soit $`T`$ le $`C`$-module simple non isomorphe à $`\overline{S}`$. Nous allons montrer que $`T`$ est de dimension $`6`$.

On note $`\psi _{i,j}`$ le caractère $`sdet(s)^i,udet(t)^j`$ de $`W^{}`$.

Soit $`Y=C_{𝒪_𝔭^{}}L`$, où $`L`$ est le $`𝒪_𝔭^{}`$-module libre de rang $`1`$ sur $`𝒪_𝔭`$ tel que $`K_{𝒪_𝔭}L`$ est de caractère $`\psi _{\mathrm{1,1}}`$. Alors, le caractère de $`Y`$ est $`\varphi _{\mathrm{2,3}}+\varphi _{\mathrm{6,2}}`$. On a $`\mathrm{Res}_{^{}}S\stackrel{}{}LP`$, où $`P`$ est le $`𝒪_𝔭^{}`$-module projectif de caractère $`\varphi _{\mathrm{0,0}}`$.

Puisque $`C`$ est projective relativement à $`𝒪_𝔭^{}`$, la surjection canonique

$$C_{𝒪_𝔭^{}}\mathrm{Res}_{^{}}SS$$

est scindée. On en déduit que $`S|Y\text{ projectif}`$, donc que $`S|Y`$. Soit $`Y^{}`$ tel que $`YSY^{}`$. On a $`\mathrm{Hom}(\overline{Y},\overline{S})\mathrm{Hom}(\overline{L},\mathrm{Res}_{^{}}\overline{S})k_𝔭`$. On en déduit que $`\mathrm{Hom}(\overline{Y}^{},\overline{S})=0`$. De même, $`\mathrm{Hom}(\overline{S},\overline{Y}^{})=0`$. Puisque la multiplicité de $`T`$ dans $`\overline{Y}^{}`$ est $`1`$, on en déduit que $`\overline{Y}^{}=T`$. Ceci montre que $`T`$ est de dimension $`6`$.

Pour achever la démonstration des résultats annoncés plus haut, il reste à prouver que $`\varphi _{\mathrm{9,5}}`$ et $`\varphi _{\mathrm{9,7}}`$ ne sont pas dans le même $`3`$-bloc que $`\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{3,13}}^{\prime \prime },\varphi _{\mathrm{3,6}},\varphi _{\mathrm{6,4}}^{\prime \prime }`$ et $`\varphi _{\mathrm{6,8}}^{\prime \prime }`$. Nous le déduisons (cf. lemme 2.7) du fait que $`\mathrm{Tr}_{^{}}^{}(1)`$ agit par un scalaire inversible de $`𝒪_𝔭`$ sur les $`5`$ derniers caractères, mais pas sur $`\varphi _{\mathrm{9,5}}`$ et $`\varphi _{\mathrm{9,7}}`$.

### 3.10. $`W=G_{26}`$

Pour distinguer les caractères de $`W=G_{26}`$ ayant mêmes $`d,b`$, nous choissisons la notation telle que $`(\varphi _{\mathrm{3,1}},\varphi _{\mathrm{3,5}}^{})`$, $`(\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{3,13}}^{\prime \prime })`$, $`(\varphi _{\mathrm{3,13}}^{},\varphi _{\mathrm{3,17}})`$, $`(\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,8}}^{})`$, $`(\varphi _{\mathrm{3,8}}^{\prime \prime },\varphi _{\mathrm{3,16}}^{\prime \prime }),`$ $`(\varphi _{\mathrm{3,16}}^{},\varphi _{\mathrm{3,20}})`$, $`(\varphi _{\mathrm{6,2}},\varphi _{\mathrm{6,4}}^{}),(\varphi _{\mathrm{6,4}}^{\prime \prime },\varphi _{\mathrm{6,8}}^{\prime \prime })`$, $`(\varphi _{\mathrm{6,8}}^{},\varphi _{\mathrm{6,10}}),(\varphi _{\mathrm{6,5}},\varphi _{\mathrm{6,7}}^{}),(\varphi _{\mathrm{6,7}}^{\prime \prime },\varphi _{\mathrm{6,11}}^{\prime \prime })`$ et $`(\varphi _{\mathrm{6,11}}^{},\varphi _{\mathrm{6,13}})`$ sont des paires de caractères conjugués. De plus, $`R_\chi x^{24}(modx^{23})`$ pour $`\chi =\varphi _{\mathrm{8,6}}^{}`$ et $`R_\chi x^{27}(modx^{26})`$ pour $`\chi =\varphi _{\mathrm{8,9}}^{}`$.

Le groupe de réflexions $`G_{26}`$ a 10 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{8,3}},\varphi _{\mathrm{8,6}}^{})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{6,5}},\varphi _{\mathrm{6,7}}^{})`$, $`(\varphi _{\mathrm{3,16}}^{},\varphi _{\mathrm{3,20}})`$

$``$ type $`\alpha _{G_4}(3)`$ : $`(\varphi _{\mathrm{1,21}},\varphi _{\mathrm{1,33}},\varphi _{\mathrm{2,24}})`$

$``$ type $`(Z_3)`$ : $`(\varphi _{\mathrm{2,3}},\varphi _{\mathrm{2,9}},\varphi _{\mathrm{1,9}},\varphi _{\mathrm{3,1}},\varphi _{\mathrm{3,5}}^{})`$, $`(\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,8}}^{},\varphi _{\mathrm{3,6}},\varphi _{\mathrm{6,4}}^{},\varphi _{\mathrm{6,2}})`$, $`(\varphi _{\mathrm{3,13}}^{},\varphi _{\mathrm{3,17}},\varphi _{\mathrm{3,15}},`$ $`\varphi _{\mathrm{6,13}},\varphi _{\mathrm{6,11}}^{})`$

$``$ Autres familles :

|  | $`f_\chi `$ | $`p=2`$ | | |  | $`p=3`$ | |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{3,5}}^{\prime \prime }`$ | $`3\sqrt{3}`$ | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{3,13}}^{\prime \prime }`$ | $`3+\sqrt{3}`$ |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{6,4}}^{\prime \prime }`$ | $`3\sqrt{3}`$ |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{6,8}}^{\prime \prime }`$ | $`3+\sqrt{3}`$ |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{9,7}}`$ | $`3\sqrt{3}`$ |  | $`1`$ | $`1`$ |  |  |  | $`1`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{9,5}}`$ | $`3+\sqrt{3}`$ | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`2`$ | $`1`$ |

|  | $`f_\chi `$ | $`p=2`$ | | | | | | |  | $`p=3`$ | | | |  |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,12}}`$ | $`18\sqrt{3}`$ | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{1,24}}`$ | $`18\sqrt{3}`$ |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{2,15}}`$ | $`6`$ | $`1`$ | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`2`$ |  |  |
| $`\varphi _{\mathrm{2,18}}`$ | $`9\sqrt{3}`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{2,12}}`$ | $`9\sqrt{3}`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{3,8}}^{\prime \prime }`$ | $`3(3\sqrt{3})`$ |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{3,16}}^{\prime \prime }`$ | $`3(3+\sqrt{3})`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{6,8}}^{}`$ | $`3\sqrt{3}\zeta _3`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`3`$ |  | $`1`$ |
| $`\varphi _{\mathrm{6,10}}`$ | $`3\sqrt{3}\zeta _3^2`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`3`$ |  | $`1`$ |
| $`\varphi _{\mathrm{6,11}}^{\prime \prime }`$ | $`6\zeta _3^2`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{6,7}}^{\prime \prime }`$ | $`6\zeta _3`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{8,9}}^{}`$ | $`6`$ |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{8,9}}^{\prime \prime }`$ | $`6`$ |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  | $`1`$ | $`3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{8,12}}`$ | $`18\sqrt{3}`$ |  |  |  |  |  |  |  | $`1`$ | $`1`$ |  | $`1`$ | $`1`$ |  | $`3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{8,6}}^{\prime \prime }`$ | $`18\sqrt{3}`$ |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ | $`1`$ |  | $`3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{9,8}}`$ | $`3(3\sqrt{3})`$ |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  | $`2`$ | $`1`$ |  | $`2`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{9,10}}`$ | $`3(3+\sqrt{3})`$ |  |  |  | $`1`$ |  | $`1`$ |  |  |  |  | $`2`$ | $`1`$ |  | $`2`$ | $`2`$ | $`1`$ |

Dans la table nous avons omis les projectifs appartenant à des blocs de $`p`$-défaut 0.

### 3.11. $`W=G_{27}`$

Le groupe de réflexions complexe $`G_{27}`$ a cinq paires de caractères de mêmes degré et invariant $`b`$. Nous distinguons ceux de degré 3 et 8 en donnant comme troisième indice le degré en $`x`$ du degré fantôme.

Le produit par le caractère déterminant $`ϵ`$ donne un automorphisme des matrices de décomposition. Nous utilisons ce fait en donnant le résultat pour $`\chi `$ et $`\chi ϵ`$ dans la même ligne.

Le groupe de réflexions $`G_{27}`$ a 11 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{1,45}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{15,7}},\varphi _{\mathrm{15,5}})`$, $`(\varphi _{\mathrm{15,8}},\varphi _{\mathrm{15,10}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{5,6}}^{},\varphi _{\mathrm{5,6}}^{\prime \prime },\varphi _{\mathrm{10,3}})`$, $`(\varphi _{\mathrm{5,15}}^{\prime \prime },\varphi _{\mathrm{5,15}}^{},\varphi _{\mathrm{10,12}})`$

$``$ type $`\alpha _{1^3}(3)`$ : $`(\varphi _{\mathrm{9,4}},\varphi _{\mathrm{9,8}},\varphi _{\mathrm{9,6}})`$, $`(\varphi _{\mathrm{9,9}},\varphi _{\mathrm{9,11}},\varphi _{\mathrm{9,13}})`$

$``$ type $`\alpha _{3\times 4}(5)`$ : $`(\varphi _{\mathrm{8,6}},\varphi _{\mathrm{8,9,39}},\varphi _{\mathrm{8,9,33}},\varphi _{\mathrm{8,12}})`$

$``$ Autre famille :

| $`\chi `$ | $`\chi ϵ`$ | $`f_\chi `$ | $`p=2`$ | | |  | $`p=3`$ | |  | $`p=5`$ |  | $`c`$ |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{3,1}}`$ | $`\varphi _{\mathrm{3,20,44}}`$ | $`2\sqrt{15}\zeta _3^2`$ | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{3,5,29}}`$ | $`\varphi _{\mathrm{3,16}}`$ | $`2\sqrt{15}\zeta _3`$ |  | $`1`$ |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,5,23}}`$ | $`\varphi _{\mathrm{3,22}}`$ | $`2\sqrt{15}\zeta _3`$ |  |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,7}}`$ | $`\varphi _{\mathrm{3,20,38}}`$ | $`2\sqrt{15}\zeta _3^2`$ |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{6,2}}`$ | $`\varphi _{\mathrm{6,19}}`$ | $`2\sqrt{3}\zeta _3`$ |  | $`1`$ | $`1`$ |  |  |  | $`1`$ |  |  | $`2`$ |
| $`\varphi _{\mathrm{6,4}}`$ | $`\varphi _{\mathrm{6,17}}`$ | $`2\sqrt{3}\zeta _3^2`$ | $`1`$ |  |  | $`1`$ |  |  | $`1`$ |  |  | $`2`$ |

### 3.12. $`W=G_{28}=W(F_4)`$

Les résultats ont été obtenus par Gyoja . Pour les caractères de $`W(F_4)`$, nous utilisons la notation standard (cf \[11, Table C.3\]).

Il y a 11 familles de caractères, des types suivants:

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{4,1}},\varphi _{\mathrm{2,4}}^{\prime \prime },\varphi _{\mathrm{2,4}}^{})`$, $`(\varphi _{\mathrm{4,13}},\varphi _{\mathrm{2,16}}^{},\varphi _{\mathrm{2,16}}^{\prime \prime })`$

$``$ Autre famille :

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | |  | $`p=3`$ |  |  |  | $`c`$ |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,12}}^{\prime \prime }`$ | $`8`$ | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |
| $`\varphi _{\mathrm{1,12}}^{}`$ | $`8`$ |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{4,7}}^{\prime \prime }`$ | $`4`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{4,7}}^{}`$ | $`4`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{4,8}}`$ | $`8`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{6,6}}^{}`$ | $`3`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{6,6}}^{\prime \prime }`$ | $`12`$ | $`1`$ | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ |  |  | $`1`$ |
| $`\varphi _{\mathrm{9,6}}^{\prime \prime }`$ | $`8`$ | $`1`$ |  | $`1`$ |  | $`1`$ |  |  | $`2`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{9,6}}^{}`$ | $`8`$ |  | $`1`$ |  | $`1`$ | $`1`$ |  |  |  | $`2`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{12,4}}`$ | $`24`$ |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{16,5}}`$ | $`4`$ |  |  | $`1`$ | $`1`$ | $`2`$ |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`2`$ |

Tous les autres familles sont de défaut $`0`$.

### 3.13. $`W=G_{29}`$

Pour $`W=G_{29}`$, nous notons $`\varphi _{\mathrm{6,10}}^{}`$, $`\varphi _{\mathrm{6,10}}^{\prime \prime }`$ les deux caractères réels de degré 6 et d’invariant $`b`$ égal à $`10`$. En outre, $`\varphi _{\mathrm{15,4}}^{\prime \prime }`$ est le caractère de degré 15 intervenant dans $`\varphi _{\mathrm{4,3}}\varphi _{\mathrm{4,1}}`$ et $`\varphi _{\mathrm{15,12}}^{\prime \prime }=\varphi _{\mathrm{15,4}}^{\prime \prime }ϵ`$ avec $`ϵ=\varphi _{\mathrm{1,40}}`$ le caractère déterminant.

Le groupe de réflexions $`G_{29}`$ a 15 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{10,2}}),(\varphi _{\mathrm{15,4}}^{}),(\varphi _{\mathrm{15,12}}^{}),(\varphi _{\mathrm{10,18}}),(\varphi _{\mathrm{1,40}})`$

$``$ type $`\alpha _{1^3}(2)`$: $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,4}},\varphi _{\mathrm{4,1}})`$, $`(\varphi _{\mathrm{20,5}},\varphi _{\mathrm{20,6}},\varphi _{\mathrm{20,7}})`$, $`(\varphi _{\mathrm{20,11}},\varphi _{\mathrm{20,10}},\varphi _{\mathrm{20,9}})`$, $`(\varphi _{\mathrm{4,21}},`$ $`\varphi _{\mathrm{4,24}},\varphi _{\mathrm{4,23}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{16,3}},\varphi _{\mathrm{16,5}})`$, $`(\varphi _{\mathrm{16,13}},\varphi _{\mathrm{16,15}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{5,8}},\varphi _{\mathrm{10,6}},\varphi _{\mathrm{15,4}}^{\prime \prime })`$, $`(\varphi _{\mathrm{5,16}},\varphi _{\mathrm{10,14}},\varphi _{\mathrm{15,12}}^{\prime \prime })`$

$``$ Autre famille :

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | |  | $`p=5`$ | | |  |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{6,10}}^{}`$ | $`5`$ | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{6,10}}^{\prime \prime }`$ | $`5`$ |  | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{6,10}}^{\prime \prime \prime }`$ | $`20`$ |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{6,10}}^{\prime \prime \prime \prime }`$ | $`20`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |
| $`\varphi _{\mathrm{6,12}}`$ | $`4`$ |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{24,6}}`$ | $`20`$ |  |  | $`2`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{24,7}}`$ | $`4`$ |  |  | $`2`$ | $`1`$ |  |  |  |  | $`1`$ | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{24,9}}`$ | $`4`$ |  |  | $`2`$ | $`1`$ |  |  |  |  | $`1`$ | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{30,8}}`$ | $`4`$ |  |  | $`3`$ | $`1`$ |  |  |  |  | $`1`$ | $`1`$ | $`3`$ |
| $`\mathrm{?}\mathrm{?}`$ |  |  |  | $``$ |  |  |  |  |  |  |  |  |

Pour $`W=G_{29}`$ nous ne savons pas démontrer que le troisième caractère projectif modulo 2 dans la famille à 9 éléments est indécomposable.

Nous l’indiquons par l’$``$ sous la colonne correspondante de la table.

### 3.14. $`W=G_{30}=W(H_4)`$

Pour $`W=G_{30}`$ le caractère $`\varphi _{\mathrm{30,10}}^{}`$ de degré 30 est celui pour lequel $`\varphi _{\mathrm{30,10}}^{}(c)=\varphi _{\mathrm{4,1}}(c)`$ pour un élément de Coxeter $`cW`$, tandis que $`\varphi _{\mathrm{30,10}}^{\prime \prime }(c)=\varphi _{\mathrm{4,7}}(c)`$.

Le groupe de réflexions $`G_{30}`$ a 13 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{25,4}}),(\varphi _{\mathrm{36,5}}),(\varphi _{\mathrm{36,15}}),(\varphi _{\mathrm{25,16}}),(\varphi _{\mathrm{1,60}})`$

$``$ type $`\alpha _{1^2}(5)`$ : $`(\varphi _{\mathrm{4,1}},\varphi _{\mathrm{4,7}})`$, $`(\varphi _{\mathrm{9,2}},\varphi _{\mathrm{9,6}})`$, $`(\varphi _{\mathrm{9,22}},\varphi _{\mathrm{9,26}})`$, $`(\varphi _{\mathrm{4,31}},\varphi _{\mathrm{4,37}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{16,3}},\varphi _{\mathrm{16,6}})`$, $`(\varphi _{\mathrm{16,18}},\varphi _{\mathrm{16,21}})`$

$``$ Autre famille :

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | |  | $`p=3`$ | | | | |  | $`p=5`$ | | | | |  |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{6,12}}`$ | $`15(3+\sqrt{5})`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{6,20}}`$ | $`15(3\sqrt{5})`$ |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{8,13}}`$ | $`10`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{10,12}}`$ | $`10`$ |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |
| $`\varphi _{\mathrm{18,10}}`$ | $`10`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{24,7}}`$ | $`15(7+3\sqrt{5})`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{24,11}}`$ | $`15(73\sqrt{5})`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{30,10}}^{}`$ | $`15(3\sqrt{5})`$ |  | $`1`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`2`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{30,10}}^{\prime \prime }`$ | $`15(3+\sqrt{5})`$ | $`1`$ |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ | $`2`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{8,12}}`$ | $`8`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{16,11}}`$ | $`20`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{16,13}}`$ | $`20`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{24,6}}`$ | $`120(9+4\sqrt{5})`$ |  |  |  |  |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  | $`1`$ | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{24,12}}`$ | $`120(94\sqrt{5})`$ |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{40,8}}`$ | $`40`$ |  |  |  |  |  |  | $`1`$ | $`1`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ | $`2`$ | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{48,9}}`$ | $`12`$ |  |  |  |  |  |  | $`2`$ | $`1`$ | $`1`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  |  |  | $`2`$ | $`2`$ | $`2`$ |

En utilisant le logiciel MeatAxe, Jürgen Müller a démontré que les caractères de dégre 30 restent irréductibles modulo 5.

Les caractères constructibles de $`W(H_4)`$ sont déjà dans Alvis–Lusztig .

### 3.15. $`W=G_{32}`$

Pour distinguer les caractères de $`W=G_{32}`$ ayant même valeurs $`d,b`$, nous choisissons la notation telle que $`(\varphi _{\mathrm{20,3}},\varphi _{\mathrm{20,9}}^{})`$, $`(\varphi _{\mathrm{20,9}}^{\prime \prime },\varphi _{\mathrm{20,21}})`$, $`(\varphi _{\mathrm{20,13}},\varphi _{\mathrm{20,29}}^{})`$, $`(\varphi _{\mathrm{20,29}}^{\prime \prime },\varphi _{\mathrm{20,31}})`$, $`(\varphi _{\mathrm{30,12}}^{},\varphi _{\mathrm{30,24}})`$, $`(\varphi _{\mathrm{30,16}},\varphi _{\mathrm{30,20}}^{})`$, $`(\varphi _{\mathrm{30,20}}^{\prime \prime },\varphi _{\mathrm{30,28}})`$, $`(\varphi _{\mathrm{60,9}},\varphi _{\mathrm{60,15}}^{})`$, $`(\varphi _{\mathrm{60,7}},\varphi _{\mathrm{60,11}}^{})`$ et $`(\varphi _{\mathrm{60,11}}^{\prime \prime },\varphi _{\mathrm{60,13}})`$ sont des paires de caractères conjugués.

Le groupe de réflexions $`G_{32}`$ a 16 familles de caractères, des types suivants:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{4,1}},\varphi _{\mathrm{4,11}})`$, $`(\varphi _{\mathrm{20,3}},\varphi _{\mathrm{20,9}}^{})`$,

$``$ type $`\alpha _{G_4}(3)`$ : $`(\varphi _{\mathrm{10,30}},\varphi _{\mathrm{10,42}},\varphi _{\mathrm{20,33}})`$

$``$ type $`\alpha _{3\times 5}`$ : $`(\varphi _{\mathrm{6,8}},\varphi _{\mathrm{6,28}},\varphi _{\mathrm{24,6}},\varphi _{\mathrm{30,4}},\varphi _{\mathrm{30,8}},\varphi _{\mathrm{36,5}},\varphi _{\mathrm{36,7}})`$, $`(\varphi _{\mathrm{15,22}},\varphi _{\mathrm{15,38}},\varphi _{\mathrm{15,24}},\varphi _{\mathrm{30,20}}^{\prime \prime }`$,$`\varphi _{\mathrm{30,28}},\varphi _{\mathrm{45,22}},\varphi _{\mathrm{45,26}})`$

$``$ type $`\alpha _{3\times 5}^{}`$ : $`(\varphi _{\mathrm{20,5}},\varphi _{\mathrm{20,19}},\varphi _{\mathrm{20,7}},\varphi _{\mathrm{20,17}},\varphi _{\mathrm{40,8}},\varphi _{\mathrm{40,10}})`$,

$``$ type $`\alpha _{3\times 4}(3)`$ : $`(\varphi _{\mathrm{64,13}},\varphi _{\mathrm{64,16}},\varphi _{\mathrm{64,8}},\varphi _{\mathrm{64,11}})`$

$``$ type $`(Z_3)^{}`$ : $`(\varphi _{\mathrm{5,20}},\varphi _{\mathrm{5,4}},\varphi _{\mathrm{10,2}},\varphi _{\mathrm{10,10}},\varphi _{\mathrm{15,6}})`$

$``$ type $`\alpha _{1^4}(3)`$ : $`(\varphi _{\mathrm{20,25}},\varphi _{\mathrm{20,29}}^{\prime \prime },\varphi _{\mathrm{20,31}},\varphi _{\mathrm{20,35}})`$, $`(\varphi _{\mathrm{60,9}},\varphi _{\mathrm{60,11}}^{\prime \prime },\varphi _{\mathrm{60,13}},\varphi _{\mathrm{60,15}}^{})`$

$``$ type $`\alpha _{1^3}(3)`$ : $`(\varphi _{\mathrm{81,10}},\varphi _{\mathrm{81,12}},\varphi _{\mathrm{81,14}})`$

$``$ Autres familles :

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | |  | $`p=3`$ | | | |  |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{5,12}}`$ | $`24`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{5,36}}`$ | $`24`$ |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{15,8}}`$ | $`6\zeta _3^2`$ |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{15,16}}`$ | $`6\zeta _3`$ |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{20,12}}`$ | $`24`$ |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ | $`1`$ |  |  |  | $`2`$ | $`1`$ |  |
| $`\varphi _{\mathrm{20,9}}^{\prime \prime }`$ | $`12`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{20,21}}`$ | $`12`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{30,12}}^{\prime \prime }`$ | $`4`$ | $`1`$ | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  | $`4`$ | $`1`$ |  |
| $`\varphi _{\mathrm{45,6}}`$ | $`24`$ | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  | $`1`$ |  | $`4`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{45,18}}`$ | $`24`$ |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  | $`1`$ |  | $`4`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{45,14}}`$ | $`6\zeta _3^2`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`4`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{45,10}}`$ | $`6\zeta _3`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`4`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{60,12}}`$ | $`8`$ |  |  |  |  | $`1`$ | $`1`$ | $`1`$ |  |  |  |  |  |  |  | $`4`$ | $`1`$ | $`2`$ |
| $`\varphi _{\mathrm{60,11}}^{}`$ | $`6\zeta _3^2`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ | $`5`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{60,7}}`$ | $`6\zeta _3`$ |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`5`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{80,9}}`$ | $`12`$ |  |  |  |  | $`2`$ | $`1`$ | $`1`$ |  |  |  |  | $`2`$ |  | $`1`$ | $`6`$ | $`2`$ | $`2`$ |
| $`\mathrm{?}\mathrm{?}`$ |  |  |  |  |  |  |  |  |  |  |  |  | $``$ |  |  |  |  |  |

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | | |  | $`p=3`$ | | | |  |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{10,34}}`$ | $`6\sqrt{3}`$ | $`1`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{20,13}}`$ | $`6`$ |  | $`1`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{20,16}}`$ | $`6\sqrt{3}`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{30,16}}`$ | $`6\sqrt{3}`$ | $`1`$ | $`1`$ |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  | $`2`$ | $`1`$ |  |
| $`\varphi _{\mathrm{60,16}}`$ | $`6\sqrt{3}`$ |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  | $`1`$ | $`1`$ |  | $`3`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{80,13}}`$ | $`6`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ | $`3`$ | $`2`$ | $`2`$ |
| $`\varphi _{\mathrm{10,14}}`$ | $`6\sqrt{3}`$ |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{20,29}}^{}`$ | $`6`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{20,20}}`$ | $`6\sqrt{3}`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{30,20}}^{}`$ | $`6\sqrt{3}`$ |  |  |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  | $`2`$ | $`1`$ |  |
| $`\varphi _{\mathrm{60,20}}`$ | $`6\sqrt{3}`$ |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`1`$ |  | $`3`$ | $`2`$ | $`1`$ |
| $`\varphi _{\mathrm{80,17}}`$ | $`6`$ |  |  |  |  |  |  | $`1`$ | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ | $`3`$ | $`2`$ | $`2`$ |
| $`\varphi _{\mathrm{30,12}}^{}`$ | $`6\sqrt{3}`$ |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |  |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{30,24}}`$ | $`6\sqrt{3}`$ |  |  |  |  |  |  |  |  |  | $`1`$ | $`1`$ |  | $`1`$ |  |  | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{60,15}}^{\prime \prime }`$ | $`6`$ |  |  |  |  |  |  |  |  | $`1`$ | $`1`$ |  |  |  |  | $`1`$ | $`2`$ | $`2`$ | $`2`$ |
| $`\varphi _{\mathrm{40,14}}`$ | $`3\sqrt{3}`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`3`$ | $`1`$ |  |
| $`\varphi _{\mathrm{40,22}}`$ | $`3\sqrt{3}`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`3`$ | $`1`$ |  |
| $`\mathrm{?}\mathrm{?}`$ |  |  |  |  |  |  |  |  |  |  |  | $``$ | $``$ | $``$ | $``$ |  |  |  |  |

$`\chi `$ $`f_\chi `$ $`p=2`$  $`p=3`$  $`c`$   $`\varphi _{\mathrm{1,40}}`$ $`6\zeta _3^2`$ $`1`$     $`1`$   $`1`$   $`\varphi _{\mathrm{1,80}}`$ $`6\zeta _3`$  $`1`$    $`1`$   $`1`$   $`\varphi _{\mathrm{4,41}}`$ $`3\sqrt{3}`$   $`1`$    $`1`$  $`4`$   $`\varphi _{\mathrm{4,61}}`$ $`3+\sqrt{3}`$    $`1`$   $`1`$  $`4`$   $`\varphi _{\mathrm{5,44}}`$ $`6\zeta _3`$  $`1`$ $`1`$     $`1`$ $`5`$   $`\varphi _{\mathrm{5,52}}`$ $`6\zeta _3^2`$ $`1`$   $`1`$    $`1`$ $`5`$   $`\varphi _{\mathrm{6,48}}`$ $`3`$     $`1`$ $`1`$  $`1`$ $`6`$
| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | |  | $`p=3`$ | | | | $`p=5`$ | | |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{4,21}}`$ | $`30`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{4,51}}`$ | $`30`$ |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{24,16}}`$ | $`6\zeta _3^2`$ |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{24,26}}`$ | $`6\zeta _3`$ |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{36,15}}`$ | $`30`$ | $`1`$ |  |  |  | $`1`$ |  |  |  |  | $`2`$ |  | $`1`$ |  | $`1`$ |  | $`1`$ |  | $`4`$ | $`1`$ |
| $`\varphi _{\mathrm{36,17}}`$ | $`6\zeta _3`$ |  |  |  |  |  | $`1`$ |  |  |  | $`2`$ |  | $`1`$ |  |  |  |  |  | $`4`$ | $`1`$ |
| $`\varphi _{\mathrm{36,25}}`$ | $`6\zeta _3^2`$ |  |  |  |  |  |  | $`1`$ |  |  | $`2`$ |  | $`1`$ |  |  |  |  |  | $`4`$ | $`1`$ |
| $`\varphi _{\mathrm{36,27}}`$ | $`30`$ |  | $`1`$ |  |  |  |  |  | $`1`$ |  | $`2`$ |  | $`1`$ |  |  | $`1`$ |  | $`1`$ | $`4`$ | $`1`$ |
| $`\varphi _{\mathrm{40,24}}`$ | $`6`$ | $`1`$ | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  |  | $`5`$ | $`1`$ |
| $`\varphi _{\mathrm{40,18}}`$ | $`6`$ | $`1`$ | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`5`$ | $`1`$ |
| $`\varphi _{\mathrm{60,17}}`$ | $`6\zeta _3`$ |  |  |  | $`1`$ |  | $`1`$ |  |  |  | $`1`$ |  | $`2`$ |  |  |  |  |  | $`5`$ | $`2`$ |
| $`\varphi _{\mathrm{60,19}}`$ | $`6\zeta _3^2`$ |  |  | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  | $`2`$ |  |  |  |  |  | $`5`$ | $`2`$ |
| $`\varphi _{\mathrm{64,18}}`$ | $`6`$ |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |  |  |  |  | $`6`$ | $`2`$ |
| $`\varphi _{\mathrm{64,21}}`$ | $`30`$ |  |  |  |  |  |  |  |  | $`1`$ | $`2`$ |  | $`2`$ |  |  |  | $`1`$ | $`1`$ | $`6`$ | $`2`$ |
| $`\mathrm{?}\mathrm{?}`$ |  | $``$ | $``$ |  |  |  |  |  |  |  | $``$ |  | $``$ |  |  |  |  |  |  |  |

Nous avons utilisé ici la matrice de décomposition (pour $`p=3`$) du groupe de réflexion $`G_{32}3\times 2U_4(2)`$ pour obtenir l’information manquante sur les quatre dernières familles, via le lemme 2.6(c).

### 3.16. $`W=G_{33}`$

Pour $`W=G_{33}`$, on note $`\chi =\varphi _{\mathrm{10,8}}^{}`$ tel que $`R_\chi x^{28}+x^{26}(modx^{25})`$, et $`\chi =\varphi _{\mathrm{40,5}}^{}`$ tel que $`R_\chi x^{31}+x^{29}(modx^{28})`$, et on note $`\varphi _{\mathrm{10,17}}^{}=\varphi _{\mathrm{10,8}}ϵ`$, $`\varphi _{\mathrm{40,14}}^{}=\varphi _{\mathrm{40,5}}ϵ`$, avec $`ϵ=\varphi _{\mathrm{1,45}}`$.

Le groupe de réflexions $`G_{33}`$ a 19 familles de caractères, des types suivants:

$``$ défaut $`0`$: $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{15,2}}),(\varphi _{\mathrm{81,6}}),(\varphi _{\mathrm{60,7}}),(\varphi _{\mathrm{15,9}}),(\varphi _{\mathrm{60,10}}),(\varphi _{\mathrm{81,11}}),(\varphi _{\mathrm{15,12}}),(\varphi _{\mathrm{15,23}})`$,$`(\varphi _{\mathrm{1,45}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{5,3}},\varphi _{\mathrm{5,1}})`$, $`(\varphi _{\mathrm{45,9}},\varphi _{\mathrm{45,7}})`$, $`(\varphi _{\mathrm{45,10}},\varphi _{\mathrm{45,12}})`$, $`(\varphi _{\mathrm{5,28}},\varphi _{\mathrm{5,30}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{64,8}},\varphi _{\mathrm{64,9}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{6,5}},\varphi _{\mathrm{24,4}},\varphi _{\mathrm{30,3}})`$, $`(\varphi _{\mathrm{6,20}},\varphi _{\mathrm{24,19}},\varphi _{\mathrm{30,18}})`$

$``$ type $`\alpha _{3\times 5}`$ : $`(\varphi _{\mathrm{10,8}}^{},\varphi _{\mathrm{10,8}}^{\prime \prime },\varphi _{\mathrm{20,6}},\varphi _{\mathrm{30,6}},\varphi _{\mathrm{30,4}},\varphi _{\mathrm{40,5}}^{},\varphi _{\mathrm{40,5}}^{\prime \prime })`$, $`(\varphi _{\mathrm{10,17}}^{\prime \prime },\varphi _{\mathrm{10,17}}^{},\varphi _{\mathrm{20,15}},\varphi _{\mathrm{30,13}},`$
$`\varphi _{\mathrm{30,15}},\varphi _{\mathrm{40,14}}^{\prime \prime },\varphi _{\mathrm{40,14}}^{})`$

### 3.17. $`W=G_{34}`$

Les notations utilisées pour les caractères irréductibles de $`G_{34}`$ sont celles de \[21, 4C\].

Le groupe de réflexions $`G_{34}`$ a 40 familles de caractères, des types suivants:

$``$ défaut $`0`$: $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{70,9}}^{}),(\varphi _{\mathrm{210,12}}),(\varphi _{\mathrm{210,30}}),(\varphi _{\mathrm{70,45}}^{}),(\varphi _{\mathrm{1,126}})`$

$``$ type $`\alpha _{1^2}(3)`$: $`(\varphi _{\mathrm{6,5}},\varphi _{\mathrm{6,1}})`$, $`(\varphi _{\mathrm{21,4}},\varphi _{\mathrm{21,2}})`$, $`(\varphi _{\mathrm{630,13}},\varphi _{\mathrm{630,11}})`$, $`(\varphi _{\mathrm{630,14}},\varphi _{\mathrm{630,16}})`$, $`(\varphi _{\mathrm{630,22}},`$ $`\varphi _{\mathrm{630,20}})`$, $`(\varphi _{\mathrm{630,23}},\varphi _{\mathrm{630,25}})`$, $`(\varphi _{\mathrm{21,68}},\varphi _{\mathrm{21,70}})`$, $`(\varphi _{\mathrm{6,85}},\varphi _{\mathrm{6,89}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{21,6}},\varphi _{\mathrm{35,6}},\varphi _{\mathrm{56,3}})`$, $`(\varphi _{\mathrm{140,12}},\varphi _{\mathrm{420,12}},\varphi _{\mathrm{560,9}})`$, $`(\varphi _{\mathrm{140,21}},\varphi _{\mathrm{420,21}},\varphi _{\mathrm{560,18}}^{}),`$
$`(\varphi _{\mathrm{140,30}},\varphi _{\mathrm{420,30}},\varphi _{\mathrm{560,27}})`$, $`(\varphi _{\mathrm{21,60}},\varphi _{\mathrm{35,60}},\varphi _{\mathrm{56,57}})`$

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{896,12}},\varphi _{\mathrm{896,15}})`$, $`(\varphi _{\mathrm{896,21}},\varphi _{\mathrm{896,24}})`$

$``$ type $`\alpha _{3\times 5}`$ : $`(\varphi _{\mathrm{15,16}},\varphi _{\mathrm{15,14}},\varphi _{\mathrm{90,6}},\varphi _{\mathrm{105,8}}^{},\varphi _{\mathrm{105,4}},\varphi _{\mathrm{120,7}},\varphi _{\mathrm{120,5}})`$, $`(\varphi _{\mathrm{15,56}},\varphi _{\mathrm{15,58}},\varphi _{\mathrm{90,48}}`$,
$`\varphi _{\mathrm{105,46}},\varphi _{\mathrm{105,50}},\varphi _{\mathrm{120,47}},\varphi _{\mathrm{120,49}})`$

$``$ type $`(Z_3)`$ : $`(\varphi _{\mathrm{70,9}}^{\prime \prime \prime },\varphi _{\mathrm{70,9}}^{\prime \prime },\varphi _{\mathrm{56,9}},\varphi _{\mathrm{126,5}},\varphi _{\mathrm{126,7}})`$, $`(\varphi _{\mathrm{280,12}}^{\prime \prime },\varphi _{\mathrm{280,12}}^{},\varphi _{\mathrm{35,18}},\varphi _{\mathrm{315,10}},\varphi _{\mathrm{315,14}}),`$
$`(\varphi _{\mathrm{210,13}},\varphi _{\mathrm{210,17}},\varphi _{\mathrm{630,15}},\varphi _{\mathrm{840,11}},\varphi _{\mathrm{840,13}}^{})`$, $`(\varphi _{\mathrm{210,29}},\varphi _{\mathrm{210,25}},\varphi _{\mathrm{630,27}},\varphi _{\mathrm{840,23}}^{\prime \prime },\varphi _{\mathrm{840,25}})`$,
$`(\varphi _{\mathrm{280,30}}^{}`$, $`\varphi _{\mathrm{280,30}}^{\prime \prime },\varphi _{\mathrm{35,36}},\varphi _{\mathrm{315,28}},\varphi _{\mathrm{315,32}})`$, $`(\varphi _{\mathrm{70,45}}^{\prime \prime },\varphi _{\mathrm{70,45}}^{\prime \prime \prime },\varphi _{\mathrm{56,45}},\varphi _{\mathrm{126,41}},\varphi _{\mathrm{126,43}})`$

$``$ type $`(Z_3)^{\prime \prime }`$ : $`(\varphi _{\mathrm{105,8}}^{},\varphi _{\mathrm{105,10}},\varphi _{\mathrm{210,8}},\varphi _{\mathrm{210,10}},\varphi _{\mathrm{315,6}})`$, $`(\varphi _{\mathrm{105,38}},\varphi _{\mathrm{105,40}},\varphi _{\mathrm{210,38}},\varphi _{\mathrm{210,40}},`$ $`\varphi _{\mathrm{315,36}})`$

$``$ type $`\alpha _{3\times 5}^{\prime \prime }`$ : $`(\varphi _{\mathrm{84,13}},\varphi _{\mathrm{84,17}},\varphi _{\mathrm{336,8}},\varphi _{\mathrm{336,10}},\varphi _{\mathrm{420,11}},\varphi _{\mathrm{420,7}},\varphi _{\mathrm{504,9}})`$, $`(\varphi _{\mathrm{84,41}},\varphi _{\mathrm{84,37}},\varphi _{\mathrm{336,34}},`$ $`\varphi _{\mathrm{336,32}},\varphi _{\mathrm{420,35}},\varphi _{\mathrm{420,33}},\varphi _{\mathrm{504,31}})`$,

$``$ type $`\alpha _{3\times 4}(3)`$ : $`(\varphi _{\mathrm{384,8}},\varphi _{\mathrm{384,11}},\varphi _{\mathrm{384,13}},\varphi _{\mathrm{384,10}})`$, $`(\varphi _{\mathrm{384,34}},\varphi _{\mathrm{384,31}},\varphi _{\mathrm{384,29}},\varphi _{\mathrm{384,32}})`$

$``$ type $`\alpha _{1^3}(3)`$ : $`(\varphi _{\mathrm{729,10}},\varphi _{\mathrm{729,12}},\varphi _{\mathrm{729,14}})`$, $`(\varphi _{\mathrm{729,24}},\varphi _{\mathrm{729,26}},\varphi _{\mathrm{729,28}})`$,

$``$ Autres familles :

| $`\chi `$ | $`\overline{\chi }ϵ`$ | $`f_\chi `$ | $`p=2`$ | | | | | | | | |  | $`p=3`$ | | | | |  |  | $`c`$ |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{105,20}}`$ | $`\varphi _{\mathrm{105,26}}`$ | $`6`$ | $`1`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{105,22}}`$ | $`\varphi _{\mathrm{105,28}}`$ | $`6`$ |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{189,18}}`$ | $`\varphi _{\mathrm{189,24}}`$ | $`6`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{315,18}}`$ | $`\varphi _{\mathrm{315,24}}`$ | $`6`$ |  |  |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |
| $`\varphi _{\mathrm{336,17}}`$ | $`\varphi _{\mathrm{336,25}}`$ | $`6\zeta _3^2`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ |
| $`\varphi _{\mathrm{336,19}}`$ | $`\varphi _{\mathrm{336,23}}`$ | $`6\zeta _3`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ |
| $`\varphi _{\mathrm{420,14}}`$ | $`\varphi _{\mathrm{420,22}}`$ | $`6\zeta _3^2`$ |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{420,16}}`$ | $`\varphi _{\mathrm{420,20}}`$ | $`6\zeta _3`$ |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{504,15}}`$ | $`\varphi _{\mathrm{504,21}}`$ | $`6`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |  |
| $`\varphi _{\mathrm{756,14}}`$ | $`\varphi _{\mathrm{756,22}}`$ | $`6\zeta _3^2`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ | $`2`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{756,16}}`$ | $`\varphi _{\mathrm{756,20}}`$ | $`6\zeta _3`$ |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ | $`2`$ |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{840,13}}^{\prime \prime }`$ | $`\varphi _{\mathrm{840,19}}`$ | $`6`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{840,17}}`$ | $`\varphi _{\mathrm{840,23}}^{}`$ | $`6`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{945,14}}`$ | $`\varphi _{\mathrm{945,20}}`$ | $`6`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  | $`1`$ | $`2`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{945,16}}`$ | $`\varphi _{\mathrm{945,22}}`$ | $`6`$ |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  | $`1`$ | $`2`$ | $`1`$ | $`1`$ | $`1`$ |

| $`\chi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | |  | $`p=3`$ | | | |  | $`p=7`$ | | | |  |  | $`c`$ |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{20,33}}^{}`$ | $`42`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{20,33}}^{\prime \prime }`$ | $`42`$ |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{120,21}}^{}`$ | $`7`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{120,21}}^{\prime \prime }`$ | $`7`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{540,17}}`$ | $`6`$ |  |  | $`1`$ |  |  |  |  |  |  | $`2`$ | $`1`$ |  |  |  |  |  |  |  |  | $`4`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{540,19}}`$ | $`6`$ |  |  |  | $`1`$ |  |  |  |  |  | $`2`$ | $`1`$ |  |  |  |  |  |  |  |  | $`4`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{540,21}}^{}`$ | $`42`$ |  | $`2`$ |  |  | $`1`$ |  |  |  |  | $`2`$ | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  | $`4`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{540,21}}^{\prime \prime }`$ | $`42`$ | $`2`$ |  |  |  |  | $`1`$ |  |  |  | $`2`$ | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ | $`4`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{560,18}}^{\prime \prime }`$ | $`6`$ | $`1`$ | $`2`$ |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`5`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{560,18}}^{\prime \prime \prime }`$ | $`6`$ | $`2`$ | $`1`$ |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`5`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{720,16}}`$ | $`6`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`2`$ | $`1`$ |  |
| $`\varphi _{\mathrm{720,20}}`$ | $`6`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ | $`2`$ | $`1`$ |  |
| $`\varphi _{\mathrm{1260,17}}`$ | $`6`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ | $`2`$ |  |  | $`1`$ |  |  |  |  |  | $`5`$ | $`2`$ | $`2`$ |  |
| $`\varphi _{\mathrm{1260,19}}`$ | $`6`$ |  |  |  | $`1`$ |  |  | $`1`$ |  |  | $`1`$ | $`2`$ |  |  | $`1`$ |  |  |  |  |  | $`5`$ | $`2`$ | $`2`$ |  |
| $`\varphi _{\mathrm{1280,18}}`$ | $`6`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ | $`1`$ |  |  |  |  |  |  | $`6`$ | $`2`$ | $`2`$ |  |
| $`\varphi _{\mathrm{1280,15}}`$ | $`42`$ |  |  |  |  |  |  |  |  | $`1`$ | $`2`$ | $`2`$ |  |  | $`1`$ |  |  | $`2`$ | $`1`$ | $`1`$ | $`6`$ | $`2`$ | $`2`$ |  |
| $`\mathrm{?}\mathrm{?}`$ |  |  |  |  |  |  |  |  |  |  | $``$ | $``$ |  |  |  |  |  |  |  |  |  |  |  |  |

Pour justifier ces résultats, il nous faut démontrer que la réduction modulo $`3`$ de $`\varphi _{\mathrm{420,11}}`$ reste simple. Soit $`C`$ le bloc de $`𝒪_𝔭`$ contenant ce caractère.

Soit $`W^{}`$ un sous-groupe parabolique de type $`G_{33}`$. Soit $`L`$ un $`k_𝔭𝒪(W^{})`$ module simple, de caractère $`d(\varphi _{\mathrm{10,8}}^{})`$. Soit $`C^{}`$ le bloc de $`𝒪_𝔭(W^{})`$ contenant $`\varphi _{\mathrm{10,8}}^{}`$. La projection sur $`C`$ de $`\mathrm{Ind}_W^{}^W\varphi _{\mathrm{10,8}}^{}`$ est $`\varphi _{\mathrm{84,17}}`$, dont la réduction modulo $`3`$ est un module simple $`S`$. Par conséquent, $`C_C^{}LS`$. Soit $`T`$ l’autre $`C`$-module simple. On a $`0=\mathrm{Hom}_C(S,T)\mathrm{Hom}_C^{}(L,C^{}_CT)`$. Par conséquent, $`C^{}_CT`$ n’a pas de sous-module isomorphe à $`S`$. On montre de même qu’il n’a pas de quotient isomorphe à $`S`$. Soit $`X`$ un $`C`$-module, libre sur $`𝒪_𝔭`$, de caractère $`\varphi _{\mathrm{420,11}}`$. Supposons sa réduction modulo $`𝔭`$ non simple : elle a alors deux facteurs de composition $`S`$ et $`T`$. Alors, $`C^{}_CT`$ a deux facteurs de composition distincts, $`L`$ et $`L^{}`$. Mais un tel module a nécessairement un sous-module ou un quotient isomorphe à $`L`$, ce qui est impossible.

On montre de même que la reduction modulo $`3`$ de $`\varphi _{\mathrm{420,35}}`$ est simple.

### 3.18. $`W=G_{35}=W(E_6)`$

Le groupe de réflexions $`G_{35}`$ a 17 familles de caractères, des types suivants (voir ):

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{30,3}},\varphi _{\mathrm{15,5}},\varphi _{\mathrm{15,4}})`$, $`(\varphi _{\mathrm{30,15}},\varphi _{\mathrm{15,17}},\varphi _{\mathrm{15,16}})`$.

$``$ type $`(S_3)`$ : $`(\varphi _{\mathrm{10,9}},\varphi _{\mathrm{20,10}},\varphi _{\mathrm{60,8}},\varphi _{\mathrm{80,7}},\varphi _{\mathrm{90,8}})`$

Tous les autres familles sont de défaut $`0`$.

### 3.19. $`W=G_{36}=W(E_7)`$

Le groupe de réflexions $`G_{36}`$ a 35 familles de caractères, des types suivants (voir ):

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{512,11}},\varphi _{\mathrm{512,12}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{56,3}},\varphi _{\mathrm{35,4}},\varphi _{\mathrm{21,6}})`$, $`(\varphi _{\mathrm{405,8}},\varphi _{\mathrm{216,9}},\varphi _{\mathrm{189,10}})`$, $`(\varphi _{\mathrm{420,10}},\varphi _{\mathrm{84,12}},\varphi _{\mathrm{336,11}})`$,
$`(\varphi _{\mathrm{420,13}},\varphi _{\mathrm{84,15}},\varphi _{\mathrm{336,14}})`$, $`(\varphi _{\mathrm{405,15}},\varphi _{\mathrm{216,16}},\varphi _{\mathrm{189,17}})`$, $`(\varphi _{\mathrm{56,30}},\varphi _{\mathrm{35,31}},\varphi _{\mathrm{21,33}})`$

$``$ type $`(S_3)`$ : $`(\varphi _{\mathrm{70,9}},\varphi _{\mathrm{35,13}},\varphi _{\mathrm{280,8}},\varphi _{\mathrm{315,7}},\varphi _{\mathrm{280,9}})`$, $`(\varphi _{\mathrm{70,18}},\varphi _{\mathrm{35,22}},\varphi _{\mathrm{280,17}},\varphi _{\mathrm{315,16}},\varphi _{\mathrm{280,18}})`$

Toutes les autres familles sont de défaut $`0`$.

### 3.20. $`W=G_{37}=W(E_8)`$

Le groupe de réflexions $`G_{37}`$ a 46 familles de caractères. Gyoja a montré que 23 d’entre elles correspondent à des blocs de défaut 0, seize sont de type $`(Z_2)`$.

$``$ type $`\alpha _{1^2}(2^2)`$ : $`(\varphi _{\mathrm{4096,11}},\varphi _{\mathrm{4096,12}})`$, $`(\varphi _{\mathrm{4096,26}},\varphi _{\mathrm{4096,27}})`$

$``$ type $`(S_3)`$ : $`(\varphi _{\mathrm{448,9}},\varphi _{\mathrm{56,19}},\varphi _{\mathrm{1344,8}},\varphi _{\mathrm{1400,7}},\varphi _{\mathrm{1008,9}})`$, $`(\varphi _{\mathrm{175,12}},\varphi _{\mathrm{350,14}},\varphi _{\mathrm{1050,10}},\varphi _{\mathrm{1400,8}},`$
$`\varphi _{\mathrm{1575,10}})`$, $`(\varphi _{\mathrm{175,36}},\varphi _{\mathrm{350,38}},\varphi _{\mathrm{1050,34}},\varphi _{\mathrm{1400,32}},\varphi _{\mathrm{1575,34}})`$, $`(\varphi _{\mathrm{448,39}},\varphi _{\mathrm{56,49}},\varphi _{\mathrm{1344,38}},\varphi _{\mathrm{1400,37}},\varphi _{\mathrm{1008,39}})`$

La dernière famille à 17 éléments a la matrice de décomposition suivante:

| $`\varphi `$ | $`f_\chi `$ | $`p=2`$ | | | | | | | | |  | $`p=3`$ | | | | | | |  | $`p=5`$ | | |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{70,32}}`$ | $`30`$ | $`1`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |
| $`\varphi _{\mathrm{168,24}}`$ | $`8`$ |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{420,20}}`$ | $`5`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  |  |
| $`\varphi _{\mathrm{448,25}}`$ | $`12`$ |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{1134,20}}`$ | $`6`$ |  |  |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{1344,19}}`$ | $`4`$ |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{1400,20}}`$ | $`24`$ |  | $`1`$ |  |  |  |  | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{1680,22}}`$ | $`20`$ |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{2016,19}}`$ | $`6`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{2688,20}}`$ | $`8`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{3150,18}}`$ | $`6`$ |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |  |
| $`\varphi _{\mathrm{4200,18}}`$ | $`8`$ |  | $`1`$ |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  |  |  |  |  |  |  |  |  |  |  |
| $`\varphi _{\mathrm{4480,16}}`$ | $`120`$ |  |  |  | $`1`$ |  | $`1`$ |  |  | $`1`$ |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{4536,18}}`$ | $`24`$ |  | $`1`$ |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  |  |  | $`1`$ |  |  |  |  |  |
| $`\varphi _{\mathrm{5600,19}}`$ | $`6`$ |  |  |  |  |  |  |  |  |  | $`1`$ |  | $`1`$ |  |  |  |  |  | $`1`$ |  |  |  |  |
| $`\varphi _{\mathrm{5670,18}}`$ | $`30`$ | $`1`$ |  |  |  |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  | $`1`$ |  |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{7168,17}}`$ | $`12`$ |  |  |  | $`1`$ |  | $`1`$ |  |  | $`2`$ |  |  |  |  |  | $`1`$ |  |  | $`1`$ |  |  |  |  |

Pour les sept caractères constructibles, voir Lusztig .

### 3.21. Groupes diédraux

Dans cette partie, nous déterminons les blocs pour les groupes diédraux $`I_2(n)`$, $`n3`$. Les caractères des groupes diédraux se répartissent en trois familles: deux familles à un élément, consistant en le caractère trivial et le caractère signe, et une famille contenant les autres caractères. Les éléments de Schur pour les groupes de réflexions diédraux ont été déterminés par Kilmoyer et Solomon (cf. par exemple \[11, Thm. 8.3.4\]). Ce résultat a aussi été obtenu par Broué et Kim  et il résulte aussi de  dont les méthodes restent valables pour les groupes diédraux (car on dispose encore de l’algèbre $`J`$ de Lusztig). La preuve que nous donnons ici est beaucoup plus directe.

###### Théorème 3.1.

Soit $`W=I_2(n)`$, $`n3`$. Alors, les blocs de $`𝒪(W)`$ coïncident avec les familles de Lusztig.

###### Preuve.

Pour $`\chi `$ le caractère trivial ou le caractère signe, on a $`c_\chi 𝒪^\times `$. D’après le lemme 2.6(b), il suffit donc de prouver que les autres caractères sont dans un même bloc.

Supposons tout d’abord que $`n=2m+1`$ avec $`m`$ entier. Soit $`\zeta `$ une racine primitive $`n`$-ème de l’unité. Hormis les caractères triviaux et signes, il y a $`m`$ caractères $`\rho _i`$, $`1im`$, tous de degré $`2`$. On a $`f_{\rho _i}^1=a_i`$, où

$$a_i=\frac{(1\zeta ^i)(1\zeta ^i)}{n}.$$

Par conséquent, $`|a_i|<1`$ et $`_{i=1}^ma_i=1`$. L’induite de la représentation triviale à partir d’un sous-groupe parabolique d’ordre $`2`$ fournit un caractère constructible dans lequel tous les $`\rho _i`$ apparaissent avec multiplicité $`1`$. Soit $`I`$ un sous-ensemble propre non vide de $`\{1,\mathrm{},m\}`$ et $`a_I=_{iI}a_i`$. Alors, $`|a_I|<1`$ et le module d’un conjugué galoisien de $`a_I`$ est aussi strictement inférieur à $`1`$ (c’est encore une somme partielle de $`a_i`$). En particulier, la $`(\zeta )/`$-norme de $`a_I`$ n’est pas entière, donc $`a_I`$ n’est pas un entier. Par conséquent, $`_i\rho _i`$ est un caractère projectif indécomposable, d’après le lemme 2.6(a).

Supposons maintenant $`n=2m`$ avec $`m`$ entier et soit $`\zeta `$ une racine primitive $`n`$-ème de l’unité. Les caractères différents des caractères triviaux et signes consistent en deux caractères linéaires (avec $`f_\chi ^1=2/n`$) et $`m1`$ caractères $`\rho _i`$, $`1im1`$, de degré $`2`$ (avec $`f_{\rho _i}^1=a_i`$).

En induisant les deux caractères d’un sous-groupe parabolique d’ordre $`2`$, on obtient deux caractères projectifs contenant chacun l’un des deux caractères de degré $`1`$ et contenant les $`\rho _i`$ avec multiplicité $`1`$. Comme précédemment, on voit que ce sont des caractères projectifs indécomposables. On en déduit la coïncidence entre blocs de $`𝒪`$ et familles. ∎

Dans , ce résultat est établi pour les groupes de Weyl ou plus généralement lorsqu’on dispose de l’algèbre $`J`$ de Lusztig, ce qui est connu sauf pour le type $`H_4`$.

###### Corollaire 3.2.

Soit $`W`$ un groupe de Coxeter fini. Alors, les blocs de l’algèbre de Hecke de $`W`$ sur $`𝒪`$ coïncident avec les familles de Lusztig.

## 4. Quelques groupes non spetsiaux

Dans cette partie, nous déterminons les matrices de décomposition et la division en familles pour quelques groupes de réflexions complexes exceptionnels non spetsiaux. Nous utiliserons plus tard ces résultats pour montrer que certaines propriétés des familles des groupes spetsiaux ne s’étendent pas au cas non spetsial. Les techniques développées au §3 s’appliquent sans changement au cas non spetsial. Il serait intéressant de déterminer les matrices de décomposition pour tous les groupes non spetsiaux et tous les choix de paramètres.

### 4.1. $`W=G_5`$

Le groupe de réflexions complexe $`G_5`$ est d’ordre 72 et possède 21 caractères irréducibles. Les matrices de décomposition de $`𝒪_𝔭(W)`$ pour les mauvais nombres premiers 2 et 3 et la division en familles sont les suivantes:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}})`$

$``$ type $`\alpha _{1^2}(3)`$ : $`(\varphi _{\mathrm{2,5}}^{},\varphi _{\mathrm{2,7}}^{})`$, $`(\varphi _{\mathrm{2,5}}^{\prime \prime \prime },\varphi _{\mathrm{2,7}}^{\prime \prime })`$

$``$ Autres familles :

|  | $`f_\chi `$ | $`p=3`$ | $`c`$ |
| --- | --- | --- | --- |
| $`\varphi _{\mathrm{3,6}}`$ | $`3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,2}}`$ | $`3\zeta _3`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{3,4}}`$ | $`3\zeta _3^2`$ | $`1`$ | $`1`$ |

|  | $`f_\chi `$ | $`p=2`$ | | |  | $`p=3`$ | | $`c`$ |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,8}}^{\prime \prime }`$ | $`3\zeta _3^2`$ | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{1,12}}^{}`$ | $`6`$ |  | $`1`$ |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{1,12}}^{\prime \prime }`$ | $`6`$ |  |  | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{1,16}}`$ | $`3\zeta _3`$ |  |  |  | $`1`$ | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{2,9}}`$ | $`2`$ |  | $`1`$ | $`1`$ |  |  | $`1`$ | $`2`$ |

|  | $`f`$ | $`p=2`$ | | | | |  | $`p=3`$ |  | $`c`$ |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{1,4}}^{}`$ | $`2(\zeta _3^2\zeta _3)`$ | $`1`$ |  |  |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{1,4}}^{\prime \prime }`$ | $`2(\zeta _3^2\zeta _3)`$ |  | $`1`$ |  |  |  |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{1,8}}^{}`$ | $`2(\zeta _3\zeta _3^2)`$ |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |  |
| $`\varphi _{\mathrm{1,8}}^{\prime \prime \prime }`$ | $`2(\zeta _3\zeta _3^2)`$ |  |  |  | $`1`$ |  |  |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{2,5}}^{\prime \prime }`$ | $`6`$ |  |  | $`1`$ | $`1`$ |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,3}}^{}`$ | $`3`$ |  |  |  |  | $`1`$ |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,3}}^{\prime \prime }`$ | $`3`$ |  |  |  |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,1}}`$ | $`6`$ | $`1`$ | $`1`$ |  |  |  |  | $`1`$ | $`1`$ | $`1`$ | $`1`$ |

### 4.2. $`W=G_{12}`$

Le groupe de réflexions complexe non spetsial $`G_{12}`$ a les cinq familles suivantes:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{3,2}}),(\varphi _{\mathrm{3,6}}),(\varphi _{\mathrm{1,12}})`$

$``$ Autre famille :

|  | $`f_\chi `$ | $`p=2`$ |  | $`p=3`$ | | $`c`$ |
| --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{2,1}}`$ | $`12`$ | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{2,4}}`$ | $`2`$ | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,5}}`$ | $`12`$ | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{4,3}}`$ | $`3`$ |  | $`1`$ | $`2`$ |  | $`2`$ |
| $`\mathrm{?}\mathrm{?}`$ |  |  |  | $``$ |  |  |

### 4.3. $`W=G_{13}`$

Le groupe de réflexions complexe non spetsial $`G_{13}`$ a les sept familles suivantes:

$``$ défaut $`0`$ : $`(\varphi _{\mathrm{1,0}}),(\varphi _{\mathrm{3,4}}),(\varphi _{\mathrm{3,6}}),(\varphi _{\mathrm{1,18}})`$

$``$ type $`(Z_2)`$ : $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{3,2}})`$, $`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,10}},\varphi _{\mathrm{3,8}})`$

$``$ Autre famille :

|  | $`f_\chi `$ | $`p=2`$ |  | $`p=3`$ | | $`c`$ |
| --- | --- | --- | --- | --- | --- | --- |
| $`\varphi _{\mathrm{2,7}}^{}`$ | $`12\zeta _4`$ | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{2,1}}`$ | $`12\zeta _4`$ | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,5}}`$ | $`12\zeta _4`$ | $`1`$ |  |  | $`1`$ | $`1`$ |
| $`\varphi _{\mathrm{2,7}}^{\prime \prime }`$ | $`12\zeta _4`$ | $`1`$ |  | $`1`$ |  | $`1`$ |
| $`\varphi _{\mathrm{4,3}}`$ | $`6\zeta _4`$ | $`2`$ |  | $`2`$ |  | $`2`$ |
| $`\varphi _{\mathrm{4,5}}`$ | $`6\zeta _4`$ | $`2`$ |  |  | $`2`$ | $`2`$ |
| $`\mathrm{?}\mathrm{?}`$ |  | $``$ |  | $``$ | $``$ |  |

## 5. Quelques conséquences

Les résultats de la partie 3, joints au résultat du second auteur  pour les groupes de Weyl et aux travaux de Broué et Kim  sur les groupes imprimitifs (séries infinies $`G(d\mathrm{,1},n)`$ et $`G(d,d,n)`$) complètent la détermination des familles de tous les groupes spetsiaux.

Nous déduisons de cette description des propriétés générales, satisfaites par toutes les familles de groupes de réflexions spetsiaux — nous ne possèdons pour le moment aucune preuve directe de ces propriétés.

Soit $`W`$ un groupe de réflexions complexe, de corps de définition un corps de nombre $`k`$. Soit $`\mu (k)`$ l’ordre du groupe des racines de l’unité de $`k`$ et $`y`$ tel que $`y^{\mu (k)}=x`$. Alors, sous l’hypothèse que la conjecture 2.1 est vraie, le résultat principal de  montre que l’algèbre $`K(W)`$ est déployée pour $`K=k(y)`$. Par conséquent, les éléments de Schur $`c_\chi `$ ($`\chi \mathrm{Irr}(W)`$) sont contenus dans $`K`$.

Pour $`\chi \mathrm{Irr}(W)`$, soit $`\delta _\chi =P(W)/c_\chi `$ le degré générique de $`\chi `$, une fonction rationelle de $`y`$. Soient $`a(\chi )\frac{1}{\mu (k)}`$ le plus grand nombre tel que $`y^{a(\chi )\mu (k)}\delta _\chi `$ est un polynôme en $`y`$ et $`A(\chi )\frac{1}{\mu (k)}`$ le plus petit nombre tel que $`y^{A(\chi )\mu (k)}\delta _\chi (y^1)`$ est un polynôme en $`y`$.

Par définition, si de plus $`W`$ est spetsial, les $`c_\chi `$ sont même rationnels, c’est-à-dire, contenus dans $`k(x)`$, et alors $`a(\chi ),A(\chi )`$.

D’après Broué–Malle–Michel \[7, Cor. 6.9\], on a

$$a(\chi )+A(\chi )=\frac{N(\chi )+N(\chi ^{})}{\chi (1)},$$

donc, $`a(\chi )+A(\chi )`$ est constant sur les familles par le lemme 2.8. Les résultats explicites précédents démontrent le suivant, bien connu pour les groupes de Coxeter (voir Lusztig ), et pour les groupes de réflexions imprimitifs (voir Broué–Kim \[3, Prop. 4.5\]) :

###### Théorème 5.1.

Soit $`W`$ un groupe de réflexions complexe spetsial. Supposons les conjectures 2.1, 2.2 et 2.3 vraies si $`W`$ est de type exceptionnel. Alors $`a(\chi )`$ (et $`A(\chi )`$) est constant sur toute famille de $`W`$.

Notons que nous ne connaissons pas de contre-exemple au théorème 5.1 pour des groupes non spetsiaux.

Le théorème 5.1 ne se déduit pas du lemme 2.8 qui affirme la constance de $`a+A`$, comme le montre l’exemple suivant:

###### Exemple 5.2.

L’ensembles des caractères du groupe $`G_{26}`$ avec $`a+A=30`$ est la réunion de deux familles, l’une avec $`a()=4`$ et l’autre avec $`a()=5`$.

Le théorème 5.1 permet de définir $`a()`$ pour une famille $``$ comme valeur commune des $`a(\chi )`$ pour $`\chi `$. De même, nous posons $`A()=A(\chi )`$ pour $`\chi `$.

Un caractère $`\chi \mathrm{Irr}(W)`$ est dit spécial si

$$a(\chi )=b(\chi ),$$

où, comme noté dans 3.3, $`b(\chi )`$ est le plus grand entier tel que $`x^{b(\chi )}R_\chi `$ est un polynôme. Les caractères spéciaux ont été determinés dans \[21, 8B\].

###### Théorème 5.3.

Soit $`W`$ un groupe de réflexions complexe spetsial. Supposons les conjectures 2.1, 2.2 et 2.3 vraies si $`W`$ est de type exceptionnel. Alors chaque famille contient un unique caractère spécial.

Pour les séries infinies, cela découle de \[17, Bem. 2.24 et Lemma 5.16\] et du fait que les familles combinatoires coïncident avec les blocs \[3, Thm. 3.16\]. Ce résultat a été vérifé (cas par cas) pour les groupes de Coxeter par Lusztig .

La proposition suivante montre que pour $`W`$ spetsial les caractères spéciaux peuvent aussi être définis comme les caractères $`\chi `$ tels que $`b(\chi )=a((\chi ))`$.

D’après \[21, Prop. 8.1\], on a:

###### Proposition 5.4.

Soient $`W`$ un groupe de réflexions complexe spetsial et $``$ une famille de $`W`$. Alors

$$a()b(\chi )\text{et}B(\chi ^{})A()$$

pour tous $`\chi `$. De plus, les inégalités sont strictes sauf si $`\chi `$ est le caractère spécial de $``$.

Pour les groupes non spetsiaux, les assertions 5.3 et 5.4 deviennent fausses :

###### Exemple 5.5.

Les familles de $`W=G_5`$ sont décrites dans 4.1. La fonction $`a`$ est constante sur les familles. Pour les deux familles de type $`\alpha _{1^2}(3)`$, on a $`a()=4`$, mais ces familles ne contiennent pas de caractère spécial; de même pour les deux familles à 3 et 5 caractères. De plus, pour la famille à 3 caractères, on a $`a()=8/3>2=b(\varphi _{\mathrm{3,2}})`$.

De même, pour la famille $`(\varphi _{\mathrm{3,2}})`$ de $`G_{12}`$, on a $`a()=1`$.

Notons aussi que:

###### Proposition 5.6.

Soit $`W`$ un groupe de réflexions complexe spetsial. Supposons les conjectures 2.1, 2.2 et 2.3 vraies si $`W`$ est de type exceptionnel. Alors toutes les familles de $`\mathrm{Irr}(W)`$ sont invariantes par les automorphismes galoisiens de $`\mathrm{Irr}(W)`$.

###### Remarque 5.7.

Soit $`W`$ un groupe spetsial, $`\varphi `$ un caractère constructible de $`W`$ dans la famille $``$ et $`\chi _s`$ le caractère spécial de $``$. Alors,

$$\varphi ,\chi _s\underset{\chi }{}\frac{1}{f_\chi }\chi =0$$

lorsque $`W`$ est exceptionnel. Cette propriété est aussi vraie lorsque $`W`$ est un groupe de Weyl : elle résulte de l’invariance des caractères constructibles par transformation de Fourier, elle-même conséquence de la commutation entre la transformation de Fourier et la $`J`$-induction. Il est probable que cette propriété est vraie pour les groupes spetsiaux de la série infinie. Il est aussi envisageable que cette propriété soit vraie plus généralement lorsque $`\varphi `$ est le caractère d’un $`𝒪`$-module projectif.

Notons aussi que lorsque $`_\chi \frac{\varphi _1,\chi }{f_\chi }𝒪`$ pour tout sous-caractère propre $`\varphi _1`$ de $`\varphi `$, alors $`\varphi `$ est le caractère d’un $`𝒪`$-module projectif indécomposable.

Dans le cas des groupes de Coxeter finis, on a $`\varphi ,\chi _s=1`$. Dans les cas étudiés dans 3, il arrive que cette multiplicité soit $`>1`$. Ceci suggère que notre définition de caractères constructibles n’est peut-être pas la bonne dans ces cas.

## 6. Compatibilité entre familles, $`𝒪`$-blocs et $`d`$-séries de Harish-Chandra

Les $`𝒪`$-blocs d’algèbres de Hecke peuvent être considérés pour d’autres choix de paramètres. Dans cette partie, nous considérons un cas particulièrement important: celui des algèbres de Hecke associées aux “groupes de Weyl” relatifs d’une $`d`$-série de Harish-Chandra de caractères unipotents dans un groupe réductif fini. Nous établissons alors une compatibilité avec les familles de Lusztig.

On considère un groupe réductif connexe sur une clôture algébrique d’un corps fini, muni d’un endomorphisme dont une puissance est un Frobenius et on note $`G`$ le groupe des points fixes par cet endomorphisme (un groupe fini “de type de Lie”). On note $`(G)`$ l’ensemble de ses caractères unipotents. Soit $`d>1`$ un entier tel que le polynôme cyclotomique $`\mathrm{\Phi }_d(x)`$ divise l’ordre générique de $`G`$. Suivant Broué–Malle–Michel \[6, Thm. 3.2\], on considère la partition de $`(G)`$ en $`d`$-séries de Harish-Chandra (cf. aussi Broué–Malle )

(3)
$$(G)=\underset{L,\lambda }{}(G,(L,\lambda ))$$

de $`(G)`$, où $`L`$ décrit l’ensemble des sous-groupes de Levi $`d`$-ployés de $`G`$ à conjugaison près, $`\lambda `$ décrit l’ensemble des caractères $`d`$-cuspidaux de $`L`$, et $`(G,(L,\lambda ))`$ consiste des constituants de $`R_L^G(\lambda )`$.

En outre, pour chaque paire cuspidale $`(L,\lambda )`$, on a une bijection entre $`(G,(L,\lambda ))`$ et l’ensemble des caractères irréductibles de l’algèbre de Hecke $`(G,(L,\lambda ))`$ du groupe de Weyl relatif $`W_G(L,\lambda )`$, avec certains paramètres. Ceci est décrit explicitement dans \[17, Satz 3.14 et 6.10\] pour les groupes classiques et dans  pour les groupes exceptionnels. D’après Broué–Malle–Michel \[6, Thm. 5.24\], la partition (3) est identique à la partition de $`(G)`$ en $`\mathrm{}`$-blocs, pour tout nombre premier $`\mathrm{}`$ divisant $`\mathrm{\Phi }_d(q)`$ mais ne divisant pas l’ordre du groupe de Weyl de $`G`$.

La partition en $`𝒪`$-blocs (cf. chapitre 2) des caractères irréductibles de chaque algèbre de Hecke relative $`(G,(L,\lambda ))`$, fournit une partition

$$(G,(L,\lambda ))=\underset{𝒢}{}𝒢.$$

On a aussi une décomposition en familles de Lusztig de $`(G)`$ \[15, Chap. 4\]. Pour les caractères unipotents de la série principale ($`d=1`$ et $`L`$ est un tore), elle coïncide avec la partition précédente en $`𝒪`$-blocs .

Ce résultat se généralise au cas des paires cuspidales quelconques et à tout $`d`$ en le théorème suivant:

###### Théorème 6.1.

Soit $`G`$ un groupe réductif connexe sur un corps fini et $`(G,(L,\lambda ))`$ une $`d`$-série de Harish-Chandra de $`(G)`$ d’algèbre de Hecke relative $`(G,(L,\lambda ))`$. Supposons les conjectures 2.1, 2.2 et 2.3 vraies si le groupe de Weyl relative $`W_G(L,\lambda )`$ est de type exceptionnel non-réel. Alors, les deux partitions suivantes de $`(G,(L,\lambda ))`$ coïncident:

$$\underset{}{}\left((G,(L,\lambda ))\right)=\underset{𝒢}{}𝒢,$$

$``$ décrit les familles de Lusztig de $`(G)`$ et $`𝒢`$ décrit les $`𝒪`$-blocs de $`\mathrm{Irr}((G,(L,\lambda )))`$. En d’autres termes, les $`𝒪`$-blocs de $`\mathrm{Irr}((G,(L,\lambda )))`$ sont les intersections des familles de Lusztig avec $`(G,(L,\lambda ))`$.

Réciproquement, la partition en familles de Lusztig de $`(G)`$ est la plus fine partition telle que la propriété précédente soit vraie pour tout $`d`$ et toute paire $`d`$-cuspidale $`(L,\lambda )`$.

###### Preuve.

Le reste de cette partie est consacré à la preuve de ce théorème. Notons tout d’abord qu’il suffit de considérer le cas où le groupe algébrique est simple.

Considérons pour commencer le cas des groupes classiques. Dans les groupes de type $`A_n`$ et $`{}_{}{}^{2}A_{n}^{}`$, toutes les familles sont réduites à des singletons, tout comme les blocs des algèbres de Hecke relatives sur $`𝒪`$.

Les caractères unipotents des autres groupes classiques sont paramétrés par des symboles. Un symbole $`\mathrm{\Lambda }=\{S,T\}`$ est la donnée de deux ensembles finis $`S`$ et $`T`$ d’entiers positifs. On dit que deux symboles sont équivalents si l’un peut être obtenu à partir de l’autre par une suite d’opérations de décalage

$$\{S,T\}\{\{0\}S+1,\{0\}T+1\}.$$

Le défaut d’un symbole est $`\mathrm{def}(S,T)=\left||S||T|\right|`$. Le rang de $`\mathrm{\Lambda }=(S,T)`$ est

$$\underset{\lambda \mathrm{\Lambda }}{}\lambda \frac{(|\mathrm{\Lambda }|1)^2}{4}.$$

Pour $`G`$ de type $`B_n`$ ou $`C_n`$, alors $`(G)`$ est paramétré par les classes d’équivalence de symboles de rang $`n`$ et de défaut impair. Deux caractères unipotents sont dans la même famille de Lusztig si et seulement si les multi-ensembles réunions de $`S`$ et $`T`$ coïncident.

Le paramétrage des séries de Harish-Chandra fourni par \[17, Satz 3.14\] et la description des blocs pour les algèbres de Hecke donnée par Broué–Kim \[3, Thm. 3.16\] montrent que la première partie du théorème est vraie.

Passons à la deuxième partie du théorème. Nous dirons qu’un sous-ensemble de $`(G)`$ est une famille potentielle si elle est un sous-ensemble minimal avec la propriété que son intersection avec toute $`d`$-série de Harish-Chandra est une union de $`𝒪`$-blocs pour l’algèbre de Hecke relative correspondante. Il s’agit donc de démontrer que les familles potentielles sont les familles. Notons pour commencer que la $`d`$-série de Harish-Chandra d’un symbole est déterminée par le $`d`$-cœur du symbole lorsque $`d`$ est impair et par le $`d/2`$-cocœur du symbole lorsque $`d`$ est pair \[6, Section 3A\]. En particulier, la $`1`$-série de Harish-Chandra d’un symbole est déterminée par le défaut du symbole. On en déduit que l’intersection d’une famille potentielle avec une famille de Lusztig est une union de parties de la partition de cette famille suivant les défauts des symboles. Il nous reste donc à démontrer qu’étant donnés deux défauts $`t_1`$ et $`t_2`$ apparaissant dans une famille de Lusztig donnée, alors il existe un défaut $`d`$ et deux symboles $`\mathrm{\Lambda }_1,\mathrm{\Lambda }_2`$ de défauts $`\mathrm{def}(\mathrm{\Lambda }_i)=t_i`$, tels que $`\mathrm{\Lambda }_1`$ et $`\mathrm{\Lambda }_2`$ sont dans la même $`d`$-série de Harish-Chandra, c’est-à-dire, ont le même $`d`$-cœur (respectivement $`d/2`$-cocœur).

Soit donc $``$ une famille de Lusztig avec au moins deux éléments. Le multi-ensemble des éléments de tout symbole de $``$ contient au moins trois singletons. Soit $`\mathrm{\Lambda }_1=\{S,T\}`$. On peut supposer qu’il existe deux singletons $`\lambda _1,\lambda _2`$ dans $`S`$ avec $`\lambda _1<\lambda _2`$. Soit $`\mathrm{\Lambda }^{}`$ le symbole obtenu à partir de $`\mathrm{\Lambda }_1`$ en enlevant un cocrochet de longueur $`l:=\lambda _2\lambda _1`$ à la position $`\lambda _2`$ de $`S`$ et soit $`\mathrm{\Lambda }_2`$ le symbole obtenu à partir de $`\mathrm{\Lambda }^{}`$ en ajoutant un cocrochet de longueur $`l`$ à la position $`\lambda _1`$ de $`T`$. Alors, $`\mathrm{\Lambda }_2`$ est obtenu à partir de $`\mathrm{\Lambda }_1`$ en déplaçant $`\lambda _1`$ et $`\lambda _2`$ de $`S`$ à $`T`$, donc $`\mathrm{\Lambda }_2`$. Par construction, $`\mathrm{\Lambda }_1`$ et $`\mathrm{\Lambda }_2`$ ont le même $`l`$-cocœur, donc appartiennent à la même $`2l`$-série de Harish-Chandra. En outre, les défauts de $`\mathrm{\Lambda }_1`$ et $`\mathrm{\Lambda }_2`$ diffèrent de $`4`$. Notons enfin que si $``$ contient des symboles de défaut $`t`$, alors tout entier impair de $`\{1,\mathrm{},t\}`$ apparaît comme défaut d’un symbole de $``$. La construction précédente permet donc d’atteindre tous les défauts de la famille.

Pour les groupes de type $`D_n`$ (respectivement $`{}_{}{}^{2}D_{n}^{}`$), alors $`(G)`$ est paramétré par des symboles de défaut congru à $`0(mod4)`$ (respectivement $`2(mod4)`$). Des arguments similaires aux précédents s’appliquent à cette situation.

Passons maintenant aux types exceptionnels. Les $`d`$-séries de Harish-Chandra de groupes de Weyl relatifs cycliques sont décrites dans Broué–Malle \[4, Tab. 8.1 et 8.3\]. On déduit facilement de cette description la première partie du thèorème, dans ce cas.

Rappelons que le cas de la $`1`$-série de Harish-Chandra principale est déjà connu par .

Dans la suite nous déterminons les blocs des algèbres de Hecke associées aux groupes de réflexions $`W^{}`$ de type exceptionnel pour les paramètres qui proviennent de cas où $`W^{}`$ intervient comme groupe de Weyl relatif d’une $`d`$-série de Harish-Chandra de caractères unipotents d’un groupe exceptionnel (voir table 3) et nous démontrons la première partie du théorème 6.1 pour ces cas. Seul un groupe non cylique et non exceptionnel $`W^{}`$ apparaît: dans ce cas, les blocs sont déterminés dans  et on déduit la première partie du théorème.

Nous traitons aussi le cas du groupe de Coxeter $`H_4`$.

La deuxième partie du théorème 6.1 pour les groupes $`G`$ exceptionnels se réduit alors à une vérification facile. ∎

### 6.1. $`W=G_4`$

Le groupe $`W=G_4`$ intervient comme groupe relatif dans les groupes réductifs de type $`{}_{}{}^{3}D_{4}^{}`$ (cf \[4, Folg. 5.6\] pour les paramètres). Dans ce cas, l’algèbre de Hecke a un seul bloc non trivial, de caractères $`(\varphi _{\mathrm{1,8}},\varphi _{\mathrm{2,1}},\varphi _{\mathrm{3,2}})`$.

### 6.2. $`W=G_5`$

Le groupe $`G_5`$ intervient comme groupe relatif dans les groupes réductifs de type $`F_4`$, $`E_6`$ et $`E_8`$ (cf \[4, Table 5.9\]). Nous indiquons seulement les blocs non triviaux:

Dans $`F_4`$: $`(\varphi _{\mathrm{1,8}}^{},\varphi _{\mathrm{1,8}}^{\prime \prime \prime },\varphi _{\mathrm{2,5}}^{\prime \prime })`$, $`(\varphi _{\mathrm{1,12}}^{},\varphi _{\mathrm{1,12}}^{\prime \prime },\varphi _{\mathrm{2,9}})`$, $`(\varphi _{\mathrm{1,4}}^{},\varphi _{\mathrm{1,4}}^{\prime \prime },\varphi _{\mathrm{1,16}},\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{3,2}},`$ $`\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,6}})`$.

Dans $`E_6`$: $`(\varphi _{\mathrm{1,4}}^{},\varphi _{\mathrm{1,16}},\varphi _{\mathrm{2,7}}^{\prime \prime })`$, $`(\varphi _{\mathrm{1,8}}^{},\varphi _{\mathrm{1,8}}^{\prime \prime \prime },\varphi _{\mathrm{2,5}}^{\prime \prime })`$, $`(\varphi _{\mathrm{1,12}}^{},\varphi _{\mathrm{2,3}}^{},\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,6}})`$.

Dans $`E_8`$: $`(\varphi _{\mathrm{1,16}},\varphi _{\mathrm{2,1}},\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,6}})`$.

### 6.3. $`W=G_8`$

Le groupe $`G_8`$ intervient comme groupe relatif dans les groupes réductifs de type $`{}_{}{}^{2}F_{4}^{}`$, $`F_4`$, $`E_6`$, $`E_7`$ et $`E_8`$ (cf \[4, Table 5.12\]). Les blocs non triviaux sont:

Dans $`{}_{}{}^{2}F_{4}^{}`$: $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,4}})`$, $`(\varphi _{\mathrm{2,10}},\varphi _{\mathrm{2,13}})`$, $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,6}},\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$.

Dans $`F_4`$: $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{})`$, $`(\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{2,13}})`$, $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,18}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{2,10}},\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}},\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$.

Dans $`E_6`$: $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{3,2}})`$, $`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,10}},\varphi _{\mathrm{3,8}})`$, $`(\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$.

Dans $`E_7`$: $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{})`$, $`(\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{2,13}})`$, $`(\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}})`$, $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$, $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,18}},\varphi _{\mathrm{2,10}})`$.

Dans $`E_8`$: a) $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{})`$, $`(\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{2,13}})`$, $`(\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}})`$, $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$, $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,18}},\varphi _{\mathrm{2,10}})`$;

b) $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{\prime \prime })`$, $`(\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,13}})`$, $`(\varphi _{\mathrm{3,4}},\varphi _{\mathrm{3,8}})`$, $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$, $`(\varphi _{\mathrm{1,0}},\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,4}})`$;

c) $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,13}},\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$;

d) $`(\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}})`$.

### 6.4. $`W=G_9`$

Le groupe $`G_9`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_8`$ (cf \[18, Table 9\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{2,7}}^{},\varphi _{\mathrm{2,11}}^{\prime \prime })`$, $`(\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{2,10}})`$, $`(\varphi _{\mathrm{1,12}}^{},\varphi _{\mathrm{1,12}}^{\prime \prime },\varphi _{\mathrm{2,8}},\varphi _{\mathrm{2,11}}^{})`$, $`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,30}},\varphi _{\mathrm{2,13}},\varphi _{\mathrm{2,17}})`$,

$`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{2,5}},\varphi _{\mathrm{2,14}},\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,5}},\varphi _{\mathrm{4,7}},\varphi _{\mathrm{4,9}})`$.

### 6.5. $`W=G_{10}`$

Le groupe $`G_{10}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_8`$ (voir \[18, Table 9\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{1,6}},\varphi _{\mathrm{1,18}})`$, $`(\varphi _{\mathrm{1,22}},\varphi _{\mathrm{1,34}})`$, $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}}^{})`$, $`(\varphi _{\mathrm{2,5}},\varphi _{\mathrm{2,11}}^{})`$, $`(\varphi _{\mathrm{2,9}},\varphi _{\mathrm{2,15}}^{})`$, $`(\varphi _{\mathrm{2,7}}^{\prime \prime },\varphi _{\mathrm{2,13}})`$,

$`(\varphi _{\mathrm{2,11}}^{\prime \prime },\varphi _{\mathrm{2,17}})`$, $`(\varphi _{\mathrm{2,15}}^{\prime \prime },\varphi _{\mathrm{2,21}})`$, $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,9}})`$, $`(\varphi _{\mathrm{4,7}},\varphi _{\mathrm{4,13}})`$,

$`(\varphi _{\mathrm{1,16}},\varphi _{\mathrm{2,10}},\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}}^{\prime \prime },\varphi _{\mathrm{3,10}}^{})`$, $`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,18}},\varphi _{\mathrm{3,6}}^{},\varphi _{\mathrm{3,10}}^{\prime \prime },\varphi _{\mathrm{3,14}})`$,

$`(\varphi _{\mathrm{1,14}},\varphi _{\mathrm{1,26}},\varphi _{\mathrm{2,8}},\varphi _{\mathrm{3,12}}^{},\varphi _{\mathrm{3,12}}^{\prime \prime },\varphi _{\mathrm{3,8}}^{},\varphi _{\mathrm{3,16}},\varphi _{\mathrm{3,8}}^{\prime \prime },\varphi _{\mathrm{3,4}},\varphi _{\mathrm{4,11}},\varphi _{\mathrm{4,5}})`$,

Notons que pour montrer que $`(\varphi _{\mathrm{2,9}},\varphi _{\mathrm{2,15}}^{})`$ forme une famille, nous avons utilisé Chevie, pour calculer certaines valeurs de caractères de l’algèbre de Hecke.

### 6.6. $`W=G_{12}`$

Le groupe $`G_{12}`$ intervient comme groupe relatif dans les groupes réductifs de type $`{}_{}{}^{2}F_{4}^{}`$ (cf \[4, Folg. 5.14\]). Il y a un seul bloc non trivial :

$`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,4}},\varphi _{\mathrm{2,5}},\varphi _{\mathrm{4,3}})`$.

### 6.7. $`W=G_{16}`$

Le groupe $`G_{16}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_8`$ (cf \[18, Table 9\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,7}},\varphi _{\mathrm{3,2}})`$, $`(\varphi _{\mathrm{1,36}},\varphi _{\mathrm{2,31}},\varphi _{\mathrm{3,26}})`$, $`(\varphi _{\mathrm{3,10}}^{},\varphi _{\mathrm{3,10}}^{\prime \prime },\varphi _{\mathrm{6,5}})`$, $`(\varphi _{\mathrm{3,18}}^{},\varphi _{\mathrm{3,18}}^{\prime \prime },\varphi _{\mathrm{6,13}})`$,

$`(\varphi _{\mathrm{2,13}}^{},\varphi _{\mathrm{2,13}}^{\prime \prime },\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,8}})`$, $`(\varphi _{\mathrm{2,25}}^{},\varphi _{\mathrm{2,25}}^{\prime \prime },\varphi _{\mathrm{4,15}},\varphi _{\mathrm{4,20}})`$, $`(\varphi _{\mathrm{4,6}},\varphi _{\mathrm{4,11}})`$, $`(\varphi _{\mathrm{4,12}},\varphi _{\mathrm{4,17}})`$,

$`(\varphi _{\mathrm{1,24}},\varphi _{\mathrm{2,19}}^{},\varphi _{\mathrm{2,19}}^{\prime \prime },\varphi _{\mathrm{3,14}}^{},\varphi _{\mathrm{3,14}}^{\prime \prime },\varphi _{\mathrm{4,9}},\varphi _{\mathrm{4,14}},\varphi _{\mathrm{5,4}},\varphi _{\mathrm{5,8}},\varphi _{\mathrm{5,10}},\varphi _{\mathrm{5,12}},\varphi _{\mathrm{5,16}},\varphi _{\mathrm{6,9}})`$.

### 6.8. $`W=G_{20}`$

Le groupe $`G_{20}`$ intervient comme groupe relatif pour le spets de type $`H_4`$ (cf \[18, Table 9\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}})`$, $`(\varphi _{\mathrm{2,21}},\varphi _{\mathrm{2,27}})`$, $`(\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,6}})`$, $`(\varphi _{\mathrm{4,13}},\varphi _{\mathrm{4,16}})`$,

$`(\varphi _{\mathrm{1,20}},\varphi _{\mathrm{2,11}},\varphi _{\mathrm{2,17}},\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}},\varphi _{\mathrm{3,10}}^{},\varphi _{\mathrm{3,10}}^{\prime \prime },\varphi _{\mathrm{3,12}},\varphi _{\mathrm{3,14}},\varphi _{\mathrm{4,8}},\varphi _{\mathrm{4,11}},\varphi _{\mathrm{5,8}},\varphi _{\mathrm{6,5}},\varphi _{\mathrm{6,7}},\varphi _{\mathrm{6,9}})`$.

### 6.9. $`W=G_{22}`$

Le groupe $`G_{22}`$ intervient comme groupe relatif pour le spets de type $`H_4`$ (cf \[18, Table 9\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{3,2}},\varphi _{\mathrm{3,6}})`$, $`(\varphi _{\mathrm{3,12}},\varphi _{\mathrm{3,16}})`$, $`(\varphi _{\mathrm{2,1}},\varphi _{\mathrm{2,7}},\varphi _{\mathrm{2,11}},\varphi _{\mathrm{2,13}},\varphi _{\mathrm{4,3}},\varphi _{\mathrm{4,6}},\varphi _{\mathrm{4,8}},\varphi _{\mathrm{4,9}},\varphi _{\mathrm{6,5}},\varphi _{\mathrm{6,7}})`$.

### 6.10. $`W=G_{25}`$

Le groupe $`G_{25}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_6`$ (cf \[4, Folg. 5.16\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{3,5}}^{},\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{6,2}})`$, $`(\varphi _{\mathrm{3,13}}^{},\varphi _{\mathrm{3,13}}^{\prime \prime },\varphi _{\mathrm{6,10}})`$, $`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,9}},\varphi _{\mathrm{3,6}},\varphi _{\mathrm{8,6}},\varphi _{\mathrm{9,5}},\varphi _{\mathrm{9,7}})`$.

### 6.11. $`W=G_{26}`$

Le groupe $`G_{26}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_7`$ (cf. \[21, Prop. 7.1\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{1,12}},\varphi _{\mathrm{2,9}},\varphi _{\mathrm{3,6}})`$, $`(\varphi _{\mathrm{1,21}},\varphi _{\mathrm{2,18}},\varphi _{\mathrm{3,15}})`$, $`(\varphi _{\mathrm{3,5}}^{},\varphi _{\mathrm{3,5}}^{\prime \prime },\varphi _{\mathrm{6,2}})`$, $`(\varphi _{\mathrm{3,16}}^{},\varphi _{\mathrm{3,16}}^{\prime \prime },\varphi _{\mathrm{6,13}})`$,

$`(\varphi _{\mathrm{3,8}}^{},\varphi _{\mathrm{3,8}}^{\prime \prime },\varphi _{\mathrm{6,5}})`$, $`(\varphi _{\mathrm{3,13}}^{},\varphi _{\mathrm{3,13}}^{\prime \prime },\varphi _{\mathrm{6,10}})`$, $`(\varphi _{\mathrm{8,6}}^{\prime \prime },\varphi _{\mathrm{8,9}}^{})`$, $`(\varphi _{\mathrm{1,9}},\varphi _{\mathrm{2,15}},\varphi _{\mathrm{8,3}},\varphi _{\mathrm{8,6}}^{},\varphi _{\mathrm{9,5}},\varphi _{\mathrm{9,7}})`$,

$`(\varphi _{\mathrm{1,24}},\varphi _{\mathrm{2,12}},\varphi _{\mathrm{8,9}}^{\prime \prime },\varphi _{\mathrm{8,12}},\varphi _{\mathrm{9,8}},\varphi _{\mathrm{9,10}})`$.

### 6.12. $`W=G_{28}`$

Le groupe $`G_{28}=W(F_4)`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_6`$ et $`E_8`$. Les blocs non triviaux sont:

Dans $`E_6`$: $`(\varphi _{\mathrm{1,12}}^{},\varphi _{\mathrm{2,4}}^{\prime \prime },\varphi _{\mathrm{9,2}},\varphi _{\mathrm{8,3}}^{})`$, $`(\varphi _{\mathrm{1,12}}^{\prime \prime },\varphi _{\mathrm{2,16}}^{},\varphi _{\mathrm{9,10}},\varphi _{\mathrm{8,9}}^{\prime \prime })`$, $`(\varphi _{\mathrm{4,8}},\varphi _{\mathrm{6,6}}^{},\varphi _{\mathrm{6,6}}^{\prime \prime },\varphi _{\mathrm{12,4}},\varphi _{\mathrm{16,5}})`$.

Dans $`E_8`$: $`(\varphi _{\mathrm{4,8}},\varphi _{\mathrm{6,6}}^{},\varphi _{\mathrm{6,6}}^{\prime \prime },\varphi _{\mathrm{12,4}},\varphi _{\mathrm{16,5}})`$.

### 6.13. $`W=G_{31}`$

Le groupe $`G_{31}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_8`$ (cf. \[21, Prop. 7.1\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{4,1}},\varphi _{\mathrm{4,7}})`$, $`(\varphi _{\mathrm{10,2}},\varphi _{\mathrm{10,6}})`$, $`(\varphi _{\mathrm{20,3}},\varphi _{\mathrm{20,5}})`$, $`(\varphi _{\mathrm{20,7}},\varphi _{\mathrm{20,13}}^{})`$, $`(\varphi _{\mathrm{36,5}},\varphi _{\mathrm{36,7}})`$, $`(\varphi _{\mathrm{40,7}},\varphi _{\mathrm{40,9}})`$,

$`(\varphi _{\mathrm{40,13}},\varphi _{\mathrm{40,15}})`$, $`(\varphi _{\mathrm{36,15}},\varphi _{\mathrm{36,17}})`$, $`(\varphi _{\mathrm{20,13}}^{\prime \prime },\varphi _{\mathrm{20,19}})`$, $`(\varphi _{\mathrm{20,21}},\varphi _{\mathrm{20,23}})`$, $`(\varphi _{\mathrm{10,26}},\varphi _{\mathrm{10,30}})`$,

$`(\varphi _{\mathrm{4,31}},\varphi _{\mathrm{4,37}})`$, $`(\varphi _{\mathrm{10,12}},\varphi _{\mathrm{15,8}}^{},\varphi _{\mathrm{15,8}}^{\prime \prime },\varphi _{\mathrm{30,4}},\varphi _{\mathrm{40,6}})`$, $`(\varphi _{\mathrm{10,24}},\varphi _{\mathrm{15,20}}^{},\varphi _{\mathrm{15,20}}^{\prime \prime },\varphi _{\mathrm{30,16}},\varphi _{\mathrm{40,18}})`$,

$`(\varphi _{\mathrm{6,18}},\varphi _{\mathrm{6,14}},\varphi _{\mathrm{16,16}},\varphi _{\mathrm{24,14}},\varphi _{\mathrm{24,6}},\varphi _{\mathrm{30,10}}^{},\varphi _{\mathrm{30,10}}^{\prime \prime },\varphi _{\mathrm{36,10}},\varphi _{\mathrm{40,10}},\varphi _{\mathrm{40,14}},\varphi _{\mathrm{64,9}},\varphi _{\mathrm{64,11}})`$.

### 6.14. $`W=G_{32}`$

Le groupe $`G_{32}`$ intervient comme groupe relatif dans les groupes réductifs de type $`E_8`$ (cf. \[21, Prop. 7.1\]). Les blocs non triviaux sont:

$`(\varphi _{\mathrm{64,8}},\varphi _{\mathrm{64,11}})`$, $`(\varphi _{\mathrm{64,18}},\varphi _{\mathrm{64,21}})`$,

$`(\varphi _{\mathrm{4,11}},\varphi _{\mathrm{6,8}},\varphi _{\mathrm{10,2}})`$, $`(\varphi _{\mathrm{4,51}},\varphi _{\mathrm{6,48}},\varphi _{\mathrm{10,42}})`$, $`(\varphi _{\mathrm{20,13}},\varphi _{\mathrm{40,10}},\varphi _{\mathrm{60,7}})`$, $`(\varphi _{\mathrm{20,25}},\varphi _{\mathrm{40,22}},\varphi _{\mathrm{60,19}})`$,

$`(\varphi _{\mathrm{5,12}},\varphi _{\mathrm{15,6}},\varphi _{\mathrm{20,3}})`$, $`(\varphi _{\mathrm{5,44}},\varphi _{\mathrm{15,38}},\varphi _{\mathrm{20,35}})`$, $`(\varphi _{\mathrm{10,10}},\varphi _{\mathrm{20,7}},\varphi _{\mathrm{30,4}})`$, $`(\varphi _{\mathrm{10,34}},\varphi _{\mathrm{20,31}},\varphi _{\mathrm{30,28}})`$,

$`(\varphi _{\mathrm{20,17}},\varphi _{\mathrm{40,14}},\varphi _{\mathrm{60,11}}^{\prime \prime })`$, $`(\varphi _{\mathrm{20,21}},\varphi _{\mathrm{40,18}},\varphi _{\mathrm{60,15}}^{\prime \prime })`$, $`(\varphi _{\mathrm{20,12}},\varphi _{\mathrm{60,12}},\varphi _{\mathrm{80,9}})`$,

$`(\varphi _{\mathrm{20,20}},\varphi _{\mathrm{60,20}},\varphi _{\mathrm{80,17}})`$, $`(\varphi _{\mathrm{30,12}}^{},\varphi _{\mathrm{30,12}}^{\prime \prime },\varphi _{\mathrm{60,9}})`$, $`(\varphi _{\mathrm{30,20}}^{},\varphi _{\mathrm{30,20}}^{\prime \prime },\varphi _{\mathrm{60,17}})`$,

$`(\varphi _{\mathrm{4,21}},\varphi _{\mathrm{20,9}}^{},\varphi _{\mathrm{20,9}}^{\prime \prime },\varphi _{\mathrm{24,6}},\varphi _{\mathrm{36,7}},\varphi _{\mathrm{36,5}})`$, $`(\varphi _{\mathrm{4,41}},\varphi _{\mathrm{20,29}}^{},\varphi _{\mathrm{20,29}}^{\prime \prime },\varphi _{\mathrm{24,26}},\varphi _{\mathrm{36,27}},\varphi _{\mathrm{36,25}})`$,

$`(\varphi _{\mathrm{5,20}},\varphi _{\mathrm{10,14}},\varphi _{\mathrm{15,8}},\varphi _{\mathrm{40,8}},\varphi _{\mathrm{45,6}},\varphi _{\mathrm{45,10}})`$, $`(\varphi _{\mathrm{5,36}},\varphi _{\mathrm{10,30}},\varphi _{\mathrm{15,24}},\varphi _{\mathrm{40,24}},\varphi _{\mathrm{45,22}},\varphi _{\mathrm{45,26}})`$,

$`(\varphi _{\mathrm{1,40}},\varphi _{\mathrm{6,28}},\varphi _{\mathrm{15,16}},\varphi _{\mathrm{15,22}},\varphi _{\mathrm{20,19}},\varphi _{\mathrm{20,16}},\varphi _{\mathrm{24,16}},\varphi _{\mathrm{36,17}},\varphi _{\mathrm{36,15}},\varphi _{\mathrm{45,14}},\varphi _{\mathrm{45,18}},\varphi _{\mathrm{60,13}},`$

$`\varphi _{\mathrm{60,16}},\varphi _{\mathrm{64,16}},\varphi _{\mathrm{64,13}},\varphi _{\mathrm{80,13}},\varphi _{\mathrm{81,12}},\varphi _{\mathrm{81,14}},\varphi _{\mathrm{81,10}})`$.