09.05.2013 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!