TH`ESE ´Etude des Orbites Nilpotentes par l'Application de Springer ...
TH`ESE ´Etude des Orbites Nilpotentes par l'Application de Springer ...
TH`ESE ´Etude des Orbites Nilpotentes par l'Application de Springer ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.2.2. – Classification <strong>de</strong> Bala-Carter – 23<br />
<strong>par</strong>tir d’une sous-algèbre <strong>de</strong> Cartan <strong>de</strong> ); puisque est distingué dans , on peut le conjuguer <strong>par</strong> un<br />
élément <strong>de</strong> (le groupe adjoint <strong>de</strong> ) <strong>de</strong> telle façon que le support <strong>de</strong> soit constitué <strong>de</strong> racines<br />
linéairement indépendants relativement au système <strong>de</strong> racines <strong>de</strong> . <br />
Alors a un support constitué<br />
<strong>de</strong> racines linéairement indépendantes pour le système <strong>de</strong> racines n’est rien d’autre que le<br />
où <br />
système <strong>de</strong> racines <strong>de</strong> <br />
relativement à la sous-algèbre <strong>de</strong> Cartan <br />
.<br />
Soit maintenant une orbite nilpotente quelconque dans une algèbre <strong>de</strong> Lie semi-simple complexe. Par le<br />
théorème <strong>de</strong> Bala-Carter (cf. théorème 2.2.4), on lui associe une -classe <strong>de</strong> conjugaison <strong>de</strong> £¡¦<br />
<br />
©<br />
paire<br />
est une sous-algèbre <strong>par</strong>abolique<br />
¡¦ ¡ dans est celle <strong><strong>de</strong>s</strong> sous-algèbres <strong>par</strong>aboliques <strong>de</strong><br />
où ¡ est une sous-algèbre <strong>de</strong> Levi minimale dans qui intersecte , et<br />
distinguée ¡¦ ¡ <strong>de</strong> ; mais la classe <strong>de</strong> conjugaison <strong>de</strong><br />
Jacobson-Morozov associées aux éléments ¡¦ ¡ <strong>de</strong> ; on a alors le résultat suivant:<br />
Lemme 2.2.7 ([SS70] p. 246). Toute orbite nilpotente sous l’action <strong>de</strong> sur une algèbre <strong>de</strong> Lie semi-<br />
complexe simple admet un représentant dont le support est constitué <strong>de</strong> racines linéairement indépendants.<br />
Remarque 2.2.8. Dans le cas où l’algèbre <strong>de</strong> Lie est ¡¤£ ¦ ¨© ou encore ¢¡¤£ ¦ ¨© , toute orbite nilpotente a un<br />
représentant privilégié sous forme <strong>de</strong> Jordan dont le support est contenu dans les racines simples [CM93,<br />
p. 32]. Ceci va nous permettre d’avoir un certain algorithme pour calculer les fibres <strong>de</strong> la résolution <strong>de</strong><br />
<strong>Springer</strong> (cf. 6.3.1).