![](//s1.studylibfr.com/store/data-gzf/ecc0415f98306a65e57bbde8aa1c4dd8/1/003651619.htmlex.zip/bg3.jpg)
18. GROUPES RÉDUCTIFS ET SEMI-SIMPLES : UN APERÇU 127
On dit que la donnée radicielle est réduite si elle vérifie de plus la condition
suivante : si α, β ∈Rsont telles que Zα=Zβ, alors β=±α. Dans la suite,
n’interviendront que des données radicielles réduites, et l’on parlera simplement
de données radicielles.
Remarque 18.8. — 1) La condition hα, α∨i= 2 implique α6= 0, pour tout
α∈R.
2) Soit Vle sous-espace vectoriel de M⊗ZRengendré par R. Alors Rest un
système de racines dans V, et R∨s’identifie au système de racines dual dans
V∗,cf. [BLie, VI, §1] ou [Hu1, Chap.III].
Définition 18.9 (Réseaux des racines et des poids). —
Soit Vun R-espace vectoriel, Run système de racines dans V, et R∨le système
de racines dual dans V∗.
1) On note Q(R)le sous-groupe de Vengendré par R; c’est un réseau de
V, appelé le réseau des racines. De même, Q(R∨)est un réseau dans V∗,
appelé le réseau des coracines.
2) On pose P(R) := {λ∈V| hλ, α∨i ∈ Z,∀α∨∈R∨}. C’est un réseau de
V, contenant Q(R), et appelé le réseau des poids.
Définition et proposition 18.10. — Une donnée radicielle (M, M ∨, R, R∨)est
dite semi-simple si Q(R)a même rang que M.(On peut montrer que ceci a
lieu si, et seulement si rg Q(R∨) = rg M∨, c.-à-d., la condition est symétrique
en Ret R∨.)
Dans ce cas, on a Q(R)⊆M⊆P(R), et M∨, étant le réseau dual de M,
est déterminé par
M∨={η∈HomZ(P(R),Z)|η(M)⊆Z}.
Par conséquent, (M, M∨, R, R∨)est déterminée par la donnée de Met Rou
encore, de façon équivalente, par la donnée de Ret d’un sous-groupe du groupe
fini P(R)/Q(R).
Par abus de language, nous dirons qu’une donnée radicielle semi-simple
est une paire (R, M), où Rest un système de racines dans un Q-espace vectoriel
V, et où Mest un réseau de Vtel que Q(R)⊆M⊆P(R).
18.4. Exemple : données radicielles de GLn,SLnet PGLn. —
18.4.1. GLn. — Soient G= GLnet T, resp. B, resp. U, le sous-groupe des
matrices diagonales, resp. triangulaires supérieures, resp. triangulaires supé-
rieures et unipotentes.
Alors Best résoluble et connexe (car isomorphe à (k∗)n×kn(n−1)/2). De
plus, G/B est isomorphe à la variété des drapeaux F(V), qui est projective.