$C^0$-rigidity of the Hamiltonian diffeomorphism group of symplectic rational surfaces

TL;DR

This paper proves that, for most symplectic rational surfaces, the Hamiltonian diffeomorphisms form a connected component in the $C^0$-topology, bridging symplectic mapping class groups and $C^0$-symplectic topology techniques.

Contribution

It establishes the $C^0$-closure of Hamiltonian diffeomorphisms in symplectic rational surfaces, a first nontrivial case demonstrating this property.

Findings

Hamiltonian diffeomorphisms form a connected component in the $C^0$-topology for most rational surfaces.

Develops new $C^0$-distance estimates using $J$-holomorphic foliation and inflation techniques.

Bridges symplectic mapping class groups with $C^0$-symplectic topology methods.

Abstract

We investigate the $C^0$-topology of the group of symplectic diffeomorphisms of positive symplectic rational surfaces. For all but a few exceptions, we prove that the group of Hamiltonian diffeomorphisms forms a connected component in the $C^0$-topology. This provides the first nontrivial case in which the group of Hamiltonian diffeomorphisms is known to be $C^0$-closed inside the group of symplectic diffeomorphisms. The key to our approach is to build a bridge between techniques from symplectic mapping class groups and problems in $C^0$-symplectic topology. Via a careful adaptation of tools from $J$-holomorphic foliation and inflation, we establish the necessary $C^0$-distance estimates. We hope that this serves as an example of how these two subfields can interact fruitfully, and also propose several questions arising from this interplay.