The group of contact diffeomorphisms for compact contact manifolds (Q2510085)

The main aim of the paper under review is to set up some technical foundation for generally constructing an anisotropic Sobolev space structure on the space of contact diffeomorphisms on a compact contact manifold of dimension \(2n+1\), \(n\geq 1\). To do so, the authors use the Hodge theory of the complex developed by Rumin which is based on the anisotropic Folland-Stein spaces, and in a subsequent paper they use the results of this paper to obtain normal form theorems for Cauchy-Riemann structures on a compact contact manifold of dimension three. The paper consists of four sections and is organized as follows. Section 2 is devoted to introducing the anisotropic Folland-Stein function spaces \(\Gamma^s(M)\) and showing that they form an algebra for \(s\geq 2n+4\). In Section 3, it is shown that the operations of composition and inversion are continuous with respect to the topology induced from the anisotropic structure. Finally, in Section 4 the authors construct a local coordinate system for the space of contact diffeomorphisms, and then show that the space of contact diffeomorphisms locally forms a smooth Hilbert submanifold inside the coordinate chart. As a consequence, it has been shown that the space of contact diffeomorphisms is a smooth Hilbert manifold modeled on the anisotropic function spaces.