Flux homomorphism and bilinear form constructed from Shelukhin's quasimorphism

Abstract

Given a closed connected symplectic manifold $(M,\ddot{I}‰)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}={\mathfrak{b}}_{\hat{I}{¼}_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $\hat{I}{¼}_{\mathrm{Sh}}$. Here $\hat{I}{¼}_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,\ddot{I}‰)$. This bilinear form is invariant under the symplectic mapping class group action, and $\mathfrak{b}$ yields a constraint on the fluxes of commuting two elements in the group of symplectomorphisms on $(M,\ddot{I}‰)$. These results might be seen as an analog of Rousseau's result for an open connected symplectic manifold, where he recovered the symplectic pairing from the Calabi homomorphism. Furthermore, $\mathfrak{b}$ controls the extendability of Shelukhin's quasimorphisms, as well as the triviality of a characteristic class of Reznikov. To construct $\mathfrak{b}$, we build general machinery for a group $G$ of producing a real-valued $\mathbb{Z}$-bilinear form ${\mathfrak{b}}_{\hat{I}}¼$ from a $G$-invariant quasimorphism $\hat{I}¼$ on the commutator subgroup of $G$.

39 pages, 2 figures