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

Local contractibility of the kernel of the Calabi homomorphism Ham_c^0(M, ω)

Ascertain whether the kernel of the Calabi homomorphism Ham_c^0(M, ω), equipped with the subspace topology induced by Ham_c(M, ω), is locally contractible for general symplectic manifolds (M, ω), including cases with boundary.

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

Background

The group Ham_c0(M, ω) arises as the kernel of the Calabi homomorphism on Ham_c(M, ω). The authors construct a quotient topology to ensure local contractibility due to potential non-discreteness of Λ_ω. Whether Ham_c0(M, ω) is locally contractible under the more natural subspace topology remains unknown in general.

References

Since we do not know whether \Lambda_\omega is discrete for general (M,\omega), we also do not know whether \operatorname{Ham}_c0(M,\omega) is always locally contractible when equipped with the subspace topology induced by \operatorname{Ham}_c(M,\omega).

Smooth perfectness of Hamiltonian diffeomorphism groups (2509.16327 - Edtmair, 19 Sep 2025) in Section 2.3 (Calabi homomorphism)