LEMME FONDAMENTAL POUR LES ALGBRES DE LIE

(DAPRS NG BAO-CHU)
DAT JEAN-FRANOIS AND NGO DAC TUAN

La formule des traces sur les corps de nombres a t introduite par Selberg, puis
dveloppe par Arthur. Parmi les applications importantes de la formule des traces
dArthur-Selberg, on trouve plusieurs cas du principe de fonctorialit de Langlands
et lexpression de la cohomologie des varits de Shimura en termes automorphes.
Cependant, pour beaucoup de ces applications, il est ncessaire de la stabiliser. La
stabilisation a t faite par Langlands et Kottwitz pour la partie elliptique modulo
une conjecture connue sous le nom "lemme fondamental de Langlands-Shelstad ".
Rcemment Arthur a russi stabiliser toute la formule des traces invariante modulo
le lemme fondamental pondr - une version largie du lemme fondamental.
Le lemme fondamental est de nature locale. Etant donns un groupe rductif G sur
un corps local et un groupe endoscopique H de G associ une donne endoscopique
(, ), le lemme fondamental est une galit conjecturale entre la -intgrale orbitale
de G et lintgrale orbitale stable H. Plusieurs cas particuliers de cette conjecture
ont t prouvs, nous renvoyons le lecteur au [19, Introduction] pour une liste des cas
connus. Grce aux travaux de Waldspurger [21] et Cluckers-Hales-Loeser [5], pour
prouver le lemme fondamental, il suffit de dmontrer sa variante pour les algbres de
Lie pour les corps locaux dgales caractristiques dont la caractristique peut tre
suppose trs grande par rapport au groupe rductif G en question. Voici lnonc
de cette variante [19, Introduction]:
Thorme (Lemme fondamental pour les algbres de Lie).
Soient k un corps fini q lments, O un anneau de valuation discrte complet
de corps rsiduel k et F son corps des fractions. Soit G un schma en groupes
rductifs au-dessus de O dont lordre du groupe de Weyl nest pas divisible par la
caractristique de k. Soient (, ) une donne endoscopique de G au-dessus de O
et H le schma en groupes endoscopiques associ. On a lgalit entre la -intgrale
orbitale et lintgrale orbitale stable
G (a) Oa (1g , d t) = H (aH ) Oa (1h , d t)
associes aux classes de conjugaison stable semi-simples rgulires a et aH de g(F )
et h(F ) qui se correspondent, aux fonctions caractristiques et des compacts g(O) et
h(O) dans g(F ) et h(F ) et o on a not
G (a) = q val(DG (a))/2 , H (a) = q val(DH (aH ))/2 ,
DG , DH tant les fonctions discriminant de G et de H.
1

Date: 18 fvrier 2009.

1

DAT JEAN-FRANOIS AND NGO DAC TUAN

Kazhdan et Lusztig ont remarqu que les intgrales orbitales apparaissent naturellement dans les comptages des points des fibres de Springer affines. Ainsi,
lintgrale orbitale admet une interprtation en termes de la gomtrie. Puis Goresky,
Kottwitz, MacPherson ont donn une interprtation gomtrique du lemme fondamental en utilisant la cohomologie quivariante des fibres de Springer affines [9].
Modulo une conjecture de puret, ils ont russi dmontrer le lemme fondamental dans un cas particulier dit nonramifi. Toujours sous lhypothse de la validit
de la conjecture de puret, par un argument de dformation, Laumon a gnralis
cette mthode et prouv le lemme fondamental pour les groupes unitaires dans le
cas ventuellement non ramifi [13, 14]. Soulignons que tous ces rsultats sont de
nature locale.
Dans [17], Ng propose dtudier les fibrations de Hitchin comme analogues globaux
des fibres de Springer affines et donne une interprtation gomtrique du processus
de stabilisation elliptique en termes de la cohomologie des fibrations de Hitchin.
Dans un travail en commun avec Laumon [16], ils combinent cette nouvelle approche
avec la technique de cohomologie quivariante pour dmontrer le lemme fondamental pour les algbres de Lie des groupes unitaires. Rcemment, Ng a prouv le
lemme fondamental pour les algbres de Lie en toute gnralit. Dans sa preuve, la
cohomologie quivariante napparait plus, et largument clef est une version forte du
thorme de support, qui peut tre considr comme lanalogue global de la conjecture de puret. La preuve de ce thorme de support est base essentiellement sur
une technique due Goresky et MacPherson.
Le but de ce texte est de prsenter une introduction la preuve de Ng Bao Chu
du lemme fondamental pour les algbres de Lie. Nous nous contentons desquisser
les grandes lignes et dexpliquer les arguments clefs de sa preuve. Nous esprons
que ce texte facilitera la lecture de larticle original [19]. Pour dautres articles de
synthse sur le mme sujet, le lecteur pourra consulter les articles [6, 15, 18].
1. Prliminaires
1.1. Notations. Soit k un corps fini q lments. On utilise librement la notion de
champs dont une excellente rfrence est le livre de Laumon-Moret Bailly [12]. Sauf
mention contraire, tous les schmas et les champs considrs dans ce texte seront
dfinis sur k.
Fixons une fois pour toutes X une courbe projective, lisse, gomtriquement con Soit
le produit fibr X k k.
nexe sur k. On note k une clture algbrique de k et X
Pour
F le corps de fonctions de X, danneau des adles A; on note F = F k k.
une place finie v de F , on note v : F Z la valuation associ. Puis Fv sera la
compltion de F par rapport cette valuation, Ov sera lanneau des entiers de Fv ,
kv sera son corps rsiduel et deg(v) le degr de lextension kv /k.
Soit G un groupe rductif dploy sur k. Fixons une fois pour toutes T un tore
maximal dploy sur k de G et B un sous-groupe de Borel de G qui contient T.
Avec la donne de (T, B), on notera W le groupe de Weyl de G et (resp. )

LEMME FONDAMENTAL

lensemble des racines de G (resp. celui des racines simples). Les algbres de Lie de
G, T, et B seront notes g, t, et b. On note ad laction adjointe de G sur g.
Pour chaque racine simple , on choisit un vecteur non nul x dans g . Il
existe alors un unique vecteur non nul x dans g tel que [x , x ] = . On pose
P
P
x+ = x et x = x . La donne de ces vecteurs est appele pinglage.
Soit D un diviseur de X qui scrit sous la forme D = 2D0 o D0 est un diviseur
effectif de degr plus grand que g - le genre de la courbe X. On notera tD =
t OX OX (D) et gD = g OX OX (D); ce sont les fibrs vectoriels sur X obtenus en
tordant t et g par le diviseur D.
Dsormais, on suppose que la caractristique de k ne divise pas le cardinal du
groupe de Weyl W de G.
Exemple : G = GLn . Dans ce cas, on prend pour T le sous-groupe des matrices
diagonales et pour B le sous-groupe des matrices triangulaires suprieures. Lalgbre
de Lie g (resp. t et b) est lalgbre des matrices carres de taille n (resp. la sousalgbre des matrices diagonales et des matrices triangulaires suprieures de taille
nn). Lensemble est lensemble des caractres i,j : diag(t1 , , tn ) T 7 ti t1
j
pour i 6= j, et le sous-ensemble est constitu des i,i+1 pour i = 1, , n 1.
Lpinglage est donn par les matrices xi,j ayant une seule entre non nulle et gale
1 la position (i, j). Le groupe W est le groupe symtrique Sn des permutations
de {1, 2, . . . , n}. Un lment w Sn envoie llment t = diag(t1 , t2 , . . . , tn ) de t
sur llment diag(t(1) , t(2) , . . . , t(n) ).
1.2. Morphisme de Chevalley. On considre laction adjointe de G sur g et on
sintresse lalgbre k[g]G des fonctions G-invariantes sur g. En restreignant t,
on obtient un homomorphisme k[g]G k[t]W et on vrifie que cest en fait un
isomorphisme. De plus, on montre que k[g]G est une algbre de polynme, cest-dire il existe des fonctions rgulires homognes a1 , a2 , . . . , ar de degr d1 , d2 , . . . , dr
dans k[g]G telles que k[g]G = k[a1 , a2 , . . . , ar ]. Bien que le choix des fonctions
homognes a1 , a2 , . . . , ar ne soit pas unique, les entiers d1 , d2 , . . . , dr sont uniques
une permutation prs. On les appelle les exposants de Kostant de G.
On dfinit c = Spec k[g]G = Spec k[t]W et une action de Gm sur c via les exposants
de Kostant:
t (a1 , a2 , . . . , ar ) = (td1 a1 , td2 a2 , . . . , tdr ar ).
On considre le morphisme naturel dit caractristique de Chevalley : g c.
Si Gm agit sur g par lhomothtie et sur c via ses exposants de Kostant, est
Gm -quivariant, de sorte quon a un 1-morphisme de champs :
: [g/(G Gm )] [c/Gm ].
On va rappeler maintenant la construction due Kostant dune section de :
g c. On a dj construit un vecteur non nul x+ g; on note gx+ le centralisateur
de x+ dans g. Alors la restriction de g c au sous-espace x + gx+ est un

