Symplectic geometry on moduli spaces of \(J\)-holomorphic curves (Q664368)

The authors define and study some geometric structures induced on the moduli space of \(J\)-holomorphic curves in a symplectic manifold with a compatible almost complex structure \(J\). Consider a finite-dimensional symplectic manifold \((M,\omega)\) and let \(\Sigma \) be a closed \(2\)-manifold. Let \(\text{ev}:C^\infty(\Sigma,M)\times \Sigma\to M\) be the evaluation map \(\text{ev}(f,x)=f(x)\) and define a \(2\) form \(\omega_{C^\infty (\Sigma,M)f}\) on \(C^\infty(\Sigma, M)\) as the push-forward of the \(4\)-form \(\text{ev}^*(\omega\wedge \omega\)) along the coordinate-projection \(\pi_{C^\infty (\Sigma,M)}:C^\infty (\Sigma,M)\times \Sigma \to C^\infty (\Sigma,M)\): \[ \omega_{C^\infty (\Sigma,M)f}(\tau_1,\tau_2)=\int_{\{f\}\times \Sigma}i_{l_1\wedge l_2}ev^{*}(\omega\wedge \omega). \] Here \(d\big(\pi_{C^\infty(\Sigma,M)}\big)l_{i(f,x)}=\tau_i\). Theorem. The \(2\)-form \(\omega_{C^\infty(\Sigma, M)}\) on \(C^\infty(\Sigma ,M)\) is well defined and closed, and \(\omega_{C^\infty (\Sigma,M)} (\tau,\cdot)\) vanishes at \(f\) if \(\tau\) is everywhere tangent to \(f(\Sigma)\). The \(2\)-form \(\omega_{ \mathcal{S}_i(\Sigma)}\) on \(\mathcal{S}_i(\Sigma)\) is closed and \(\omega_{ \mathcal{S}_i(\Sigma)}(\tau,\cdot)\) vanishes at \(f\) if and only if \(\tau\) is everywhere tangent to \(f(\Sigma)\).