Continuity of LF-algebra representations associated to representations of Lie groups (Q371221): Difference between revisions

The paper deals with algebra actions given by a continuous left linear action \(\pi:G\times E \rightarrow E\) of a Lie group \(G\) on a locally convex space \(E\). With additional conditions on \(E\) (e.g. \(E\) is sequentially complete), the space \(E^{\infty}\) of smooth vectors is a \(C_c^{\infty}(G)\)-module. However it may not be a \textit{topological} module when \(E\) is endowed with the initial topology given by the map \(v\mapsto \pi(v,.)\) ; e.g. when \(G\) is noncompact and \(E = C^{\infty}(G)\), \(\pi\) acts by left translation, it is shown that the action is not continuous. However, if \(E\) is nice enough (e.g. it embeds into a projective limit of Banach \(G\)-modules), then \(E^{\infty}\) is a toplogical \(C_c^{\infty}(G)\)-module. With these assumptions, the space \(E^{\omega}\) of analytic vectors is a topological module over \(\mathsf{A}(G)\), the algebra of \textit{superdecaying} analytic functions on \(G\) when \(E\) is, for instance, a Banach space or when \(G\) has a compact Lie algebra.