DAT JEAN-FRANOIS AND NGO DAC TUAN

isomorphisme. Linverse de cet isomorphisme

: c g
sera appel la section de Kostant de g. Notons que cela permet de munir c dune
structure despace affine sous gx+ , et mme despace vectoriel avec lorigine vidente.
Cette structure despace vectoriel est compatible laction de Gm dfinie ci-dessus.
Exemple : G = GLn . Dans ce cas, c est lespace affine des polynmes unitaires de
degr n, et envoie une matrice A sur son polynme caractristique det(X.In A).
Plus explicitement, lespace des polynmes unitaires de degr n est isomorphe An
via (a1 , , an ) 7 X n a1 X n1 + + (1)n an . Identifiant donc c An , envoie
une matrice carre A de taille n sur le n-uplet
a = (tr(A), tr(2 A), , tr(n A)).
En particulier les exposants de Kostant sont d1 = 1, d2 = 2, , dn = n. Bien que ce
ne soit pas tout fait la section de Kostant, a une section bien connue qui envoie
un polynme sur sa matrice compagnon. La matrice associe a = (a1 , , an )
est la suivante :

0 0 . . . 0 (1)n1 an
1 0 . . . 0 (1)n2 an1
. . .

.
..
.
(a) =
.
.. .. . . ..

0 0 . . . 0

a2
0 0 ... 1
a1
1.3. Lieux rguliers. Centralisateurs rguliers. Pour toute racine , on
Q
dispose dune flche d : t k. Le discriminant D = d est une fonction
rgulire W-invariante sur t, donc elle est une fonction rgulire sur c et dfinit un
diviseur sur c not D. On montre aisment que cest un diviseur rduit, cf. [19,
Lemme 1.10.1]. Le complmentaire de ce diviseur sera appel louvert des lments
semisimples rguliers de c et on le note crs .
On a vu que le schma c est le schma quotient de t par laction du groupe fini
W. Le morphisme t c est donc fini et plat. De plus, au-dessus de louvert
rgulier crs , t|crs est tale galoisien de groupe de Galois W. Si lon considre laction
de Gm sur t par lhomothtie et sur c via les exposants de Kostant, ce morphisme
est Gm -quivariant.
On considre le schma en groupes des centralisateurs I au-dessus de g dfini par
I = {(g, x) G g : ad(g)x = x}.
Il nest pas lisse au-dessus de g, ni mme plat. On dfinit louvert rgulier greg de g

si et seulement si son centralisateur

comme suit. Un k-point
x de g est dans greg (k)
Ix est de dimension minimale, cest--dire dim Ix = rang G. On montre quau-dessus
de cet ouvert greg , I|greg est un schma en groupes commutatifs lisse. Rappelons que
le morphisme de Chevalley : g c admet une section de Kostant : c g
dont limage est contenue dans x + gx+ , donc dans greg . Ainsi, le centralisateur
rgulier J = I est un schma en groupes commutatifs lisse. Notons que J est

LEMME FONDAMENTAL

