214
YVES BENOIST
T
of la fonction generalisee image rtciproque de
T
par f: V,U E&?(M),
(Tof,lu>= (T,f,@)). On pose.fidT) = Tof I.
On note OD(M) le sous-espace vectoriel de l’espace des endomorphismes
de g(M) forme des operateurs differentiels lintaires i coefficients C”O sur M.
Celui-ci s’identifie aussi, de facon canonique, a un espace d’endomorphismes
de F(M). Pour D dans OD(M), on note
*D
l’endomorphisme de g’(M)
transpose de
D: V# E ST(M), V< E L@‘(M) (*D(r), () = (<, D(4)).
Si on fait le choix d’une densite C” ,u sur M qui ne s’annule pas, on peut
identifier g(M) a My(M) grace a l’application d--f 4,~. L’espace des
distributions g’(M) s’identifie alors a l’espace des fonctions gentralisees
Z(M). Pour
D
dans
OD(M), *D
s’identifie i un element de OD(M) (encore
note
‘0)
defini par
V$, ty E .@@I) I, *D(g) ydp = sM ED dp.
1.2.2
Soient Fc l’algebre de Lie complexifiee de F (Fc = F @n C) et %(Fc)
l’algebre enveloppante de Fc, On note
J
l’antiautomorphisme principal de
%(%c); c’est l’unique antiautomorphisme de %(.J$c) tel que
VXEA,
J(X)
= -X. Pour U dans F(Zc), on note parfois U =
J(U)
et U* =
J(U)
(rappelons que
J
designe aussi l’inversion dans G). On note ad et Ad les
actions adjointes de Fc et G dans %(Fc).
A X dans Y’, on associe la distribution & sur G de support {e} detinie par
VQ E gW9 G 4) = (WWtev WL.
On peut prolonger cette application en un isomorphisme d’algebres de
ZZ!(F’c) dans l’algebre g&,(G) des distributions sur G de support {e} muni de
la convolution.
On note & I’image d’un Clement U de &(Fc).
On note ‘(OD(G)) (resp. (OD(G))G) l’algebre des operateurs differentiels
D
sur G (lineaires i coefficients Cm) invariants a gauche (resp. a droite)
(i.e., qui verifient VgEG, (Wyc> 0 D 0 @(g-‘)*) = D (rev.
b(g)*) 0
D
o @(g-r)*) =
D)).
A X dans y, on associe un operateur
differentiel
L,
(resp. R,) invariant i gauche (resp. a droite) defini par, pour 4
dans g(G) L(d)(g) = WW~(g w WIt=o (rev. U9)(d =
WWtexpt-W g)) Lo) on peut prolonger cette application en un
isomorphisme d’algebres de 9(Fc) dans I’algebre ‘(OD(G)) (resp.
(OD(G))‘). On note L”(resp. RU) l’image d’un element
U
de %(Fc).
Pour
U
dans &(.Y& on a les formules suivantes qui relient &,
L,,
et
R,
($ dtsigne un Clement arbitraire de g(G) et v un element de g’(G))
(1) MO = b * 4 et L.(4) = 4 * (J&i&
(2) & =
*Lu(&,)
=
(J,(*R,))(d,,,)
oti 6(,, designe la masse de Dirac
en e; ceci signifie que (&, 4) =
(L,(#))(e) = (R,(( o J))(e).
(3) R,=J* oLuoJ*,