format: text

text:
# Une généralisation de l’algèbre de Hecke graduée de type 𝐁

## 0. Introduction

Soit $`W\mathrm{GL}(𝔞_{}^{})`$ la repr sentation \<\< naturelle \>\> d’un groupe de Weyl $`W`$ et $`R𝔞_{}^{}`$ le syst me de racines associ . On peut attacher cette donn e plusieurs familles de $``$-alg bres. Nous nous int ressons ici deux d’entre elles:

* L’alg bre de Cherednik rationnelle $`(k)`$, (cf.  pour une d finition pr cise). Elle d pend d’une fonction de multiplicit s $`W`$-invariante $`k:R`$ et elle est engendr e par $`𝔞^{}=_{}𝔞_{}^{}`$, $`W`$ et des op rateurs de Dunkl $`T_y(k)`$ pour $`y𝔞`$ (le dual de $`𝔞^{})`$.
* L’alg bre de Hecke gradu e $`(k)`$; cette alg bre d pend elle aussi d’une multiplicit $`k`$ et est engendr e par les l ments de $`𝔞`$ et $`W`$, soumis certaines relations de commutation, voir .

Les repr sentations de dimension finie de $`(k)`$ ont t tudi es dans, par exemple,  et celles de $`(k)`$ dans .

Il a t remarqu par plusieurs auteurs, e.g. , que lorsque $`R`$ est de type $`A_{n1}`$ on peut r aliser $`(k)`$ dans $`(k)`$ de la fa on suivante. On fixe une base (orthonorm e) $`\{e_1,\mathrm{},e_n\}`$ de $`𝔞_{}`$, de base duale $`\{z_1,\mathrm{},z_n\}`$; alors la sous-alg bre de $`(k)`$ engendr e par $`W`$ et les $`z_iT_{e_i}(k)`$, $`1in`$, est isomorphe $`(k)`$. Cette alg bre, que nous noterons $`𝔻`$, existant pour tous les types de syst mes de racines il est naturel de l’ tudier et d’examiner les liens qui peuvent exister avec les alg bres de Hecke gradu es (ou leurs g n ralisations).

On se propose ici d’étudier les représentations de l’alg bre $`𝔻`$ pour un syst me de racines de type $`B_n`$, dont les occurrences sont déjà nombreuses. S. Kakei a par exemple introduit une famille commutative $`D_1,\mathrm{},D_n`$ d’ l ments de $`(k)`$ qui avec $`W`$ engendrent $`𝔻`$. Dans la premi re partie nous introduisons (par g n rateurs et relations) une alg bre $`_B(\stackrel{~}{k})`$ dont nous calculons le centre et montrons qu’elle est isomorphe $`𝔻`$. Il faut noter qu’ici la fonction $`\stackrel{~}{k}`$ d finie sur $`R`$ est valeurs dans l’alg bre du sous-groupe $`T`$ de $`W`$ engendr par les r flexions associ es aux racines courtes.

L’ tude des repr sentations de dimension finie des alg bres de Hecke gradu es repose en grande partie sur celle des modules de la s rie principale, not s $`M(\lambda )`$. Ils jouent le r le des modules de Verma pour une alg bre de Lie semi-simple et ils sont param tr s par les formes lin aires $`\lambda 𝔞^{}`$. Ainsi, tout $`(k)`$-module irr ductible est quotient d’un $`M(\lambda )`$. Nous montrons que pour $`_B(\stackrel{~}{k})`$ une tude similaire est possible: on d finit au § 2 des modules $`M(\gamma \mu )`$ index s par les caract res $`\gamma \mu `$ de $`S(𝔞)T`$, c’est dire par $`\gamma 𝔞^{}`$ et un caract re $`\mu `$ de $`T`$. Apr s avoir d taill diff rentes propri t s de ces modules (poids, dual, etc.) nous montrons au § 3 comment leur structure peut se ramener celle des modules de la s rie principale sur une alg bre de Hecke gradu e associ e un syst me de racines de type $`A_{i1}\times A_{ni1}`$ d fini par $`\mu `$ (cf. Propositions 3.8 et 3.10) et nous en d duisons un critère d’irréductibilité pour $`M(\gamma \mu )`$ (cf. Théorème 3.11). L’ tude de $`_B(\stackrel{~}{k})`$ utilise fortement l’existence d’un th or me de Poincar -Birkhoff-Witt (PBW) pour cette alg bre; nous obtenons ce r sultat gr ce au th or me de PBW qui existe dans $`(k)`$, cf. .

Pour un syst me de racines de type $`D_n`$ une tude de l’alg bre $`𝔻`$ montre qu’elle poss de des propri t s (presque) analogues celles de $`_B(\stackrel{~}{k})`$. Cette tude repose sur l’inclusion d’un syst me de racines de type $`D_n`$ dans un syt me de type $`B_n`$ et des r sultats obtenus pr c demment pour ce cas. C’est l’objet de la dernière section (cf., en particulier, le Théorème 4.9).

## 1. Notations et préliminaires

Soit $`W_B`$ un groupe de Weyl de type $`B_n`$ réalisé comme groupe de réflexions dans un espace vectoriel réel $`V`$ de dimension $`n`$ et $`R_B`$ le système de racines correspondant à cette donnée. On note $`V^{}`$ le dual de $`V`$, $`<.,.>`$ le crochet de dualité, et $`V_{}^{}`$, $`V_{}`$ les complexifiés respectifs. L’action de $`W_B`$ s’étend naturellement en une action par automorphismes sur les algèbres symétriques $`S(V_{})`$ et $`S(V_{}^{})`$. Si $`\alpha R_B`$, on désigne par $`s_\alpha `$ la réflexion associée et $`\alpha ^{}V^{}`$ la coracine.

On fixe une base orthonormée $`\{ϵ_1,ϵ_2,..,ϵ_n\}`$ de $`V`$ formée de racines courtes. On choisit $`S_B=\{ϵ_iϵ_{i+1}\mathrm{,1}in1;ϵ_n\}`$ comme ensemble de racines simples de sorte que $`R_B^+=\{ϵ_i\pm ϵ_j\mathrm{,1}i<jn;ϵ_k\mathrm{,1}kn\}`$ est l’ensemble des racines positives déterminé par ce choix.

Pour tous $`1i,jn`$ on pose $`\alpha _{i,j}=ϵ_iϵ_j`$. Soit $`R_A`$ le sous-ensemble de $`R_B`$ constitué des $`\pm \alpha _{i,j}`$, $`1i<jn`$; c’est un système de racines de type $`A_{n1}`$. On note $`W_A`$ le sous-groupe de $`W_B`$ associé, $`S_A=R_AS_B=\{\alpha _i=ϵ_iϵ_{i+1}\mathrm{,1}in1\}`$ l’ensemble des racines simples et $`\mathrm{}`$ la longueur sur $`W_A`$ définie par $`S_A`$. L’action par permutation de $`W_A`$ sur la base $`ϵ_1,..,ϵ_n`$ définit une action sur $`\{1,..,n\}`$ en posant $`wi=j`$ si $`w(ϵ_i)=ϵ_j`$, ce qui permet d’identifier $`W_A`$ avec le groupe symétrique $`𝔖_n`$.

L’algèbre du groupe $`W_B`$ est désignée par $`W_B=t_w,wW_B`$. On écrira $`t_i=t_{s_{ϵ_i}}`$, $`1in`$, $`s_{p,q}=s_{\alpha _{p,q}}`$, $`1p<qn`$.

Soit $`T`$ le sous-groupe (normal abélien) de $`W_B`$ engendré par les $`s_{ϵ_i}`$, $`1in`$. On a donc $`T\{\pm 1\}^n`$ et $`W_B=TW_A`$. Si $`T^{}`$ désigne le groupe des caractères de $`T`$ on identifie $`T^{}`$ au dual $`(T)^{}`$, en étendant un élément de $`T^{}`$ en une forme linéaire sur $`T`$. Le groupe $`W_A`$ opère sur $`T^{}`$ par la formule $`{}_{}{}^{w}\mu (x)=\mu (w^1xw)`$ pour tous $`wW_A,\mu T^{},xT`$. On notera $`W_A(\mu )`$ le stabilisateur de $`\mu T^{}`$ pour cette action.

On rappelle que tout caractère de l’algèbre $`S(V_{})`$ est déterminé par un élément de $`V_{}^{}`$ et que l’action de $`wW_A`$ sur $`\gamma V_{}^{}`$ est définie par $`{}_{}{}^{w}\gamma (\zeta )=\gamma (w^1(\zeta ))`$ pour tout $`\zeta V_{}`$.

### 1.1.  Algèbre de Hecke graduée

Soit $`RV`$ un système de racines de base $`S`$, de groupe de Weyl $`W`$. Une multiplicité sur $`R`$ est une fonction $`W`$-invariante $`c:R`$. On peut lui associer une algèbre de Hecke graduée $`_{\mathrm{𝑔𝑟}}(c,S)`$ définie de la manière suivante. L’algèbre $`_{\mathrm{𝑔𝑟}}(c,S)`$ est engendrée par les éléments $`\zeta V`$ et $`t_w,wW`$, soumis aux relations:

* $`\zeta VS(V_{})`$, $`t_w,wWW`$;
* $`t_{s_\alpha }\zeta =s_\alpha (\zeta )t_{s_\alpha }+<\alpha ^{},s_\alpha (\zeta )>c_\alpha `$ pour tout $`\alpha S`$.

Cette algèbre vérifie un théorème de Poincaré-Birkhoff-Witt

($`\mathrm{PBW}`$0)
$$_{\mathrm{𝑔𝑟}}(c,S)S(V_{})W$$

comme espace vectoriel, ou $`S(V_{})`$-module (cf. ).

Pour tout caractère $`\gamma :S(V_{})`$, défini par $`\gamma V_{}^{}`$, on note $`v_\gamma `$ la représentation de dimension $`1`$ correspondante et l’on construit un module induit, appelé module de la série principale,

$$M(\gamma )=\mathrm{Ind}_{S(V_{})}^{_{\mathrm{𝑔𝑟}}(c,S)}(v_\gamma ).$$

On sait qu’alors $`M(\gamma )=_{wW}t_wv_\gamma `$ et l’on dispose d’un critère d’irréductibilité pour ce module (cf. ). On se propose de généraliser cette notion, et le critère d’irréductibilité, à une nouvelle algèbre associée à un système de racines de type $`B`$.

### 1.2. Une généralisation de l’algèbre de Hecke graduée

On reprend les notations précédentes relatives à un système de racines de type $`B_n`$. Soit $`\overline{k}=(k,k_c):R_B`$ une multiplicité de valeur $`k0`$ sur les racines longues et $`k_c`$ sur les racines courtes. Généralisons la notion de multiplicité en définissant dans ce cadre une fonction $`\stackrel{~}{k}:R_AT`$ en posant:

$$\stackrel{~}{k}_{\alpha _{i,j}}=k(1+t_it_j)$$

pour tous $`1ijn`$. Il résulte de $`wt_it_jw^1=t_{wi}t_{wj}`$, pour $`wW_A`$, que

$$\stackrel{~}{k}_{w(\alpha )}=w\stackrel{~}{k}_\alpha w^1\text{ pour tous }wW_A\text{}\alpha R_A.$$

Donc $`\stackrel{~}{k}`$ est $`W_A`$-équivariante. Soit alors $`_B=_B(\stackrel{~}{k})`$ l’algèbre engendrée par les éléments $`\zeta V`$, $`t_wW_B`$ soumis aux relations:

1. $`\zeta VS(V_{})`$, $`t_w,wW_BW_B`$;
2. $`t_w\zeta =\zeta t_w`$ pour tous $`wT`$, $`\zeta V`$;
3. $`t_{s_\alpha }\zeta =s_\alpha (\zeta )t_{s_\alpha }+<\alpha ^{},s_\alpha (\zeta )>\stackrel{~}{k}_\alpha `$ pour tout $`\alpha S_A`$.

Observons qu’en prenant $`\zeta =ϵ_j`$ et $`s_\alpha =s_{\alpha _i}`$ dans (c) on obtient:

(1.1)
$$t_{s_{\alpha _i}}ϵ_j=ϵ_{s_{\alpha _i}j}t_{s_{\alpha _i}}<\alpha _i^{},ϵ_j>\stackrel{~}{k}_{\alpha _i}.$$

Remarquons également que $`_B`$ est engendrée par les $`t_w`$ et les $`ϵ_j`$ et que, grâce à (1.1), tout élément de $`_B`$ est combinaison linéaire de monômes de la forme $`ϵ_1^{j_1}\mathrm{}ϵ_n^{j_n}t_w`$.

### 1.3. PBW

Soit $`𝔞_{}`$ un $``$-espace vectoriel euclidien de dimension $`n`$, $`R_B𝔞_{}^{}`$ un système de racines de type $`B_n`$, $`𝔞=_{}𝔞_{}`$, $`𝒫=S(𝔞^{})`$, $`𝒮=S(𝔞)`$. Rappelons qu’à la multiplicité $`\overline{k}:R_B`$ on peut associer une algèbre de Cherednik rationnelle notée $`_B(\overline{k})`$, $`(\overline{k})`$ ou $``$, dont une réalisation dans $`\mathrm{End}_{}𝒫`$ est fournie, via les opérateurs de Dunkl, de la façon suivante (cf. ). Si $`wW_B`$ on note ici $`t_w\mathrm{Aut}𝒫`$ l’automorphisme associ et pour tout $`y𝔞`$ on pose

$$T_y=T_y(\overline{k})=T_y^B(\overline{k})=_y+\frac{1}{2}\underset{\alpha R_B}{}\overline{k}_\alpha \frac{<\alpha ,y>}{\alpha }(1t_{s_\alpha }).$$

Alors, $``$ est la sous-algèbre de $`\mathrm{End}_{}(𝒫)`$ engendrée par les $`t_w,wW_B`$, $`x𝔞^{}`$ et les $`T_y`$, $`y𝔞`$. Ces générateurs vérifient les relations suivantes:

1. $`[T_y,x]=y,x+\frac{1}{2}_{\alpha R_B}\overline{k}_\alpha <y,\alpha ><\alpha ^{},x>t_{s_\alpha }`$;
2. $`t_wxt_{w^1}=w(x)`$;
3. $`t_wT_yt_{w^1}=T_{w(y)}`$.

Il résulte de \[4, Theorem 1.3\] que l’on a un théorème de Poincaré-Birkhoff-Witt dans $``$:

###### Théorème 1.1 (PBW1).

Le $`𝒫`$-module $``$ est isomorphe à $`𝒫𝒮W_B`$.

Nous allons montrer que $`_B`$ se réalise comme une sous-algèbre de $``$ à l’aide d’opérateurs introduits par S. Kakei dans . On fixe une base orthonormée $`\{e_1,\mathrm{},e_n\}`$ de $`𝔞_{}`$, de base duale $`\{z_1,\mathrm{},z_n\}`$. Soit $`𝔻_B`$ la sous-algèbre de $``$ engendrée par les $`z_jT_{e_j}`$, $`j=1,\mathrm{},n`$, et les $`t_w`$, $`wW_B`$. On pose:

$$D_j=D_j^B=z_jT_{e_j}+\underset{1i<j}{}\stackrel{~}{k}_{\alpha _{i,j}}t_{s_{\alpha _{ij}}}.$$

(Les $`D_j`$ sont les opérateurs $`\widehat{D}_j^B`$ définis en \[5, § 2.3\].) Il est clair que

$$𝔻_B=D_1,\mathrm{},D_n;t_w,wW_B.$$

On vérifie facilement que les $`D_j`$ sont linérairement indépendants et que l’on a les relations suivantes dans $``$:

1. $`D_iD_j=D_jD_i`$;
2. $`D_jt_i=t_iD_j`$;
3. $`t_{s_{\alpha _i}}D_j=D_{s_{\alpha _i}j}t_{s_{\alpha _i}}<\alpha _i^{},ϵ_j>\stackrel{~}{k}_{\alpha _i}`$.

On pose $`V^{}=_{j=1}^nD_j`$; comme les $`D_j`$ commutent, la $``$-algèbre qu’ils engendrent est un quotient de $`S(V_{}^{})`$. Elle est en fait égale à $`S(V_{}^{})`$, comme le montre le résultat suivant:

###### Lemme 1.2 (PBW2).

Le $``$-espace vectoriel $`𝔻_B`$ est isomorphe à $`S(V_{}^{})W_B`$.

###### Démonstration.

Si $`j=(j_1,\mathrm{},j_n)^n`$ on posera $`|j|=j_1+\mathrm{}+j_n`$, $`z^j=z_1^{j_1}\mathrm{}z_n^{j_n}`$, $`T^j=T_{e_1}^{j_1}\mathrm{}T_{e_n}^{j_n}`$ et $`D_j=D_1^{j_1}\mathrm{}D_n^{j_n}`$. Il résulte des relations ci-dessus que tout élément de $`𝔻_B`$ peut s’écrire

$$P=_{d=0}^m_{|j|=d,wW_B}\lambda _{j,w}D^jt_w$$

pour des $`\lambda _{j,w}`$; il s’agit de voir que cette écriture est unique. Supposons $`P=0`$. Il existe alors un couple $`(j,w)`$ tel que $`\lambda _{j,w}0`$ et $`|j|=m`$ maximal pour cette propriété. La définition des $`D_p`$ et les relations de commutation dans $``$ entraînent que si $`|p|=d`$, $`D^p=z^pT^p+Q`$ avec $`Q𝒫𝒮_{d1}W_B`$, où l’on a posé $`𝒮_{d1}=_{|i|d1}T^i`$. On obtient ainsi $`P=_{|j|=m,wW_B}\lambda _{j,w}z^jT^jt_w+R`$ avec $`R𝒫𝒮_{m1}W_B`$. Le Théorème 1.1 implique alors que $`\lambda _{j,w}=0`$ pour tout $`|j|=m`$, ce qui contredit l’hypothèse. ∎

###### Théorème 1.3 (PBW3).

L’application $`\mathrm{\Phi }:_B𝔻_B`$ définie par

$$\mathrm{\Phi }(ϵ_j)=D_j,\mathrm{\Phi }(t_w)=t_w,\text{pour }j=1,\mathrm{},n\text{ et }wW_B\text{,}$$

est un isomorphisme d’algèbres. En particulier, $`_B`$ est isomorphe à $`S(V_{})W_B`$ comme $`S(V_{})`$-module.

###### Démonstration.

La définition par générateurs et relations de $`_B=ϵ_1,\mathrm{},ϵ_n;t_w,wW_B`$ et les relations précédentes dans $`𝔻_B`$ montrent que $`\mathrm{\Phi }`$ définit un morphisme surjectif d’algèbres. Le Lemme 1.2 assure que $`\mathrm{\Phi }`$ est injectif. La deuxième assertion est alors évidente. ∎

### 1.4. Relations de commutation dans $`_B`$

Précisons les relations de commutation dans $`_B`$. Rappelons que l’ensemble d’inversion de $`w^1W_A`$ est $`R(w^1)=\{\alpha R_A^+:w^1(\alpha )R_A^{}\}`$ et que $`\mathrm{}(s_\alpha w)<\mathrm{}(w)`$ pour tout $`\alpha R(w^1)`$.

###### Lemme 1.4.

Pour tous $`\zeta V`$ et $`wW_A`$, on a:

$$t_w\zeta =w(\zeta )t_w+\underset{\alpha R(w^1)}{}<\alpha ^{},w(\zeta )>\stackrel{~}{k}_\alpha t_{s_\alpha w}=w(\zeta )t_w+\underset{\alpha R(w^1)}{}<\alpha ^{},w(\zeta )>t_{s_\alpha w}\stackrel{~}{k}_{w^1(\alpha )}.$$

En particulier, pour $`1p<qn`$ :

$$\begin{array}{cc}\hfill t_{s_{p,q}}\zeta =s_{p,q}(\zeta )t_{s_{p,q}}+& \underset{p+1j<q}{}<\alpha _{j,q}^{},s_{p,q}(\zeta )>t_{s_{j,q}s_{p,q}}\stackrel{~}{k}_{\alpha _{j,p}}+\underset{p+1j<q}{}<\alpha _{p,j}^{},s_{p,q}(\zeta )>t_{s_{p,j}s_{p,q}}\stackrel{~}{k}_{\alpha _{j,q}}\hfill \\ & +<\alpha _{p,q}^{},s_{p,q}(\zeta )>\stackrel{~}{k}_{\alpha _{p,q}}.\hfill \end{array}$$

###### Démonstration.

La multiplicité $`\stackrel{~}{k}`$ étant $`W_A`$-équivariante et commutant aux éléments de $`V`$, la première formule se démontre comme celle de \[8, Proposition 1.1(1)\] dans une algèbre de Hecke graduée. La seconde résulte de $`R(s_{p,q}^1)=R(s_{p,q})=\{\alpha _{j,q},\alpha _{p,i}:pj<q,p+1i<q\}`$. ∎

Définissons des \<\< opérateurs de différences divisées \>\> $`\mathrm{\Delta }_j\mathrm{End}S(V_{})`$ par

$$\mathrm{\Delta }_j(p)=k(ps_{\alpha _j}(p))/\alpha _j$$

pour $`pS(V_{})`$ et $`j\{1,\mathrm{},n1\}`$. Rappelons que dans $`_{gr}(k,S_A)`$ on a $`\mathrm{\Delta }_j(p)=t_{s_{\alpha _j}}ps_{\alpha _j}(p)t_{s_{\alpha _j}}`$. On généralise donc ces opérateurs en définissant, pour tout $`j\{1,\mathrm{},n1\}`$, $`\stackrel{~}{\mathrm{\Delta }}_j:S(V_{})_B`$ par

$$\stackrel{~}{\mathrm{\Delta }}_j(p)=t_{s_{\alpha _j}}ps_{\alpha _j}(p)t_{s_{\alpha _j}},$$

où ici le calcul s’effectue dans $`_B`$.

###### Lemme 1.5.

Soit $`pS(V_{})`$, alors pour tout $`j\{1,\mathrm{},n1\}`$, on a:

$$\stackrel{~}{\mathrm{\Delta }}_j(p)=\mathrm{\Delta }_j(p)(1+t_jt_{j+1})=\stackrel{~}{k}_{\alpha _j}(ps_{\alpha _j}(p))/\alpha _j.$$

###### Démonstration.

Démontrons le r sultat par récurrence sur le degré de $`p`$. Pour $`p`$ de degré $`1`$, il provient directement des relations (c), § 1.2, dans $`_B`$. Supposons qu’il soit vrai pour $`p_1,p_2S(V_{})`$ et montrons le pour le produit $`p_1p_2`$. On a:

$$\begin{array}{cc}\hfill \stackrel{~}{\mathrm{\Delta }}_j(p_1p_2)& =t_{s_{\alpha _j}}p_1p_2s_{\alpha _j}(p_1)s_{\alpha _j}(p_2)t_{s_{\alpha _j}}\hfill \\ & =(t_{s_{\alpha _j}}p_1s_{\alpha _j}(p_1)t_{s_{\alpha _j}})p_2+s_{\alpha _j}(p_1)\stackrel{~}{\mathrm{\Delta }}_j(p_2)\hfill \\ & =\stackrel{~}{\mathrm{\Delta }}_j(p_1)p_2+s_{\alpha _j}(p_1)\stackrel{~}{\mathrm{\Delta }}_j(p_2)\hfill \\ & =\mathrm{\Delta }_j(p_1)p_2(1+t_jt_{j+1})+s_{\alpha _j}(p_1)\mathrm{\Delta }_j(p_2)(1+t_jt_{j+1}),\hfill \end{array}$$

car les éléments de $`T`$ et $`S(V_{})`$ commutent. Il suffit alors pour conclure de remarquer que $`\mathrm{\Delta }_j(p_1)p_2+s_{\alpha _j}(p_1)\mathrm{\Delta }_j(p_2)=\mathrm{\Delta }_j(p_1p_2)`$. ∎

Rappelons que $`k0`$. De (PBW3) il résulte donc que

$$\stackrel{~}{\mathrm{\Delta }}_j(p)=0\mathrm{\Delta }_j(p)=0s_{\alpha _j}(p)=p.$$

Ainsi l’intersection des noyaux (dans $`S(V_{})`$) des $`\stackrel{~}{\mathrm{\Delta }}_j`$, $`j=1,\mathrm{},n`$, est l’algèbre $`S(V_{})^{W_A}`$ des éléments $`W_A`$-invariants de $`S(V_{})`$.

### 1.5. Centre de $`_B`$

Rappelons que tout élément $`t_x`$, $`xT`$, est de la forme $`t_{\underset{¯}{i}}=t_{i_1}\mathrm{}t_{i_j}`$ pour un multi-indice $`\underset{¯}{i}=\{1i_1<\mathrm{}<i_jn\}`$ de longueur $`j\{0,\mathrm{},n\}`$. Remarquons que le groupe $`W_A`$ opère dans $`T`$ par conjugaison et que $`t_{\underset{¯}{i}}`$ est conjugué (par cette action) à $`t_{\underset{¯}{i}^{}}`$ si et seulement si $`|\underset{¯}{i}|=|\underset{¯}{i}^{}|`$. Pour chaque $`j\{1,..,n\}`$, on pose:

$$\vartheta _j=\underset{|\underset{¯}{i}|=j}{}t_{\underset{¯}{i}}.$$

Il est alors facile de voir que l’algèbre d’invariants $`(T)^{W_A}`$ est égale à $`[\vartheta _1,\mathrm{},\vartheta _n]=_{j=0}^n\vartheta _j`$.

###### Lemme 1.6.

Le centralisateur $`\{c_B:[c,V]=0\}`$ de $`V`$ dans $`_B`$ est la sous-algèbre (commutative) $`S(V_{})T`$.

###### Démonstration.

Soit $`0c_B`$; par (PBW3) on peut écrire de manière unique $`c`$ sous la forme $`_{wW_A,xT}p_{w,x}t_wt_x`$ pour des $`p_{w,x}S(V_{})`$ non tous nuls. Posons $`𝒞=\{(w,x)W_A\times T:p_{w,x}0\}`$ et notons $`m=\mathrm{max}\{\mathrm{}(w):xT,(w,x)𝒞\}`$. Si $`\xi V`$ il vient, en utilisant le Lemme 1.4,

$$\begin{array}{cc}\hfill [c,\xi ]& =_{(w,x)𝒞}p_w(t_w\xi \xi t_w)t_x\hfill \\ & =_{(w,x)𝒞,\mathrm{}(w)=m}p_w(w(\xi )\xi )t_wt_x+_{(w^{},x^{})W_A\times T,\mathrm{}(w^{})<m}q_{w^{},x^{}}t_w^{}t_x^{}\hfill \end{array}$$

avec $`q_{w^{},x^{}}S(V_{})`$. Par conséquent (PBW3) assure que si $`c`$ est dans le centralisateur de $`V`$ et $`(w,x)𝒞`$ vérifie $`\mathrm{}(w)=m`$, alors $`w(\xi )=\xi `$ pour tout $`\xi `$, i.e. $`w=\mathrm{id}`$. Donc $`m=0`$ et $`cS(V_{})T`$. ∎

Rappelons que le centre d’une algèbre de Hecke graduée $`_{\mathrm{𝑔𝑟}}(c,S)`$ comme en 1.1 est $`S(V_{})^W`$. Pour $`_B`$ le centre, $`Z(_B)`$, est donné par le théorème suivant.

###### Théorème 1.7.

On a $`Z(_B)=S(V_{})^{W_A}(T)^{W_A}=_{j=0}^nS(V_{})^{W_A}\vartheta _j.`$

###### Démonstration.

Observons que $`cZ(_B)`$ si et seulement si $`[c,V]=[c,T]=[t_{s_{\alpha _j}},c]=0`$ pour $`j=1,\mathrm{},n1`$. Par le Lemme 1.6, ceci équivaut à $`cS(V_{})T`$ et $`[t_{s_{\alpha _j}},c]=0`$ pour $`j=1,\mathrm{},n1`$. Écrivons $`c=_{xT}p_xt_x`$ avec $`p_xS(V_{})`$. Avec les notations de 1.4 on trouve que

$$\begin{array}{cc}\hfill [t_{s_{\alpha _j}},c]& =\underset{x}{}t_{s_{\alpha _j}}p_xt_x\underset{x}{}p_xt_{s_{\alpha _j}}t_{s_{\alpha _j}xs_{\alpha _j}}\hfill \\ & =\underset{x}{}\left(s_{\alpha _j}(p_x)p_{s_{\alpha _j}xs_{\alpha _j}}\right)t_{s_{\alpha _j}}t_x+\underset{x}{}\stackrel{~}{\mathrm{\Delta }}_j(p_x)t_x.\hfill \end{array}$$

On déduit donc de (PBW3) que $`[t_{s_{\alpha _j}},c]=0`$ si, et seulement si, $`\stackrel{~}{\mathrm{\Delta }}_j(p_x)=0`$ et $`s_{\alpha _j}(p_x)=p_{s_{\alpha _j}xs_{\alpha _j}}`$ pour tous $`xT`$, $`1jn1`$. Par la remarque suivant le Lemme 1.5 ces conditions équivalent à $`p_xS(V_{})^{W_A}`$ et $`p_x=p_{wxw^1}`$ pour tout $`xT`$, ce qui compte tenu de la définition des $`\vartheta _j`$ s’écrit aussi $`c=_{j=0}^np_j\vartheta _j`$ avec $`p_jS(V_{})^{W_A}`$. ∎

### 1.6. Automorphismes et anti-automorphismes de $`_B`$

Soit $`R`$ une $``$-alg bre. On note $`R\text{-}\mathrm{Mod}`$, resp. $`\mathrm{Mod}\text{-}R`$, la cat gorie des $`R`$-modules gauche, resp. droite. La sous-cat gorie de $`R\text{-}\mathrm{Mod}`$ form e des modules de dimension finie est d sign e par $`R\text{-}\mathrm{mod}`$. Le treillis, ordonn par inclusion, des sous-modules de $`MR\text{-}\mathrm{Mod}`$ sera not $`_R(M)`$ et la longueur de $`M`$ par $`\mathrm{lg}_R(M)`$. Soit $`S`$ une autre $``$-alg bre et $`NS\text{-}\mathrm{Mod}`$; on crira $`_R(M)_S(N)`$ pour signifier qu’il existe un isomorphisme de $``$-espaces vectoriels $`f:MN`$ tel que $`Xf(X)`$ induise un isomorphisme entre les treillis ordonn s $`_R(M)`$ et $`_S(N)`$. Tout $`MR\text{-}\mathrm{mod}`$ est de longueur finie et on peut lui associer la suite $`𝒮_R(M)=\{[S_i(M)]\}_{1it}`$ des classes d’isomorphisme des sous-quotients simples de $`M`$, compt s sans multiplicit . Il est clair que si $`_R(M)_S(N)`$, une suite de composition de $`M`$ est transform e par $`f`$ en une suite de composition de $`N`$ et les $`[f(S_i(M))]`$ sont donc les l ments de la suite $`𝒮_S(N)`$.

Rappelons que si $`MR\text{-}\mathrm{Mod}`$ et $`\varkappa \mathrm{Aut}_{}(R)`$, on peut d finir un module $`{}_{}{}^{\varkappa }MR\text{-}\mathrm{Mod}`$ de la fa on suivante: $`{}_{}{}^{\varkappa }M=M`$ comme $``$-espace vectoriel, muni de l’action $`au=\varkappa (a).u`$ pour $`aR,uM`$. Notons que cette torsion par $`\varkappa `$ laisse stable $`R\text{-}\mathrm{mod}`$ et conserve la longueur. Rappelons aussi qu’un anti-automorphisme $``$-lin aire $`\iota `$ de $`R`$ fournit un isomorphisme entre $`R\text{-}\mathrm{Mod}`$ et $`\mathrm{Mod}\text{-}R`$: on fait de $`MR\text{-}\mathrm{Mod}`$ un $`R`$-module droite en posant $`M^\iota =M`$ comme $``$-espace vectoriel, muni de la structure de $`R`$-module droite d finie par $`u.a=\iota (a).u`$. L’existence de $`\iota `$ permet de munir le dual $`M^{}=\mathrm{Hom}_{}(M,)`$ d’une structure de $`R`$-module gauche par la formule

$$<a.f,u>=<f,\iota (a).u>,$$

pour tous $`aR,fM^{},uM`$. Si de plus $`\iota `$ est involutif et $`MR\text{-}\mathrm{mod}`$ l’application bijective canonique $`c_M:MM^{}`$ est alors un isomorphisme de $`R`$-modules et l’on a $`\mathrm{lg}_R(M)=\mathrm{lg}_R(M^{})`$.

Donnons des exemples dans l’alg bre $`_B`$ pour lesquels on peut effectuer les constructions pr c dentes. Observons qu’un l ment de $`\mathrm{GL}(_B)`$ d finit un (anti)-automorphisme si, et seulement si, il pr serve les relations (a), (b) et (c) introduites en 1.2.

(1) Chaque $`wW_B`$ d finit un automorphisme int rieur de $`_B`$ donn par $`\mathrm{Int}(w):at_wat_{w^1}`$; le module tordu par l’action de $`\mathrm{Int}(w)`$ sera not $`{}_{}{}^{w}M`$.

(2) Le d terminant dans $`\mathrm{GL}(V)`$ d finit le caract re $`\mathrm{sgn}:W_B\{\pm 1\}`$ par $`\mathrm{sgn}(w)=det(w)`$. En particulier, $`\mathrm{sgn}`$ fournit un l ment de $`T^{}`$ et pour $`\mu T^{}`$ on pose $`\mu =\mathrm{sgn}\mu T^{}`$; ce caract re est d termin par $`(\mu )(t_j)=\mu (t_j)`$ pour tout $`j=1,\mathrm{},n`$. L’application $`\delta :x\mathrm{sgn}(x)t_x`$, $`xT`$, induit un automorphisme de $`T`$ tel que $`\delta (t_it_j)=t_it_j`$ pour tous $`i,j`$. On obtient un automorphisme de $`_B`$ en tendant $`\delta `$ comme suit:

$$\delta (\xi )=\xi ,\delta (t_x)=\mathrm{sgn}(x)t_x,\delta (t_w)=t_w,$$

pour tous $`\xi V,xT,wW_A`$.

(3) On v rifie facilement que les formules ci-dessous donnent un anti-automorphisme involutif $`\iota `$ de $`_B`$:

$$\iota (\xi )=\xi ,\iota (t_w)=\mathrm{sgn}(w)t_{w^1},$$

pour tous $`\xi V,wW_B`$.

Il r sulte en particulier de (3) que $`_B\text{-}\mathrm{Mod}\mathrm{Mod}\text{-}_B`$ et $`_B\text{-}\mathrm{mod}\mathrm{mod}\text{-}_B`$.

## 2. Modules de la série principale

On va définir pour $`_B`$, de même que pour une algèbre de Hecke graduée, les modules de la série principale pour lesquels on d montrera dans la section suivante un critère d’irréductibilité.

### 2.1. Poids des $`_B`$-modules de dimension finie

Un morphisme d’algèbres $`\stackrel{~}{\gamma }:S(V_{})T`$ est uniquement d termin par une forme linéaire $`\gamma V_{}^{}`$ et un caractère $`\mu T^{}`$; nous le noterons $`\gamma \mu `$. On a donc $`(\gamma \mu )(vt)=\gamma (v)\mu (t)`$, pour $`vV_{}`$, $`tT`$. On d signe par $`𝒜=\{\gamma \mu :\gamma V_{}^{},\mu T^{}\}`$ l’ensemble des caract res de $`S(V_{})T`$.

Soient $`M`$ un $`_B`$-module de dimension finie et $`\stackrel{~}{\nu }𝒜`$. Les sous-espaces poids et sous-espaces poids généralisés de $`M`$ associés à $`\stackrel{~}{\nu }`$ sont respectivement:

$$M_{\stackrel{~}{\nu }}=\{mM:aV_{}T,a.m=\stackrel{~}{\nu }(a)m\}$$

et

$$M_{\stackrel{~}{\nu }}^{\mathrm{𝑔𝑒𝑛}}=\{mM:aV_{}T,k,(a\stackrel{~}{\nu }(a))^k.m=0\}.$$

On dira que $`\stackrel{~}{\nu }`$ est un poids de $`M`$ si $`M_{\stackrel{~}{\nu }}^{gen}0`$ (ce qui quivaut $`M_{\stackrel{~}{\nu }}0`$). Comme $`S(V_{})T`$ est une sous-algèbre commutative de $`_B`$, on a:

$$M=\underset{\stackrel{~}{\nu }𝒜}{}M_{\stackrel{~}{\nu }}^{\mathrm{𝑔𝑒𝑛}}.$$

### 2.2. Modules de la s rie principale

Pour tout $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$ on notera $`{}_{}{}^{w}\stackrel{~}{\gamma }={}_{}{}^{w}\gamma {}_{}{}^{w}\mu `$ l’action diagonale de $`wW_A`$ et on d signe par $`v_{\stackrel{~}{\gamma }}`$ le $`S(V_{})T`$-module de dimension $`1`$ défini par: $`a.v_{\stackrel{~}{\gamma }}=\stackrel{~}{\gamma }(a)v_{\stackrel{~}{\gamma }}`$ pour tout $`aS(V_{})T`$. Le $`_B`$-module de la série principale $`M(\stackrel{~}{\gamma })`$ associ $`\stackrel{~}{\gamma }`$ est le module induit de $`v_{\stackrel{~}{\gamma }}`$ à $`_B`$:

$$M(\stackrel{~}{\gamma })=_B_{S(V_{}^{})T}v_{\stackrel{~}{\gamma }}.$$

Ce module admet clairement pour base $`\{t_wv_{\stackrel{~}{\gamma }}:wW_A\}`$, que l’on peut ordonner de façon compatible à la longueur dans $`W_A`$. D’après les formules de commutation dans $`_B`$, pour tous $`\zeta V`$, $`xT`$ et $`wW_A`$, il vient:

$$\zeta t_x.t_wv_{\stackrel{~}{\gamma }}={}_{}{}^{w}\stackrel{~}{\gamma }(\zeta x)t_wv_{\stackrel{~}{\gamma }}\underset{\alpha R(w^1)}{}{}_{}{}^{w}\mu (\stackrel{~}{k}_\alpha x)<\alpha ^{},\zeta >t_{s_\alpha w}v_{\stackrel{~}{\gamma }}.$$

Comme $`\mathrm{}(s_\alpha w)<\mathrm{}(w)`$ pour tout $`\alpha R(w^1)`$ les éléments de $`V_{}T`$ sont simultanément trigonalisés dans la base $`\{t_wv_{\stackrel{~}{\gamma }}:wW_A\}`$, et les poids de $`M(\stackrel{~}{\gamma })`$ sont les $`\{{}_{}{}^{w}\stackrel{~}{\gamma }:wW_A\}`$.

La propriété suivante montre que l’étude des $`_B`$-modules simples se ramène à l’étude des modules de la série principale sur $`_B`$.

###### Proposition 2.1.

Soit $`M`$ un $`_B`$-module irréductible et $`\stackrel{~}{\gamma }`$ un poids de $`M`$. Alors $`M`$ est un quotient de $`M(\stackrel{~}{\gamma })`$. En particulier, un $`_B`$-module simple est de dimension au plus $`|W_A|`$.

###### Démonstration.

Soit $`m_{\stackrel{~}{\gamma }}M_{\stackrel{~}{\gamma }}\{0\}`$; alors $`m_{\stackrel{~}{\gamma }}`$ est un $`S(V_{})T`$-module irréductible isomorphe à $`v_{\stackrel{~}{\gamma }}`$. Comme l’induction est le foncteur adjoint de la restriction, il existe un unique morphisme de $`_B`$-modules de $`M(\stackrel{~}{\gamma })`$ dans $`M`$ envoyant $`1v_{\stackrel{~}{\gamma }}`$ sur $`m_{\stackrel{~}{\gamma }}`$. Puisque $`M`$ est irréductible ce morphisme est surjectif et $`M`$ est un quotient de $`M(\stackrel{~}{\gamma })`$. ∎

Rappelons que l’on peut munir le dual de $`M_B\text{-}\mathrm{mod}`$ d’une structure de $`_B`$-module gr ce l’anti-automorphisme $`\iota `$, et que l’on peut \<\< tordre \>\> $`M`$ par $`\delta `$, cf. 1.6. Nous d signerons par $`w_0`$ l’ l ment de plus grande longueur de $`W_A`$. Pour tout $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$ on pose

$$\stackrel{~}{\gamma }^{}=({}_{}{}^{w_0}\gamma )({}_{}{}^{w_0}\mu ).$$

###### Proposition 2.2.

Soit $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$. Alors:

$${}_{}{}^{\delta }M(\stackrel{~}{\gamma })M(\gamma (\mu )),M(\stackrel{~}{\gamma })^{}M(\stackrel{~}{\gamma }^{}).$$

Tout $`_B`$-module irréductible est un sous-module d’un module de la s rie principale.

###### Démonstration.

Il est clair que $`{}_{}{}^{\delta }M(\stackrel{~}{\gamma })`$ est engendr par $`1v_{\stackrel{~}{\gamma }}`$. De plus, $`\delta (\xi ).1v_{\stackrel{~}{\gamma }}=\xi .1v_{\stackrel{~}{\gamma }}=\gamma (\xi ).1v_{\stackrel{~}{\gamma }}`$ et $`\delta (t_x).1v_{\stackrel{~}{\gamma }}=\mathrm{sgn}(x)t_x.1v_{\stackrel{~}{\gamma }}=\mathrm{sgn}(x)\mu (x).1v_{\stackrel{~}{\gamma }}=(\mu )(x).1v_{\stackrel{~}{\gamma }}`$, pour $`\xi V,xT`$. La propri t universelle de $`M(\gamma (\mu ))`$ fournit alors une surjection $`M(\gamma (\mu )){}_{}{}^{\delta }M(\stackrel{~}{\gamma })`$, qui est un isomorphisme (puisque ces modules sont de m me dimension).

Pour tout $`wW_A`$, notons $`f_{w,\stackrel{~}{\gamma }}M(\stackrel{~}{\gamma })^{}`$ la forme lin aire d finie par

$$<f_{w,\stackrel{~}{\gamma }},t_uv_{\stackrel{~}{\gamma }}>=\{\begin{array}{cc}\mathrm{sgn}(w)\hfill & \text{si }u=w;\hfill \\ 0\hfill & \text{sinon.}\hfill \end{array}$$

On a donc $`M(\stackrel{~}{\gamma })^{}=_{wW_A}f_{w,\stackrel{~}{\gamma }}`$ et un calcul facile montre que $`t_g.f_{w,\stackrel{~}{\gamma }}=f_{gw,\stackrel{~}{\gamma }}`$ pour tout $`gW_A`$. Il en d coule que $`M(\stackrel{~}{\gamma })^{}=_B.f_{w_0,\stackrel{~}{\gamma }}`$. Si l’on montre que $`f_{w_0,\stackrel{~}{\gamma }}`$ est de poids $`\stackrel{~}{\gamma }^{}`$, on obtiendra une surjection $`M(\stackrel{~}{\gamma }^{})M(\stackrel{~}{\gamma })^{}`$ qui donnera l’isomorphisme voulu.

Soient $`\xi V,wW_A`$; observons que le Lemme 1.4 implique $`\xi .t_wv_{\stackrel{~}{\gamma }}=\gamma (w^1(\xi )).t_wv_{\stackrel{~}{\gamma }}+_{uW_A,\mathrm{}(u)<\mathrm{}(w)}\lambda _u.t_uv_{\stackrel{~}{\gamma }}`$ avec $`\lambda _u`$. On a donc $`<\xi .f_{w_0,\stackrel{~}{\gamma }},t_wv_{\stackrel{~}{\gamma }}>=0`$ sauf si $`w=w_0`$, auquel cas on trouve $`\gamma (w_0(\xi ))\mathrm{sgn}(w_0)={}_{}{}^{w_0}\gamma (\xi )\mathrm{sgn}(w_0)`$. Par cons quent $`\xi .f_{w_0,\stackrel{~}{\gamma }}={}_{}{}^{w_0}\gamma (\xi )f_{w_0,\stackrel{~}{\gamma }}`$.

Soit maintenant $`xT`$. On a $`<t_x.f_{w_0,\stackrel{~}{\gamma }},t_wv_{\stackrel{~}{\gamma }}>=<f_{w_0,\stackrel{~}{\gamma }},\mathrm{sgn}(x)t_x.t_wv_{\stackrel{~}{\gamma }}>`$. Mais de $`\mathrm{sgn}(x)t_x.t_wv_{\stackrel{~}{\gamma }}=\mathrm{sgn}(x)t_w(t_{w^1xw}.v_{\stackrel{~}{\gamma }})=\mathrm{sgn}(x)\mu (w^1xw).t_wv_{\stackrel{~}{\gamma }}={}_{}{}^{w}\mu (x).t_wv_{\stackrel{~}{\gamma }}`$ on tire que $`<t_x.f_{w_0,\stackrel{~}{\gamma }},t_wv_{\stackrel{~}{\gamma }}>`$ est nul sauf pour $`w=w_0`$, auquel cas on obtient $`{}_{}{}^{w_0}\mu (x)\mathrm{sgn}(w_0)`$. Donc $`t_x.f_{w_0,\stackrel{~}{\gamma }}={}_{}{}^{w_0}\mu (x)f_{w_0,\stackrel{~}{\gamma }}`$.

La derni re assertion r sulte du r sultat pr c dent, de la Proposition 2.1, et des propri t s g n rales sur la dualit rappel es en 1.6. ∎

###### Proposition 2.3.

Soient $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$ et $`wW_A`$. Il existe un isomorphisme de $`_B`$-modules

M(γ~)

Mw(γ~),tgvγ~twgvγ~.maps-to𝑀~𝛾

superscript𝑀𝑤~𝛾tensor-productsubscript𝑡𝑔subscript𝑣~𝛾tensor-productsubscript𝑡𝑤𝑔subscript𝑣~𝛾M({\tilde{\gamma}})\mathop{\vbox{\hbox to18.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to18.0pt{\rightarrowfill}}}{}^{{w}}\!{{M({\tilde{\gamma}})}},\quad t_{g}\otimes v_{\tilde{\gamma}}\mapsto t_{wg}\otimes v_{\tilde{\gamma}}.
###### Démonstration.

Considérons l’élément $`t_wv_{\stackrel{~}{\gamma }}`$ de $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$. Puisque $`t_{w^1u}t_wv_{\stackrel{~}{\gamma }}=t_uv_{\stackrel{~}{\gamma }}`$ pour tout $`uW_A`$, cet l’élément engendre le $`_B`$-module $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$. Rappelons (cf. Lemme 1.4) que pour tout $`\eta V_{}`$ on a

$`\mathrm{Int}(w)(\eta )`$ $`=w(\eta )+{\displaystyle \underset{\alpha R(w^1)}{}}<\alpha ^{},w(\eta )>\stackrel{~}{k}_\alpha t_{s_\alpha },`$
ou encore
$`\eta t_w`$ $`=t_ww^1(\eta ){\displaystyle \underset{\alpha R(w^1)}{}}<\alpha ^{},\eta >\stackrel{~}{k}_\alpha t_{s_\alpha w}.`$
Si $`\xi V_{}`$ il vient donc, dans $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$,

$`\xi t_wv_{\stackrel{~}{\gamma }}`$ $`=w(\xi )t_wv_{\stackrel{~}{\gamma }}+{\displaystyle \underset{\alpha R(w^1)}{}}<\alpha ^{},w(\xi )>\stackrel{~}{k}_\alpha t_{s_\alpha w}v_{\stackrel{~}{\gamma }}`$
$`=t_w\xi v_{\stackrel{~}{\gamma }}{\displaystyle \underset{\alpha R(w^1)}{}}<\alpha ^{},w(\xi )>\stackrel{~}{k}_\alpha t_{s_\alpha w}v_{\stackrel{~}{\gamma }}+{\displaystyle \underset{\alpha R(w^1)}{}}<\alpha ^{},w(\xi )>\stackrel{~}{k}_\alpha t_{s_\alpha w}v_{\stackrel{~}{\gamma }}`$
$`=\gamma (\xi )t_wv_{\stackrel{~}{\gamma }}.`$
D’autre part si $`xT`$ on a: $`t_xt_wv_{\stackrel{~}{\gamma }}=t_wt_xv_{\stackrel{~}{\gamma }}=\mu (x)t_wv_{\stackrel{~}{\gamma }}`$. Ainsi $`t_wv_{\stackrel{~}{\gamma }}{}_{}{}^{w}M(\stackrel{~}{\gamma })`$ est de poids $`\stackrel{~}{\gamma }`$. La propri t universelle de $`M(\stackrel{~}{\gamma })`$ fournit un morphisme surjectif de $`M(\stackrel{~}{\gamma })`$ sur le $`_B`$-module $`_Bt_wv_{\stackrel{~}{\gamma }}={}_{}{}^{w}M(\stackrel{~}{\gamma })`$, déterminé par $`1v_{\stackrel{~}{\gamma }}t_wv_{\stackrel{~}{\gamma }}`$; par conséquent $`t_gv_{\stackrel{~}{\gamma }}t_gt_wv_{\stackrel{~}{\gamma }}=t_{wg}v_{\stackrel{~}{\gamma }}`$ pour tout $`gW_A`$. Comme $`dimM(\stackrel{~}{\gamma })=dim{}_{}{}^{w}M(\stackrel{~}{\gamma })`$ ce morphisme est bijectif. ∎

Soient $`_{\mathrm{𝑔𝑟}}(c)=_{\mathrm{𝑔𝑟}}(c,S)`$ une algèbre de Hecke graduée comme au § 1.1 et $`M(\lambda )`$ le $`_{\mathrm{𝑔𝑟}}(c)`$-module de la série principale associé à $`\lambda V_{}^{}`$. Pour tout $`wW`$ on peut tordre $`M(\lambda )`$ par $`\mathrm{Int}(w)\mathrm{Aut}_{}(_{\mathrm{𝑔𝑟}}(c))`$ et obtenir le module $`{}_{}{}^{w}M(\lambda )`$. Avec ces notations, une preuve identique à celle de la proposition précédente donne:

###### Proposition 2.4.

Soient $`\lambda V_{}^{}`$ et $`wW`$. Il existe un isomorphisme de $`_{\mathrm{𝑔𝑟}}(c)`$-modules

M(λ)

Mw(λ),tgvλtwgvλ.maps-to𝑀𝜆

superscript𝑀𝑤𝜆tensor-productsubscript𝑡𝑔subscript𝑣𝜆tensor-productsubscript𝑡𝑤𝑔subscript𝑣𝜆M(\lambda)\mathop{\vbox{\hbox to18.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to18.0pt{\rightarrowfill}}}{}^{{w}}\!{{M(\lambda)}},\quad t_{g}\otimes v_{\lambda}\mapsto t_{wg}\otimes v_{\lambda}.
###### Remarque 2.5.

Rappelons \[6, Proposition 2.8\] que si le $`_{\mathrm{𝑔𝑟}}(c)`$-module $`M(\lambda )`$ est simple, il en est de même de $`M({}_{}{}^{w}\lambda )`$ pour tout $`wW`$. Si $`\lambda ,\gamma V_{}^{}`$ sont quelconques, l’existence d’un isomorphisme $`M(\lambda )M(\gamma )`$ force $`\gamma W.\lambda =\{{}_{}{}^{w}\lambda :wW\}`$ (car $`\gamma `$ est alors un poids de $`M(\lambda )`$). Par conséquent sous l’hypothèse $`M(\lambda )`$ simple, la condition $`M(\lambda )M(\gamma )`$ est équivalente à $`\gamma W.\lambda `$.

## 3. Critère d’irréductibilité

### 3.1. Notations

Pour tout $`\stackrel{~}{\nu }𝒜`$ on désignera par $`\psi :_B\mathrm{End}M(\stackrel{~}{\nu })`$ la représentation $`_B`$ dans $`M(\stackrel{~}{\nu })`$. S’il n’y a pas risque d’ambiguïté, l’action de $`a_B`$ sur $`vM(\stackrel{~}{\nu })`$ sera simplement notée $`a.v=\psi (a)(v)`$. Soit $`\varpi T^{}`$; rappelons que $`W_A(\varpi )`$ est le stabilisateur de $`\varpi `$ dans $`W_A`$. On notera $`_B(\varpi )`$ la sous-algèbre de $`_B`$ engendrée par $`V`$, $`W_A(\varpi )`$ et $`T`$.

On fixe un caractère $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$ et un système de représentants $`\{w_1=\mathrm{id},w_2,..,w_s\}`$ de $`W_A/W_A(\mu )`$.

###### Remarque 3.1.

Les caractères $`{}_{}{}^{w_j}\mu `$, $`j=1,\mathrm{},s`$ sont deux à deux distincts. Par un argument classique il en découle que les formes linéaires $`{}_{}{}^{w_j}\mu (T)^{}`$ sont linéairement indépendantes. On peut ainsi trouver des éléments $`y_iT`$, $`i=1,\mathrm{},s`$, tels que la matrice $`[{}_{}{}^{w_j}\mu (t_{y_i})]_{1i,js}`$ est inversible.

Pour tout $`j\{1,..,s\}`$, on définit un sous-espace vectoriel de $`M(\stackrel{~}{\gamma })`$ par:

$$E_j(\stackrel{~}{\gamma })=\underset{wW_A(\mu )}{}t_{w_j}t_wv_{\stackrel{~}{\gamma }}.$$

Observons que

$$E_1(\stackrel{~}{\gamma })=\underset{wW_A(\mu )}{}t_wv_{\stackrel{~}{\gamma }},E_j(\stackrel{~}{\gamma })=t_{w_j}.E_1(\stackrel{~}{\gamma }).$$

On a $`M(\stackrel{~}{\gamma })=_{j=1}^sE_j(\stackrel{~}{\gamma })`$ et cette décomposition est la décomposition isotypique du $`T`$-module $`M(\stackrel{~}{\gamma })`$: le groupe $`T`$ opère sur $`E_j(\stackrel{~}{\gamma })`$ par le caractère $`{}_{}{}^{w_j}\mu `$.

Soit $`i\{1,\mathrm{},n\}`$ et $`j_1<j_2<\mathrm{}<j_i`$, $`j_{i+1}<\mathrm{}<j_n`$ la partition de $`\{1,..,n\}`$ telle que $`\mu (t_{j_s})=1`$ pour $`s\{1,\mathrm{},i\}`$ et $`\mu (t_{j_s})=1`$ pour $`s\{i+1,\mathrm{},n\}`$. Soit $`\sigma W_A`$ la permutation telle que $`\sigma j_p=p`$ pour $`p\{1,..,n\}`$. Observons que pour $`p<q`$, $`\sigma ^1(\alpha _{p,q})=\alpha _{j_p,j_q}R_A^{}`$ si et seulement si $`j_p>j_q`$, ce qui implique $`1pi<qn`$. Donc $`R(\sigma ^1)`$ est contenu dans $`\{\alpha _{p,q}:1pi<qn\}`$. Par conséquent

(3.1)
$$R(\sigma )=\sigma ^1(R(\sigma ^1))\{\alpha _{j_q,j_p}:1pi<qn\}.$$

On pose

$$\mu _i={}_{}{}^{\sigma }\mu .$$

Alors, $`W_A(\mu _i)`$ est le groupe de Weyl $`W(R_i)`$ associé au système de racines $`R_i`$ de type $`A_{i1}\times A_{ni1}`$, de base $`S_i=\{\alpha _1,\mathrm{},\alpha _{i1},\alpha _{i+1},\mathrm{},\alpha _{n1}\}`$. Donc $`W_A(\mu )=\sigma W_A(\mu _i)\sigma ^1=W_A(\sigma (R_i))`$ admet pour base de racines simples

$$S(\mu )=\{\alpha _{j_1,j_2},\mathrm{},\alpha _{j_{i1},j_i},\alpha _{j_{i+1},j_{i+2}},\mathrm{},\alpha _{j_{n1},j_n}\}.$$

On notera $`\mathrm{}_\mu `$ la longueur sur $`W_A(\mu )`$ associée à $`S(\mu )`$.

### 3.2. Restriction à $`E_1(\stackrel{~}{\gamma })`$

Rappelons (voir 1.6) que si $`M_B\text{-}\mathrm{mod}`$ et $`wW_A`$, $`{}_{}{}^{w}M`$ est le $`_B`$-module tordu par l’action de $`\mathrm{Int}(w)`$.

###### Proposition 3.2.

Soit $`wW_A`$. On suppose que $`\mu (\stackrel{~}{k}_\alpha )=0`$ pour tout $`\alpha R(w^1)`$. Alors l’application $`\varphi :M({}_{}{}^{w^1}\stackrel{~}{\gamma }){}_{}{}^{w}M(\stackrel{~}{\gamma })`$, donnée par $`\varphi (t_gv_{{}_{}{}^{w^1}\stackrel{~}{\gamma }})=t_{wgw^1}v_{\stackrel{~}{\gamma }}`$ pour tout $`gW_A`$, est un isomorphisme de $`_B`$-modules.

###### Démonstration.

Comme l’espace vectoriel $`M(\stackrel{~}{\gamma })={}_{}{}^{w}M(\stackrel{~}{\gamma })`$ admet pour base $`\{t_gv_{\stackrel{~}{\gamma }}=t_{w^1gw}(1v_{\stackrel{~}{\gamma }},gW\}`$, le vecteur $`1v_{\stackrel{~}{\gamma }}`$ engendre $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$. Dans $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$ le groupe $`T`$ agit sur $`1v_{\stackrel{~}{\gamma }}`$ par le caract re $`{}_{}{}^{w^1}\mu `$; de plus, pour tout $`\zeta V`$, il vient en utilisant le Lemme 1.4:

$$\zeta 1v_{\stackrel{~}{\gamma }}=t_w\zeta t_{w^1}.1v_{\stackrel{~}{\gamma }}=\left(w(\zeta )+\underset{\alpha R(w^1)}{}<\alpha ^{},w(\zeta )>t_{s_\alpha }\stackrel{~}{k}_\alpha \right).1v_{\stackrel{~}{\gamma }}={}_{}{}^{w^1}\gamma (\zeta ).1v_{\stackrel{~}{\gamma }}$$

puisque $`\stackrel{~}{k}_\alpha .1v_{\stackrel{~}{\gamma }}=\mu (\stackrel{~}{k}_\alpha ).1v_{\stackrel{~}{\gamma }}=0`$ pour tout $`\alpha R(w^1)`$. Donc $`1v_{\stackrel{~}{\gamma }}`$ est de poids $`{}_{}{}^{w^1}\stackrel{~}{\gamma }`$ dans $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$. Par la propriété universelle de l’induction, il existe un unique $`_B`$-morphisme surjectif $`\varphi `$ de $`M({}_{}{}^{w^1}\stackrel{~}{\gamma })`$ dans $`{}_{}{}^{w}M(\stackrel{~}{\gamma })`$, qui envoie $`1v_{{}_{}{}^{w^1}\stackrel{~}{\gamma }}`$ sur $`1v_{\stackrel{~}{\gamma }}`$. Ces deux modules étant de dimension $`|W_A|`$, $`\varphi `$ est bijectif. Enfin, pour tout $`gW_A`$ on a

$$\varphi (t_gv_{{}_{}{}^{w^1}\stackrel{~}{\gamma }})=\varphi (t_g.(1v_{{}_{}{}^{w^1}\stackrel{~}{\gamma }}))=t_g\varphi (1v_{{}_{}{}^{w^1}\stackrel{~}{\gamma }})=t_{wgw^1}.(1v_{\stackrel{~}{\gamma }})=t_{wgw^1}v_{\stackrel{~}{\gamma }},$$

ce qui démontre la proposition. ∎

###### Corollaire 3.3.

(1) On a $`\mu (\stackrel{~}{k}_\alpha )=0`$ pour tout $`\alpha R(\sigma )`$ et l’application $`\varphi :M({}_{}{}^{\sigma }\stackrel{~}{\gamma }){}_{}{}^{\sigma ^1}M(\stackrel{~}{\gamma })`$ donnée par $`\varphi (t_gv_{{}_{}{}^{\sigma }\stackrel{~}{\gamma }})=t_{\sigma ^1g\sigma }v_{\stackrel{~}{\gamma }}`$, pour tout $`gW_A`$, est un isomorphisme de $`_B`$-modules.

(2) Il existe un isomorphisme

ϕσ:M(γ~σ)

M(γ~):superscriptitalic-ϕ𝜎𝑀superscript~𝛾𝜎

𝑀~𝛾{}^{{\sigma}}\!{{\phi}}:M({}^{{\sigma}}\!{{{\tilde{\gamma}}}})\mathop{\vbox{\hbox to18.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to18.0pt{\rightarrowfill}}}M({\tilde{\gamma}})
tel que $`{}_{}{}^{\sigma }\varphi (t_gv_{{}_{}{}^{\sigma }\stackrel{~}{\gamma }})=t_{g\sigma }v_{\stackrel{~}{\gamma }}`$.

###### Démonstration.

(1) Par (3.1) on sait que toute racine $`\alpha R(\sigma )`$ s’écrit $`\alpha _{j_q,j_p}`$ avec $`1pi<qn`$. Par conséquent $`\mu (\stackrel{~}{k}_\alpha )=1+\mu (t_{j_p})\mu (t_{j_q})=0`$. Il suffit donc d’appliquer la proposition précédente à $`w=\sigma ^1`$.

(2) La Proposition 2.3 fournit un isomorphisme de $`{}_{}{}^{\sigma ^1}M(\stackrel{~}{\gamma })`$ sur $`M(\stackrel{~}{\gamma })`$ qui envoie $`t_uv_{\stackrel{~}{\gamma }}`$ sur $`t_{\sigma u}v_{\stackrel{~}{\gamma }}`$; en le composant avec $`\varphi `$ on obtient l’isomorphisme $`{}_{}{}^{\sigma }\varphi `$ voulu. ∎

Le (2) du Corollaire 3.3 montre que l’étude du module $`M(\stackrel{~}{\gamma })`$ est équivalente à celle de $`M({}_{}{}^{\sigma }\stackrel{~}{\gamma })`$. Nous verrons que $`E_1(\stackrel{~}{\gamma })`$ hérite d’une structure de $`_B(\mu )`$-module déterminant celle de $`M(\stackrel{~}{\gamma })`$ (cf. Proposition 3.10); il est donc naturel de comparer les modules $`E_1(\stackrel{~}{\gamma })`$ et $`E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })`$, ce que nous ferons au Théorème 3.5.

Observons que, puisque $`W_A({}_{}{}^{\sigma }\mu )=\sigma W_A(\mu )\sigma ^1`$, l’application $`\varphi `$ du Corollaire 3.3 donne un isomorphisme d’espaces vectoriels

$$\varphi :E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })E_1(\stackrel{~}{\gamma }).$$

