Bourbaki

Exercice 3, § 2

Groupes et algèbres de Lie, V

Bourbaki marks this one as harder than the rest.

Soit V un espace hilbertien complexe de base e1,…,ele_1, \ldots, e_l. Pour 1≤i≤l1 \leq i \leq l, soit sis_i une pseudo-réflexion unitaire, de vecteur eie_i, telle que si(ei)=cieis_i(e_i) = c_i e_i, avec ci≠1c_i \neq 1; un élément de V est invariant par sis_i si et seulement si il est orthogonal à eie_i. Soit W le sous-groupe de GL(V)\mathbf{GL}(V) engendré par les sis_i.

a) Soit ii un entier ≥1\geq 1. Montrer que tout élément de ⋀iV\bigwedge^i V invariant par W est nul. (Raisonner par récurrence sur ll; si V′V' est le sous-espace de V engendré par e1,…,el−1e_1, \ldots, e_{l-1}, et si ee est un vecteur non nul orthogonal à V′V', on écrira tout élément de ⋀iV\bigwedge^i V sous la forme a+(b∧e)a + (b \wedge e), avec a∈⋀i−1V′a \in \bigwedge^{i-1} V' et b∈⋀i−1V′b \in \bigwedge^{i-1} V'; si a+(b∧e)a + (b \wedge e) est invariant par W, aa et bb sont invariants par le groupe W′W' engendré par s1,…,sl−1s_1, \ldots, s_{l-1}, ce qui permet d’appliquer l’hypothèse de récurrence).

b) On suppose WW fini. Montrer, en utilisant a), que, pour tout endomorphisme AA de V, on a :

∑w∈Wdet⁡(A−w)=Card(W)⋅det⁡(A) \sum_{w \in W} \det(A - w) = \mathrm{Card}(W) \cdot \det(A)
∑w∈Wdet⁡(1−Aw)=Card(W). \sum_{w \in W} \det(1 - Aw) = \mathrm{Card}(W).

En déduire que, pour tout A∈End(V)A \in \mathrm{End}(V), il existe w∈Ww \in W tel que AwAw n’ait aucun point fixe non nul.

c) Soit Γ\Gamma le graphe dont l’ensemble des sommets est {1,l}\{1, l\}, les arêtes étant les ensembles {i,j}\{i, j\} tels que eie_i et eje_j ne soient pas orthogonaux. Montrer que V est un W-module simple si et seulement si Γ\Gamma est connexe et non vide.

d) On suppose que V est un W-module simple. Montrer que les W-modules ⋀iV\bigwedge^i V (0≤i≤l0 \leq i \leq l) sont simples. (Montrer qu’il existe un entier jj tel que le graphe Γ−{j}\Gamma - \{j\} soit connexe. Raisonner par récurrence sur ll, en appliquant l’hypothèse de récurrence au sous-espace V′V' engendré par les ei,i≠je_i, i \neq j.) Montrer que ces modules sont deux à deux non isomorphes (*).

(*) Cet exercice, inédit, nous a été communiqué par R. Steinberg.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.