Riemannian exponential maps of the diffeomorphism group of \(\mathbb T^2\)
type: Item
instance of: scholarly article
title: Riemannian exponential maps of the diffeomorphism group of \(\mathbb T^2\)
zbMATH Open document ID: 1161.58008
author: T. Kappeler
author: Enrique Loubet
author: Peter Topalov
published in: The Asian Journal of Mathematics
publication date: 2009-02-26T00:00:00Z
review text: The authors study the exponential maps on the Lie group of smooth orientation preserving diffeomorphisms of the two-dimensional torus. Let \({\mathfrak D}_+:= {\mathfrak D}_+(\mathbb{T}^2)\) be the group of the orientation preserving \(C^\infty\)-diffeomorphisms of the two-dimensional torus \(\mathbb{T}^2= \mathbb{R}^2/\mathbb{Z}^2\). Then we take the space \(C^\infty(\mathbb{T}^2, \mathbb{R}^2)\) of the smooth vector fields on \(\mathbb{T}^2\) as the Lie algebra \(T_{\text{id}}{\mathfrak D}_+\) of \({\mathfrak D}_+\). Given a nonnegative integer \(k\), define the scalar product \(\langle\cdot, \cdot\rangle_k\) on \(C^\infty(\mathbb{T}^2, \mathbb{R}^2)\) such that \[ \langle u,v\rangle_k:= \sum_{k\geq j\geq 0} \int_{\mathbb{T}^2}\langle(- \Delta)^j u,\;v\rangle dx, \] using a natural scalar product on \(\mathbb{R}^2\). It induces a \(C^1_F\)-smooth weak right invariant Riemannian metric \(\nu^{(k)}\) on \({\mathfrak D}_+\), \[ \nu^{(k)}_\varphi(\xi, \eta):= \langle(dR_\varphi)^{-1}\xi,\;(dR_\varphi)^{-1}\eta\rangle_k \] for \(\forall\varphi\in\mathbb{D}_+\) and \(\forall \xi,\eta\in T_\varphi{\mathfrak D}_+\), where \(R_\varphi\) denotes the right translation by \(\varphi\) on \({\mathfrak D}_+\). Next, the authors go to the definition of geodesic. Namely, for any given positive \(T\), a \(C^2_F\)-smooth curve \(\varphi: [0, T]\to{\mathfrak D}_+\), is said a \(\nu^{(k)}\)-geodesic, if it is a critical point of the functional of \(\gamma\): \[ {\mathcal E}^T_k(\gamma(s, \cdot)):= {1\over 2} \int^T_0 \nu^{(k)}_{\gamma(s,t)}(\dot\gamma(s, t), \dot\gamma(s, t))\,dt, \] where \(\gamma\) runs through all \(C^1_F\)-smooth \({\mathfrak D}_+\)-valued maps defined on \((-\varepsilon,\varepsilon)\times[0, T]\) and satisfying \(\gamma(0,t)\equiv \varphi(t)\), \(\gamma(s, 0)= \varphi(0)\), and \(\gamma(s, T)= \varphi(T)\). Then, first they show that for any positive integer \(k\), there exists an open neighbourhood \(V^{(k)}\) of \(0\) in \(C^\infty(\mathbb{T}^2, \mathbb{R}^2)\)…
reviewed by: Hiroaki Shimomura
Mathematics Subject Classification ID: 58D05
Mathematics Subject Classification ID: 58E10
zbMATH DE Number: 5519477
zbMATH Keywords: geodesic
zbMATH Keywords: exponential maps
zbMATH Keywords: diffeomorphism group of torus
Wikidata QID: Q115206201
MaRDI profile type: Publication
DOI: 10.4310/AJM.2008.V12.N3.A7
description: scientific article; zbMATH DE number 5519477