###### Lemme 3.4.

La restriction de $`\psi `$ à $`_B(\mu )`$ munit $`E_1(\stackrel{~}{\gamma })`$ d’une structure de $`_B(\mu )`$-module.

###### Démonstration.

L’espace $`E_1(\stackrel{~}{\gamma })`$ est évidemment stable sous l’action de $`T`$ et de $`W_A(\mu )`$. Il reste donc à montrer qu’il est stable sous l’action de $`V`$; puisque les éléments de $`V`$ et $`T`$ commutent dans $`_B`$, ceci r sulte du fait que $`E_1(\stackrel{~}{\gamma })`$ est la composante isotypique de type $`\mu `$ du $`T`$-module $`M(\stackrel{~}{\gamma })`$. Afin d’expliquer le r le que va jouer l’alg bre de Hecke gradu e $`_{\mathrm{𝑔𝑟}}(\mu _i)`$ au § 3.3 nous donnons ci-dessous une autre preuve de ce fait.

Soient $`\zeta V`$, $`wW_A(\mu )`$, et montrons par récurrence sur $`\mathrm{}_\mu (w)`$ que $`\zeta .t_wv_{\stackrel{~}{\gamma }}E_1(\stackrel{~}{\gamma })`$. En choisissant une décomposition réduite de $`w`$ dans $`W_A(\mu )`$ on peut écrire $`w=s_{j_l,j_{l+1}}u`$ avec $`l\{1,\mathrm{},n\}\{i\}`$ et $`uW_A(\mu )`$ tel que $`\mathrm{}_\mu (u)<\mathrm{}_\mu (w)`$. Par définition des entiers $`j_r`$ on a, pour tout $`j\{j_l+1,\mathrm{},j_{l+1}1\}`$, $`\mu (t_j)=\mu (t_{j_l})=\mu (t_{j_{l+1}})`$. Donc $`\mu (\stackrel{~}{k}_{j_l,j})=\mu (\stackrel{~}{k}_{j,j_{l+1}})=0`$ et $`\mu (\stackrel{~}{k}_{j_l,j_{l+1}})=2k`$. Comme $`\mu (\stackrel{~}{k}_{u^1(i),u^1(j)})={}_{}{}^{u}\mu (\stackrel{~}{k}_{i,j})=\mu (\stackrel{~}{k}_{i,j})`$ et que $`v_{\stackrel{~}{\gamma }}`$ est de poids $`\mu `$, le Lemme 1.4 appliqué à $`s_{p,q}=s_{j_l,j_{l+1}}`$ fournit:

