30.01.2013 Views

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

SHOW MORE
SHOW LESS

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π.

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

Saved successfully!

Ooh no, something went wrong!