un tore au-dessus du lieu semi-simple rgulier crs , mais peut avoir des fibres non
connexes et une partie additive le long du diviseur D. Par la descente fidlement
plate, on montre quil existe un isomorphisme G-quivariant canonique J I
sur greg . Puis, par normalit, Ng montre que cet isomorphisme stend en un
homomorphisme J I sur tout lespace g, cf. [17, Proposition 3.2].
Exemple : G = GLn . Dans ce cas, crs est le lieu des polynmes unitaires de degr
= kn
n qui sont sparables (sans racines multiples). Si a = (a1 , a2 , . . . , an ) c(k)
reprsente le polynme unitaire Pa = tn a1 tn1 +. . .+(1)n an , alors Ja est le groupe
]/Pa . En particulier, la partie additive de
des lments inversibles de lalgbre k[T
Ja est non triviale si et seulement si le polynme Pa a des racines multiples. Soit
une matrice de caractristique a; on fait agir k[T
] sur g(k)
de manire
A g(k)
suivante: laction des lments de k est par la multiplication et laction de T est par
la multiplication avec la matrice A droite. La flche obtenue nest rien dautre que
lhomomorphisme Ja IA . On vrifie sans peine que si A est rgulier, cest un
isomorphisme.
1.4. Formes quasi-dployes de G sur X. Le lemme fondamental concerne des
groupes quasi-dploys sur un corps local. Ce sont des formes extrieures de
groupes dploys. De mme ici, on doit considrer des formes extrieures de G
sur X. Une telle forme est donne par un morphisme
: 1 (X, x) Out(G)
(le groupe discret des automorphismes extrieurs de G). Plus prcisment, la forme
G de G sur X associe sobtient en choisissant un revtement Galoisien (X , x )
de (X, x) de groupe not et tel que se factorise par 1 (X, x) , puis en
tordant G par ce torseur. On a donc G = G X . Comme Out(G) sidentifie au
sous-groupe de Aut(G) qui prserve la paire (T, B) et lpinglage des x , toutes les
constructions prcdentes peuvent tre tordues pour donner une paire (T, B) dans G
au-dessus de X, un groupe de Weyl W , des algbres de Lie t, g, un quotient c = t/W ,
son lieu rgulier crs , le morphisme de Chevalley : g c, une section de Kostant
: c g de ce morphisme, ainsi quun centralisateur rgulier J commutatif et
lisse au-dessus de c et un morphisme J I de schmas en groupes au-dessus de
g. On remarque que c sidentifie au quotient
c = (t X )/(W o ).
Exemple : groupes unitaires. Pour G = GLn , on a Out(G) = Z/2Z, donc une
forme de G est donne par un revtement tale X de degr 2. Llment non
trivial de Aut(G) prservant lpinglage quon a fix plus haut est donn par g 7
n t g 1 1
n o n est la matrice antidiagonale. La forme associe X est le schma
en groupes qui un X-schma S associe
UX /X (n)(S) := {g GLn ((S X X , OSX X )), n (t g 1 )1
n = g}

DAT JEAN-FRANOIS AND NGO DAC TUAN

o est lautomorphisme non-trivial de X . Cest un groupe unitaire sur X, qui

devient isomorphe au groupe constant GLn aprs extension X .
` . Sa
le groupe dual de G sur Q
1.5. Constructions sur le groupe dual. Soit G
en changeant racines et coracines. Il
donne radicielle sobtient partir de celle de G
,B
) et mme un pinglage (
).
vient avec une paire (T
x ) , et on a Out(G) = Out(G
. On note H
=H
(), resp. 0 (), la composante neutre,
Soit un lment de T
oOut(G). Le groupe
resp. le groupe des composantes, du centralisateur de dans G
est rductif, contient la paire de Borel (T
,B
H
) et est muni de lpinglage induit
H
. Le groupe 0 () est muni de morphismes vidents
par celui de G
) 0 () Out(H
).
Out(G
Daprs [19, 1.9.8], on peut alors prolonger linclusion WH , WG en un morphisme
WH
o 0 () WG
o 0 ()

et la projection sur 0 ().

compatible avec laction sur T
correspond un groupe rductif dploy H sur k, muni dune paire
Au groupe H

(TH , BH ) et dun pinglage, ainsi que dun isomorphisme TH T compatible

avec le morphisme WH o 0 () WG o 0 () voqu ci-dessus. En particulier,
cet isomorphisme induit un morphisme de transfert
: cH c
compatible avec laction de 0 ().
Grs
rs
Le transfert nenvoie bien-sr pas crs
limage rciproque
H dans c . On note cH
rs
rs

de louvert c dans cH . On montre que le diviseur (DG ) est de la forme DH +2RG

H
G
pour un diviseur rduit effectif RH de cH , cf. [19, Lemme 1.10.2].
P
Exemple : G = GLn . Dans ce cas, H est un produit de GLni avec i ni = n,
et 0 () est soit trivial, soit gal Z/2Z. Dans ce dernier cas, H est isomorphe
GLmk GLm1 (GLn1 GLnr ) GLm1 GLmk avec mi = mi
pour i = 1, , k. Llment non trivial de 0 () change GLmi et GLmi et induit
g 7 ni t g 1 1
ni sur chaque GLni . De plus, le transfert est donn par le produit
des polynmes unitaires correspondants.
1.6. Donnes endoscopiques. Une donne endoscopique pour le groupe G est un
couple (, ) avec comme ci-dessus et un morphisme : 1 (X, x) 0 () qui
induit . Le groupe endoscopique associ la donne (, ) est alors la forme de
H associe lhomorphisme 1 (X, x) Out(H) dduit de . Il est de la forme
H = H X si lon a pris soin de choisir (X , x ) (voir plus haut) de sorte que
se factorise par . Le morphisme de transfert : cH c passe la torsion par
pour donner un transfert
: cH c.

LEMME FONDAMENTAL

Exemple : groupes linaires. Si G = GLn , les groupes endoscopiques sont isomorQ

phes des sous-groupes de Levi de G, cest--dire de la forme H = i GLni avec
P
i ni = n.
Exemple : groupes unitaires. Soit G le groupe unitaire associ au revtement X
de degr 2 de X. Pour une donne endoscopique, on doit avoir 0 () non trivial,
donc gal Z/2Z. Avec les notations ci-dessus, le groupe endoscopique H est de la
forme GLm1 GLmk UX /X (n1 ) UX /X (nr ). Un tel groupe est isomorphe
un sous-groupe de Levi si et seulement si r = 1 (et ventuellement n1 = 0).
2. Lemme fondamental et fibres de Springer affines
Il sagit de la partie locale de la thorie. Soit G un groupe du type dcrit au
paragraphe 1.4 dont on reprend les notations. Fixons un point ferm v de X, notons
Ov son anneau local complt, Fv le corps des fractions de celui-ci et v un groupe
de dcomposition en v du groupe de Galois de F (X). Fixons aussi un point
a c(Ov ) crs (Fv ).
2.1. Intgrales orbitales. Le point a dfinit une classe de conjugaison stable semisimple rgulire 1 (a) de g(Fv ), ainsi quun reprsentant de Kostant 0 = (a)
g(Fv ) de cette classe. Les centralisateurs des lments de 1 (a) sont des tores,
tous canoniquement isomorphes celui de 0 , que lon note I0 . Ils sont aussi
canoniquement isomorphes au tore Ja := T Wo 1 (a) obtenu en tordant T
par le W o -torseur 1 (a) au-dessus de Spec(Fv ), o : t X c est la
projection canonique. Notons quun tel torseur est donn par un morphisme
,a : v W o
qui relve la restriction |v : v de v .
Si 1 (a), le transporteur de sur 0 dans G est un torseur sous le centralisateur de 0 donc dfinit un torseur sous Ja . Lapplication ainsi obtenue
1 (a) H 1 (Fv , Ja )
7 inv(, 0 )
induit une bijection entre lensemble des classes de conjugaison dans 1 (a) et le
noyau ker(H 1 (Fv , Ja ) H 1 (Fv , G)) qui est le mme ensemble apparu dans la
formule (3.1) de [10]. Le groupe H 1 (Fv , Ja ) peut se calculer au moyen de la dualit
de Tate-Nakayama. Celle-ci fournit un accouplement parfait
(2.1.1)

,a (v ) ) Q/Z.
h , i : H 1 (Fv , Ja ) 0 (T

tant donn un caractre de H 1 (Fv , Ja ), on dfinit la -intgrale orbitale dune

fonction localement constante f sur g(Fv )
X
h, inv(, 0 )iO (f, dtv ),
Oa (f, dtv ) =
1 (a)/conj

DAT JEAN-FRANOIS AND NGO DAC TUAN

o la somme porte sur les classes de conjugaison dans la classe stable 1 (a) et
Z

dgv
O (f, dtv ) =
f ad(gv1 )
dtv
I (Fv )\G(Fv )
dsigne lintgrale orbitale de f en pour la mesure de Haar dtv sur Ja (Fv ) (identifi
au centralisateur de ) et la mesure de Haar dgv normalise par G(Ov ) sur G(Fv ).
2.2. Lemme fondamental. Fixons maintenant une donne endoscopique (, ),
ainsi quun lment aH cH (Ov ) dimage a dans c(Ov ). Comme ci-dessus, on en
dduit un morphisme aH , : v WH o , dont le morphisme prcdent a, se
dduit par composition avec le morphisme naturel WH o W o de 1.5. Il

sensuit que lisomorphisme TH T induit un isomorphisme JH,aH Ja , et par

consquent des identifications
a, (v ) ) = 0 (T
aH , (v ) ).
H 1 (Fv , JH,a ) = H 1 (Fv , Ja ) = 0 (T
H

a, (v ) et dfinit donc un caractre des groupes

Par dfinition, llment est dans T
H 1 (Fv , JH,aH ) et H 1 (Fv , Ja ). De plus, tout choix de mesure de Haar dtv sur Ja (Fv )
en dtermine un sur JH,aH (Fv ).
Le lemme fondamental est lgalit suivante :
G

Oa (1g(Ov ) , dtv ) = q rH,v (aH ) OaH (1h(Ov ) , dtv )

G
o rH,v
(aH ) = degv (aH RG
H ).

, donc le caractre quil dfinit sur

On notera que est dans le centre de H
1
H (Fv , JH,aH ) est trivial sur le noyau de H (Fv , JH,aH ) H 1 (Fv , H). En dautres
termes, pour tout H dans 1
H (aH ), on a
1

h, inv(H , H,0 )i = 1.
Le membre de droite de lgalit ci-dessus est donc lintgrale orbitale stable en aH .
2.3. Fibres de Springer affines. Notons Xv := Spec(Ov ) le disque formel en v et
la compltion
Xv := Spec(Fv ) le disque point. Pour un k-schma S, on note Xv S
le complmentaire de {v} S. Enfin, notons E0 le
v-adique de Xv S et Xv S
G-torseur trivial sur Xv .
La fibre de Springer affine Mv (a) associe a peut se dfinir comme le champ qui
S associe le groupode

E un G-torseur sur Xv S,

.
Mv (a, S) := (E, , ), une section de g G E sur Xv S

un isomorphisme (E, )|Xv S

(E0 , 0 ) = (E0 , (a))
Ce groupode est en ralit discret, i.e.
disomorphisme. En particulier, on a

quivalent lensemble de ses classes

Mv (a, k) ' {g G(Fv )/G(Ov ), ad(g)1 (0 ) g(Ov )}.

On montre que Mv (a) est reprsentable par un ind-schma sur k.
Soit (E, , ) un triplet comme ci-dessus. Le morphisme J I induit un
morphisme Ja Aut(E, ), ce qui permet de tordre (E, ) par tout Ja -torseur.

LEMME FONDAMENTAL

On en dduit une action sur Mv (a) du champ de Picard (ou champ en groupes
abliens) Pv (a) qui S associe le groupode

F un Ja -torseur sur Xv S,
Pv (a, S) := (F, ),
.

une trivialisation de F sur Xv S

Ici encore, ce groupode est quivalent lensemble de ses classes disomorphisme,
lequel est un groupe ablien. Par exemple,
Pv (a, k) ' Ja (Fv )/Ja (Ov ) ' I0 (Fv )/I0 (Ov )
agit de la manire vidente sur Mv (a, k). On montre que Pv (a) est reprsentable
par un ind-schma en groupes sur k.
Exemple : groupes linaires et unitaires. Pour G = GLn , Mv (a, k) sidentifie
lensemble des Ov -rseaux 0 -stables de Fvn . Pour un groupe unitaire, Mv (a, k)
sidentifie lensemble des O(Xv X X )-rseaux autoduaux dans (Fv F (X) F (X ))n .
2.4. Quotients nafs et intgrales orbitales. Rappelons que si M est un ensemble sur lequel agit un groupe P , on peut former le groupode quotient [M/P ] dont
les objets sont les lments de M et les morphismes sont donns par laction de P .
Lorsque le quotient M/P est fini et les fixateurs des lments de M dans P sont
finis, alors on dfinit le cardinal de [M/P ] par
X
1
.
][M/P ] :=
]Aut[M/P ] (m)
mM/P

On remarque alors daprs le paragraphe prcdent que

][Mv (a, k)/Pv (a, k)] = O0 (1g(Ov ) , dtv )
pour la mesure de Haar normalise par Ja (Ov ). Ainsi, lintgrale orbitale admet une
interprtation naturelle en termes de la gomtrie.
2.5. Quotients champtres et -intgrales orbitales. Supposons maintenant
que M est un k-schma sur lequel agit un k-schma en groupes. On peut alors
former le champ quotient [M/P ], comme le champ associ au pr-champ S 7
[M (S)/P (S)]. Le groupode [M/P ](k) admet deux descriptions utiles :
[M/P ](k) = {(Q, j), Q un P -torseur sur k et j : Q M un k-P -morphisme }
P (k),
p.(m) = m}.
= {(m, p) M (k)
Dans la seconde, dsigne le Frobenius de k et les morphismes (m, p) (m0 , p0 )
tels que m0 = hm et p0 = hp(h)1 . On passe la
sont les lments h P (k)
premire description en associant (m, p) la paire (Q, j) obtenue en descendant le
morphisme j : a Pk a.m Mk pour le Frobenius tordu p : a 7 (a)p1 sur
Pk . On voit bien sur la premire description quon a une application
cl : [M/P ](k) H 1 (k, P ).

10

DAT JEAN-FRANOIS AND NGO DAC TUAN

Etant donn un caractre de H 1 (k, P ), et en supposant que lensemble des classes

disomorphismes et les groupes dautomorphismes sont finis, on dfinit alors le comptage -pondr par la formule
X
(cl(x), )
][M/P ](k) =
] Aut(x)
x[M/P ](k)/

Lhypothse de finitude est vrifie dans le cas de laction de Pv (a) sur Mv (a),
cf paragraphe 4.1. Par un thorme de Steinberg donnant le premier isomorphisme
ci-dessous, on a un morphisme
H 1 (Fv , Ja )

H 1 (Gal(k/k),
Ja (Fv k k))

a (Ov k k))
= H 1 (k, Pv (a)),
H 1 (Gal(k/k),
Ja (Fv k k)/J
'

qui dailleurs est un isomorphisme si la fibre spciale de Ja est connexe.

Ainsi un caractre de H 1 (k, Pv (a)) induit un caractre encore not de H 1 (Fv , Ja ).
Le lien entre -intgrales orbitales et fibres de Springer affines est alors donn par la
proposition suivante, cf. [19, proposition 8.2.7], qui est une laboration des travaux
de Kottwitz, Goresky et MacPherson [9].
Proposition 2.6. Avec les notations ci-dessus on a
][Mv (a)/Pv (a)](k) = Oa (1g(Ov ) , d tv ),
o d tv la mesure de Haar normalise par Ja0 (Ov ) avec Ja0 la composante neutre de
Ja . De plus, si 0 est un caractre de H1 (Fv , Ja ) qui ne provient pas dun caractre
0
de H1 (k, Pv (a)), alors la 0 -intgrale orbitale Oa (1gv , d tv ) est nulle.
Ce rsultat est plus facile prouver lorsque Ja est fibres connexes. Si ce nest pas
le cas, on prouve dabord un rsultat pour un modle connexe de Ja,Fv sur Ov , i.e.
un schma en groupes lisse ablien fibres connexes Ja0 sur Ov muni dun morphisme
Ja0 Ja qui est un isomorphisme en fibres gnriques. Pour un tel Ja0 , on peut
considrer le champ Pv (Ja0 ) des Ja0 -torseurs trivialiss sur Fv , lequel agit encore sur

Mv (a). Cette fois on a un isomorphisme H 1 (Fv , Ja ) H 1 (k, Pv (Ja0 )). La formule

obtenue, cf. [19, proposition 8.2.5], devient
Proposition 2.7. Avec les notations ci-dessus, on a
][Mv (a)/Pv (Ja0 )](k) = vol(Ja0 (Ov ), d tv ) Oa (1g(Ov ) , d tv ),
o d tv est nimporte quelle mesure de Haar de Ja (Fv ).
Rappelons que le discriminant D est une fonction rgulire sur c. Dans le cas o
v(D(a)) 1, on peut calculer explicitement les comptages ][Mv (a)/Pv (Ja0 )](k) et
][Mv (a)/Pv (Ja )](k) , cf. [19, section 8.3].
3. Fibration de Hitchin
Il sagit de la partie globale de la thorie. Ici encore, G dsigne un groupe du type
dcrit au paragraphe 1.4.

LEMME FONDAMENTAL

11

3.1. Champ de Hitchin. Commenons par dfinir la notion de paire de Higgs.

Soit S un k-schma; on appelle une paire de Higgs sur S la donne dun couple
(E, ) o E est un G-torseur sur le produit fibr X S et est une section globale
sur X S du fibr vectoriel ad(E) OX OX (D). Ici ad(E) dsigne le fibr vectoriel
g G E tordu de g par le G-torseur E pour laction adjointe de G sur g. Le torseur
E sera appel le fibr de Higgs et la section sera appele le champ de Higgs.
Introduisons maintenant le champ de Hitchin M classifiant les paires de Higgs.
Soit S un k-schma; M(S) est la catgorie dont les objets sont des paires de Higgs
sur S et les morphismes sont des isomorphismes entre ces paires. Soit S 0 S un
morphisme entre deux k-schmas, le pull-back induit un foncteur M(S) M(S 0 ).
Ainsi la collection des groupodes M(S) lorsque S parcourt la catgorie des kschmas dfinit un champ M appel le champ de Hitchin.
Dans le langage des champs algbriques, on peut rinterprter cette dfinition
comme suit. Soit BG (resp. BGm ) le champ algbrique classifiant les G-torseurs
sur k (resp. les fibrs inversibles sur k). Ainsi pour tout k-schma S, BG(S) est
la catgorie dont les objets sont les G-torseurs sur S et les morphismes sont les
isomorphismes entre de tels torseurs. On note hD : X BGm le morphisme qui
correspond au fibr inversible OX (D).
Soit S un k-schma. La donne dun fibr de Higgs E sur X S est quivalente
celle dune flche
hE : X S BG.
Puis la donne dun champ de Higgs est quivalente celle dune flche
hE, : X S [g/G Gm ]
au-dessus de hE hD : X S BG BGm .
On dfinit lespace de Hitchin A comme le foncteur qui associe tout schma
S lensemble des flches X S [c/Gm ] au-dessus de hD : X S BGm .
On voit aisment que A est lespace des sections globales sur X du fibr vectoriel
cD = c OX OX (D), en particulier, il est un schma.
Dfinissons maintenant le morphisme de Hitchin. La faon la plus simple est
dutiliser la description champtre des paires de Higgs. Soit S un schma; un Spoint de M consiste en la donne de deux flches hE : X S BG et hE, :
X S [g/G Gm ] telles que le diagramme naturel
hE,

/ [g/G Gm ]
X SN
NNN
NNN
N
hE hD NNN&

BG BGm

soit commutatif. En composant hE, avec le morphisme de Chevalley : [g/G

Gm ] [c/Gm ], on obtient un S-point de A. Le morphisme que lon vient de dfinir
est appel le morphisme caractristique de Hitchin et il est not:
m : M A.

12

DAT JEAN-FRANOIS AND NGO DAC TUAN

Pour tout point a A, on notera Ma la fibre m1 (a) au dessus de a et on considrera

M comme une famille des fibres Ma lorsque a varie.
Introduisons quelques sous-schmas ouverts de A sur lesquels on va travailler dans
la suite. On a dj identifi A lespace des sections globales sur X du fibr vectoriel
un sous ensemble
cD = c OX OX (D). Avec cette interprtation, on identifie A(k)
en envoyant le point a la valeur au point gnrique de la section globale
de c(F k k)
qui correspond a. Sous cette identification, on dfinit le sous-schma A (resp.

Aani ) de manire suivante: un k-point

de A est dans A (resp. Aani ) si et seulement
il est rgulier semisimple (resp.
si, tant considr comme un lment de c(F k k),
rgulier semisimple et elliptique). On vrifie aisment que ce sont des sous-schmas
ouverts de A.
considr comme un morphisme a : X

Pour tout point gomtrique a A(k)
cest un
de crs ; lorsque a A (k),
cD , on dfinit Ua comme limage inverse dans X
D

ouvert dense de X.
Suivant la terminologie de Donagi et Gaitsgory [7], on introduit le revtement
en formant le diagramme cartsien
camral X

X
tD

y
y
X A cD .
un k-point

a de X.
On
Soit a A(k)
de A, on obtient un revtement dit camral X
a X
est gnriquevrifie facilement que si a est rgulier, alors le revtement X
a est rduite.
ment un torseur sous W et la courbe X

ani
On notera M (resp. M ) le sous-champ ouvert de M dfini comme limage
inverse de A (resp. Aani ) via le morphisme de Hitchin m. Les proprits importantes de ces sous-champs peuvent tre rsumes dans le thorme suivant qui est
d Biswas-Ramanan [3] et Faltings [8].
Thorme 3.2. Avec les notations ci-dessus,
i) M est un champ lisse.
ii) Supposons que G est semisimple, alors le morphisme de Hitchin Mani
Aani au-dessus de louvert Aani est propre. De plus, le champ Mani est de DeligneMumford.
Exemple : G = GLn . La donne dune paire de Higgs (E, ) sur un schma S
est quivalente la donne dun fibr vectoriel E de rang n sur X S muni dun
endomorphisme tordu : E E O(D). Lespace affine de Hitchin est alors
simplement
M
A=
H0 (X, OX (iD))
1in

et le morphisme caractristique de Hitchin m envoie une paire (E, ) sur le point

(tr(), tr(2 ), . . . , tr(n )) A
o tr(i )) est la trace du morphisme i : i E i E OX (iD).

LEMME FONDAMENTAL

13

Soit a = (a1 , a2 , . . . , an ) un k-point

de A qui correspond une collection de
OX (iD)). En valuant ces sections
sections globales des fibrs vectoriels ai H0 (X,
on obtient un polynme Pa (t) = tn a1 tn1 + . . . +(1)n an
au point gnrique de X,
On voit que a est rgulier (resp. rgulier elliptique) si et
coefficients dans F k k.
seulement si Pa na que des racines simples (resp. est irrductible).
Exemple : groupes unitaires. Si G est un groupe unitaire associ un revtement X de degr 2, le champ de Hitchin classifie les fibrs hermitiens munis dun
endomorphisme hermitien tordu. Le morphisme de Hitchin est encore donn par
lapplication polynme caractristique.
3.3. Groupes des symtries. On renvoie la section 1.3 pour la dfinition du
centralisateur rgulier J au-dessus de c. Comme J est Gm -quivariant, on peut descendre J en un schma en groupes commutatifs lisse sur le champ quotient [c/Gm ].
On note celui-ci encore J et on lappelle toujours le schma en groupes des centralisateurs rguliers.
Soit a un S-point de A; cest quivalent donner une flche a : X S [c/Gm ]
au-dessus de hD : X S BGm . En prenant limage inverse de J, on obtient un
schma en groupes commutatifs Ja = a J sur X S et on introduit Pa le champ
classifiant des Ja -torseurs sur X S. Soit (E, ) Ma ; la flche J I sur g
induit une flche
Ja Aut(E, ).
Ainsi, on peut tordre cette paire par tout Ja -torseur et on obtient donc une action
de Pa sur Ma . Lorsque lon varie a, Pa sorganise en famille et dfinit un champ
P au-dessus de A. Cest un champ algbrique qui agit sur le champ de Hitchin M.
On notera P (resp. P ani ) la restriction de P au-dessus de louvert A (resp. Aani ).
On montre que P est un champ relativement lisse au-dessus de A . On peut
alors dfinir le faisceau en groupes commutatifs 0 (P) des composantes connexes de
est
P pour la topologie tale sur A . Sa fibre en un point gomtrique a A (k)
le groupe des composantes connexes de Pa :
[0 (P)]a = 0 (Pa ).
Le lien entre laction de Pa et lendoscopie viendra du rsultat suivant, dont la
preuve utilise dailleurs une technique de Kottwitz classique pour traduire des rsultats de cohomologie Galoisienne en termes de L-groupes [11].
Proposition 3.4. [17, Prop. 6.8] Il existe un homomorphisme canonique
a ) 0 (Pa )
X T W Irr(X
et cest un isomophisme si G est adjoint. Cet homomorphisme sorganise en famille.
si et seulement si 0 (Pa ) est fini.
De plus, si G est semisimple, a est dans Aani (k)
Exemple : G = GLn . Reprenons les notations de lexemple du paragraphe prc rgulire, autrement dit a A (k).

dent. Fixons une caractristique a A(k)

Suivant Beauville, Narasimhan et Ramanan [2], on dfinit la courbe spectrale Ya

14

DAT JEAN-FRANOIS AND NGO DAC TUAN

associe a; cest une courbe trace sur lespace total D du fibr inversible OX (D)
donne par lquation
tn a1 tn1 + . . . + (1)n an = 0.
qui est gnriquement tale Galoisien de groupe de
Cest un revtement fini de X
Galois W = Sn . On voit bien que la condition que a est rgulier (resp. rgulier
elliptique) entrane que la courbe Ya est rduite (resp. irrductible). Vue la forme
explicite de Ja donne dans lexemple du paragraphe 1.3, on voit aussi que le groupe
des symtries Pa est le champ de Picard de Ya qui classifie les fibrs inversibles sur
Ya . Beauville, Narasimhan et Ramanan ont montr que la fibre Ma peut se voir
comme le champ classifiant les faisceaux cohrents sans torsion de rang gnrique
1 sur Ya . Avec ces identifications, laction de Pa sur Ma est donne par le produit
tensoriel L F dun fibr inversible L sur Ya avec un faisceau cohrent sans torsion
F de rang gnrique 1. Notons que dans le cas G = GL1 , on retrouve la thorie
classique des varits de Picard.
Ces constructions se gnralisent aux groupes unitaires, et plus gnralement aux
groupes classiques.
3.5. Formule de produit. On veut tablir un lien entre le contexte global et le

contexte local. On se donne un k-point

a de A; on le considre aussi comme un

morphisme a : X [c/Gm ]. Rappelons quon a dj dfini Ua comme louvert de

des points rguliers dfini par a. Puis on considre le champ quotient [Ma /Pa ]. A
X
priori, cest une 2-catgorie mais on vrifie aisment que cest en fait une 1-catgorie.

Soit S un k-schma;
[Ma /Pa ](S) est le groupoide dont les objets sont des paires de
Higgs (E, ) de caractristique a et les morphismes entre deux telles paires (E, )
et (E 0 , 0 ) consistent en un lment p Pa (S) et un isomorphisme

p (E, ) (E 0 , 0 ).
Proposition 3.6 (Formule de produit). Avec les notations ci-dessus, on a une
quivalence de catgories:
Y
[Ma /Pa ] =
[Mv (a)/Pv (a)].

vXU
a

Q
On se content dexpliquer le foncteur de la catgorie vXU
[Mv (a)/Pv (a)] vers

a
la catgorie [Ma /Pa ]. Soit (xv )vXU
une famille dlments de (Mv (a))vXU
. On

a
a
dfinie par la section de Kostant au-dessus de
considre la paire de Higgs (E, ) sur X
k Fv permet de recoller la restriction
a. Lisomorphisme sur le disque point Xv = X
de (E, ) sur Ua avec les donnes locales (xv )vXU
pour obtenir une nouvelle paire

a
0
0
Ainsi on obtient un foncteur Q
de Higgs (E , ) sur X.
vXUa Mv (a) Ma . Il
Q
est compatible avec laction de vXU
Pv (a) et de Pa , donc on obtient un foncteur

a
Q
[Mv (a)/Pv (a)] [Ma /Pa ]. Une dmonstration du fait que ce foncteur

vXU
a
est pleinement fidle et essentiellement surjectif se trouve dans [17, Thorme 4.6]1.
1On

remarquera que notre notation est ici celle de [19]. Dans [17], ce que nous notons Mv (a)
est not Ma,v

LEMME FONDAMENTAL

15

Rappelons que du ct de la formule des traces, pour pouvoir exprimer lintgrale

orbitale globale comme un produit des intgrales orbitales locales, on a besoin
dextraire le facteur de volume. La formule ci-dessus est linterprtation gomtrique
de cette opration.
on le considre comme un morphisme a : X

3.7. Invariant . Soit a A (k);
des points rguliers dfini par a. Au-dessus
cD . Rappelons que Ua est louvert de X
de Ua , le schma en groupes commutatifs lisse Ja est un tore. En dehors de Ua , il a
aussi un facteur unipotent. Daprs Bosch, Lutkebohmert et Raynaud [4], il existe un
Cest un schma en groupes commutatifs lisse sur
modle de Nron Ja[ de Ja sur X.
muni dun homomorphisme Ja Ja[ qui est un isomorphisme sur Ua et qui est
X
maximal pour ces proprits. Ceci signifie que pour tout homomorphisme Ja Ja0
qui est un isomorphisme sur Ua avec Ja0 un schma en groupes commutatifs lisse
il existe un homomorphisme J 0 J [ rendant commutatif le diagramme
sur X,
a
a
vident. Le modle de Nron Ja[ peut tre construit explicitement partir de la
a , cf. [19, corollaire 4.8.1]. On notera Pa[ le champ classifiant
courbe camrale X
Lhomomorphisme Ja J [ induit un homomorphisme
les Ja[ -torseurs sur X.
a
Pa Pa[ . Ng montre:
Proposition 3.8. [19, Prop 4.8.2]
P [ (k)
est surjectif.
i) Lhomomorphisme Pa (k)
a
ii) Le composante connexe de Pa[ est un champ ablien.
iii) Le noyau Ra de Pa Pa[ est un groupe algbrique affine qui peut scrire
comme un produit des groupes algbriques affines locaux.
Linvariant a mesure la dimension de la partie affine de Pa :
a := dim Ra .
Exemple : G = GLn . Reprenons les notations de lexemple du paragraphe prcdent. On considre : Ya[ Ya la normalisation de la courbe spectrale Ya . La
flche L 7 L qui associe tout fibr inversible sur Ya son pull-back sur Ya[ dfinit
un homomorphisme : Pic Ya Pic Ya[ . On considre la suite exacte:
0 OYa OY[ OY[ /OYa 0.
a

La suite exacte longue de cohomologie implique que est essentiellement surjectif,

cest--dire il est surjectif au niveau des k-points.

On voit bien que le noyau de
consiste en les fibrs inversibles sur Ya dont le pull-back sur Ya[ est isomorphe au
fibr trivial OYa[ . Linvariant a est par dfinition lentier dim H0 (Ya , OYa[ /OYa ).
Il mesure la dimension du groupe affine ker . Puis on introduit le groupe des
composantes connexes 0 (Ya ). Le morphisme : Pic Ya Pic Ya[ induit un ho[
momorphisme 0 (Pic Ya ) 0 (Pic Ya[ ) = Z0 (Ya ) .

16

DAT JEAN-FRANOIS AND NGO DAC TUAN

3.9. Normalisation en famille. On construit une stratification de A par normalisation en famille. Par dfinition, tant donn un morphisme propre, plat, de fibres
rduites de dimension un Y S, une normalisation en famille Y 0 Y est un
morphisme propre birationnel qui est un isomorphisme sur un ouvert U de Y dense
dans chaque fibre de Y au-dessus de S et tel que le morphisme compos Y 0 S
soit un morphisme propre et lisse.
Ng montre quil existe une stratification
G
A k k =
A

de A k k par des sous-schmas localements ferms A indexs par un ensemble

fini dindices qui vrifie les conditions suivantes:
admet une normalisation
i) Au-dessus de chaque strate A , la courbe camrale X
en famille aprs un changement de base radiciel.

ii) Pour tout k-schma

S connexe rduit qui est muni dun morphisme s : S

A k k tel que la restriction de la courbe camrale S admette une normalisation

en famille, alors le morphisme s se factorise par lune des strates A .
On utilise la relation dordre suivante sur : soient et 0 deux lments de ,
on dit que 0 si et seulement si A est contenue dans ladhrence de A0 . On
vrifie que linvariant a reste inchang dans une normalisation en famille de base
connexe. Ainsi on dispose dune application : N; par rapport la relation
dordre sur , cest une fonction dcroissante. On dfinit alors une stratification de
A k k par linvariant en regroupant tous les strates de mme ordre:
G
A .
A =
()=

Lestimation suivante joue un rle clef dans la preuve de la version forte du thorme
de support.
Proposition 3.10. Si le degr du diviseur D est trs grand par rapport , alors
la strate A est de codimension suprieure ou gale .
On notera Agood louvert qui contient toutes les strates A qui vrifient codim A
. Lorsque D est assez grand, cest un ouvert non vide de A . Son complmentaire
dans A est not Abad .
Remarquons aussi que, sur chaque strate, le groupe des composantes connexes
0 (Pa ) reste constant. On montre que si G est semisimple, alors lensemble des
strates telles que, pour tout point gomtrique a dans cette strate, le groupe des
composantes connexes soit fini forme louvert non vide Aani de A .
Exemple : G = GLn . Reprenons les notations des exemples des paragraphes
prcdents. On considre le foncteur B qui tout schma S associe lensemble B(S)
des triplets (a, Ya[ , ) o:
i) a : S A est un S-point de A ,
ii) : Ya[ Ya est une normalisation en famille de la courbe spectrale Ya .

LEMME FONDAMENTAL

17

On prouve quil est reprsentable par un k-schma de type fini et que le morphisme

doubli B A est une bijection au niveau des k-points.

On note lensemble des
composantes connexes de B; cest un ensemble fini. Puis pour tout , on note
A limage de la composante connexe B de B. On obtient ainsi la stratification par
normalisation en famille de A :
G
A .
A k k =

Lintrt de cette stratification rside dans le fait que les invariants a et 0 (Ya[ ) sont
constants sur chaque strate de cette stratification.
4. Comptage local et global
4.1. Une -formule de Lefschetz. Reprenons les notations du dbut du paragraphe 2.5, o un k-schma en groupes commutatifs P agit sur un k schma M . On
suppose M et P localement de type fini sur k, et que les conditions suivantes sont
vrifies:
i) Le groupe des composantes connexes 0 (P ) de P est un groupe ablien de
type fini.
ii) Le stabilisateur dans P de tout point de M est un sous-groupe de type fini.
iii) Il existe un k-sous-groupe discret sans torsion de P tel que P/ et M/
soient de type fini.
Sous ces hypothses, la catgorie quotient [M/P ] est quivalente la catgorie
[(M/)/(P/)]. Donc il ny a quun nombre fini de classes dquivalence dans
[M/P ](k) et pour tout x [M/P ](k), son groupe dautomorphismes Aut(x) est fini.
Le nombre rationnel ][M/P ](k) associ un caractre de H 1 (k, P ) est ainsi bien
dfini. Si est le caractre trivial, on le note simplement ][M/P ](k).
Cette somme ][M/P ](k) a une interprtation cohomologique. Soit P le groupe
Ainsi H 1 (k, P ) sidentifie au sous-groupe de
des classes de -conjugaison dans P (k).
torsion de P . Daprs [19, lemme 8.1.12], il existe toujours un relvement de sur
. Choisissons un tel relvement. Quitte remplacer
P , not encore : P Q
`
par un sous-groupe dindice fini, on suppose que est trivial sur . On notera
Hnc (M/) (cohomologie `-adique) le sous-espace de Hnc (M/) sur lequel le groupe
P/ agit via le caractre . On prouve, cf. [19, proposition 8.1.6]:
Proposition 4.2. Soit P 0 le composante connexe de P . On a alors la formule:
X
]P 0 (k) ][M/P ](k) =
(1)n tr(, Hnc (M/) ).
n
0

De plus, si est un sous-groupe dindice fini et -invariant de , alors pour tout

entier n, on a un isomorphisme canonique

Hnc (M/0 ) Hnc (M/) .

18

DAT JEAN-FRANOIS AND NGO DAC TUAN

4.3. Soit a Aani (k) un k-point anisotrope de A; il sidentifie un morphisme

a : X cD . Soit Ja0 un schma en groupes commutatifs lisse de fibres connexes
sur X muni dun homomorphisme Ja0 Ja qui est un isomorphisme sur Ua et soit
Pa0 le champ classifiant les Ja0 -torseurs sur X. Lhomomorphisme Ja0 Ja induit
un homomorphisme Pa0 Pa . La formule de produit se gnralise:
Y
[Mv (a)/Pv (Ja0 )].
[Ma /Pa0 ] =
vXUa

Et cette quivalence de catgories est compatible avec laction de Gal(k/k).

En toute place v X Ua , on fixe une trivialisation du fibr inversible OX (D0 )|Xv
et on choisit une mesure de Haar d tv du tore Ja (Fv ). Ainsi, on peut
i) identifier la restriction de a Xv = X k Fv avec un lment av c (Fv )c(Ov ),
ii) identifier Ja et Jav , ce qui permet de munir une mesure de Haar d tv Jav (Fv ),
iii) identifier la fibre de Springer affine Mv (a) munie dune action de Pv (Ja0 ) avec
la fibre de Springer affine Mv (av ) munie dune action de Pv (Ja0 v ).
un caractre. Comme J 0 est de fibres connexes, on a dj
Soit : (Pa ) Q
a
`
dmontr le lien entre le comptage local [Mv (av )/Pv (Ja0 )](k) et lintgrale orbitale:
][Mv (av )/Pv (Ja0 )](k) = vol(Ja0 (Ov ), d tv ) Oav (1gv , d tv ).
Puis la formule des produits entrane:
Y
][Ma /Pa0 ](k) =
vol(Ja0 (Ov ), d tv ) Oav (1gv , d tv ).
vXUa