$$\zeta .t_wv_{\stackrel{~}{\gamma }}=t_{s_{p,q}}.(s_{p,q}(\zeta ).t_uv_{\stackrel{~}{\gamma }})2k<\alpha _{p,q}^{},\zeta >t_uv_{\stackrel{~}{\gamma }}.$$

Par récurrence on a $`s_{p,q}(\zeta ).t_uv_{\stackrel{~}{\gamma }}E_1(\stackrel{~}{\gamma })`$, d’où $`\zeta .t_wv_{\stackrel{~}{\gamma }}E_1(\stackrel{~}{\gamma })`$. ∎

En appliquant le Lemme 3.4 avec $`{}_{}{}^{\sigma }\stackrel{~}{\gamma }`$ à la place de $`\stackrel{~}{\gamma }`$, on obtient que $`E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })`$ hérite naturellement (via $`\psi `$) d’une structure de $`_B({}_{}{}^{\sigma }\mu )`$-module. Nous allons maintenant transporter cette structure à $`E_1(\stackrel{~}{\gamma })`$ grâce à l’isomorphisme (d’espaces vectoriels) $`\varphi `$ obtenu ci-dessus.

###### Théorème 3.5.

(1) Il existe un morphisme d’algèbres

$$\rho :_B({}_{}{}^{\sigma }\mu )\mathrm{End}E_1(\stackrel{~}{\gamma })$$

