Linear and multiplicative 2-forms (Q844125)

The authors provide an alternative way to study multiplicative 2-forms on Lie groupoids and their infinitesimal counterparts to that provided in [\textit{H. Bursztyn, M. Crainic, A. Weinstein} and \textit{C. Zhu}, Duke Math. J. 123, No.~3, 549--607 (2004; Zbl 1067.58016)]. In that paper it was demonstrated that, for an s-simply connected groupoid \(\mathcal G\rightrightarrows M\), there exists a one-to-one correspondence between multiplicative 2-forms \(\omega \in \Omega ^2(\mathcal G)\) and vector valued maps \(\sigma : A \rightarrow T^{\ast}M\) solving the equations \[ \langle \sigma (u), \rho (v)\rangle = - \langle \rho (v), \sigma (u)\rangle \] \[ \sigma([u,v]) = {\mathcal L}_{\rho(u)}\sigma(v) - i_{\rho(v)}d\sigma(u) + i_{\rho(v)}i_{\rho(u)}\Phi \] where \(A\) is the Lie algebroid associated to \(\mathcal G\) with anchor \(\rho\), \(u,v \in \Gamma (A)\) and \(\phi\) is a closed 3-form on \(M.\) Such maps \(\sigma\) are called IM 2-forms relative to \(\phi\) (IM -- an abbreviation of infinitesimal multiplicative). The main result of the paper is Theorem 4.7 which states that IM 2-forms relative to \(\phi\) are in one-to-one correspondence with suitably defined linear 2-forms \(\Lambda \in \Omega^2(A)\) for which the map \(\Lambda^\sharp : TA \rightarrow T^{\ast}A\) is a Lie algebroid morphism. The first 3 sections of the paper serve as an introduction to the main fourth section in which the main theorem is formulated and proved. At the end of the paper, a result known from the above mentioned paper [loc. cit.] is derived as a corollary of Theorem 4.7. Corollary. If \(\mathcal G\) is s-simply connected and \(\phi \in \Omega^3(M)\) is closed, there is a one-to-one correspondence between multiplicative 2-forms \(\omega\) on \(\mathcal G\) satisfying \(d\omega = s^{\ast}\phi - t^{\ast}\phi \) and IM 2-forms \(\sigma : M \rightarrow T^{\ast}M\) relative to \(\phi.\)