The flux homomorphism and central extensions of diffeomorphism groups (Q2046768)

Let \(D \subset \mathbb{R}^2\) be a closed unit disk with a symplectic form \(\omega = dx \wedge dy\). Let \(G\) be the group consisting of symplectomorphisms on \(D\) that preserve the origin and \(G_{rel}\) the group of symplectomorphisms preserving the origin and the boundary \(\partial D\) pointwise. Then there is the following exact sequence: \( 1 \longrightarrow G_{rel} \longrightarrow G \longrightarrow Diff_{+}(S^1) \longrightarrow 1\), where \(Diff_{+}(S^1)\) is the group of orientation preserving diffeomorphisms on the unit circle \(S^1 = \partial D\). On the group \(G_{rel}\), there is an \(\mathbb{R}\)-valued homomorphism \(\mathrm{Flux}_{\mathbb{R}} : G_{rel} \to \mathbb{R}\ ; g \mapsto \int_{\gamma}(g^*\eta -\eta)\) called a flux homomorphism, where \(\gamma\) is a path from the origin to the boundary of \(D\) and \(\eta\) is a 1-form satisfying \(\omega =d\eta\). Dividing the above exact sequence by the kernel \(K = \mathrm{Flux}_{\mathbb{R}}\), the author obtains the following \(\mathbb{R}\)-extension: \(0 \longrightarrow \mathbb{R} \longrightarrow G/K \longrightarrow Diff_{+}(S^1) \longrightarrow 1\), which he calls the flux extension. The author considers the flux homomorphism on \(G_{rel}\) and determines the Euler class of this extension and investigates the relation among the extension, the group \(2\)-cocycle defined by Ismagilov, Losik, and Michor and the Calabi invariant of \(D\).