défini par $`\rho (\xi )=\psi (\sigma ^1(\xi ))`$, $`\rho (t_w)=\psi (t_{\sigma ^1w\sigma })`$, pour $`\xi V`$, $`wTW_A({}_{}{}^{\sigma }\mu )`$, qui donne une structure de $`_B({}_{}{}^{\sigma }\mu )`$-module sur l’espace vectoriel $`E_1(\stackrel{~}{\gamma })`$. Pour cette structure, notée $`E_1^\sigma (\stackrel{~}{\gamma })`$, on a un isomorphisme de $`_B({}_{}{}^{\sigma }\mu )`$-modules

φ:E1(γ~σ)

E1σ(γ~):𝜑subscript𝐸1superscript~𝛾𝜎

superscriptsubscript𝐸1𝜎~𝛾\varphi:E_{1}({}^{{\sigma}}\!{{{\tilde{\gamma}}}})\mathop{\vbox{\hbox to15.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to15.0pt{\rightarrowfill}}}E_{1}^{\sigma}({\tilde{\gamma}})
donné par $`\phi (t_gv_{{}_{}{}^{\sigma }\stackrel{~}{\gamma }})=t_{\sigma ^1g\sigma }v_{\stackrel{~}{\gamma }}`$, pour tout $`gW_A({}_{}{}^{\sigma }\mu )`$.

