Hk metrics on the group of diffeomorphisms of the circle
Résumé
Each Hk inner product, endows the diffeomorphism group of the circle with a Riemannian structure. For an integer k greater than 1, the Riemannian exponential map is a smooth local diffeomorphism and the length-minimizing property of geodesics holds.