QUOTIENTS ET EXTENSIONS DE GROUPES DE R ´
EFLEXION 3
2.1. Soit Wun groupe fini agissant sur une k-alg`ebre A. Si Iest un id´eal de A, on notera WI
(ou WSpec A/I ) le groupe d’inertie de I. Si χest un caract`ere irr´eductible de W, on notera AW
χ
la composante χ-isotypique de A.
2.2. Soit Vun espace vectoriel (tous les espaces vectoriels consid´er´es seront de dimension
finie) sur k. On notera V∗le dual de Vet k[V] = S(V∗), l’alg`ebre sym´etrique de V∗. Nous
confondrons parfois le sch´ema Spec k[V] et l’espace vectoriel de ses points sur k,i.e.,V. Soit
Iun id´eal de k[V]. On dira que I(ou Spec k[V]/I) est une intersection compl`ete si le nombre
minimal de g´en´erateurs de Iest ´egal `a dim V−dim(Spec k[V]/I).
Une graduation sur Vest une action de k×avec poids strictement positifs. On dira qu’une
graduation est standard si les poids sont tous 1. Si Vest muni d’une graduation, alors l’alg`ebre
k[V] h´erite d’une graduation, c’est-`a-dire, d’une action de k×avec poids positifs ou nuls.
2.3. Soit Aune k-alg`ebre commutative de type fini, munie d’une graduation. Soit Anla
composante de degr´e nde A. On pose A+=⊕i>0Ai. On suppose que A0=k: en particulier,
A+est un id´eal maximal de A. Soit X= Spec Aet soit 0 le point de Xcorrespondant `a l’id´eal
maximal A+de A. Si Iest un id´eal homog`ene de A, alors le nombre minimal de g´en´erateurs
homog`enes de l’id´eal Iest dim I/A+Ipar le lemme de Nakayama.
L’espace tangent V= (A+/(A+)2)∗au sch´ema Xen 0 est un k-espace vectoriel gradu´e. Le
lemme suivant est classique :
Lemme 2.1. Soient p1,... ,pndes ´el´ements homog`enes de A+. Alors Aest engendr´ee par
p1,... ,pnsi et seulement si les images de p1,... ,pndans V∗=A+/(A+)2engendrent V∗.
En particulier, dim Vest le nombre minimal de g´en´erateurs de A.
D’apr`es le lemme 2.1, une scission gradu´ee V∗→A+du morphisme surjectif A+→V∗induit
un morphisme surjectif de k-alg`ebres gradu´ees k[V]։A, c’est-`a-dire une immersion ferm´ee de
Spec Adans son espace tangent en 0. Si Aest une alg`ebre de polynˆomes, alors l’application
construite est un isomorphisme.
2.4. Soit e
Vun k-espace vectoriel gradu´e et soit Gun sous-groupe fini de GLgrad(e
V), o`u
GLgrad(e
V) est le sous-groupe de GL(e
V) des ´el´ements commutant `a l’action de k×. On note
N(G) le normalisateur de Gdans GLgrad(e
V) : N(G) est un groupe r´eductif (non n´ecessairement
connexe) dont la composante connexe de l’´el´ement neutre est le centralisateur de Gdans
GLgrad(e
V).
L’alg`ebre k[e
V]Gest une k-alg`ebre commutative gradu´ee de type finie et k[e
V]G
0=k. Le
groupe N(G) agit de mani`ere gradu´ee sur la k-alg`ebre k[e
V]Get, puisqu’il est r´eductif et que k
est de caract´eristique 0, on peut choisir une scission gradu´ee N(G)-´equivariante V∗→k[e
V]G
+
du morphisme k[e
V]G
+։V∗, o`u V= (k[e
V]G
+/(k[e
V]G
+)2)∗. On identifiera e
V /G avec le sch´ema
Spec k[e
V]G. Alors Vest l’espace tangent `a e
V /G en 0 et la scission pr´ec´edente induit une
immersion ferm´ee N(G)-´equivariante e
V /G →V.