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.

– Introduction – 3<br />

Win H. Hesselink, G. Kempf, H. Kraft, C. Procesi, P. Slodowy, se sont alors intéressés dans les années<br />

70 en étudiant soit à la géométrie <strong><strong>de</strong>s</strong> orbites nilpotentes soit à la résolution <strong>de</strong> <strong>Springer</strong>; Win H. Hesselink,<br />

ensuite H. Kraft et C. Procesi arrivent en outre à déterminer les singularités qui ap<strong>par</strong>aissent entre <strong>de</strong>ux<br />

strates “adjacentes” plus profon<strong><strong>de</strong>s</strong> <strong>de</strong> la variété , [Hes76b, KP79, KP81]; la première conjecture <strong>de</strong><br />

Grothendieck concernait les strates régulière et sous-régulière. Ils <strong>par</strong>viennent à déterminer ces germes à<br />

smoothly equivalence près: <strong>de</strong>ux germes <strong>de</strong> variété £¦© , et £¦© sont dit smoothly equivalent s’il existe<br />

un germe <strong>de</strong> variété £ ¦© et <strong>de</strong>ux £ ¦© £¦© morphismes £ ¦© £¦© , tels que<br />

£ © , £ © et , sont lisses au point .<br />

<br />

De plus, ils constatent que la résolution <strong>de</strong> <strong>Springer</strong> provient d’une construction plus générale: soit est un<br />

sous-groupe <strong>par</strong>abolique <strong>de</strong> d’algèbre <strong>de</strong> Lie . Notons <strong>par</strong> l’orbite <strong>de</strong> Richardson associée à , (cf.<br />

théorème 3.3.1). Alors l’application <strong>de</strong> <strong>Springer</strong> généralisée £ © associée a pour image<br />

et est un revêtement ramifié <strong>de</strong> <strong>de</strong>gré fini au <strong><strong>de</strong>s</strong>sus <strong>de</strong> , (cf. remarque 3.3.2). La résolution <strong>de</strong> <strong>Springer</strong><br />

<br />

est le cas <strong>par</strong>ticulier où est un sous-groupe <strong>de</strong> Borel <strong>de</strong> . L’inconvénient avec cette famille d’applications,<br />

c’est qu’on ne peut étudier qu’une catégorie <strong>par</strong>ticulière d’orbites nilpotentes, néanmoins elles suffisent<br />

dans l’étu<strong>de</strong> <strong>de</strong> ¢¡¤£ ¦ ¨© , car toutes les orbites nilpotentes sont <strong>de</strong> Richardson. Une construction analogue<br />

est alors réalisée <strong>par</strong> B. Kostant et W.M. McGovern afin d’obtenir une désingularisation <strong>de</strong> l’adhérence<br />

<strong>de</strong> n’importe quelle orbite nilpotente, (cf. théorème 3.4.1); cette même construction permet <strong>de</strong> dégager<br />

certaines propriétés attachées aux orbites nilpotentes; <strong>par</strong> exemple, elle permet à W.M. McGovern, V. Hinich<br />

et D.I. Panyushev <strong>de</strong> démontrer que les singularités qui ap<strong>par</strong>aissent dans la normalisation <strong>de</strong> l’adhérence<br />

<strong>de</strong> toute orbite nilpotente, sont rationnelles, [McG89, Hin91a, Pan91].<br />

C’est N. Spaltenstein qui réalise le plus grand travail concernant l’étu<strong>de</strong> <strong><strong>de</strong>s</strong> fibres <strong><strong>de</strong>s</strong> applications<br />

<strong>de</strong> <strong>Springer</strong> généralisées, son approche est fortement combinatoire, [Spa76, Spa77, Spa82]. Il montre que<br />

les composantes irréductibles <strong>de</strong> la fibre <strong>de</strong> la résolution <strong>de</strong> <strong>Springer</strong> au <strong><strong>de</strong>s</strong>sus d’un élément nilpotent<br />

ont toutes la même dimension égale à ££ ©© où est le stabilisateur <strong>de</strong><br />

<br />

dans et<br />

<br />

le rang <strong>de</strong> , [Spa77]. Le grand avantage lorsque le groupe algébrique est GL £ ¦ (où est un corps ©<br />

algébriquement clos) est d’avoir une autre <strong><strong>de</strong>s</strong>cription <strong><strong>de</strong>s</strong> fibres <strong>de</strong> la résolution <strong>de</strong> <strong>Springer</strong>: elle permet<br />

à N. Spaltenstein d’établir une bijection entre les composantes irréductibles <strong><strong>de</strong>s</strong> drapeaux complets <strong>de</strong><br />

