A group of diffeomorphisms which leave a vector field fixed (Q801571)

\textit{H. Omori} [Proc. Symp. Pure Math. 15, 167-183 (1970; Zbl 0214.488)] showed that the group \({\mathcal D}\) of all diffeomorphisms of a compact manifold is a strong ILH group (where ILH \(=\) inverse limit of Hilbert spaces). In subsequent papers he has shown that such groups have many of the nice properties of finite dimensional Lie groups, that they are closely related to their Lie algebras, and so on. Thus it is important to understand which subgroups of \({\mathcal D}\) are strong ILH subgroups. Known examples are \({\mathcal D}_{\mu}\) and \({\mathcal D}_{\omega}\), the subgroups of \({\mathcal D}\) consisting of all diffeomorphisms which preserve a volume form \(\mu\), resp. a symplectic form \(\omega\). The author considers the group \({\mathcal D}_ X\) of all diffeomorphisms of M which preserve a given vector field X. His main results are: (1) \({\mathcal D}_ X\cap {\mathcal D}_{\mu}\) is an ILH subgroup of \({\mathcal D}_{\mu}\) if X is \(\mu\)- divergence free and without zeros, or if X is \(\mu\)-divergence free and M is a 3-dimensional manifold with \(H^ 1(M,{\mathbb{R}})=0\); (ii) \({\mathcal D}_ X\cap {\mathcal D}_{\omega}\) is an ILH subgroup of \({\mathcal D}_{\omega}\) if X is Hamiltonian and \(H^ 1(M;{\mathbb{R}})=0\).