1: \begin{abstract} 

2: Let $G$ and $T$ be topological groups, 

3: $\alpha \: T \to \Aut(G)$ a homomorphism defining a continuous action 

4: of $T$ on $G$ and $G^\sharp := G \rtimes_\alpha T$ 

5: the corresponding semidirect product group. 

6: In this paper we address several issues concerning 

7: irreducible continuous unitary representations 

8: $(\pi^\sharp, \cH)$ of $G^\sharp$ whose restriction to 

9: $G$ remains irreducible. First we prove that, 

10: for $T = \R$, this is the case for 

11: any irreducible positive energy representation of $G^\sharp$, i.e., 

12: for which the one-parameter group $U_t := \pi^\sharp(\1,t)$ has non-negative spectrum.

13: The passage from irreducible unitary representations of $G$ to 

14: representations of $G^\sharp$ requires that 

15: certain projective unitary representations are continuous. 

16: To facilitate this verification, we derive various 

17: effective criteria for the continuity of projective unitary representations.

18: Based on results on Borchers for $W^*$-dynamical systems, 

19: we also derive a characterization of the continuous 

20: positive definite functions on $G$ that extend 

21: to a $G^\sharp$. \\

22: {\em Keywords:} positive energy representation, Borchers--Arveson Theorem, 

23: projective unitary representation, projective space \\

24: {\em MSC2010:} 22E45, 22E66. 22D10, 43A65  

25: \end{abstract}