5. Thorme de stabilisation et Lemme fondamental

Pour simplifier lexposition, on suppose dsormais que G est un groupe dploy
semisimple, simplement connexe. Alors, pour tout lment T, le centralisateur
de dans G
est toujours connexe, ce qui implique que le morphisme est
G
toujours trivial. Ainsi se donner une donne endoscopique (, ) est quivalent
se donner un lment T.
Comme Ng a expliqu dans son article [19, section 1.7],
5.1. Louvert tale A.
dans la dfinition dune -intgrale orbitale, il est ncssaire de choisir un certain
point base qui nous permet de relier le groupe de cohomologie H 1 (Fv , Ja ) avec le
, cf. (2.1.1). On va de mme construire un ouvert tale A de A qui
tore dual T
consiste faire le choix dun point base de la courbe camrale dans le lieu o celle-ci
est tale au-dessus de X. On verra dans la suite lnonc de stabilisation deviendra

beaucoup plus agrable sur A.

Soit A louvert de A dfini
On fixe dabord un point gomtrique X(k).
appartienne A (k)
si et seulement si
sur k tel quun point gomtrique a A(k)
a X
est tale au-dessus de . Cet ouvert est contenu
le revtement camral X

dans A . Puis on introduit A dont les k-points

sont les couples a
= (a, )
o

