On an invariance property of the space of smooth vectors
arXiv:1401.3072 · doi:10.1215/21562261-3089019
Abstract
Let be a continuous unitary representation of the (infinite dimensional) Lie group and define a continuous action of on . Suppose that defines a continuous unitary representation of the semidirect product group . The first main theorem of the present note provides criteria for the invariance of the space of smooth vectors of under the operators for , resp., . Using this theorem we show that, for suitably defined spectral subspaces , , in the complexified Lie algebra , and , , for in , 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