On an invariance property of the space of smooth vectors

Abstract

Let $(π, \mathcal H)$ be a continuous unitary representation of the (infinite dimensional) Lie group $G$ and $γ\: \mathbb R \to \mathrm{Aut}(G)$ define a continuous action of $\mathbb R$ on $G$. Suppose that $π^\#(g,t) = π(g) U_t$ defines a continuous unitary representation of the semidirect product group $G \rtimes_γ\mathbb R$. The first main theorem of the present note provides criteria for the invariance of the space $\mathcal H^\infty$ of smooth vectors of $π$ under the operators $U_f = \int_\mathbb R f(t)U_t\, dt$ for $f \in L^1(\mathbb R)$, resp., $f \in \mathcal S(\mathbb R)$. Using this theorem we show that, for suitably defined spectral subspaces $\mathfrak g_{\mathbb C}(E)$, $E \subseteq \mathbb R$, in the complexified Lie algebra $\mathfrak g_{\mathbb C}$, and $\mathcal H^\infty(F)$, $F\subseteq \mathbb R$, for $U$ in $\mathcal H^\infty$, we have \[ \mathsf{d}π(\mathfrak g_{\mathbb C}(E)) \mathcal H^\infty(F) \subseteq \mathcal H^\infty(E + F).\]

Accepted by Kyoto Journal of Math