nLab Lie-Poisson structure

Redirected from "Lie-Poisson manifold".
Contents

Context

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Symplectic geometry

Contents

Idea

For 𝔤\mathfrak{g} a Lie algebra, the underlying dual vector space 𝔤 *\mathfrak{g}^* canonically inherits the structure of a Poisson manifold whose Poisson Lie bracket reduces on linear functions 𝔤C (𝔤 *)\mathfrak{g} \hookrightarrow C^\infty(\mathfrak{g}^*) to the original Lie bracket on 𝔤\mathfrak{g}. This is the Lie-Poisson structure on 𝔤 *\mathfrak{g}^*.

More generally, for 𝔞\mathfrak{a} a Lie algebroid the fiberwise dual 𝔞 *\mathfrak{a}^* inherits such a Poisson manifold structure.

Poisson manifold structures of this form are also called linear Poisson structures.

Definition

Abstractly

First notice that for fC (𝔤 *)f \in C^\infty(\mathfrak{g}^\ast) as smooth function on the dual of a Lie algebra, then its de Rham differential 1-form at some α𝔤 *\alpha \in \mathfrak{g}^\ast, being a linear map

df| α:T α𝔤 *=𝔤 * \mathbf{d} f|_{\alpha} \colon T_\alpha \mathfrak{g}^\ast = \mathfrak{g}^\ast \longrightarrow \mathbb{R}

is canonically identified with a Lie algebra element itself.

With this understood, then for f,gC (𝔤 *)f,g \in C^\infty(\mathfrak{g}^*) two smooth functions on 𝔤 *\mathfrak{g}^* their Poisson Lie bracket in the Lie-Poisson structure is defined by

{f,g}:θθ([df,dg]). \{f,g\} \;\colon\; \theta \mapsto -\theta ([\mathbf{d} f, \mathbf{d} g]) \,.

Notice that for v𝔤v\in \mathfrak{g} regarded as a linear function ,v\langle -,v\rangle on 𝔤 *\mathfrak{g}^\ast, then under the above identification we have d,v=v\mathbf{d} \langle -,v\rangle = v. This means that on linear functions the Lie-Poisson bracket is simply the original Lie bracket:

{,v 1,,v 2,}=,[v 1,v 2]. \left\{ \langle -, v_1\rangle, \langle -, v_2\rangle, \right\} = \langle - ,[v_1,v_2]\rangle \,.

This Lie-Poisson structure may be thought of as the unique smooth extension of this bracket on linear functions to all smooth functions on 𝔤 *\mathfrak{g}^\ast.

In components

Let {x a}\{x^a\} be a basis for the vector space underlying the given Lie algebra 𝔤\mathfrak{g}. Write {C ab c}\{C^{a b}{}_c\} for the components of the Lie bracket [,][-,-] in this basis (the structure constants), given by

[x a,x b]=cC ab cx c. [x^a,x^b] = \underset{c}{\sum} C^{a b}{}_c x^c \,.

Write { a}\{\partial_a\} for the dual basis of the dual vector space 𝔤 *\mathfrak{g}^\ast, so that the pairing 𝔤 *𝔤\mathfrak{g}^\ast \otimes\mathfrak{g} \to \mathbb{R} is given by

