# nLab Kostant-Souriau extension

Contents

### Context

#### Symplectic geometry

symplectic geometry

higher symplectic geometry

# Contents

## Idea

Given a presymplectic manifold $(X,\omega)$ there is the Poisson bracket Lie algebra $\mathfrak{Poisson}(X.\omega)$ of Hamiltonians and their Hamiltonian vector fields. This is a extension of Lie algebras of the Lie algebra of just Hamiltonian vecotor fields. Over a connected manifold it is an extension by $\mathbb{R}$. The Lie integration of this extension is the quantomorphism group-extension of the group of Hamiltonian symplectomorphisms.

These extensions are called Kostant-Souriau extensions after Bertram Kostant and Jean-Marie Souriau. They play a central role in geometric quantization.

### Refinement to higher geometry

For $(X,\omega)$ a pre-n-plectic manifold there is an L-∞ algebra extension that generalizes the Kostant Souriau extension: the Poisson bracket L-∞ algebra (Rogers).

These in turn are special cases of L-∞ algebra extension/∞-group extensions which are variants of the higher Atiyah groupoid-extensions that exist in general in cohesive higher geometry (Hgpt), as indicated in the following table:

higher and integrated Kostant-Souriau extensions:

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

$(\Omega \mathbb{G})\mathbf{FlatConn}(X) \to \mathbf{QuantMorph}(X,\nabla) \to \mathbf{HamSympl}(X,\nabla)$
$n$geometrystructureunextended structureextension byquantum extension
$\infty$higher prequantum geometrycohesive ∞-groupHamiltonian symplectomorphism ∞-groupmoduli ∞-stack of $(\Omega \mathbb{G})$-flat ∞-connections on $X$quantomorphism ∞-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
$n$n-plectic geometryLie n-algebraHamiltonian vector fieldsline Lie n-algebraPoisson Lie n-algebra
$n$smooth n-groupHamiltonian n-plectomorphismscircle n-groupquantomorphism n-group

(extension are listed for sufficiently connected $X$)

## References

The traditional Kostant-Souriau extension appears for instance prop. 2.3.9 in

• Jean-Luc Brylinski, Loop spaces, characteristic classes and geometric quantization, Birkhäuser (1993)

The refinement to n-plectic geometry is due to

• Chris Rogers, $L_\infty$ algebras from multisymplectic geometry ,

Letters in Mathematical Physics April 2012, Volume 100, Issue 1, pp 29-50 (arXiv:1005.2230, journal).

A general characterization in higher geometry is in

Last revised on August 16, 2018 at 18:52:03. See the history of this page for a list of all contributions to it.