On the \(L^p\)-geometry of autonomous Hamiltonian diffeomorphisms of surfaces (Q736755)

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.