Open Access
October 2007 Riemannian geometry on the diffeomorphism group of the circle
Jonatan Lenells
Author Affiliations +
Ark. Mat. 45(2): 297-325 (October 2007). DOI: 10.1007/s11512-007-0047-8


The topological group $\mathcal{D}^k(\mathbb{S})$ of diffeomorphisms of the unit circle $\mathbb{S}$ of Sobolev class Hk, for k large enough, is a Banach manifold modeled on the Hilbert space $H^k(\mathbb{S})$. In this paper we show that the H1 right-invariant metric obtained by right-translation of the H1 inner product on $T_{\rm id}\mathcal{D}^k(\mathbb{S})\simeq H^k(\mathbb{S})$ defines a smooth Riemannian metric on $\mathcal{D}^k(\mathbb{S})$, and we explicitly construct a compatible smooth affine connection. Once this framework has been established results from the general theory of affine connections on Banach manifolds can be applied to study the exponential map, geodesic flow, parallel translation, curvature etc. The diffeomorphism group of the circle provides the natural geometric setting for the Camassa–Holm equation – a nonlinear wave equation that has attracted much attention in recent years – and in this context it has been remarked in various papers how to construct a smooth Riemannian structure compatible with the H1 right-invariant metric. We give a self-contained presentation that can serve as a detailed mathematical foundation for the future study of geometric aspects of the Camassa–Holm equation.


Download Citation

Jonatan Lenells. "Riemannian geometry on the diffeomorphism group of the circle." Ark. Mat. 45 (2) 297 - 325, October 2007.


Received: 16 December 2005; Published: October 2007
First available in Project Euclid: 31 January 2017

zbMATH: 1149.58003
MathSciNet: MR2342607
Digital Object Identifier: 10.1007/s11512-007-0047-8

Rights: 2007 © Institut Mittag-Leffler

Vol.45 • No. 2 • October 2007
Back to Top