@The flux conjecture states that the group of Hamiltonian diffeomorphisms is closed in the symplectomorphism group with respect to $C^1$-topology.
@This claim is equivalent to that the flux group is closed in the first de Rham cohomology group. I plan to speak about a proof based on Floer-Novikov cohomology.