Weak Lie 2-bialgebras (Q387739)

A Lie bialgebra is a Lie algebra endowed with a compatible Lie coalgebra structure. A Lie algebra crossed module consists of a pair of Lie algebras \(\theta\) and \(\mathfrak{g}\) together with a linear map \(\phi :\theta \to \mathfrak{g}\) and an action of \(\mathfrak{g}\) on \(\theta\) by derivation satisfying a certain compatibility condition. A Lie bialgebra crossed module is a pair of Lie algebra crossed modules in duality, where \((\theta \overset{\phi}{\longrightarrow} \mathfrak{g})\) and \((\mathfrak{g}^*\overset{-\phi*} {\longrightarrow} \theta^*)\) are both Lie algebra crossed modules, and \((\mathfrak{g}\rtimes\theta, \theta^*\rtimes \mathfrak{g}^*)\) is a Lie bialgebra. The authors obtain the big bracket by identifying \(S^*(V[2]\oplus V^*[1])\) with the space \(\Gamma(\wedge^*T[4]M)\) of polyvector fields on \(M=V^*[-2]\). Then the big bracket can be simply described as the Schouten bracket of polyvector fields. In terms of the big bracket, a weak Lie \(2\)-bialgebra on a graded vector space \(V\) is a degree \((-4)\) element \(\varepsilon\) of \(S^*(V[2]\oplus V^*[1])\) such that \(\{\varepsilon,\varepsilon\} =0\). Lie \(2\)-bialgebras arise as a special case of weak Lie \(2\)-bialgebras where certain homotopy terms vanish. After studying the Lie bialgebra crossed modules, the authors obtain the main theorem. By this theorem one establishes a bijection between Lie \(2\)-bialgebra crossed modules and (strict) Lie \(2\)-bialgebras.