The sharp $C^0$-fragmentation property for Hamiltonian diffeomorphisms and homeomorphisms on surfaces

Baptiste Serraille
2024-03-23
Abstract:In this paper, we present a $C^0$-fragmentation property for Hamiltonian diffeomorphisms. More precisely, it is known that for a given open covering $\mathcal{U}$ of a compact symplectic surface we can write each $C^0$-small enough Hamiltonian diffeomorphism as the composition of Hamiltonian diffeomorphisms compactly supported inside the open sets of the covering $\mathcal{U}$. We show that such a decomposition can be done with a Lipschitz estimate on the $C^0$-norm of the fragments. We also show the same property for the kernel of $\theta$, the mass-flow homomorphism for homeomorphisms. This answers a question from Buhovsky and Seyfaddini.
Symplectic Geometry,Differential Geometry
What problem does this paper attempt to address?
### Problems the paper attempts to solve The paper aims to explore and prove the **C0 - fragmentation properties of Hamiltonian diffeomorphisms and homeomorphisms on two - dimensional manifolds**. Specifically, the author attempts to show how to decompose a sufficiently small Hamiltonian diffeomorphism into multiple locally - supported Hamiltonian diffeomorphisms, and these fragments satisfy the C0 - norm control of Lipschitz estimates. In addition, the author also studies whether homeomorphisms that preserve the kernel of the mass - flow homomorphism also have similar fragmentation properties. ### Specific problem descriptions 1. **C0 - fragmentation properties of Hamiltonian diffeomorphisms**: - For a given compact symplectic manifold \((\Sigma,\omega)\) and a finite covering \(W=(W_i)^m_{i = 1}\) consisting of open sets, does there exist a C0 - neighborhood \(N\) such that for each \(\phi\in N\), it can be decomposed into \(\phi=\phi_1\circ\phi_2\circ\cdots\circ\phi_m\), where each \(\phi_i\in Ham_c(W_i)\) and satisfies the following estimate: \[ \|\phi_i\|_{C^0}\leq C\|\phi\|_{C^0} \] where \(C > 0\) is a constant independent of \(\phi\). 2. **C0 - fragmentation properties of homeomorphisms that preserve the kernel of the mass - flow homomorphism**: - Similarly, for a given closed surface \((\Sigma,\mu)\) equipped with the Oxtoby - Ulam measure \(\mu\) and a finite covering \(W=(W_i)^m_{i = 1}\) consisting of open sets, does there exist a C0 - neighborhood \(N\) such that for each \(\phi\in N\), it can be decomposed into \(\phi=\phi_1\circ\phi_2\circ\cdots\circ\phi_m\), where each \(\phi_i\in Homeo_c(W_i,\mu)\) and satisfies the following estimate: \[ \|\phi_i\|_{C^0}\leq C\|\phi\|_{C^0} \] ### Significance of solving the problems By proving the above fragmentation properties, the author answers the questions raised by Buhovsky and Seyfaddini and provides a theoretical basis for further research on related problems in symplectic geometry. This fragmentation property not only helps to understand the algebraic structure of the symplectic diffeomorphism group, but also provides continuity estimates in some cases, which is of great significance for studying problems such as symplectic invariants.