Poisson 2-groups (Q351227)

A Poisson group is a Lie group with a compatible Poisson structure. Lie \(2\)-groups are Lie group objects in the category of Lie groupoids. A Poisson \(2\)-group is a Lie \(2\)-group equipped with a Poisson structure on one of its Lie group structures (\(\Gamma_1\)), and which is multiplicative with respect to both the group and groupoid structures on \(\Gamma_1\). Lie \(2\)-algebras are Lie algebra objects in the category of Lie algebroids. The authors show that, at the infinitesimal level, Poisson \(2\)-groups induce Lie \(2\)-bialgebras. Theorem A. There is a one-to-one correspondence between connected, simply connected Poisson \(2\)-groups and Lie \(2\)-bialgebras. A more general result can be obtained. Theorem B. There is a one-to-one correspondence between connected, simply connected quasi-Poisson \(2\)-groups and quasi-Lie \(2\)-bialgebras. The following ``universal lifting theorem'' is also obtained: Given a Lie \(2\)-group \(\Gamma_1 \rightrightarrows \Gamma_0\), if both \(\Gamma_1\) and \(\Gamma_0\) are connected and simply connected, then the graded Lie algebras \(\bigoplus_{k\geq 0}\mathcal{X}^k_{\mathrm{mult}}(\Gamma_1)\) and \(\bigoplus_{k\geq 0}\mathcal{A}_k\) are isomorphic.