(2) Un sous-espace $`NE_1(\stackrel{~}{\gamma })`$ est un sous-$`_B(\mu )`$-module si et seulement si c’est un sous-$`_B({}_{}{}^{\sigma }\mu )`$-module de $`E_1^\sigma (\stackrel{~}{\gamma })`$.

###### Démonstration.

(1) Nous allons montrer que le morphisme $`\rho `$ cherché n’est autre que $`\psi \mathrm{Int}(\sigma ^1)`$ restreint à $`_B({}_{}{}^{\sigma }\mu )`$. Observons tout d’abord que, par définition, $`\psi (\mathrm{Int}(\sigma ^1)(t_w))=\psi (t_{\sigma ^1w\sigma })\mathrm{End}E_1(\stackrel{~}{\gamma })`$ pour tout $`wTW_A({}_{}{}^{\sigma }\mu )`$. Il suffit donc de vérifier que $`\psi (\mathrm{Int}(\sigma ^1)(\xi ))=\psi (\sigma ^1(\xi ))`$ sur $`E_1(\stackrel{~}{\gamma })`$ pour tout $`\xi V`$. Pour ce faire, calculons $`\psi (\mathrm{Int}(\sigma ^1)(\xi ))=\psi (t_\sigma ^1\xi t_\sigma )`$ sur un élement $`vE_1(\stackrel{~}{\gamma })`$. Comme dans la preuve de la Proposition 3.2 on obtient:

$$t_\sigma ^1\zeta t_\sigma .v=\left(\sigma ^1(\zeta )+\underset{\alpha R(\sigma )}{}<\alpha ^{},\sigma ^1(\zeta )>t_{s_\alpha }\stackrel{~}{k}_\alpha \right).v=\sigma ^1(\zeta ).v$$

puisque $`\stackrel{~}{k}_\alpha .v=\mu (\stackrel{~}{k}_\alpha ).v=0`$ pour tout $`\alpha R(\sigma )`$ par le Corollaire 3.3 (on rappelle que $`T`$ opère par $`\mu `$ sur $`E_1(\stackrel{~}{\gamma })`$).

Il est clair que $`\phi `$ est la bijection linéaire $`\varphi :E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })E_1(\stackrel{~}{\gamma })`$ précédente. Il reste alors à vérifier que $`\varphi (a.y)=\rho (a)(\varphi (y))`$ pour tous $`a_B({}_{}{}^{\sigma }\mu ),yE_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })`$. Mais, par le Corollaire 3.3, on a $`\varphi (a.y)=a\varphi (y)=\psi (\mathrm{Int}(\sigma ^1)(a))(y)=\rho (a)(y)`$.

(2) Observons que $`N`$ est un sous-$`_B(\mu )`$-module de $`E_1(\stackrel{~}{\gamma })`$ si, et seulement si, $`\{\xi .NN,t_w.NN\}`$ pour tous $`\xi V`$, $`wTW_A(\mu )`$. Ceci équivaut à $`\{\sigma ^1(\xi ).NN,t_{\sigma ^1(\sigma w\sigma ^1)\sigma }.NN\}`$. Compte tenu de (1), cette condition s’écrit encore $`\{\rho (\xi )(N)N,\rho (t_w^{})(N)N\}`$ pour tous $`\xi V`$, $`w^{}TW_A({}_{}{}^{\sigma }\mu )`$ (puisque $`TW_A({}_{}{}^{\sigma }\mu )=\sigma (TW_A(\mu ))\sigma ^1`$), ce qui signifie que $`N`$ est un sous-$`_B({}_{}{}^{\sigma }\mu )`$-module de $`E_1^\sigma (\stackrel{~}{\gamma })`$. ∎

###### Corollaire 3.6.

On adopte les notations de 1.6 et du Théorème 3.5. Alors:

$$_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))_{_B({}_{}{}^{\sigma }\mu )}(E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma })),\mathrm{lg}_{_B(\mu )}E_1(\stackrel{~}{\gamma })=\mathrm{lg}_{_B({}_{}{}^{\sigma }\mu )}E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma }).$$

###### Démonstration.

Par le (2) du Théorème 3.5 on sait que $`_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))=_{_B({}_{}{}^{\sigma }\mu )}(E_1^\sigma (\stackrel{~}{\gamma }))`$, et par le (1) du même théorème on obtient $`_{_B({}_{}{}^{\sigma }\mu )}(E_1({}_{}{}^{\sigma }\stackrel{~}{\gamma }))_{_B({}_{}{}^{\sigma }\mu )}(E_1^\sigma (\stackrel{~}{\gamma }))`$. D’où le corollaire. ∎

### 3.3. Cas $`\mu =\mu _i`$

On suppose dans cette section que $`\stackrel{~}{\nu }𝒜`$ est de la forme $`\nu \mu _i`$. On note $`_{\mathrm{𝑔𝑟}}(\mu _i)`$ l’algèbre de Hecke graduée associée au système de racines $`R_i`$ de $`V`$ et à la multiplicité $`c=2k`$. Pour $`\nu V_{}^{}`$, $`M_i(\nu )`$ désignera le module de la série principale sur $`_{\mathrm{𝑔𝑟}}(\mu _i)`$ associé à $`\nu `$ (noté $`M(\nu )`$ en 1.1).

Soit $`I=\mathrm{Ker}(\mu _i)`$ l’idéal de $`T`$ engendré par les $`x\mu _i(x)`$, $`xT`$. Comme les éléments de $`V`$ commutent à ceux de $`T`$, l’idéal à gauche $`_B(\mu _i)I`$ est bilatère; on peut donc définir l’algèbre quotient

$$\overline{_B(\mu _i)}=_B(\mu _i)_T(T/I)=_B(\mu _i)/_B(\mu _i)I.$$

Le groupe $`W_A(\mu _i)`$ tant engendr par les r flexions simples $`s_{\alpha _p}`$, $`\alpha _pS_i`$, il r sulte de (1.1) et de (PBW3) que $`_B(\mu _i)=S(V_{})W_A(\mu _i)T`$. Puisque $`T/I`$ est un $`T`$-module de dimension $`1`$ (de caractère $`\mu _i`$), on a un isomorphisme de $`S(V_{})`$-modules $`\overline{_B(\mu _i)}S(V_{})W_A(\mu _i)`$.

Remarquons que pour tout $`ji`$ on a $`\mu _i(t_j)=\mu _i(t_{j+1})`$, donc $`\mu _i(\stackrel{~}{k}_j)=2k`$. Les relations de définition de $`_B`$ appliquées aux $`\alpha _jS_i`$ fournissent alors dans $`\overline{_B(\mu _i)}`$:

$$t_{s_{\alpha _j}}\zeta =s_{\alpha _j}(\zeta )t_{s_{\alpha _j}}2k<\alpha _j^{},\zeta >,$$

pour tout $`\zeta V`$. Ces relations coïncident avec celles définissant l’algèbre de Hecke graduée $`_{\mathrm{𝑔𝑟}}(\mu _i)`$. On en déduit un morphisme surjectif d’algèbres

$$F:_{\mathrm{𝑔𝑟}}(\mu _i)\overline{_B(\mu _i)}$$

défini par $`F(\zeta )=\zeta (mod_B(\mu _i)I)`$ et $`F(t_w)=t_w(mod_B(\mu _i)I)`$ pour $`\zeta V`$, $`wW_A(\mu _i)`$. Puisque $`_{\mathrm{𝑔𝑟}}(\mu _i)`$ et $`\overline{_B(\mu _i)}`$ sont isomorphes à $`S(V_{})W_A(\mu _i)`$ comme $`S(V_{})`$-modules, $`F`$ est un isomorphisme.

Observons que pour tout $`\stackrel{~}{\nu }=\nu \mu _i𝒜`$, $`T`$ opère sur le $`_B(\mu _i)`$-module $`E_1(\stackrel{~}{\nu })`$ par le caractère $`\mu _i`$, donc $`E_1(\stackrel{~}{\nu })`$ peut être considéré comme un $`\overline{_B(\mu _i)}`$-module.

###### Lemme 3.7.

L’application $`f:M_i(\nu )E_1(\stackrel{~}{\nu })`$ définie par $`f(t_wv_\nu )=t_wv_{\stackrel{~}{\nu }}`$ est un isomorphisme qui entrelace, via $`F`$, les actions de $`_{\mathrm{𝑔𝑟}}(\mu _i)`$ et $`\overline{_B(\mu _i)}`$.

###### Démonstration.

Grâce à l’isomorphisme $`F`$, $`E_1(\stackrel{~}{\nu })`$ hérite d’une structure de $`_{\mathrm{𝑔𝑟}}(\mu _i)`$-module pour laquelle il est engendré par le vecteur $`1v_{\stackrel{~}{\nu }}`$, qui est de poids $`\nu `$ sous l’action de $`S(V_{})`$. La propriété universelle de $`M_i(\nu )`$ assure donc l’existence et la surjectivité de l’opérateur d’entrelacement $`f`$. Comme $`E_1(\stackrel{~}{\nu })`$ et $`M_i(\nu )`$ sont de dimension $`|W_A(\mu _i)|`$, $`f`$ est bijective. ∎

On peut ainsi identifier le $`_{\mathrm{𝑔𝑟}}(\mu _i)`$-module $`M_i(\nu )`$ et le $`_B(\mu _i)`$-module $`E_1(\stackrel{~}{\nu })`$, il en résulte en particulier que:

(3.2)
$$_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i(\nu ))_{_B(\mu _i)}(E_1(\stackrel{~}{\nu })),\mathrm{lg}_{_{\mathrm{𝑔𝑟}}(\mu _i)}M_i(\nu )=\mathrm{lg}_{_B(\mu _i)}E_1(\stackrel{~}{\nu }).$$

### 3.4. Critère d’irréductibilité

Rappelons que $`\sigma `$ est tel que $`{}_{}{}^{\sigma }\mu =\mu _i`$. Donc en appliquant (3.2) à $`\stackrel{~}{\nu }={}_{}{}^{\sigma }\stackrel{~}{\gamma }={}_{}{}^{\sigma }\gamma \mu _i`$ et en utilisant le Corollaire 3.6 on obtient:

###### Proposition 3.8.

Mêmes notations. On a

$$_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i({}_{}{}^{\sigma }\gamma )),\mathrm{lg}_{_B(\mu )}E_1(\stackrel{~}{\gamma })=\mathrm{lg}_{_{\mathrm{𝑔𝑟}}(\mu _i)}M_i({}_{}{}^{\sigma }\gamma ).$$

En particulier, $`E_1(\stackrel{~}{\gamma })`$ est un $`_B(\mu )`$-module simple si et seulement si $`M_i({}_{}{}^{\sigma }\gamma )`$ est un $`_{\mathrm{𝑔𝑟}}(\mu _i)`$-module simple.

Rappelons que $`𝒮_R(M)`$ d signe la suite des sous-quotients simples d’un $`MR\text{-}\mathrm{mod}`$, cf. 1.6, et que par \[6, Proposition2.8(c)\]:

$$𝒮_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i({}_{}{}^{\sigma }\gamma ))=𝒮_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i({}_{}{}^{x\sigma }\gamma ))$$

