The group of Hamiltonian homeomorphisms and \(C^0\)-symplectic topology (Q2481205): Difference between revisions

Let \((M,\omega)\) be a symplectic manifold which is assumed mainly as closed one. The main purpose of this paper is a study of \(C^0\)-Hamiltonian geometry and \(C^0\)-symplectic topology. First, the authors introduce the notion of Hamiltonian topology on the space of Hamiltonian paths and on the group \(\text{Ham}(M,u)\) of Hamiltonian diffeomorphisms. They then define the group of Hamiltonian homeomorphisms, which is denoted by \(\text{Hameo}(M,\omega)\), such that \[ \text{Ham}(M,\omega)\subset \text{Hameo}(M,\omega)\subset \text{Sympeo}(M,\omega), \] where the last one is the group of the symplectic homeomorphisms. Having established, they prove some fundamental facts on the group \(\text{Hameo}(M,\omega)\) such that, for example, it is a normal subgroup of \(\text{Sympeo}(M,\omega)\), and it contains all the time-one maps of Hamiltonian vector fields of \(C^{1,1}\)-function, and further that it is path-connected. They also prove that the mass flow of any Hamiltonian homeomorphism vanishes, and this implies that \(\text{Hameo}(M,\omega)\) is strictly smaller than the identity component of the group of area-preserving homeomporphisms in a category of the closed orientable surface \(M\) except for \(M = S^2\). In addition, they still conjecture that \(\text{Hameo}(S^2,\omega)\) is also a proper subgroup of the above one.