Remarks on the flux groups (Q1580357): Difference between revisions

Let \((M,\omega)\) be a compact symplectic manifold and \(\text{Symp}(M,\omega)\) denotes the group of symplectomorphisms of \((M,\omega)\). Define the flux homomorphism \(F:\pi_1(\text{Symp}_0(M,\omega))\to H^1(M,{\mathbb R})\),\quad \(F(\xi)[a]=\int_{\xi_ta}\omega\), where \(\xi_ta\) denotes the trace of a loop \(a\) under the isotopy \(\{\xi_t\}\) representing \(\xi\). By definition, the flux group \(\Gamma_\omega\) is the image of the flux homomorphism. Theorem A. Let \((M,\omega)\) be a compact symplectic manifold satisfing one of the following conditions: 1. some Chern number of \((M,\omega)\) is nonzero, 2. \(M\) is aspherical and \(Z(\pi_1(M))\subset[\pi_1(M),\pi_1(M) ]\), 3. \(\ker A\subset [\pi_1(M),\pi_1(M) ]+\text{torsion}\), where \(A:\pi_1(M)\to \text{Aut}(\pi_*(M))\) is the action of the fundamental group on homotopy groups. Then \(\Gamma_\omega\subset \ker[\bigcup[\omega]^{n-1}:H^1(M,{\mathbb R})\to H^{2n-1}(M,{\mathbb R}) ]\) and the rank of \(\Gamma_\omega\) over \({\mathbb Z}\) is not greater than \(\dim \ker(\bigcup[\omega]^{n-1})\). Theorem B. Let \((M,\omega)\) be a compact aspherical symplectic manifold. If either Euler characteristic of \(M\) is nonzero or \(\pi_1(M)\) has trivial center then its flux group \(\Gamma_\omega\) is trivial.