pour tout $`xW_A(\mu _i)`$.

###### Corollaire 3.9.

Soit $`wW_A`$. Alors:

* il existe une bijection $`f:𝒮_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))𝒮_{_B({}_{}{}^{w}\mu )}(E_1({}_{}{}^{w}\stackrel{~}{\gamma }))`$ telle que $`dimf(Y)=dimY`$ pour tout $`Y𝒮_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))`$;
* $`E_1(\stackrel{~}{\gamma })`$ est un $`_B(\mu )`$-module simple si et seulement si $`E_1({}_{}{}^{w}\stackrel{~}{\gamma })`$ est un $`_B({}_{}{}^{w}\mu )`$-module simple.

###### Démonstration.

Il existe $`\varsigma W_A`$ tel que $`{}_{}{}^{\varsigma w}\mu =\mu _i`$ et l’on peut crire $`\varsigma w=x\sigma `$ pour un $`xW_A(\mu _i)`$. Par la Proposition 3.8 on sait que $`_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i({}_{}{}^{\sigma }\gamma ))`$ et $`_{_B({}_{}{}^{w}\mu )}(E_1({}_{}{}^{w}\stackrel{~}{\gamma }))_{_{\mathrm{𝑔𝑟}}(\mu _i)}(M_i({}_{}{}^{\varsigma w}\gamma ))`$, l’existence de $`f`$ d coule donc du rappel pr c dent. La deuxi me assertion est alors vidente. ∎

Nous allons maintenant montrer que les treillis ordonn s $`__B(M(\stackrel{~}{\gamma }))`$ et $`_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))`$ sont isomorphes. Remarquons tout d’abord que (PBW3) et $`W_A(\mu )TS(V_{})_B(\mu )`$ impliquent

$$_B=W_ATS(V_{})=\left(\underset{j=1}{\overset{s}{}}t_{w_j}W_A(\mu )\right)TS(V_{})\underset{j=1}{\overset{s}{}}t_{w_j}_B(\mu ).$$

D’o :

(3.3)
$$_B=\underset{j=1}{\overset{s}{}}t_{w_j}_B(\mu ).$$

###### Proposition 3.10.

Le module $`M(\stackrel{~}{\gamma })`$ s’identifie $`_B_{_B(\mu )}E_1(\stackrel{~}{\gamma })`$. Les applications $`Y_B_{_B(\mu )}Y`$ et $`XXE_1(\stackrel{~}{\gamma })`$ sont des bijections r ciproques de $`_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))`$ sur $`__B(M(\stackrel{~}{\gamma }))`$. On a en particulier:

$$\mathrm{lg}__BM(\stackrel{~}{\gamma })=\mathrm{lg}_{_B(\mu )}E_1(\stackrel{~}{\gamma }).$$

###### Démonstration.

Soit $`Y`$ un sous-$`_B(\mu )`$-module de $`E_1(\stackrel{~}{\gamma })`$. Puisque $`M(\stackrel{~}{\gamma })=_{j=1}^st_{w_j}.E_1(\stackrel{~}{\gamma })`$, l’ quation (3.3) entra ne que le sous-module de $`M(\stackrel{~}{\gamma })`$ engendr par $`Y`$ est (comme sous-espace vectoriel) gal

$$_B.Y=\underset{j=1}{\overset{s}{}}t_{w_j}_B(\mu ).Y=\underset{j=1}{\overset{s}{}}t_{w_j}.Y=\underset{j=1}{\overset{s}{}}t_{w_j}.Y.$$

Il en r sulte que l’application surjective canonique

$$\pi :_B_{_B(\mu )}Y_B.Y,\pi (ay)=a.y,$$

est un isomorphisme. En effet, supposons $`u=_{l=1}^pa_lu_l\mathrm{Ker}\pi `$. Écrivons $`a_l=_{j=1}^st_{w_j}a_{jl}`$ avec $`a_{jl}_B(\mu )`$. Il vient $`\pi (u)=_{j,l}t_{w_j}a_{jl}.u_l=_{j=1}^st_{w_j}.(_{l=1}^pa_{jl}.u_l)=0`$ avec $`_{l=1}^pa_{jl}.u_lY`$. Donc $`_{l=1}^pa_{jl}.u_l=0`$ pour tout $`j`$ et

$$u=_{j,l}t_{w_j}a_{jl}.u_l=_jt_{w_j}(_la_{jl}.u_l)=0.$$

Nous pouvons ainsi identifier $`_B_{_B(\mu )}Y`$ et $`_B.Y`$. Le foncteur $`Y_B_{_B(\mu )}Y`$ fournit donc une application injective (qui pr serve les inclusions) de $`_{_B(\mu )}(E_1(\stackrel{~}{\gamma }))`$ dans $`__B(M(\stackrel{~}{\gamma }))`$. Pour démontrer la proposition il nous reste à voir que tout sous-module $`X`$ de $`M(\stackrel{~}{\gamma })`$ est de la forme $`_B_{_B(\mu )}(XE_1(\stackrel{~}{\gamma }))`$. Soit $`xX`$, que l’on crit $`x=_{j=1}^st_{w_j}.x_j`$ avec $`x_jE_1(\stackrel{~}{\gamma })`$ pour tout $`j`$. Par la Remarque 3.1 il existe des $`y_iT`$ tels que la matrice $`[{}_{}{}^{w_j}\mu (t_{y_i})]_{i,j}`$ est inversible. Puisque $`T`$ op re sur $`t_{w_j}.x_j`$ par le caract re $`{}_{}{}^{w_j}\mu `$, en appliquant les $`t_{y_i}`$ $`x`$ on obtient que $`t_{w_j}.x_jT.xX`$ pour tout $`j`$. Il en r sulte que $`x_jXE_1(\stackrel{~}{\gamma })`$ et donc $`X=_{j=1}^st_{w_j}.(XE_1(\stackrel{~}{\gamma }))`$, comme voulu. ∎

Observons que la proposition pr c dente assure que $`M(\stackrel{~}{\gamma })`$ est simple si et seulement si $`E_1(\stackrel{~}{\gamma })`$ l’est. Nous pouvons maintenant en d duire un crit re d’irr ductibilit pour les modules $`M(\stackrel{~}{\gamma })`$. Rappelons que $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$ et que $`\sigma W_A`$ est a t introduit en 3.1 de sorte que $`\mu _i={}_{}{}^{\sigma }\mu `$. Comme dans \[6, Theorem 2.10\] on pose pour tout $`\nu V_{}^{}`$:

$$P_i(\nu )=\{\alpha R_i^+:\nu (\alpha )=\pm 2k\}.$$

###### Théorème 3.11.

Les assertions suivantes sont quivalentes:

1. $`M(\stackrel{~}{\gamma })`$ est un $`_B`$-module simple;
2. $`M({}_{}{}^{w}\stackrel{~}{\gamma })`$ est un $`_B`$-module simple pour tout $`wW_A`$;
3. $`P_i({}_{}{}^{\sigma }\gamma )=\mathrm{}`$.

###### Démonstration.

Par \[6, Theorem 2.10\] on sait que le $`_{\mathrm{𝑔𝑟}}(\mu _i)`$-module $`M_i({}_{}{}^{\sigma }\gamma )`$ est simple si et seulement si $`P_i({}_{}{}^{\sigma }\gamma )=\mathrm{}`$. Le théorème découle donc de la combinaison de la Proposition 3.8, du Corollaire 3.9 et de la Proposition 3.10 (appliquée à $`\stackrel{~}{\gamma }`$ et $`{}_{}{}^{w}\stackrel{~}{\gamma }`$). ∎

## 4. Application un syst me de racines de type $`D_n`$

On définit dans cette section une sous-algèbre $`_D`$ de $`_B`$ dont l’étude des représentations se déduit du travail précédent. Elle peut se réaliser dans l’algèbre de Cherednik rationnelle de type $`D_n`$: cette sous-algèbre est isomorphe l’algèbre $`𝔻`$ de l’introduction pour un système de racines de type $`D_n`$.

### 4.1. L’alg bre $`_D`$

Rappelons que le syst me de racines $`R_B`$ contient le syst me de racines $`R_D`$ suivant, de type $`D_n`$ et de base $`S_D=\{\alpha _i=ϵ_iϵ_{i+1}\mathrm{,1}in1;ϵ_{n1}+ϵ_n\}`$:

$$R_D=\{\pm ϵ_i\pm ϵ_j:1i,jn\}R_D^+=\{ϵ_i\pm ϵ_j:1i<jn\}.$$

Le groupe de Weyl $`W_D`$ associ est gal $`UW_A`$, o $`U`$ est le sous-groupe de $`T`$ engendr par les $`s_{ϵ_i}s_{ϵ_{i+1}}`$ pour $`1in1`$. Observons que, puisque $`k0`$, on a $`U=[\stackrel{~}{k}_{\alpha _i}:1in1]`$. Rappelons que l’automorphisme $`\delta `$ envoie $`t_i`$ sur $`t_i`$; on a donc aussi $`U=(T)^\delta =\{aT:\delta (a)=a\}`$. (Dans toute la suite on notera $`()^\delta `$ l’espace des $`\delta `$-invariants.)

On pose

$$_D=_B^\delta =\{h_B:\delta (h)=h\}.$$

Comme $`_B=S(V_{})W_AT`$ (par (PBW3)) et que $`\delta `$ est l’identit sur $`S(V_{})`$ et $`W_A`$ on a

(PBW4)
$$_D=S(V_{})W_AU.$$

D’autre part les relations (a), (b), (c) et l’ quation (1.1) du § 1.2 montrent que

$$_D=\xi V;wW_D=\xi V;t_{s_{\alpha _i}},i=1,\mathrm{},n1.$$

Le calcul du centre de $`_D`$ r sulte de celui de $`Z(_B)`$ fait au § 1.5, dont on adopte les notations.

###### Théorème 4.1.

On a: $`Z(_D)=S(V_{})^{W_A}(U)^{W_A}=_{i=0}^{[\frac{n}{2}]}S(V_{})^{W_A}\vartheta _{2i}`$.

###### Démonstration.

Observons tout d’abord que $`\delta (\vartheta _j)=(1)^j\vartheta _j`$, donc

$$(U)^{W_A}=U(T)^{W_A}=(T)^\delta (T)^{W_A}=_{i=0}^{[\frac{n}{2}]}\vartheta _{2i}.$$

Soit $`cZ(_D)`$, c’est dire $`c_D`$ et $`[c,V]=[t_{s_{\alpha _i}},c]=0`$ pour $`i=1,\mathrm{},n1`$. Par le Lemme 1.6 la condition $`[c,V]=0`$ quivaut $`c(S(V_{})T)^\delta =S(V_{})U`$. La preuve du Th or me 1.7 montre alors que $`cZ(_D)`$ si et seulement si $`cZ(_B)^\delta =\left(_{j=0}^nS(V_{})^{W_A}\vartheta _j\right)^\delta =_{i=0}^{[\frac{n}{2}]}S(V_{})^{W_A}\vartheta _{2i}`$. ∎

### 4.2. R alisation dans l’alg bre de Cherednik

Rappelons (Th or me 1.3) l’existence de l’isomorphisme $`\mathrm{\Phi }:_B𝔻_B`$ tel que $`\mathrm{\Phi }(ϵ_j)=D_j=D_j^B`$ et $`\mathrm{\Phi }(w)=w`$ pour $`wW_B`$. Par restriction $`\mathrm{\Phi }`$ induit donc un isomorphisme de $`_D`$ sur la sous-alg bre

$$𝔻_D=D_1^B,\mathrm{},D_n^B;wW_D=D_1^B,\mathrm{},D_n^B;wW_A.$$

On peut ainsi r aliser $`𝔻_D`$ comme sous-alg bre de l’alg bre de Cherednik $`_B(\overline{k})`$ de type $`B_n`$, o $`\overline{k}=(k,k_c)`$ comme au § 1.3. Notons que les relations de définition de $`_B`$ ne font intervenir la multiplicité $`\overline{k}`$ que par sa valeur $`k`$ sur les racines longues. Ceci permet de r aliser $`_D`$ comme sous-alg bre de l’alg bre de Cherednik rationnelle $`_D(k)`$ de type $`D_n`$. En effet, choisissons pour multiplicit $`\overline{k}_0=(k\mathrm{,0})`$ (i.e. $`\overline{k}`$ nulle sur les racines courtes). L’op rateur de Dunkl $`T_y^B(\overline{k}_0)`$, pour $`y𝔞`$, est alors

$$T_y^D(k)=_y+\frac{k}{2}_{\alpha R_D}\frac{<\alpha ,y>}{\alpha }(1t_{s_\alpha }),$$

qui est gal l’op rateur de Dunkl d fini par $`y`$ pour le type $`D_n`$. L’alg bre de Cherednik $`_D(k)`$ tant engendr e, dans $`\mathrm{End}_{}S(𝔞^{})`$, par les $`T_y^D(k)`$, $`y𝔞`$, $`x𝔞^{}`$ et $`t_w`$, $`wW_D`$, s’identifie donc une sous-alg bre de $`_B(\overline{k}_0)`$. Il est clair que l’image $`\mathrm{\Phi }(_D)`$ de l’isomorphisme pr c dent est alors contenue dans $`_D(k)`$ et coïncide avec la sous-alg bre $`𝔻`$ d finie dans l’introduction.

### 4.3. Modules de la série principale

Notons $`\mu \overline{\mu }`$ le morphisme (surjectif) de restriction entre les groupes de caract res $`T^{}`$ et $`U^{}`$. Les ant c dents de $`\overline{\mu }U^{}`$ sont donc $`\mu `$ et $`\mu =\mathrm{sgn}\mu `$. On d signe par $`W_A(\overline{\mu })=\{wW_A:{}_{}{}^{w}\overline{\mu }=\overline{\mu }\}`$ le stabilisateur de $`\overline{\mu }`$ dans $`W_A`$. Remarquons que $`{}_{}{}^{w}\overline{\mu }=\overline{{}_{}{}^{w}\mu }`$ pour tout $`wW`$ et que $`W_A(\mu )W_A(\overline{\mu })`$. On d finit deux sous-alg bres de $`_D`$ par

$$_D(\overline{\mu })=V,W_A(\overline{\mu }),U_D(\mu )=V,W_A(\mu ),U.$$

Observons que le noyau $`\overline{I}`$ du caract re $`\overline{\mu }`$ engendre un id al bilat re de $`_D(\overline{\mu })`$ et que l’on peut ainsi d finir les alg bres quotients

$$\overline{_D(\overline{\mu })}=_D(\overline{\mu })/_D(\overline{\mu })\overline{I},\overline{_D(\mu )}=_D(\mu )/_D(\mu )\overline{I}.$$

Fixons $`\mu T^{}`$ et $`\sigma W_A`$ tel que $`{}_{}{}^{\sigma }\mu =\mu _i`$ comme au § 3.1. On a donc $`W_A(\mu _i)=\sigma W_A(\mu )\sigma ^1`$ et $`W_A(\overline{\mu }_i)=\sigma W_A(\overline{\mu })\sigma ^1`$. Rappelons que $`W_A(\mu _i)`$ est le groupe de Weyl associé au système de racines $`R_i`$ de type $`A_{i1}\times A_{ni1}`$ de base $`S_i=\{\alpha _1,\mathrm{},\alpha _{i1},\alpha _{i+1},\mathrm{},\alpha _{n1}\}`$.

###### Lemme 4.2.

(1) On a $`W_A(\mu )W_A(\overline{\mu })`$ si et seulement si $`n=2m`$ et $`{}_{}{}^{\sigma }\mu =\mu _m`$. Dans ce cas $`W_A(\overline{\mu }_m)=W_A(\mu _m)w_0`$ o $`w_0`$ est l’ l ment le plus long de $`W_A`$.

