Poisson bracket Lie n-algebra



The Lie n-algebra that generalizes the Poisson bracket from symplectic geometry to n-plectic geometry: the Poisson bracket L L_\infty-algebra of local observables in higher prequantum geometry.

The detailed discussion is currently still here at n-plectic geometry.

slice-automorphism ∞-groups in higher prequantum geometry

cohesive ∞-groups:Heisenberg ∞-group\hookrightarrowquantomorphism ∞-group\hookrightarrow∞-bisections of higher Courant groupoid\hookrightarrow∞-bisections of higher Atiyah groupoid
L-∞ algebras:Heisenberg L-∞ algebra\hookrightarrowPoisson L-∞ algebra\hookrightarrowCourant L-∞ algebra\hookrightarrowtwisted vector fields

higher and integrated Kostant-Souriau extensions

(∞-group extension of ∞-group of bisections of higher Atiyah groupoid for 𝔾\mathbb{G}-principal ∞-connection)

(Ω𝔾)FlatConn(X)QuantMorph(X,)HamSympl(X,) (\Omega \mathbb{G})\mathbf{FlatConn}(X) \to \mathbf{QuantMorph}(X,\nabla) \to \mathbf{HamSympl}(X,\nabla)
nngeometrystructureunextended structureextension byquantum extension
\inftyhigher prequantum geometrycohesive ∞-groupHamiltonian symplectomorphism ∞-groupmoduli ∞-stack of (Ω𝔾)(\Omega \mathbb{G})-flat ∞-connections on XXquantomorphism ∞-group
1symplectic geometryLie algebraHamiltonian vector fieldsreal numbersHamiltonians under Poisson bracket
1Lie groupHamiltonian symplectomorphism groupcircle groupquantomorphism group
22-plectic geometryLie 2-algebraHamiltonian vector fieldsline Lie 2-algebraPoisson Lie 2-algebra
2Lie 2-groupHamiltonian 2-plectomorphismscircle 2-groupquantomorphism 2-group
nnn-plectic geometryLie n-algebraHamiltonian vector fieldsline Lie n-algebraPoisson Lie n-algebra
nnsmooth n-groupHamiltonian n-plectomorphismscircle n-groupquantomorphism n-group

(extension are listed for sufficiently connected XX)


The Poisson bracket L L_\infty-algebras were proposed in

  • Chris Rogers, L L_\infty algebras from multisymplectic geometry , Letters in Mathematical Physics April 2012, Volume 100, Issue 1, pp 29-50 (arXiv:1005.2230, journal).

A comprehensive account is in

An general account in higher geometry is in

Revised on March 30, 2013 15:04:09 by Urs Schreiber (