a A (k) et
est un k-point de Xa au-dessus de . Alors, A est irrductible
lisse et le morphisme doubli A A est un torseur sous le groupe W . Notons que
si est dfini sur k, alors A et A sont aussi dfinis sur k. Les homomorphismes

LEMME FONDAMENTAL

19

de la proposition 3.4 pour a A proviennent simplement dun homomorphisme

X T 0 (P)|A, cf. [19, Prop 5.7.1].
5.2. La -dcomposition perverse. On notera Aani lintersection de louvert
anisotrope Aani avec louvert tale A de A. On considre le morphisme de Hitchin
au-dessus de cet ouvert
ani Aani .
m
ani : M
ani est un champ algbrique de
Cest un morphisme propre. De plus, le champ M
Deligne-Mumford lisse muni dune action de P ani . Par le thorme de puret de

ani . Par
Deligne, K = m
ani
Q` est un faisceau pervers pur muni dune action de P
le lemme dhomotopie [16], cette action se factorise travers le schma en groupes
commutatifs finis 0 (P ani ). Ainsi, on obtient linterprtation gomtrique de la dcomposition dans le processus de stabilisation de la formule des traces:
M
K=
K

o
qui se factorisent travers le
i) parcourt lensemble des caractres X T Q
`
groupe fini 0 (P ani ),
ii) K est le facteur direct de K sur lequel 0 (P ani ) agit par le caractre .
, on lappelle
On appelle K le -morceau de K et si appartient au centre de G
le morceau stable de K et on le note aussi Kst . Alors, la stabilisation gomtrique
consiste dcrire les diffrents morceaux K en termes des morceaux stables associs
aux groupes endoscopiques de G.
5.3. Transfert endoscopique. Soit un lment de T. Rappelons que lon dispose alors dun morphisme fini cH cG . A son tour, celui-ci induit un morphisme
fini et non ramifi AH AG puis en restreignant louvert tale A, on obtient
une immersion ferme : AH AG , cf [19, 6.3].
Soit a
H AH (k) dimage a
AG (k). On note a (resp. aH ) limage de a
dans

