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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references