(2) L’application $`F:_{\mathrm{𝑔𝑟}}(\mu _i)\overline{_D(\mu _i)}`$ définie par $`F(\zeta )=\zeta (mod_D(\mu _i)\overline{I})`$ et $`F(t_w)=t_w(mod_D(\mu _i)\overline{I})`$ pour $`\zeta V`$, $`wW_A(\mu _i)`$ est un isomorphisme d’alg bres. On a en particulier:

$$\overline{_D(\mu _i)}\overline{_B(\mu _i)}_{\mathrm{𝑔𝑟}}(\mu _i).$$

###### Démonstration.

(1) On a vu que $`W_A(\mu )W_A(\overline{\mu })`$ quivaut $`W_A(\mu _i)W_A(\overline{\mu }_i)`$. Soit $`wW_A(\overline{\mu }_i)W_A(\mu _i)`$, c’est dire $`{}_{}{}^{w}\mu _{i}^{}=\mu _i`$. De $`{}_{}{}^{w}\mu _{i}^{}(t_j)=\mu _i(t_{w^1j})=\mu (t_j)`$ pour tout $`j`$ on tire que $`_j\mu _i(t_j)=_j\mu _i(t_{w^1j})=_j\mu _i(t_j)`$ et donc $`_j\mu _i(t_j)=0`$. Cette condition signifie clairement que $`n=2m`$ et $`i=m`$. Inversement si cette condition est v rifi e l’ l ment $`w_0`$, qui envoie $`t_j`$ sur $`t_{n+1j}`$, v rifie $`{}_{}{}^{w}\mu _{m}^{}=\mu _m`$ et par cons quent $`w_0W_A(\overline{\mu }_m)W_A(\mu _m)`$. L’ galit $`W_A(\overline{\mu }_m)=W_A(\mu _m)w_0`$ est alors triviale.

(2) On proc de comme au § 3.3. On observe que le groupe $`W_A(\mu _i)`$ est engendr par les r flexions simples $`s_{\alpha _p}`$, $`\alpha _pS_i`$, et que par (PBW4) il en r sulte $`_D(\mu _i)=S(V_{})W_A(\mu _i)U`$. Puisque $`U/\overline{I}`$ est de dimension $`1`$ on a un isomorphisme de $`S(V_{})`$-modules $`\overline{_D(\mu _i)}S(V_{})W_A(\mu _i)`$. D’autre part, les relations de définition de $`_D`$ appliquées aux $`\alpha _jS_i`$ tant les m mes que celles d finissant $`_{\mathrm{𝑔𝑟}}(\mu _i)`$, l’application $`F`$ est bien d finie et est un isomorphisme. Le dernier isomorphisme a été vu au § 3.3. ∎

Notons $`\overline{𝒜}=\{\gamma \overline{\nu }:\gamma V_{}^{},\overline{\nu }U^{}\}`$ l’ensemble des morphismes d’algèbres de $`S(V_{})U`$ vers $``$. Un l ment $`wW_A`$ op re sur $`\overline{𝒜}`$ par $`{}_{}{}^{w}(\gamma \overline{\nu })={}_{}{}^{w}\gamma {}_{}{}^{w}\overline{\nu }`$. Pour un $`_D`$-module de dimension finie $`M`$ on définit de même qu’au § 2.1 les sous-espaces poids et sous-espaces poids généralisés associés à un élément de $`\overline{𝒜}`$. Comme $`S(V_{})U`$ est une sous-algèbre commutative de $`_D`$, $`M`$ est somme directe de ses sous-espaces poids généralisés.

Fixons $`\overline{\gamma }=\gamma \overline{\mu }\overline{𝒜}`$ et définissons maintenant le $`_D`$-module de la série principale $`N(\overline{\gamma })`$ associé. Si $`v_{\overline{\gamma }}`$ est le $`S(V_{})U`$-module de dimension $`1`$ d fini par $`\overline{\gamma }`$, on induit ce module $`_D`$:

$$N(\overline{\gamma })=_D_{S(V_{})U}v_{\overline{\gamma }}.$$

Ce module admet pour base $`\{t_wv_{\overline{\gamma }}:wW_A\}`$, ordonnée comme précédemment. Dans cette base les l ments de $`V_{}U`$ admettent une matrice triangulaire supérieure et les poids de $`N(\overline{\gamma })`$ sont donc les $`{}_{}{}^{w}\overline{\gamma }`$, $`wW_A\}`$. On notera encore $`\psi :_D\mathrm{End}_{}N(\overline{\gamma })`$ la représentation définie par $`N(\overline{\gamma })`$.

L’étude des $`_D`$-modules simples se ramène à l’étude des $`_D`$-modules de la série principale car on montre de même que pour $`_B`$:

###### Proposition 4.3.

Soit $`M`$ un $`_D`$-module simple et $`\overline{\gamma }\overline{𝒜}`$ un poids de $`M`$. Alors $`M`$ est quotient de $`N(\overline{\gamma })`$. En particulier tout $`_D`$-module simple est de dimension au plus $`|W_A|`$.

Posons $`\stackrel{~}{\gamma }=\gamma \mu 𝒜`$. Similairement ce qui a t fait pour $`M(\stackrel{~}{\gamma })`$ on peut décomposer $`N(\overline{\gamma })`$ en composantes isotypiques sous l’action de $`U`$. Soient $`w_1=\mathrm{id},\mathrm{},w_r`$ des représentants des classes à gauche de $`W_A`$ modulo $`W_A(\overline{\mu })`$; posons

$$F_j(\overline{\gamma })=\underset{wW_A(\overline{\mu })}{}t_{w_jw}v_{\overline{\gamma }}.$$

On a alors

$$N(\overline{\gamma })=\underset{j=1}{\overset{r}{}}F_j(\overline{\gamma }),F_j(\overline{\gamma })=t_{w_j}.F_1(\overline{\gamma }),$$

et le groupe $`U`$ opère sur $`F_j(\overline{\gamma })`$ par le caractère $`{}_{}{}^{w_j}\overline{\mu }`$. Observons aussi que les $`{}_{}{}^{w_j}\overline{\mu }`$, $`j=1,\mathrm{},r`$, forment une famille libre dans le dual $`(U)^{}`$ (de même que les $`{}_{}{}^{w_j}\mu (T)^{}`$ de la Remarque 3.1). Puisque les éléments de $`S(V_{})`$ et $`U`$ commutent on obtient comme pour $`E_1(\stackrel{~}{\gamma })`$ (voir Lemme 3.4):

###### Lemme 4.4.

La restriction de $`\psi `$ à $`_D(\overline{\mu })`$ munit $`F_1(\overline{\gamma })`$ d’une structure de $`_D(\overline{\mu })`$-module.

Comme $`_D_B`$, le $`_B`$-module $`M(\stackrel{~}{\gamma })`$ est muni par restriction d’une structure de $`_D`$-module.

###### Proposition 4.5.

(1) Le $`_D`$-module $`M(\stackrel{~}{\gamma })`$ s’identifie à $`N(\overline{\gamma })`$ par $`t_wv_{\stackrel{~}{\gamma }}t_wv_{\overline{\gamma }}`$.

(2) Soit $`wW_A`$; les $`_D`$-modules $`N(\overline{\gamma })`$ et $`{}_{}{}^{w}N(\overline{\gamma })`$ sont isomorphes.

(3) Il existe un isomorphisme

ϕσ:N(γ¯σ)

N(γ¯):superscriptitalic-ϕ𝜎𝑁superscript¯𝛾𝜎

𝑁¯𝛾{}^{{\sigma}}\!{{\phi}}:N({}^{{\sigma}}\!{{{\bar{\gamma}}}})\mathop{\vbox{\hbox to18.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to18.0pt{\rightarrowfill}}}N({\bar{\gamma}})
tel que $`{}_{}{}^{\sigma }\varphi (t_gv_{{}_{}{}^{\sigma }\overline{\gamma }})=t_{g\sigma }v_{\overline{\gamma }}`$.

(4) Le module $`N(\overline{\gamma })`$ s’identifie $`_D_{_B(\overline{\mu })}F_1(\overline{\gamma })`$. Les applications $`Y_D_{_D(\overline{\mu })}Y`$ et $`XXF_1(\overline{\gamma })`$ sont des bijections r ciproques de $`_{_D(\overline{\mu })}(F_1(\overline{\gamma }))`$ sur $`__D(N(\overline{\gamma }))`$.

(5) Le $`_D`$-module $`N(\overline{\gamma })`$ est simple si et seulement si le $`_D(\overline{\mu }_i)`$-module $`F_1({}_{}{}^{\sigma }\overline{\gamma })`$ l’est.

###### Démonstration.

(1) De $`M(\stackrel{~}{\gamma })=_{wW_A}t_wv_{\stackrel{~}{\gamma }}`$ on tire que $`1v_{\stackrel{~}{\gamma }}`$ engendre $`M(\stackrel{~}{\gamma })`$ comme $`_D`$-module. D’autre part $`T`$ opérant sur $`1v_{\stackrel{~}{\gamma }}`$ via le caractère $`\mu `$, le groupe $`U`$ agit sur cet élément via $`\overline{\mu }`$. Donc $`1v_{\stackrel{~}{\gamma }}`$ est de poids $`\overline{\gamma }`$ dans le $`_D`$-module $`M(\stackrel{~}{\gamma })`$. La propriété universelle de l’induction et le fait que $`dimM(\stackrel{~}{\gamma })=dimN(\overline{\gamma })`$ assurent alors de l’existence d’un isomorphisme de $`N(\overline{\gamma })`$ sur $`M(\stackrel{~}{\gamma })`$ tel que $`t_wv_{\overline{\gamma }}t_wt_{\stackrel{~}{\gamma }}`$ pour tout $`wW_A`$.

(2) Il suffit d’appliquer la Proposition 2.3 en utilisant l’isomorphisme décrit en (1).

(3) résulte de (1) et du Corollaire 3.3.

(4) La preuve est la même que celle de la Proposition 3.10 en remplaçant $`_B`$ par $`_D`$, $`T`$ par $`U`$, $`W_A(\mu )`$ par $`W_A(\overline{\mu })`$ et en utilisant l’indépendance linéaire des $`{}_{}{}^{w_j}\overline{\mu }`$, $`j=1,\mathrm{},r`$.

(5) découle de (3) et (4). ∎

Remarquons que $`F_1(\overline{\gamma })=_{wW_A(\overline{\mu })}t_wv_{\overline{\gamma }}`$ est un $`\overline{_D(\overline{\mu })}`$-module contenant le sous-espace $`_{wW_A(\mu )}t_wv_{\overline{\gamma }}`$. Ce dernier est un $`\overline{_D(\mu )}`$-module qui s’identifie (cf. Proposition 4.5(1)) au sous-espace $`E_1(\stackrel{~}{\gamma })`$. Comme $`\psi (_D(\mu ))=\psi (_B(\mu ))\mathrm{End}_{}E_1(\stackrel{~}{\gamma })`$ (car ces algèbres sont toutes deux engendrées par $`\psi (V)`$ et $`\psi (W_A(\mu ))`$) on peut indifféremment considérer $`E_1(\stackrel{~}{\gamma })`$ comme un $`\overline{_D(\mu )}`$ ou $`\overline{_B(\mu )}`$-module.

### 4.4. Critère d’irréductibilité de $`F_1(\overline{\gamma })`$

Le (5) de la Proposition 4.5 ramène la question de l’irréductibilité du module $`N(\overline{\gamma })`$ à celle du $`_D(\overline{\mu }_i)`$-module $`F_1({}_{}{}^{\sigma }\overline{\gamma })`$ avec $`{}_{}{}^{\sigma }\overline{\gamma }={}_{}{}^{\sigma }\gamma \mu _i`$. On suppose donc dans ce paragraphe que $`\overline{\gamma }=\gamma \mu `$ et $`\stackrel{~}{\gamma }=\gamma \overline{\mu }`$ avec $`\mu =\mu _i`$. Rappelons (Lemme 4.2) qu’on a alors

$$\overline{_D(\mu )}\overline{_B(\mu )}_{\mathrm{𝑔𝑟}}(\mu ),$$

o $`_{\mathrm{𝑔𝑟}}(\mu )`$ est l’alg bre de Hecke gradu e $`_{\mathrm{𝑔𝑟}}(2k,S_i)`$, et que le $`_B(\mu )`$-module $`E_1(\stackrel{~}{\gamma })`$ s’identifie au $`_{\mathrm{𝑔𝑟}}(\mu )`$-module de la s rie principale $`M(\gamma )`$ (cf. Lemme 3.7).

#### 4.4.1. Le cas $`W_A(\mu )=W_A(\overline{\mu })`$

On a ici $`_D(\overline{\mu })=_D(\overline{\mu })`$ et donc $`F_1(\overline{\gamma })=E_1(\stackrel{~}{\gamma })`$ comme $`_{\mathrm{𝑔𝑟}}(\mu )`$-module. Par cons quent:

(4.1) $`F_1(\overline{\gamma })`$ simple $``$ $`E_1(\stackrel{~}{\gamma })`$ simple $``$ $`M(\gamma )`$ simple $``$ $`𝒫_i(\gamma )=\mathrm{}`$.
#### 4.4.2. Le cas $`W_A(\mu )W_A(\overline{\mu })`$

Par le Lemme 4.2 on sait que: $`n=2m`$, $`\mu =\mu _m`$, $`W_A(\overline{\mu })=W_A(\mu )w_0`$ o $`w_0`$ est le plus grand l ment de $`W_A`$. Le syst me de racines $`R_m`$ est de type $`A_{m1}\times A_{m1}`$ et a pour groupe de Weyl $`W_m=W(R_m)W_A(\mu )𝔖_m\times 𝔖_m`$. On note $`\varpi _0`$ le plus grand l ment de $`W_m`$; on a donc

$$\varpi _0(ϵ_j)=ϵ_{m+1j},\varpi _0(ϵ_{m+j})=ϵ_{2m+1j}$$

pour $`j=1,\mathrm{},m`$. D finissons une involution $`\tau \mathrm{GL}(V)`$ par

$$\tau (ϵ_j)=ϵ_{m+j},\text{pour tout }j\{1,\mathrm{},m\}\text{.}$$

Comme $`\tau (\alpha _{p,q})=\alpha _{p+m,q+m}`$ pour $`1p<qm`$, l’application $`\tau `$ permute les l ments de $`R_m^+`$ et induit un automorphisme (ext rieur), $`w\tau (w)=\tau w\tau `$, de $`W_m`$ qui v rifie

$$<\tau (\alpha )^{},\tau (\xi )>=<\alpha ^{},\xi >,\tau (s_\alpha )=\tau s_\alpha \tau =s_{\tau (\alpha )},$$

pour tous $`\alpha R_m`$, $`\xi V`$. Remarquons aussi que l’automorphisme $`\omega _0:ww_0ww_0`$ de $`W_m`$ s’ crit

$$\omega _0=\mathrm{Int}(\varpi _0)\tau =\tau \mathrm{Int}(\varpi _0).$$

###### Assertion 4.6.

(1) L’automorphisme $`\omega _0`$ induit un automorphisme involutif de $`_{\mathrm{𝑔𝑟}}(2k,S_m)=_{\mathrm{𝑔𝑟}}(\mu )`$ encore not $`\omega _0`$ et donn par

$$\omega _0(\xi )=w_0(\xi )+2k\underset{\alpha R_m^+}{}<\alpha ^{},w_0(\xi )>t_{s_\alpha },\omega _0(t_w)=t_{\omega _0(w)},$$

pour tous $`\xi V`$ et $`wW_m`$.

(2) Le module $`{}_{}{}^{\omega _0}M(\gamma )`$ est isomorphe $`M({}_{}{}^{\tau }\gamma )`$, o $`{}_{}{}^{\tau }\gamma V_{}^{}{}_{}{}^{}`$ est d fini par $`{}_{}{}^{\tau }\gamma (\xi )=\gamma (\tau (\xi ))`$.

###### Démonstration.