AG (k) (resp. a
H dans AH (k)). Alors, il existe un homomorphisme canonique Ja
JH,aH dont la restriction au-dessus de Ua est un isomorphisme. On choisit une fois
pour toutes un schma en groupes commutatifs lisse de fibres connexes Ja0 muni dun
homomorphisme Ja0 Ja qui est un isomorphisme gnriquement. On peut choisir
Ja0 ) = 0 de telle sorte que le champ Pa0 classifiant les Ja0 Ja0 de manire que H0 (X,
torseurs sur X est de type fini. Les morphismes naturels Pa0 Pa et Pa0 PH,aH
induisent des actions de Pa0 sur Ma et MH,aH . Dans la suite, on travaille toujours
avec les quotients [Ma /Pa0 ] et [MH,aH /Pa0 ].
Comme on la dj dit au paragraphe 1.4, il existe un diviseur effectif rduit RH
G

H
sur cH (resp. RH
sur
c
)
vrifiant
la
relation

D
=
D
+
2R
.
H,D
G
H
G,D
G
5.4. Rappelons que sidentifie un caractre de X T . Via le morphisme X T
0 (P)|A, on peut donc considrer le facteur direct KG, de KG . Cest aussi un

20

DAT JEAN-FRANOIS AND NGO DAC TUAN

faisceau pervers pur. Largument clef de la preuve de Ng rside dans le thorme

de support suivant dont la preuve sera esquisse dans le chapitre de Ng [20].
Thorme 5.5 (Thorme de support).
i) (Version faible) Le support de KG, est contenu dans limage de Aani
H .
ii) (Version forte) Soit K un facteur direct de KG, . Supposons que le support
de K a une intersection non vide avec louvert Agood
Aani
H . Alors, il contient
H
good
ani

