Existence and unicity of co-moments in multisymplectic geometry (Q2349426): Difference between revisions

A manifold \(M\) equipped with a closed \((n+1)\)-form \(\omega\in\Omega^{n+1}_{\text{cl}}(M)\) is called a pre-\(n\)-plectic manifold. A pre-\(n\)-plectic manifold \((M,\omega)\) is called \(n\)-plectic or multisymplectic if the map \(\omega^\flat_p:T_pM\to\Lambda^nT^*_pM\) defined by \(\omega^\flat_p(v)=\iota_v\omega_p\) is injective for all \(p\in M\), where \(\iota_v\) denotes the contraction with \(v\). The graded vector space \(L(M,w)=\bigoplus\limits_{i=-n+1}^0L_i\), where \(L_i=\Omega^{n-1+i}(M)\) for \(i\neq 0\) and \(L_0=\{(v,a)\in\mathfrak{X}(M)\times\Omega^{n-1}(M);\;d\alpha=-\omega^\flat(v)\}\), is called the space of observables of \((M,\omega)\). The image of the projection \(\pi_{\mathfrak{X}}:L_0\to\mathfrak{X}(M)\) is called the space of Hamiltonian vector fields and denoted by \(\mathfrak{X}_{\text{Ham}}(M,\omega)\). For a finite-dimensional Lie algebra \(\mathfrak{g}\), an infinitesimal action \(\zeta:\mathfrak{g}\to\mathfrak{X}(M)\) is called pre-\(n\)-plectic or simply \(n\)-plectic if the image of \(\zeta\) is in \(\mathfrak{X}(M,\omega)\). The action is called Hamiltonian if there exists a linear lift \(j:\mathfrak{g}\to L(M,\omega)\) of \(\zeta\) along \(\pi_{\mathfrak{X}}\), called co-moment map for the action \(\zeta\). The action is called strongly Hamiltonian if there exists a morphism \(F:\mathfrak{g}\to L(M,\omega)\) lifting \(\zeta\) along \(\pi_{\mathfrak{X}}\). The morphism \(F\) is called a homotopy co-moment map for \(\zeta\). In this paper, the authors prove that if \(\zeta:\mathfrak{g}\to \mathfrak{X}(M,\omega)\) is an infinitesimal \(n\)-plectic action, then \(\zeta\) is strongly Hamiltonian if and only if a certain cocycle \(g\) vanishes in the cohomology of \(C^\bullet\), i.e., \([g]=0\) as an element of \(H^{n+1} (C^\bullet)\), and \(\zeta\) is Hamiltonian if and only if \([g_1]_{dR}=0\) in \(\mathfrak{g}^*\otimes H^n_{dR}(M)\). Also, it is shown that if a homotopy co-moment map exists it is unique up to \(D\)-cocycles of total degree \(n\) with vanishing \(\Lambda^0\mathfrak{g}^*\otimes H^n_{dR}(M)\)-component.