Towards the \(C^{0}\) flux conjecture (Q488574)

\textit{Ya. M. Ehliashberg} [Funct. Anal. Appl. 21, No. 1--3, 227--232 (1987); translation from Funkts. Anal. Prilozh. 21, No. 3, 65--72 (1987; Zbl 0655.58015)] and \textit{M.~Gromov} in [Invent. Math. 82, 307-347 (1985; Zbl 0592.53025)] proved the rigidity theorem stating that on a closed and connected symplectic manifold \((M,\omega)\) the group \(\text{Symp}(M,\omega)\) of symplectomorphisms of \(M\) is \(C^0\)-closed inside the group \(\text{Diff}(M)\) of diffeomorphisms of \(M\). Related to this theorem is the \(C^0\) flux conjecture stating that the group \(\text{Ham}(M,\omega)\) of Hamiltonian diffeomorphisms of \(M\) is \(C^0\)-closed inside the connected component \(\text{Symp}_0(M,\omega)\) of the identity in \(\text{Symp}(M,\omega)\). There is an exact sequence \(\text{Ham} (M,\omega) \rightarrow \text{Symp}_{0}(M,\omega)\rightarrow H^{1}(M,{\mathbb R})/\Gamma\), where \(\Gamma = \text{Image }(F: \pi_{1}(\text{Symp}_{0} (M,\omega)) \rightarrow H^{1}(M,{\mathbb R}))\) and \(F\) is the flux homomorphism, while \(\Gamma_0=\text{Image }(F: \pi_{1}(\text{Ham}(M,\omega)) \rightarrow H^{1}(M,{\mathbb R}))\). The connected component of the identity in the space of all smooth maps \(M\rightarrow M\) is \(\text{Map}_0(M)\) and \(\pi_1(M)\) is the fundamental group of \(M\). The image of \(\pi_1(\text{Map}_0(M))\) under the flux homomorphism is \(\Gamma_{\text{top}}\). For the evaluation homomorphism \(\text{ev}:\pi_1(\text{Map}_0(M))\rightarrow\pi_1(M)\) and for any \(a\in\pi_1(M)\) the image of \(\text{ev}^{-1}(a)\subset\pi_1(\text{Map}_0(M))\) under the flux homomorphism is \(\Gamma^a_{\text{top}}\). \textit{F. Lalonde} et al. [in: Geometry, topology, and dynamics. Proceedings of the CRM workshop, Montreal, Canada, June 26--30, 1995. Providence, RI: American Mathematical Society. 69--85 (1998; Zbl 0974.53062)] showed that the flux conjecture is equivalent to \(\Gamma\) being discrete in \(H^{1}(M,{\mathbb R})\) and proved the \(C^1\) flux conjecture for some manifolds. Also, they showed that \(\Gamma_0\subset\Gamma_{\text{top}}\) if \(M\) is Lefschetz, and that the \(C^0\) flux conjecture holds for Lefschetz manifold \(M\) with \(\Gamma=\Gamma_{\text{top}}\). In this paper, the author generalizes their result for a new class of symplectic manifolds. It is shown that if \((M,\omega)\) is a closed and connected symplectic manifold, then \(\Gamma_0\subset\Gamma_{\text{top}}+\overline{\Gamma^e_{\text{top}}}\), where \(e\in\pi_1(M)\) is the identity, and \(\overline{\Gamma^e_{\text{top}}}\) is the closure of \(\Gamma^e_{\text{top}}\) inside \(H^1(M,\mathbb R)\). Also, it is shown that if \((M,\omega)\) is a closed and connected symplectic manifold such that \(\Gamma=\Gamma_{\text{top}}\), then the \(C^0\) flux conjecture holds for \(M\).