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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.5. – Système <strong>de</strong> racines – 11<br />

iv) Si ¢¡¤£ ¥§¦ ¨© est une représentation <strong>de</strong> ¢¡¤£ ¥§¦ ¨© <strong>de</strong> dimension finie. Alors les valeurs propres <strong>de</strong><br />

¢£ © sont tous <strong><strong>de</strong>s</strong> entiers; pour chacune <strong><strong>de</strong>s</strong> valeurs propres <strong>de</strong> ¢£ © on y trouve son opposée.<br />

Remarque 1.4.3.<br />

i) D’après le théorème 1.4.2 © , suivant la <strong>par</strong>ité <strong>de</strong> la dimension du sous-module simple, 0 ou 1<br />

ap<strong>par</strong>aît comme valeur propre pour ce sous-module et il n’ap<strong>par</strong>aît qu’une seule fois; <strong>par</strong> conséquent, le<br />

nombre <strong>de</strong> sous-modules irréductibles pour un ¢¡¤£ ¥§¦ ¨© -module est égal à la somme <strong><strong>de</strong>s</strong> multiplicités <strong><strong>de</strong>s</strong><br />

valeurs propres 0 et 1.<br />

ii) On notera au passage que le sous-espace vectoriel ¢£ est stable <strong>par</strong><br />

© ¢£ . On peut donner un<br />

©<br />

supplémentaire à ¢£ dans qui soit stable <strong>par</strong> ¢£ © car ce <strong>de</strong>rnier est un endomorphisme semi-simple,<br />

©<br />

alors d’après le lemme 1.4.1 il suffit <strong>de</strong> considérer ¢£ © ; toujours <strong>par</strong> ce lemme, on<br />

<br />

constate que tout sous-module simple <strong>de</strong> fournit une unique droite vectorielle propre, <strong>de</strong> valeur propre<br />

négative ©¨ (relativement à ), qui sera contenue dans ; <strong>par</strong> conséquent on en déduit que est <strong>de</strong><br />

dimension £ £ © © . Cette remarque est intéressante, car nous reviendrons un peu plus tard,<br />

<br />

pour donner une “section transverse” à une orbite nilpotente, (cf. page 52).<br />

1.5 Système <strong>de</strong> racines<br />

Soit un groupe algébrique réductif, d’algèbre <strong>de</strong> Lie . Alors contient nécessairement <strong><strong>de</strong>s</strong> éléments<br />

semi-simples sans quoi serait une algèbre <strong>de</strong> Lie nilpotente (théorème d’Engel, [Hum72, p. 12]). Par<br />

conséquent, contient <strong><strong>de</strong>s</strong> tores non triviaux. Un tore maximal <strong>de</strong> est appelé une sous-algèbre <strong>de</strong> Cartan<br />

<strong>de</strong> . Une propriété intéressante attachée à cette <strong>de</strong>rnière est que dans une algèbre <strong>de</strong> Lie réductive, une<br />

sous-algèbre <strong>de</strong> Cartan est égale à son centralisateur dans , [Bor91, p. 175]. De plus, les sous-algèbres <strong>de</strong><br />

Cartan sont toutes conjuguées entre elles sous l’action adjointe <strong>de</strong> , [Spr98, p. 108], elles ont alors toutes<br />

la même dimension et cette dimension commune est appelée le rang <strong>de</strong> .<br />

Considérons la représentation adjointe <strong>de</strong> sur elle même. Soit sous-algèbre <strong>de</strong> Cartan <strong>de</strong> . Puisque<br />

est constituée d’éléments -semi-simples qui commutent tous entre eux, on a alors une décomposition<br />

<br />

simultanée <strong>de</strong> en sous-espaces propres pour chacun <strong><strong>de</strong>s</strong> <br />

endomorphismes , où <br />

. Notons <strong>par</strong> <br />

avec <br />

<br />

<br />

<br />

¦<br />

£ © pour tout <br />

. Alors on obtient la décomposition suivante dite décomposition <strong>de</strong> Chevalley-Cartan <strong>de</strong> :<br />

¢ ¦ <br />

où est un sous-ensemble fini <strong>de</strong> , appelé le système <strong>de</strong> racines <strong>de</strong> , les éléments <strong>de</strong> sont<br />

appelés les racines <strong>de</strong> relativement à .<br />

Les propriétés qui sont liées à sont très intéressantes car c’est grâce au système <strong>de</strong> racines, notamment à<br />

la disposition <strong><strong>de</strong>s</strong> vecteurs <strong>de</strong> que l’on <strong>par</strong>vient à classifier les algèbres <strong>de</strong> Lie semi-simples complexes<br />

ainsi que leurs représentations, [Ser66].<br />

Lemme 1.5.1 ([Hum72] p. 36/37).<br />

i) La restriction <strong>de</strong> la forme <strong>de</strong> Killing à la sous-algèbre <strong>de</strong> Cartan est non-dégénérée.<br />

ii) Si ¦ sont <strong>de</strong>ux racines telles que ¡<br />

forme <strong>de</strong> Killing.<br />

<br />

, alors est orthogonal à relativement à la<br />

La non-dégénérescence <strong>de</strong> la forme <strong>de</strong> Killing sur la sous-algèbre <strong>de</strong> Cartan , nous permet d’i<strong>de</strong>ntifier<br />

, il existe un unique vecteur <br />

<br />

et cela pour tout vecteur <br />

Théorème 1.5.2 ([Hum72] p. 37/39).<br />

i) Les vecteurs <strong>de</strong> engendrent ;<br />

et son dual . Alors pour toute racine <br />

<br />

. <br />

tel que £ © £ ¢¦ ©

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

Saved successfully!

Ooh no, something went wrong!