Bourbaki

Exercice 5, § 2

Groupes et algèbres de Lie, VI

On suppose R irréductible, et l’on choisit une chambre C de R dans V; on note B la base de R correspondante.

a) Montrer que les poids minuscules (§ 1, exerc. 24) de R forment un système de représentants dans P(R)P(R) des éléments non nuls de P(R)/Q(R)P(R)/Q(R). (Appliquer à R∨R^\vee le corollaire de la prop. 6.)

b) Soit X une partie saturée (§ 1, exerc. 23) de Q(R)Q(R). On suppose X non vide et non réduite à {0}\{0\}. Soit pp un élément non nul de X de longueur minimale. Montrer que p∈Rp \in R. (Vu a), pp ne vérifie pas la condition (ii) de l’exerc. 24 du § 1 ; il existe donc α∈R\alpha \in R tel que ⟨p,α∨⟩≥2\langle p, \alpha^\vee \rangle \geq 2, d’où p−α∈Xp - \alpha \in X. Comme p−αp - \alpha est de longueur strictement inférieure à la longueur de pp, on a p−α=0p - \alpha = 0, d’où p∈Rp \in R.)

c) Soit pp un poids dominant n’appartenant pas à Q(R)Q(R). Montrer que le saturé S(p)S(p) de pp (cf. § 1, exerc. 23) contient un poids minuscule et un seul. (Remarquer que S(p)S(p) est contenu dans une classe non triviale mod. Q(R)Q(R); conclure en appliquant a) et l’exerc. 24 c) du § 1.)

d) Soit pp un poids dominant n’appartenant pas à Q(R)Q(R). Démontrer l’équivalence des deux propriétés suivantes :

(i) pp est minuscule.

(v) Il n’existe pas de poids dominant q≠pq \neq p tel que p−qp - q soit combinaison linéaire à coefficients entiers ≥0\geq 0 des éléments de B.

(Si qq vérifie les conditions de (v), soit p1p_1 un poids minuscule appartenant à S(q)S(q). On a p1≡pp_1 \equiv p mod. Q(R)Q(R), p1<pp_1 < p, et a) montre que pp n’est pas minuscule. Donc (i) ⟹\Longrightarrow (v). Inversement, si pp n’est pas minuscule, soit q∈S(p)−W.pq \in S(p) - W.p; quitte à transformer qq par WW, on peut supposer que q∈C‾q \in \overline{C}; d’après l’exerc. 23 du § 1, on a q<pq < p, q≠pq \neq p, et q≡pq \equiv p mod. Q(R)Q(R). D’où (v) ⟹\Longrightarrow (i).)

(*) 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.