ax b=δ a b={1 ifa=b 0 otherwise \partial_a x^b = \delta_a^b = \left\{ \array{ 1 & if\; a=b \\ 0 & otherwise } \right.

As the notation is meant to suggest, dually the {x a}\{x^a\} may be regarded as basis for the linear functions on 𝔤 *\mathfrak{g}^\ast and the { a}\{\partial_a\} serve as a basis of vector fields on 𝔤 *\mathfrak{g}^\ast.

With this identification understood, the multivector fields on 𝔤 *\mathfrak{g}^\ast are spanned by elements of the form

v a 1a q a 1 a q v^{a_1 \cdots a_q} \partial_{a_1}\wedge \cdots \wedge \partial_{a_q}

(with the sum over indices understood) for {v a 1a q}\{v^{a_1 \cdots a_q}\} smooth functions on 𝔤 *\mathfrak{g}^\ast.

The Poisson tensor π 2Γ(T𝔤 *)\pi \in \wedge^2 \Gamma(T\mathfrak{g}^\ast) of the Lie-Poisson structure is given by

π=12a,b,cC ab cx c a b. \pi = \tfrac{1}{2}\underset{a,b,c}{\sum} C^{a b}{}_c x^c \partial_a \wedge \partial_b \,.

The Schouten bracket on multivector fields is given on linear basis elements by

{x a,x b} Sch=0 \{x^a, x^b\}_{Sch} = 0
{ a,x b} Sch=δ a b \{\partial_a, x^b\}_{Sch} = \delta_a^b
{ a, b} Sch=0 \{\partial_a, \partial_b\}_{Sch} = 0

(the canonical commutation relations) and extended as a graded derivation in both arguments.

Properties

Deformation quantization by universal enveloping algebra

See at formal deformation quantization the section Relation to universal enveloping algebras.

Symplectic groupoid

The symplectic groupoid integrating the Lie-Poisson structure on 𝔤 *\mathfrak{g}^* is the action groupoid 𝔤 *G\mathfrak{g}^* \sslash G of the coadjoint action. For more see at symplectic groupoid in the section Examples – Of Lie-Poisson stucture.

Symplectic leaves

The symplectic leaves of the Lie-Poisson structure on 𝔤 *\mathfrak{g}^* are the coadjoint orbits.

Poisson-Lie algebroid cohomology

We consider the Poisson Lie algebroid 𝔓(𝔤 *)\mathfrak{P}(\mathfrak{g}^\ast) of a Lie-Poisson structure and the Lie algebroid cohomology.

Remark

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

d CE={π,} Sch d_{CE} = \{\pi, -\}_{Sch}

is the Chevalley-Eilenberg algebra of this Lie algebroid:

CE(𝔓(𝔤 *))=( Γ(T𝔤 *),d CE={π,} Sch). CE(\mathfrak{P}(\mathfrak{g}^\ast)) = \left( \wedge^\bullet \Gamma(T\mathfrak{g}^\ast), d_{CE} = \{\pi, -\}_{Sch} \right) \,.
Remark

As for every Poisson Lie algebroid, the Poisson bivector πCE(𝔓(𝔤 *))\pi \in CE(\mathfrak{P}(\mathfrak{g}^\ast)) is a Lie algebroid cocycle of degree 2

d CEπ={π,π} Sch=0 d_{CE}\pi = \{\pi,\pi\}_{Sch} = 0

(see also at symplectic Lie n-algebroid).

In view of the fact that here π\pi is just another incarnation of the Lie bracket, this condition here is an incarnation of the Jacobi identity on the Lie algebra (𝔤,[,])(\mathfrak{g},[-,-]).

But in the simple case of Lie-Poisson structure, this cocycle is in fact exact:

Proposition

For the Poisson-Lie structure on 𝔤 *\mathfrak{g}^\ast the Poisson tensor πCE 2(𝔓(𝔤))\pi \in CE^2(\mathfrak{P}(\mathfrak{g})) has a coboundary and hence is trivial in Lie algebroid cohomology.

Proof

Consider the component-description from above. We show that x a ax^a \partial_a is a coboundary.

First notice that

{x b,x a a} Sch=x b \{x^b, x^a \partial_a \}_{Sch} = -x^b

and

{ b,x a a} Sch= b. \{\partial_b, x^a \partial_a \}_{Sch} = \partial_b \,.

From this we get

d CE(x a a) ={π,x a a} Sch ={12C ab cx c a b,x a a} Sch =(21)12C ab cx c a b =π \begin{aligned} d_{CE} (x^a \partial_a) &= \left\{\pi,\; x^a \partial_a\right\}_{Sch} \\ & = \left\{\frac{1}{2} C^{a b}{}_c x^c \partial_a \wedge \partial_b,\; x^a \partial_a\right\}_{Sch} \\ & = (2-1) \frac{1}{2} C^{a b}{}_c x^c \partial_a \wedge \partial_b \\ & = \pi \end{aligned}

Poisson Lie group structure

Under addition a Lie-Poisson manifold becomes a Poisson Lie group, see there for more.

  • a moment map is often expresses as a Poisson homomorphism into a Lie-Poisson structure.

References

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:

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

  • Michael Penkava, Pol Vanhaecke, Deformation Quantization of Polynomial Poisson Algebras, Journal of Algebra 227, 365ñ393 (2000) (arXiv:math/9804022)

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.