Bourbaki

Exercice 15, § 2

Tag 03BR, permanent. Cite it as [Bourbaki, Tag 03BR].

Théories spectrales, V, p. 490

Soient Z un sous-groupe du centre C de G tel que C/ZC/Z est compact et ν\nu une mesure de Haar sur G/ZG/Z. Soit π\pi une représentation unitaire irréductible de G dans un espace hilbertien complexe E. Notons χ\chi la restriction à Z du caractère central de π\pi.

On note fx,yf_{x,y} le coefficient matriciel g↦⟨x∣π(g)y⟩g\mapsto \langle x|\pi (g)y\rangle pour (x,y)∈E2(x, y)\in E^2. Soit p⩾1p\geqslant 1 un nombre réel et qq l’exposant conjugué de pp.

a) Soit y∈Ey\in E tel que les coefficients matriciels fx,yf_{x,y} appartiennent à Lχp(G)\mathscr{L}_{\chi}^p(G). L’application x↦fx,yx\mapsto f_{x,y} est un G-morphisme continu de π\pi dans δG,χ(p)\boldsymbol{\delta }^{(p)}_{G,\chi}.

b) Soit ϱ\varrho une représentation unitaire irréductible de G dans un espace hilbertien complexe F dont la restriction Z du caractère central est égal à χ\chi. On suppose que p>1p >1 et que les coefficients matriciels de π\pi appartiennent à Lχp(G)\mathscr{L}_{\chi}^p(G) et ceux de ϱ\varrho appartiennent à Lχq(G)\mathscr{L}_{\chi}^q(G). Soient x0∈Ex_0\in E et y0∈Fy_0\in F. Pour tout x∈Ex\in E, il existe une forme linéaire continue ℓx\ell_x de F dans C\mathbf{C} telle que

ℓx(y)=∫G/Z⟨x0∣π(g)x⟩⟨y0∣ϱ(g)y⟩dν(g) \ell_x(y) =\int_{G/Z}\langle x_0|\pi (g)x\rangle \langle y_0|\varrho (g)y\rangle d\nu (g)

pour tout y∈Fy\in F.

c) Il existe une application linéaire continue uu de E dans F telle que ℓx(y)=\ell_x(y) = ⟨u(x)∣y⟩\langle u(x)|y\rangle pour tout (x,y)∈E×F(x, y)\in E\times F.

d) On a

∫G/Z⟨x∣π(g)x′⟩⟨y∣ϱ(g)y′⟩dν(g)=0 \int_{G/Z}\langle x|\pi (g)x'\rangle \langle y|\varrho (g)y'\rangle d\nu (g) = 0

pour (x,x′,y,y′)∈E2×F2(x, x', y, y')\in E^2\times F^2.

e) On suppose que p=1p= 1. Les coefficients matriciels de π\pi sont orthogonaux à ceux de ϱ\varrho.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.