Table of Contents
Fetching ...

Actions of Lie 2-algebras and comomentum maps

Philippe Bonneau, Véronique Chloup-Arnould, Angela Gammella, Tilmann Wurzbacher

Abstract

In this paper we introduce the notion of a 2-action of a Lie 2-algebra on an arbitrary manifold M. Furthermore, in [Rog12], given a n-plectic manifold (M, $ω$), the authors consider a Lie Infinity-algebra L$\infty$ (M, $ω$), which is a higher analogue of the Poisson algebra of observables associated to a symplectic manifold. This Lie Infinity-algebra reduces to a Lie 2-algebra L^2 (M, $ω$) when (M, $ω$) is 2-plectic. Following ideas of N.L. Delgado [Del18], we introduce the Lie 2-algebra D^2 (M, $ω$), which generalises the Lie 2-algebra L^2 (M, $ω$) and its extension containing Hamiltonian pairs. Given a two-plectic manifold (M, $ω$) and a Lie 2-algebra g_1 $\oplus$ g_0 acting on M we define a comomentum map as a lift of the action, i.e., as a Lie 2-algebra morphism from g_1 $\oplus$ g_0 to the extension of the Lie 2-algebra D^2 (M, $ω$). In an appendix, we discuss very explicitly numerous examples, classified according to their algebraic properties.

Actions of Lie 2-algebras and comomentum maps

Abstract

In this paper we introduce the notion of a 2-action of a Lie 2-algebra on an arbitrary manifold M. Furthermore, in [Rog12], given a n-plectic manifold (M, ), the authors consider a Lie Infinity-algebra L (M, ), which is a higher analogue of the Poisson algebra of observables associated to a symplectic manifold. This Lie Infinity-algebra reduces to a Lie 2-algebra L^2 (M, ) when (M, ) is 2-plectic. Following ideas of N.L. Delgado [Del18], we introduce the Lie 2-algebra D^2 (M, ), which generalises the Lie 2-algebra L^2 (M, ) and its extension containing Hamiltonian pairs. Given a two-plectic manifold (M, ) and a Lie 2-algebra g_1 g_0 acting on M we define a comomentum map as a lift of the action, i.e., as a Lie 2-algebra morphism from g_1 g_0 to the extension of the Lie 2-algebra D^2 (M, ). In an appendix, we discuss very explicitly numerous examples, classified according to their algebraic properties.
Paper Structure (29 sections, 29 theorems, 78 equations)

This paper contains 29 sections, 29 theorems, 78 equations.

Key Result

Proposition 2.4

A Lie 2-algebra is a graded vector space $L=L_{-1}\oplus L_0$, with a collection of three multilinear maps $(l_1,l_2,l_3)$, where $l_1:L_{-1}\mapsto L_0$, $l_2$ can be decomposed in its "pure" part $l_2^p:L_0\times L_0\mapsto L_0$, antisymmetric and its "mixed" part $l_2^m :L_{-1}\times L_0\mapsto L

Theorems & Definitions (121)

  • Definition 2.1
  • Remark 2.2
  • Definition 2.3
  • Proposition 2.4
  • Remark 2.5
  • Remark 2.6
  • Definition 2.7
  • Definition 2.8
  • Lemma 2.9
  • proof
  • ...and 111 more