On the \(L^p\)-geometry of autonomous Hamiltonian diffeomorphisms of surfaces (Q736755)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the \(L^p\)-geometry of autonomous Hamiltonian diffeomorphisms of surfaces |
scientific article |
Statements
On the \(L^p\)-geometry of autonomous Hamiltonian diffeomorphisms of surfaces (English)
0 references
5 August 2016
0 references
Let \(\Sigma_{g,k}\) be a compact connected orientable surface of genus \(g\) with \(k\) boundary components equipped with a symplectic form. Let \(\mathcal{G}\) be the group of Hamiltonian diffeomorphisms of \(\Sigma_{g,k}\) and let \(\mathcal{A}\) be the subset of autonomous Hamiltonian diffeomorphisms. An \(L^{p}\)-metric can be defined on \(\mathcal{G}\). A quasimorphism on \(\mathcal{G}\) is a map \(\phi:\mathcal{G}\to\mathbb{R}\) satifying \(\phi(\gamma_{1}\gamma_{2})=\phi(\gamma_{1})+\phi(\gamma_{2})+b(\gamma_{1},\gamma_{2})\) where \(b\) is uniformly bounded. The main result (Theorem 1) says that for \(g=0\) and \(p>2\), or \(g>1\) and \(p\geq1\) there exists an infinite-dimensional space of quasimorphisms on \(\mathcal{G}\) that are Lipschitz in the \(L^{p}\)-metric and vanish on \(\mathcal{A}\). As a consequence for every \(K\geq0\) there exists \(f'\in\mathcal{G}\) such that the distance from \(f'\) to \(\mathcal{A}\) is greater than \(K\). The construction of the quasimorphisms in the case of \(S^{2}\) involves braid groups while the general case involves mapping class groups.
0 references
groups of Hamiltonian diffeomorphisms
0 references
braid groups
0 references
mapping class groups
0 references
quasimorphisms
0 references
\(L^p\)-metrics
0 references