Geometry of the contactomorphism group

In this paper we examine the Riemannian geometry of the group of contactomorphisms of a compact contact manifold. We compute the sectional curvature of Dθ(M)Dθ(M) in the sections containing the Reeb field and show that it is non-negative. We also solve explicitly the Jacobi equation along the geodesic corresponding to the flow of the Reeb field and determine the conjugate points. Finally, we show that the Riemannian exponential map is a non-linear Fredholm map of index zero.