No label defined (Q4348147)

The target of this paper is the problem of finding, for a given infinite dimensional real Lie group \(G\), a complex Lie group whose Lie algebra is the complexification of the Lie algebra of \(G\). Suppose that \(M\) is a smooth compact manifold and let \(\text{Vect} M\) denote the space of \(C^\infty\) vector fields on \(M\). It is shown that if the Lie algebra \({\mathcal L}(G)\) of a given Lie group is a subalgebra of \(\mathbb{C} \otimes \text{Vect} M\) and \({\mathcal L}(G)+ i{\mathcal L}(G) =\mathbb{C} \otimes \text{Vect} M\) then \({\mathcal L} (G)= \text{Vect} M\). Thus no Lie algebra strictly between \(\text{Vect} M\) and \(\mathbb{C}\otimes \text{Vect} M\) can be the Lie algebra of any group. For the entire collection see [Zbl 0865.00044].