Riemannian Geometry of the Contactomorphism Group

David G. Ebin,Stephen C. Preston
DOI: https://doi.org/10.1007/s40598-014-0002-2
2014-12-23
Arnold Mathematical Journal
Abstract:Given an odd-dimensional compact manifold and a contact form, we consider the group of contact transformations of the manifold (contactomorphisms) and the subgroup of those transformations that precisely preserve the contact form (quantomorphisms). If the manifold also has a Riemannian metric, we can consider the L2$$L^2$$ inner product of vector fields on it, which by restriction gives an inner product on the tangent space at the identity of each of the groups that we consider. We then obtain right-invariant metrics on both the contactomorphism and quantomorphism groups. We show that the contactomorphism group has geodesics at least for short time and that the quantomorphism group is a totally geodesic subgroup of it. Furthermore we show that the geodesics in this smaller group exist globally. Our methodology is to use the right invariance to derive an “Euler–Arnold” equation from the geodesic equation and to show using ODE methods that it has solutions which depend smoothly on the initial conditions. For global existence we then derive a “quasi-Lipschitz” estimate on the stream function, which leads to a Beale–Kato–Majda criterion which is automatically satisfied for quantomorphisms. Special cases of these Euler–Arnold equations are the Camassa–Holm equation (when the manifold is one-dimensional) and the quasi-geostrophic equation in geophysics.
What problem does this paper attempt to address?