AH AH .
Ainsi, on obtient linterprtation gomtrique de la stabilisation:
Thorme 5.6. Avec les notations ci-dessus, aprs semi-simplification, on a un
isomorphisme:

G
G
KG, [2rH
(D)](rH
(D)) KH,st
o rG (D) est la codimension de AH dans AG .
H

G
Remarquons que le facteur rH
(D) qui apparat dans cette formule correspond
bien la valuation du facteur de transfert dans lnonc du lemme fondamental.
Lnonc gomtrique ci-dessus est obtenu partir du thorme de support et
laide des comptages des fibres de Springer affines et de la fibration de Hitchin, au
terme dun raisonnement au cours duquel sont prouvs aussi le lemme fondamental
et lnonc i) ci-dessous.

Thorme 5.7. Avec les notations prcdents, on a :

i) (Stabilisation) Pour tout k-point a
H Aani
Aani (k), si a (resp.
H (k) dimage a
aH ) est limage de a
(resp. a
H ), on a toujours lgalit globale:
G

][Ma /Pa0 ](k) = q rH (D) ][MH,aH /Pa0 ](k).

ii) (Lemme fondamental) Pour tout k-point aH crs
H (Fv ) cH (Ov ) dimage a
rs
cG (Fv ) cG (Ov ), on a toujours lgalit locale:
G

][Mv (a)/Pv (Ja0 )](k) = q deg(v)rH,v (aH ) ][MH,v (aH )/Pv (Ja0 )](k)
G
o rH
(aH,v ) est le degr du diviseur aH RH
G en v.

Lquivalence de ii) et lnonc du lemme fondamental rsulte du comptage sur

