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

Discreteness of the Calabi period group Λ_ω for general symplectic manifolds

Determine whether the subgroup Λ_ω—defined as the image of π_1(Ham_c(M, ω)) under the lifted Calabi homomorphism—is discrete for general symplectic manifolds (M, ω), possibly with boundary.

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

Background

The Calabi homomorphism for non-closed or boundary cases descends to Ham_c(M, ω) with target R/Λω, where Λω is the image of π1(Ham_c(M, ω)) under the lifted Calabi map. Beyond exact cases without boundary (where Λω vanishes), the structure of Λ_ω is largely unknown. Its discreteness affects the topology that can be naturally placed on Ham_c(M, ω) and its kernel Ham_c0(M, ω).

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)