On an invariance property of the space of smooth vectors (Q500815)

In the theory of weight representations of Lie algebras there is a very important observation that a root element of a Lie algebra corresponding to the root \(\alpha\) maps a weight vector of weight \(\lambda\) to a weight vector of weight \(\lambda+\alpha\). The aim of the paper under review is to establish a sensible analogue of this property for unitary representations of infinite dimensional Lie groups. In more detail, consider a continuous unitary representation \((\pi,\mathcal{H})\) of an infinite dimensional Lie group \(G\). For a continuous group homomorphism \(\gamma:\mathbb{R}\to\mathrm{Aut}(G)\), let \(G_1:=G\rtimes_{\gamma}\mathbb{R}\) be the corresponding semi-direct product. The first main result of the paper provides criteria for the invariance of the space \(\mathcal{H}^{\infty}\) of smooth vectors with respect to \(\pi\) under certain operators related to \(G_1\). Under the assumption that the underlying Lie algebra is complete, it is shown that, for suitably defined spectral subspaces \(\mathfrak{g}_{\mathbb{C}}(E)\), where \(E\subset \mathbb{R}\), of the complexified Lie algebra, and \(\mathcal{H}^{\infty}(F)\), where \(F\subset \mathbb{R}\), there is an inclusion as follows: \[ d\pi(\mathfrak{g}_{\mathbb{C}}(E))\mathcal{H}^{\infty}(F)\subset \mathcal{H}^{\infty}(E+F). \]