les fibres de Springer affines, cf proposition 2.7.
Expliquons pourquoi i) implique la stabilisation gomtrique, i.e. le thorme 5.6.
En effet, KG, (resp. KH, ) est un faisceau pervers pur sur Aani
H , donc il existe un
ani

ouvert non vide U de AH tel que

G
G
i) la restriction de KG, [2rH
(D)](rH
(D)) (resp. KH, ) sur cet ouvert soit un
systme local,
G
G
ii) le faisceau pervers KG, [2rH
(D)](rH
(D)) (resp. KH, ) soit le prolongement

intermdiaire de sa restriction sur U.

Compte tenu du comptage global, le point i) du thorme ci-dessus implique
que, pour toute extension finie k 0 de k et pour tout k 0 -point a
H de Aani
H dimage

LEMME FONDAMENTAL

21

a
AG (k 0 ), on a lgalit:
X
X
n
n
(1)n tr(k0 , (KG,
)a ) =
(1)n tr(k0 , (KH,
)aH ).
n

kj0

En particulier, pour toute extension

de degre j de k 0 , on considre a
H comme
0
un kj -point de AH et obtient aussi lgalit:
X
X
n
n
)aH ).
)a ) =
(1)n tr(kj 0 , (KH,
(1)n tr(kj 0 , (KG,
n

n
n
)a ) et (KG,
)a )
Comme KG, et KH, sont purs, les valeurs propres de k0 dans (KG,
0
n deg(k /k)/2
sont toutes de modules q
. On en dduit que
n
n
tr(k0 , (KG,
)a ) = tr(k0 , (KH,
)aH ).
G
G
(D))
Le thorme de Chebotarev appliqu aux systmes locaux KG, [2rH
(D)](rH
et KH, entrane quils sont isomorphes aprs semi-simplification.

5.8. Voici les grandes lignes de la preuve du thorme 5.7 de Ng Bao Chu. On se
place dabord sur un ouvert Atrans
dit transversal de Aani
H
H . Par dfinition, un point
dimage aH Aani (k)
est dans cet ouvert si et seulement
gomtrique a
H Aani
(
k)
H
H
ani
coupe transversalement le diviseur rduit
si a Agood

A
(
k)
et
que
limage
a(
X)
H
H
DH + RH
dans
cD,H .
G
trans
Soit a
H AH (k) dimage a
Aani (k); on note aH (resp. a) limage de a
H dans
AH (k) (resp. de a
dans A(k)). On peut calculer explicitement les nombres locaux
0
][Mv (a)/Pv (Ja )](k) et ][MH,v (aH )/Pv (Ja0 )](k) et vrifie directement que
G

][Mv (a)/Pv (Ja0 )](k) = q deg(v)rH,v (aH ) ][MH,v (aH )/Pv (Ja0 )](k).
P
G
G
Compte tenue du fait que rH
(D) = v deg(v)rH,v
(aH ), lgalit globale sen suit.
Ainsi, le thorme de stabilisation est valide pour tout point transversal a
H
trans

AH (k).
Puis, le thorme de support implique immdiatement que le thorme de stabilisation est encore valide pour tout point a
H Agood
Aani
H (k). Dmontrons
H
rs
maintenant le lemme fondamental. En effet, soit aH,v cH (Fv ) cH (Ov ). Alors, si
lon choisit le diviseur D de degr suffisamment grand, il existe a
H Agood
Aani
H (k)
H
dont la composante locale en v est aH,v et que limage aH (X {v}) coupe transversalement le diviseur DH +RH
limage de a
H AG (k). Puisque
G dans cD,H . On note a
a
H Agood
Aani
H (k), on a lgalit globale:
H
G

][Ma /Pa0 ](k) = q deg(v)rH (aH ) ][MH,aH /Pa0 ](k).

Comme aH (X {v}) coupe transversalement le diviseur DH + RH
G dans cD,H , pour
toute place w 6= v, on a:
G

][Mw (a)/Pw (Ja0 )](k) = q deg(w)rH,w (aH ) ][MH,w (aH )/Pw (Ja0 )](k)
et ils ne sannulent pas. On obtient ainsi la mme galit en la place v, autrement
dit le lemme fondamental:
G

][Mv (a)/Pv (Ja0 )](k) = q deg(v)rH,v (aH ) ][MH,v (aH )/Pv (Ja0 )](k).

22

DAT JEAN-FRANOIS AND NGO DAC TUAN

Enfin, supposons quon a dj dmontr le lemme fondamental. Dmontrons

le thorme de stabilisation pour tout point a
H Aani
H (k). En effet, le lemme
fondamental implique que, pour toute place v de X, on a:
G

][Mv (a)/Pv (Ja0 )](k) = q deg(v)rH,v (aH ) ][MH,v (aH )/Pv (Ja0 )](k).
On fait le produit sur toutes les places pour obtenir lgalit globale:
G

][Ma /Pa0 ](k) = q deg(v)rH (aH ) ][MH,aH /Pa0 ](k).

La preuve est donc termine.

References
[1] J. Arthur, An introduction to the trace formula, Harmonic analysis, the trace formula,
and Shimura varieties, Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI (2005),
1-263.
[2] A. Beauville, M. Narasimhan, S. Ramanan, Spectral curves and generalized theta
divisor, J. Reine Angew. Math. 398 (1989), 169-179.
[3] I. Biswas, S. Ramanan, Infinitesimal study of Hitchin pairs, J. London Math. Soc. 49
(1994), 219-231.
[4] S. Bosch, W. Lutkebohmert, M. Raynaud, Neron models, Ergeb. der Math. 21,
Springer Verlag (1990).
[5] R. Cluckers, T. Hales, F. Loeser, Chapitre dans ce livre.
[6] J-F. Dat, Lemme fondamental et endoscopie, une approche gomtrique, Sminaire Bourbaki 940, novembre 2004.
[7] R. Donagi, D. Gaitsgory, The gerb of Higgs bundles, Transform. Groups 7 (2002),
109-153.
[8] G. Faltings, Stable G-bundles and projective connections, J. Alg. Geom. 2 (1993), 507-568.
[9] M. Goresky, R. Kottwitz, R. MacPherson, Homology of affine Springer fiber in the
unramified case, Duke Math. J. 121 (2004), 509-561.
[10] M. Harris, Introduction, Chapitre dans ce livre.
[11] R. Kottwitz, Isocristal with additionnal structures, Compos. Math. 56 (1985), 201-220.
[12] G. Laumon, L. Moret-Bailly, Champs algbriques, Ergebnisse der Mathematik 39,
Springer-Verlag, Berlin (2000).
[13] G. Laumon, Fibres de Springer et Jacobiennes compactifies, in Algebraic geometry and
number theory, , Progr. Math., 253, Birkhuser Boston, Boston, MA, (2006), 515-563.
[14] G.
Laumon,
Sur le lemme fondamental pour les groupes unitaires,
arxiv.org/abs/math/0212245.
[15] G. Laumon, Aspects gomtriques du Lemme Fondamental de Langlands-Shelstad, International Congress of Mathematicians Vol. II, Eur. Math. Soc., Zrich, (2006), 401-419.
[16] G. Laumon, B-C. Ng, Le lemme fondamental pour les groupes unitaires, Annals of Math.
168(2) (2008), 477-573.
[17] B-C. Ng, Fibration de Hitchin et endoscopie, Invent. Math. 164(2) (2006), 399-453.
[18] B-C. Ng, Fibration de Hitchin et structure endoscopique de la formule des traces, International Congress of Mathematicians Vol. II, Eur. Math. Soc., Zrich, (2006), 1213-1225.
[19] B-C. Ng, Le lemme fondamental pour les algbres de Lie, arXiv:math/0801.0446v3.
[20] B-C. Ng, Chapitre dans ce livre.
[21] J-L. Waldspurger, Endoscopie et changement de caractristique, J. Inst. Math. Jussieu
5(3) (2006), 423-525.

LEMME FONDAMENTAL

23

Institut Mathmatique de Jussieu - Universit Pierre et Marie Curie (Paris 6),

175 rue du Chevaleret, 75013 Paris, France
E-mail address: dat@math.jussieu.fr
CNRS - Universit de Paris Nord (Paris 13), LAGA - Dpartement de Mathmatiques, 99 avenue Jean-Baptiste Clment, 93430 Villetaneuse, France
E-mail address: ngodac@math.univ-paris13.fr