Bourbaki

Exercise 18, § 3

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

Spectral Theories, V, p. 500

Let G=SL(2,R)G =\mathbf{S}\mathbf{L}(2,\mathbf{R}). We denote by N and P the subgroups

{(1t)}{(at)} \{(1t)\}\{(at)\}

N = ∣t∈R|t\in \mathbf{R}, P = −1∣a∈R∗,t∈R-_1|a\in \mathbf{R}_*, t\in \mathbf{R}

0 1 0a0a

of G. Let π\pi be a unitary representation of G in a complex Hilbert space E. Suppose that there exists x∈Ex\in E such that π(n)x=x\pi (n)x=x for every n∈Nn\in N. a) The homogeneous space SL(2,R)/N\mathbf{S}\mathbf{L}(2,\mathbf{R})/N is identified with R2−{0}\mathbf{R}^2-\{0\} by the mapping g↦g\mapsto ge1ge_1 where e1e_1 is the prime vector of the canonical basis of R2\mathbf{R}^2, and the homogeneous space SL(2,R)/P\mathbf{S}\mathbf{L}(2,\mathbf{R})/P is identified with the subspace (R−{0})×{0}(\mathbf{R}-\{0\})\times \{0\} of SL(2,R)/N\mathbf{S}\mathbf{L}(2,\mathbf{R})/N. b) Every continuous function ff on G such that f(ngn′)=f(g)f(ngn') =f(g) for every (n,n′)∈N2(n, n')\in N^2 satisfies f(pgp′)=f(g)f(pgp') =f(g) for every (p,p′)∈P2(p, p')\in P^2. (Interpret ff as a continuous function φ\varphi on R2−{0}\mathbf{R}^2-\{0\} invariant under the natural action of N and verify that it is constant on SL(2,R)/P.\mathbf{S}\mathbf{L}(2,R)/P.)

c) One has π(g)x=x\pi (g)x=x for every x∈Gx\in G.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.