2
$\begingroup$

Let $G=\mathrm{SL}(2,\mathbb{R})$ and $K=\mathrm{SO}(2)$. Suppose $\pi$ is a continuous irreducible representation of $G$ in a Banach space $H$. Can one always find a nonzero $v\in H$ such that $\langle \pi(k)v : k\in K\rangle$ is finite-dimensional? Serge Lang uses this implicitly in the proof of Theorem 3 on p. 24 of his book on $\mathrm{SL}(2,\mathbb{R}).$ (I know that the answer is affirmative when $H$ is a Hilbert space and $\pi$ is unitary on $K$.)

$\endgroup$
1
  • $\begingroup$ Let me record here that $K$-finite vectors not only exist but are actually dense in Hilbert representations—neither irreducibility of $\pi$ nor unitarity of $\pi|_K$ is required. Indeed, one can construct a new inner product on $H$ which induces the same topology and with respect to which $\pi|_K$ is unitary. It follows then by Peter-Weyl theorem that $K$-finite vectors make up a dense subspace. $\endgroup$ Jun 7, 2013 at 11:23

1 Answer 1

4
$\begingroup$

You must combine lemma 5 and lemma 1 in Serge Lang$(2,\mathbb{R})$: lemma 5 (which holds for Banach spaces) tells you how to construct $K$-finite vectors. Now you must rule out the case where $\pi(f)v=0$ for every $v\in H$ and $f\in \oplus_{m,n} S_{n,m}$ (notations as in Lang). But the latter direct sum is dense in $C_c(G)$, by lemma 1. And using an approximation of identity in $C_c(G)$, you see that $\pi(f)v=0$ for every $f\in C_c(G)$, forces $v=0$.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.