1: \begin{abstract}

2: 		\noindent

3: 		We extend the theory of holomorphic induction of unitary representations of a possibly infinite-dimensional Lie group $G$ beyond the setting where the representation being induced is required to be norm-continuous. We allow the group $G$ to be a connected BCH(Baker--Campbell--Hausdorff) Fr\'echet--Lie group. Given a smooth $\R$-action $\alpha$ on $G$, we proceed to show that the corresponding class of so-called positive energy representations is intimately related with holomorphic induction. Assuming that $G$ is regular, we in particular show that if $\rho$ is a unitary ground state representation of $G \rtimes_\alpha \R$ for which the energy-zero subspace $\H_\rho(0)$ admits a dense set of $G$-analytic vectors, then $\restr{\rho}{G}$ is holomorphically induced from the representation of the connected subgroup $H := (G^\alpha)_0$ of $\alpha$-fixed points on $\H_\rho(0)$. As a consequence, we obtain an isomorphism $\B(\H_\rho)^G \cong \B(\H_\rho(0))^H$ between the corresponding commutants. We also find that any two such ground state representations are necessarily unitary equivalent if their energy-zero subspaces are unitarily equivalent as $H$-representations. These results were previously only available under the assumption of norm-continuity of the $H$-representation on $\H_\rho(0)$.

4: 	\end{abstract}

5: