Lie group structures on groups of diffeomorphisms and applications to CR manifolds

We give general sufficient conditions to guarantee that a given subgroup of the group of diffeomorphisms of a smooth or real-analytic manifold has a compatible Lie group structure. These results, together with recent work concerning jet parametrization and complete systems for CR automorphisms, are then applied to determine when the global CR automorphism group of a CR manifold is a Lie group in an appropriate topology.