(1) Commençons par tendre $`\tau \mathrm{GL}(V)`$ en un automorphisme involutif de $`_{\mathrm{𝑔𝑟}}(\mu )`$ en posant $`\tau (t_w)=t_{\tau (w)}`$ pour $`wW_m`$. Il suffit pour cela de v rifier les relations de d finition de $`_{\mathrm{𝑔𝑟}}(2k,S_m)`$ sont respectées, ce qui r sulte d’un calcul facile. Observons ensuite que $`\mathrm{Int}(\varpi _0):at_{\varpi _0}at_{\varpi _0}`$ est un automorphisme involutif de $`_{\mathrm{𝑔𝑟}}(\mu )`$ qui est donn par

$$\mathrm{Int}(\varpi _0)(\xi )=\varpi _0(\xi )+2k\underset{\alpha R_m^+}{}<\alpha ^{},\varpi _0(\xi )>t_{s_\alpha },\mathrm{Int}(\varpi _0)(t_w)=t_{\varpi _0w\varpi _0},$$

pour tous $`\xi V`$ et $`wW_m`$ (voir le Lemme 1.4). Il reste alors remarquer que

$$\mathrm{Int}(\varpi _0)\tau =\tau \mathrm{Int}(\varpi _0)\mathrm{Aut}(_{\mathrm{𝑔𝑟}}(\mu ))$$

est l’automorphisme $`\omega _0`$ cherch .

(2) La d finition de $`{}_{}{}^{\omega _0}M(\gamma )`$ et l’ galit $`\omega _0=\tau \mathrm{Int}(\varpi _0)`$ montrent que ce module est isomorphe $`{}_{}{}^{\varpi _0}({}_{}{}^{\tau }M(\gamma ))`$. Si l’on prouve que $`{}_{}{}^{\tau }M(\gamma )M({}_{}{}^{\tau }\gamma )`$ la Proposition 2.4 donnera alors l’isomorphisme voulu. Observons que $`1v_\gamma {}_{}{}^{\tau }M(\gamma )`$ v rifie $`\xi 1v_\gamma ={}_{}{}^{\tau }\gamma (\xi ).1v_\gamma `$ pour $`\xi V_{}`$ et est donc de poids $`{}_{}{}^{\tau }\gamma `$. Il en d coule l’existence d’un morphisme surjectif $`M({}_{}{}^{\tau }\gamma ){}_{}{}^{\tau }M(\gamma )`$, qui est un isomorphisme puisque ces deux modules sont de m me dimension. ∎

D finissons deux sous-alg bres de $`\mathrm{End}_{}F_1(\overline{\gamma })`$ par

$$𝐇(\overline{\mu })=\psi (_D(\overline{\mu }))𝐇(\mu )=\psi (_D(\mu )).$$

L’isomorphisme 𝑔𝑟(μ)

D(μ)¯subscript𝑔𝑟𝜇

¯subscript𝐷𝜇{\mathbb{H}}_{\mathit{gr}}(\mu)\mathop{\vbox{\hbox to15.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to15.0pt{\rightarrowfill}}}\overline{\mathbb{H}_{D}(\mu)} induit un morphisme surjectif d’alg bres $`\psi :_{\mathrm{𝑔𝑟}}(\mu )𝐇(\mu )`$ tel que $`\xi \psi (\xi )`$ et $`t_w\psi (t_w)`$ pour $`\xi V,wW_A(\mu )`$. Dans $`_D`$ l’automorphisme $`\mathrm{Int}(w_0)`$ est d fini par $`\mathrm{Int}(w_0)(t_w)=t_{w_0ww_0}`$ et, pour $`\xi V`$,

$$\mathrm{Int}(w_0)(\xi )=w_0(\xi )+\underset{\alpha R_D^+}{}<\alpha ^{},w_0(\xi )>t_{s_\alpha }\stackrel{~}{k}_\alpha .$$

Remarquons que $`\psi (\stackrel{~}{k}_\alpha )_{F_1(\overline{\gamma })}=0`$ lorsque $`\alpha R_m`$, car $`\overline{\mu }(t_pt_{m+q})=1`$ pour $`1p,qm`$, et $`\psi (\stackrel{~}{k}_\alpha )_{F_1(\overline{\gamma })}=2k.\mathrm{id}_{F_1(\overline{\gamma })}`$ si $`\alpha R_m`$. Par cons quent $`\mathrm{Int}(w_0)`$ donne un automorphisme de $`𝐇(\overline{\mu })`$, $`\mathrm{Int}(w_0):a\psi (t_{w_0})a\psi (t_{w_0})`$ v rifiant

$$\mathrm{Int}(w_0)(\psi (\xi ))=\psi (w_0(\xi ))+2k\underset{\alpha R_m^+}{}<\alpha ^{},w_0(\xi )>\psi (t_{s_\alpha }).$$

Il d coule alors de l’Assertion 4.6(1) que $`\psi :_{\mathrm{𝑔𝑟}}(\mu )𝐇(\mu )`$ est tel que

$$\psi (\omega _0(a))=\mathrm{Int}(w_0)(\psi (a))\text{pour tout }a_{\mathrm{𝑔𝑟}}(\mu ).$$

Comme $`F_1(\overline{\gamma })`$ est un $`𝐇(\overline{\mu })`$-module, nous pouvons le consid rer comme un $`_{\mathrm{𝑔𝑟}}(\mu )`$-module gr ce $`\psi :_{\mathrm{𝑔𝑟}}(\mu )𝐇(\mu )𝐇(\overline{\mu })`$. Nous allons maintenant tudier ce $`_{\mathrm{𝑔𝑟}}(\mu )`$-module. Via l’identification de $`E_1(\stackrel{~}{\gamma })`$ avec $`_{wW_A(\mu )}t_wv_{\overline{\gamma }}`$ on a

$$F_1(\overline{\gamma })=E_1(\stackrel{~}{\gamma })t_{w_0}.E_1(\stackrel{~}{\gamma }).$$

Soit $`a_{\mathrm{𝑔𝑟}}(\mu )`$ et $`xE_1(\stackrel{~}{\gamma })`$; il vient $`\psi (a).(t_{w_0}.x)=t_{w_0}.(\mathrm{Int}(w_0)(\psi (a)))`$. Ceci montre que $`t_{w_0}.E_1(\stackrel{~}{\gamma })`$ est un $`𝐇(\mu )`$-module isomorphe au module tordu $`{}_{}{}^{\mathrm{Int}(w_0)}E_{1}^{}(\stackrel{~}{\gamma })`$. Compte tenu de ce qui pr c de, ce dernier module, regard comme $`_{\mathrm{𝑔𝑟}}(\mu )`$-module, est isomorphe $`{}_{}{}^{\omega _0}M(\gamma )`$. Par l’Assertion 4.6(2) on a ainsi prouv :

###### Assertion 4.7.

Le $`_{\mathrm{𝑔𝑟}}(\mu )`$-module $`F_1(\stackrel{~}{\gamma })`$ est isomorphe $`M(\gamma )M({}_{}{}^{\tau }\gamma )`$.

Lorsque $`M(\gamma )`$ est simple la nature du $`_D(\overline{\mu })`$-module $`F_1(\overline{\gamma })`$ r sulte de l’assertion qui suit.

###### Assertion 4.8.

Supposons le $`_{\mathrm{𝑔𝑟}}(2k,S_m)`$-module $`M(\gamma )`$ irr ductible. Alors, le $`_D(\overline{\mu })`$-module $`F_1(\overline{\gamma })`$ n’est pas simple si et seulement si $`M(\gamma )M({}_{}{}^{\tau }\gamma )`$.

###### Démonstration.

Observons tout d’abord que l’hypoth se et l’Assertion 4.7 assurent que $`F_1(\overline{\gamma })`$ est un $`_{\mathrm{𝑔𝑟}}(\mu )`$-module semi-simple de longueur $`2`$, isomorphe $`M(\gamma )M({}_{}{}^{\tau }\gamma )`$.

Soit $`V`$ un sous-$`_D(\overline{\mu })`$-module de $`F_1(\overline{\gamma })`$ non nul et diff rent de $`F_1(\overline{\gamma })`$. En tant que $`_{\mathrm{𝑔𝑟}}(\mu )`$-module on a par cons quent $`\mathrm{lg}V=1`$ et l’on est dans l’un des deux cas suivants:

* $`F_1(\overline{\gamma })=Vt_{w_0}.E_1(\stackrel{~}{\gamma })`$ et donc $`VM(\gamma )`$;
* $`F_1(\overline{\gamma })=VE_1(\stackrel{~}{\gamma })`$ et donc $`VM({}_{}{}^{\tau }\gamma )`$.

Plaçons nous dans le premier cas (le deuxi me est similaire). Puisque $`t_{w_0}.F_1(\overline{\gamma })=F_1(\overline{\gamma })`$ et $`t_{w_0}.V=V`$ on obtient $`F_1(\overline{\gamma })=Vt_{w_0}.E_1(\stackrel{~}{\gamma })`$ et donc $`Vt_{w_0}.E_1(\stackrel{~}{\gamma })M({}_{}{}^{\tau }\gamma )`$ comme $`_{\mathrm{𝑔𝑟}}(\mu )`$-module. D’o $`M(\gamma )M({}_{}{}^{\tau }\gamma )`$.

R ciproquement supposons $`M(\gamma )M({}_{}{}^{\tau }\gamma )`$. On a donc $`E_1(\stackrel{~}{\gamma }){}_{}{}^{\mathrm{Int}(w_0)}E_{1}^{}(\stackrel{~}{\gamma })`$, simple comme $`𝐇(\mu )`$-module. Fixons un isomorphisme f:E1(γ~)

E1Int(w0)(γ~):𝑓subscript𝐸1~𝛾

superscriptsubscript𝐸1Intsubscript𝑤0~𝛾f:E_{1}({\tilde{\gamma}})\mathop{\vbox{\hbox to15.0pt{\hfill$\sim$\hfill}\nointerlineskip\vskip-0.3pt\hbox to15.0pt{\rightarrowfill}}}{}^{{\operatorname{Int}(w_{0})}}\!{{E_{1}({\tilde{\gamma}})}}. On peut it rer $`f`$ dans le $``$-espace vectoriel $`E_1(\stackrel{~}{\gamma })`$; il vient, pour $`a𝐇(\mu )`$ et $`xE_1(\stackrel{~}{\gamma })`$:

$$f(ax)=f(\mathrm{Int}(w_0)(a).x)=\mathrm{Int}(w_0)(a)f(x)=\mathrm{Int}(w_0)^2(a).f(x)=a.f(x).$$

Donc $`f:{}_{}{}^{\mathrm{Int}(w_0)}E_{1}^{}(\stackrel{~}{\gamma })E_1(\stackrel{~}{\gamma })`$ est $`𝐇(\mu )`$-lin aire et il en d coule que $`f^2`$ est un automorphisme de $`E_1(\stackrel{~}{\gamma })`$. Par le lemme de Schur $`f^2=\lambda .\mathrm{id}`$ pour un $`\lambda ^{}`$. Soit $`z^{}`$ tel que $`z^2=\lambda `$; quitte remplacer $`f`$ par $`\frac{1}{z}f`$ on peut ainsi supposer que $`f^2=\mathrm{id}`$. D finissons maintenant

$$V=\{x+t_{w_0}.f(x):xE_1(\stackrel{~}{\gamma })\}.$$

Soit $`xE_1(\stackrel{~}{\gamma })`$. Pour $`a𝐇(\mu )`$ il vient $`a.(x+t_{w_0}.f(x))=a.x+t_{w_0}\mathrm{Int}(w_0)(a).f(x)=a.x+t_{w_0}f(a.x)V`$. De plus $`t_{w_0}.(x+t_{w_0}.f(x))=t_{w_0}.x+f(x)=t_{w_0}.f^2(x)+f(x)V`$. Donc $`V`$ est un sous-$`_D(\overline{\mu })`$-module de $`F_1(\overline{\gamma })`$. Comme l’application $`x+t_{w_0}.f(x)x`$ de $`V`$ sur $`E_1(\stackrel{~}{\gamma })`$ est un isomorphisme de $`𝐇(\mu )`$-modules, $`V`$ est un sous-module propre de $`F_1(\overline{\gamma })`$. ∎

### 4.5. Critère d’irréductibilité de $`N(\overline{\gamma })`$

On retourne au cas g n ral: $`\overline{\gamma }=\gamma \overline{\mu }\overline{𝒜}`$, $`\stackrel{~}{\gamma }=\gamma \overline{\mu }𝒜`$. On a fix $`\sigma W_A`$ comme au § 3.1 tel que $`{}_{}{}^{\sigma }\stackrel{~}{\gamma }={}_{}{}^{\sigma }\gamma {}_{}{}^{\sigma }\mu `$ avec $`{}_{}{}^{\sigma }\mu =\mu _i`$ pour un $`i\{1,\mathrm{},n\}`$. Rappelons que $`R_i`$ est le syt me de racines de type $`A_{i1}\times A_{ni1}`$ associ , de groupe de Weyl $`W_i=W(R_i)𝔖_i\times 𝔖_{ni}`$. On sait alors que la condition $`𝒫_i({}_{}{}^{\sigma }\gamma )=\{\alpha R_i^+:\gamma (\sigma (\alpha ))=\pm 2k\}=\mathrm{}`$ est n cessaire et suffisante pour que $`M(\stackrel{~}{\gamma })`$ soit irr ductible, ou encore que le $`_{\mathrm{𝑔𝑟}}(2k,S_i)`$-module $`M({}_{}{}^{\sigma }\gamma )`$ soit irr ductible, cf. Th or me 3.11. Lorsque $`n=2m`$ on a not $`\tau \mathrm{GL}(V_{})`$ l’involution telle que $`\tau (ϵ_j)=ϵ_{m+j}`$, $`\tau (ϵ_{m+j})=ϵ_j`$ pour tout $`j\{1,\mathrm{},m\}`$.

Le th or me suivant donne un crit re d’irr ductibilit pour $`N(\overline{\gamma })`$.

###### Théorème 4.9.

Avec les notations pr c dentes:

1. si $`W_A(\mu )=W_A(\overline{\mu })`$,

$$N(\overline{\gamma })\text{simple}𝒫_i({}_{}{}^{\sigma }\gamma )=\mathrm{};$$
2. si $`W_A(\mu )W_A(\overline{\mu })`$, alors $`n=2m`$, $`i=m`$, et

$$N(\overline{\gamma })\text{simple}\{𝒫_m({}_{}{}^{\sigma }\gamma )=\mathrm{}\text{ et }{}_{}{}^{\tau }\gamma W_m.{}_{}{}^{\sigma }\gamma \}.$$

###### Démonstration.

Comme nous l’avons vu au § 4.4, l’irr ductibilit de $`N(\overline{\gamma })`$ est quivalente celle du $`_D(\overline{\mu }_i)`$-module $`F_1({}_{}{}^{\sigma }\overline{\gamma })`$.

(a) r sulte trivialement de (4.1).

(b) Supposons $`N(\overline{\gamma })`$ simple. Le fait que $`M(\stackrel{~}{\gamma })=N(\overline{\gamma })`$ comme $`_D`$-module force la simplicit de $`M(\stackrel{~}{\gamma })`$ comme $`_B`$-module, i.e. $`M({}_{}{}^{\sigma }\gamma )`$ est un $`_{\mathrm{𝑔𝑟}}(2k,S_m)`$-module simple. Par l’Assertion 4.8 on obtient que $`M({}_{}{}^{\sigma }\gamma )`$ n’est pas isomorphe $`M({}_{}{}^{\tau }\gamma )`$; la Remarque 2.5 assure alors que $`{}_{}{}^{\tau }\gamma W_m.{}_{}{}^{\sigma }\gamma `$.

La r ciproque est similaire: si $`M({}_{}{}^{\sigma }\gamma )`$ est simple et $`{}_{}{}^{\tau }\gamma W_m.{}_{}{}^{\sigma }\gamma `$, la Remarque 2.5 et l’Assertion 4.8 montrent que $`F_1({}_{}{}^{\sigma }\overline{\gamma })`$ est irr ductible. ∎