Dice Question Streamline Icon: https://streamlinehq.com

Local contractibility of compactly supported Hamiltonian diffeomorphism groups on open symplectic manifolds

Ascertain whether the compactly supported Hamiltonian diffeomorphism group Ham_c(M, ω), equipped with the subspace topology inherited from Diff_c(M), is locally contractible for arbitrary connected open symplectic manifolds (M, ω).

Information Square Streamline Icon: https://streamlinehq.com

Background

For open symplectic manifolds, the authors equip Diff_c(M) with the colimit topology and consider the induced subspace topology on Symp_c(M, ω). While Symp_c(M, ω) is locally contractible, the status of local contractibility for Ham_c(M, ω) is unknown in general. This uncertainty is tied to the behavior of the flux group associated with the symplectomorphism group, which may fail to be discrete on general open manifolds.

References

Unfortunately, we do not know whether \operatorname{Ham}_c(M,\omega) equipped with the subspace topology is locally contractible in general.

Smooth perfectness of Hamiltonian diffeomorphism groups (2509.16327 - Edtmair, 19 Sep 2025) in Section 2.1 (Hamiltonian diffeomorphism groups and their topology)