You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
22 Généralités<br />
Soit π ∈ � N, le dual unitaire <strong>de</strong> N. Pour tout k ∈ K, on définit la représentation<br />
πk par<br />
πk(x) := π(k.x).<br />
Le stabilisateur <strong>de</strong> π sous cette action est Kπ := {k ∈ K, πk � π}. Notons<br />
pour l ∈ n ∗ , l’espace vectoriel dual <strong>de</strong> n, et pour k ∈ K<br />
lk(X) := 〈l, k.X〉, X ∈ n.<br />
Alors pour k, k ′ ∈ K, on a πkk ′ = (πk)k ′ et (lk)k ′ = lkk ′.<br />
On désigne par Oπ l’orbite coadjointe associée à π dans n∗ , on a alors pour<br />
tout k ∈ K<br />
= (Oπ)k.<br />
Oπk<br />
En effet, pour tout k ∈ K et f ∈ S(N), l’espace <strong>de</strong>s fonctions <strong>de</strong> Schwartz<br />
définies sur N, on a<br />
�<br />
�<br />
πk(f) = π(k.x)f(x)dx = π(x)f(k −1 .x)dx = π(f k ),<br />
N<br />
où f k (x) := f(k −1 · x), x ∈ G. Donc<br />
�<br />
tr(πk(f)) = f�k ◦ exp(q)dµOπ(q).<br />
Or<br />
�<br />
f k ◦ exp(q) =<br />
Il s’ensuit que<br />
=<br />
�<br />
�<br />
n<br />
n<br />
Oπ<br />
f k ◦ exp(y)e −i �<br />
dy =<br />
N<br />
f ◦ exp(y)e −i dy = �<br />
f ◦ exp(qk).<br />
tr(πk(f)) =<br />
�<br />
(Oπ)k<br />
f ◦ exp(k<br />
n<br />
−1 · y)e −i dy<br />
�<br />
f ◦ exp(q)dµ(Oπ)k (q).<br />
On en déduit alors que Kπ est le stabilisteur <strong>de</strong> Oπ.<br />
Il est bien connu qu’il existe une représentation projective <strong>de</strong> Kπ, notée Wπ,<br />
telle que, pour tout k ∈ Kπ, Wπ(k) est un opérateur d’entrelacement avec<br />
πk(x) = Wπ(k)π(x)Wπ(k) −1 , ∀x ∈ N.<br />
De plus, les <strong>de</strong>ux opérateurs Wπ(k1k2) et Wπ(k1) ◦ Wπ(k2) entrelacent π et<br />
πk1k2 ∀k1, k2 ∈ Kπ. Cette relation nous permet <strong>de</strong> définir l’application<br />
σ(= σπ) : Kπ × Kπ −→ T = {z ∈ C, |z| = 1}<br />
vérifiant Wπ(k1k2) = σ(k1, k2)Wπ(k1)Wπ(k2). On dit que Wπ est une σreprésentation<br />
<strong>de</strong> Kπ.