fixés <strong>par</strong> un endomorphisme nilpotent <br />

et les tableaux <strong>de</strong> Young standards associés au diagramme <strong>de</strong><br />

Young <strong>de</strong> <br />

, [Spa76].<br />

Mais actuellement aucune étu<strong>de</strong> globale vers une <strong><strong>de</strong>s</strong>cription géométrique n’a pu être réalisée pour<br />

décrire les fibres <strong>de</strong> la résolution <strong>de</strong> <strong>Springer</strong>, à ce jour la fibre <strong>de</strong> <strong>Springer</strong> au <strong><strong>de</strong>s</strong>sus d’un élément nilpotent<br />

est connue que dans les cas suivants: si<br />

<br />

est régulier alors elle est réduite à un point, si<br />

<br />

est sous-régulier<br />

<br />

alors elle est une union <strong>de</strong> droites projectives décrites <strong>par</strong> le diagramme <strong>de</strong> Dynkin <strong>de</strong> , [Ste74, théorème<br />

2 p. 153], si la dimension <strong>de</strong> la fibre est égale à 2 alors c’est une union <strong>de</strong> et <strong>de</strong> surfaces d’Hirze-<br />

bruch, [Lor85, Lor86], si <br />

est dans l’orbite nilpotente minimale (c’est l’orbite nilpotente non-triviale qui<br />

est contenue dans l’adhérence <strong>de</strong> toute autre orbite nilpotente non-nulle, [CM93, p. 61]) alors elle est une<br />

union <strong>de</strong> variétés isomorphes à <strong><strong>de</strong>s</strong> variétés <strong>de</strong> Schubert [DG84], enfin si alors on trouve trivialement<br />

où est un sous-groupe <strong>de</strong> Borel <strong>de</strong> .<br />

Dans le chapitre 1, on fait un survol rapi<strong>de</strong> <strong>de</strong> la théorie <strong><strong>de</strong>s</strong> groupes algébriques et <strong><strong>de</strong>s</strong> algèbres <strong>de</strong><br />

Lie en s’attardant plus <strong>par</strong>ticulièrement sur les propriétés attachées au système <strong>de</strong> racines d’une algèbre <strong>de</strong><br />

Lie, car c’est l’outil incontournable que l’on sera amené à utiliser dans les <strong>de</strong>ux <strong>de</strong>rniers chapitres.<br />

Dans le chapitre 2, on fait un rappel sur les propriétés <strong><strong>de</strong>s</strong> orbites nilpotentes et <strong><strong>de</strong>s</strong> <strong>de</strong>ux classifications<br />

classiques <strong><strong>de</strong>s</strong> orbites nilpotentes qui sont celle <strong>de</strong> Dynkin et celle <strong>de</strong> Bala-Carter.<br />

Dans le chapitre 3, on rappelle comment la théorie <strong><strong>de</strong>s</strong> fibrés principaux intervient dans la réalisation<br />

<strong><strong>de</strong>s</strong> applications <strong>de</strong> <strong>Springer</strong> généralisées et <strong><strong>de</strong>s</strong> résolutions <strong><strong>de</strong>s</strong> adhérences <strong><strong>de</strong>s</strong> orbites nilpotentes, on<br />

redonne les démonstrations classiques <strong><strong>de</strong>s</strong> constructions <strong>de</strong> ces applications et on apporte une preuve<br />

différente en ce qui concerne la résolution <strong>de</strong> <strong>Springer</strong>.<br />

Dans le chapitre 4, on donne une mince perspective <strong><strong>de</strong>s</strong> nouvelles directions <strong>de</strong> recherche dans l’étu<strong>de</strong><br />

<strong><strong>de</strong>s</strong> orbites nilpotentes; notamment, l’approche symplectique a été développée dans les années 80 et semble<br />

être <strong>de</strong> nos jours la voie adoptée <strong>par</strong> la plu<strong>par</strong>t <strong><strong>de</strong>s</strong> chercheurs.<br />

Dans le chapitre 5, on fait une étu<strong>de</strong> <strong><strong>de</strong>s</strong> orbites nilpotentes en étudiant plus spécialement les applications<br />

<strong>de</strong> <strong>Springer</strong> généralisées ; on obtient un résultat sur la dimension <strong><strong>de</strong>s</strong> fibres <strong>de</strong> ces applications, (cf.<br />

théorème 5.1.1), qui constitue une généralisation <strong>de</strong> ce qui a été effectué <strong>par</strong> R. Steinberg pour la résolution

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

Saved successfully!

Ooh no, something went wrong!