H-k metrics on the diffeomorphism group of the circle
Each H-k inner product, kis an element ofN, endows the diffeomorphism group of the circle with a Riemannian structure. For kgreater than or equal to1 the Riemannian exponential map is a smooth local diffeomorphism and the length-minimizing property of geodesics holds.
