1: \begin{abstract} In this paper we explore the method of 

2: holomorphic induction for unitary representations of 

3: Banach--Lie groups. First we show that the classification 

4: of complex bundle structures on homogeneous Banach bundles over 

5: complex homogeneous spaces of real Banach--Lie groups 

6: formally looks as in the finite dimensional case. 

7: We then turn to a suitable concept of 

8: holomorphic unitary induction and show that 

9: this process preserves commutants. In particular, holomorphic 

10: induction from irreducible representations leads to irreducible ones. 

11: Finally we develop criteria to identify representations 

12: as holomorphically induced ones and apply these to 

13: the class of so-called positive energy representations. 

14: All this is based on extensions of Arveson's concept of spectral subspaces to 

15: representations on Fr\'echet spaces, in particular on spaces of 

16: smooth vectors. \\

17: {\em Keywords:} infinite dimensional Lie group, unitary representation, 

18: smooth vector, analytic vector, 

19: holomorphic Hilbert bundle, semibounded representation, Arveson spectrum. \\

20: {\em MSC2000:} 22E65, 22E45.  

21: \end{abstract}