∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
For a Lie algebra, the underlying dual vector space canonically inherits the structure of a Poisson manifold whose Poisson Lie bracket reduces on linear functions to the original Lie bracket on . This is the Lie-Poisson structure on .
More generally, for a Lie algebroid the fiberwise dual inherits such a Poisson manifold structure.
Poisson manifold structures of this form are also called linear Poisson structures.
First notice that for as smooth function on the dual of a Lie algebra, then its de Rham differential 1-form at some , being a linear map
is canonically identified with a Lie algebra element itself.
With this understood, then for two smooth functions on their Poisson Lie bracket in the Lie-Poisson structure is defined by
Notice that for regarded as a linear function on , then under the above identification we have . This means that on linear functions the Lie-Poisson bracket is simply the original Lie bracket:
This Lie-Poisson structure may be thought of as the unique smooth extension of this bracket on linear functions to all smooth functions on .
Let be a basis for the vector space underlying the given Lie algebra . Write for the components of the Lie bracket in this basis (the structure constants), given by
Write for the dual basis of the dual vector space , so that the pairing is given by
As the notation is meant to suggest, dually the may be regarded as basis for the linear functions on and the serve as a basis of vector fields on .
With this identification understood, the multivector fields on are spanned by elements of the form
(with the sum over indices understood) for smooth functions on .
The Poisson tensor of the Lie-Poisson structure is given by
The Schouten bracket on multivector fields is given on linear basis elements by
(the canonical commutation relations) and extended as a graded derivation in both arguments.
See at formal deformation quantization the section Relation to universal enveloping algebras.
The symplectic groupoid integrating the Lie-Poisson structure on is the action groupoid of the coadjoint action. For more see at symplectic groupoid in the section Examples – Of Lie-Poisson stucture.
The symplectic leaves of the Lie-Poisson structure on are the coadjoint orbits.
We consider the Poisson Lie algebroid of a Lie-Poisson structure and the Lie algebroid cohomology.
By the discussion at Poisson Lie algebroid, the graded algebra of multivector fields equipped with the differential given by the Schouten bracket with the Poisson bivector
is the Chevalley-Eilenberg algebra of this Lie algebroid:
As for every Poisson Lie algebroid, the Poisson bivector is a Lie algebroid cocycle of degree 2
(see also at symplectic Lie n-algebroid).
In view of the fact that here is just another incarnation of the Lie bracket, this condition here is an incarnation of the Jacobi identity on the Lie algebra .
But in the simple case of Lie-Poisson structure, this cocycle is in fact exact:
For the Poisson-Lie structure on the Poisson tensor has a coboundary and hence is trivial in Lie algebroid cohomology.
Consider the component-description from above. We show that is a coboundary.
First notice that
and
From this we get
Under addition a Lie-Poisson manifold becomes a Poisson Lie group, see there for more.
The notion of Lie-Poisson structures was originally found by Sophus Lie and then rediscovered by Felix Berezin and by Alexander Kirillov, Bertram Kostant and Jean-Marie Souriau.
General accounts:
François Bayen, Moshé Flato, Christian Fronsdal, André Lichnerowicz, Daniel Sternheimer, §2 in: Deformation theory and quantization. I. Deformations of symplectic structures., Annals of Physics 111 1 (1978) 61-110 [doi:10.1016/0003-4916(78)90224-5]
Alan Weinstein, §3 in: The local structure of Poisson manifolds, J. Differential Geom. 18 3 (1983) 523-557 [doi:10.4310/jdg/1214437787]
Izu Vaisman, section 3.1 of Lectures on the Geometry of Poisson Manifolds, Birkhäuser (1994)
Camille Laurent-Gengoux, Linear Poisson Structures and Lie Algebras, chapter 7 of: Camille Laurent-Gengoux, Anne Pichereau, Pol Vanhaecke (eds.), Poisson Structures, Grundlehren der mathematischen Wissenschaften 347 179-203 [doi:10.1007/978-3-642-31090-4_7]
Monograph:
On the formal deformation quantization of Lie-Poisson structures via transfer of the product on the universal enveloping algebra of the given Lie algebra:
reviewed in:
and generalization to more general polynomial Poisson algebras is discussed in
On strict deformation quantization of Lie-Poisson structures via Lie-group algebras:
The symplectic Lie groupoid Lie integrating Lie-Poisson structures is discussed as example 4.3 in:
See also
Last revised on December 4, 2023 at 09:35:04. See the history of this page for a list of all contributions to it.