Poisson–Lie group

Short description: Poisson manifold that is also a Lie group

In mathematics, a Poisson–Lie group is a Poisson manifold that is also a Lie group, with the group multiplication being compatible with the Poisson algebra structure on the manifold.

The infinitesimal counterpart of a Poisson–Lie group is a Lie bialgebra, in analogy to Lie algebras as the infinitesimal counterparts of Lie groups.

Many quantum groups are quantizations of the Poisson algebra of functions on a Poisson–Lie group.

Definition

A Poisson–Lie group is a Lie group [math]\displaystyle{ G }[/math] equipped with a Poisson bracket for which the group multiplication [math]\displaystyle{ \mu:G\times G\to G }[/math] with [math]\displaystyle{ \mu(g_1, g_2)=g_1g_2 }[/math] is a Poisson map, where the manifold [math]\displaystyle{ G\times G }[/math] has been given the structure of a product Poisson manifold.

Explicitly, the following identity must hold for a Poisson–Lie group:

[math]\displaystyle{ \{f_1,f_2\} (gg') = \{f_1 \circ L_g, f_2 \circ L_g\} (g') + \{f_1 \circ R_{g^\prime}, f_2 \circ R_{g'}\} (g) }[/math]

where [math]\displaystyle{ f_1 }[/math] and [math]\displaystyle{ f_2 }[/math] are real-valued, smooth functions on the Lie group, while [math]\displaystyle{ g }[/math] and [math]\displaystyle{ g' }[/math] are elements of the Lie group. Here, [math]\displaystyle{ L_g }[/math] denotes left-multiplication and [math]\displaystyle{ R_g }[/math] denotes right-multiplication.

If [math]\displaystyle{ \mathcal{P} }[/math] denotes the corresponding Poisson bivector on [math]\displaystyle{ G }[/math], the condition above can be equivalently stated as

[math]\displaystyle{ \mathcal{P}(gg') = L_{g \ast}(\mathcal{P}(g')) + R_{g' \ast}(\mathcal{P}(g)) }[/math]

In particular, taking [math]\displaystyle{ g = g' = e }[/math] one obtains [math]\displaystyle{ \mathcal{P}(e) = 0 }[/math], or equivalently [math]\displaystyle{ \{f,g\}(e) = 0 }[/math]. Applying Weinstein splitting theorem to [math]\displaystyle{ e }[/math] one sees that non-trivial Poisson-Lie structure is never symplectic, not even of constant rank.

Poisson-Lie groups - Lie bialgebra correspondence

The Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] of a Poisson–Lie group has a natural structure of Lie coalgebra given by linearising the Poisson tensor [math]\displaystyle{ P: G \to TG \wedge TG }[/math] at the identity, i.e. [math]\displaystyle{ \delta:= d_eP: \mathfrak{g} \to \mathfrak{g} \wedge \mathfrak{g} }[/math] is a comultiplication. Moreover, the algebra and the coalgebra structure are compatible, i.e. [math]\displaystyle{ \mathfrak{g} }[/math] is a Lie bialgebra,

The classical Lie group–Lie algebra correspondence, which gives an equivalence of categories between simply connected Lie groups and finite-dimensional Lie algebras, was extended by Drinfeld to an equivalence of categories between simply connected Poisson–Lie groups and finite-dimensional Lie bialgebras.

Thanks to Drinfeld theorem, any Poisson–Lie group [math]\displaystyle{ G }[/math] has a dual Poisson–Lie group, defined as the Poisson–Lie group integrating the dual [math]\displaystyle{ \mathfrak{g}^* }[/math] of its bialgebra.

Homomorphisms

A Poisson–Lie group homomorphism [math]\displaystyle{ \phi:G\to H }[/math] is defined to be both a Lie group homomorphism and a Poisson map. Although this is the "obvious" definition, neither left translations nor right translations are Poisson maps. Also, the inversion map [math]\displaystyle{ \iota:G\to G }[/math] taking [math]\displaystyle{ \iota(g)=g^{-1} }[/math] is not a Poisson map either, although it is an anti-Poisson map:

[math]\displaystyle{ \{f_1 \circ \iota, f_2 \circ \iota \} = -\{f_1, f_2\} \circ \iota }[/math]

for any two smooth functions [math]\displaystyle{ f_1, f_2 }[/math] on [math]\displaystyle{ G }[/math].

Examples

Trivial examples

• Any trivial Poisson structure on a Lie group [math]\displaystyle{ G }[/math] defines a Poisson–Lie group structure, whose bialgebra is simply [math]\displaystyle{ \mathfrak{g} }[/math] with the trivial comultiplication.
• The dual [math]\displaystyle{ \mathfrak{g}^* }[/math] of a Lie algebra, together with its linear Poisson structure, is an additive Poisson–Lie group.

These two example are dual of each other via Drinfeld theorem, in the sense explained above.

Other examples

Let [math]\displaystyle{ G }[/math] be any semisimple Lie group. Choose a maximal torus [math]\displaystyle{ T\subset G }[/math] and a choice of positive roots. Let [math]\displaystyle{ B_\pm\subset G }[/math] be the corresponding opposite Borel subgroups, so that [math]\displaystyle{ T = B_-\cap B_+ }[/math] and there is a natural projection [math]\displaystyle{ \pi:B_\pm \to T }[/math]. Then define a Lie group

[math]\displaystyle{ G^*:=\{ (g_-,g_+)\in B_-\times B_+\ \bigl\vert\ \pi(g_-)\pi(g_+)=1\} }[/math]

which is a subgroup of the product [math]\displaystyle{ B_-\times B_+ }[/math], and has the same dimension as [math]\displaystyle{ G }[/math].

The standard Poisson–Lie group structure on [math]\displaystyle{ G }[/math] is determined by identifying the Lie algebra of [math]\displaystyle{ G^* }[/math] with the dual of the Lie algebra of [math]\displaystyle{ G }[/math], as in the standard Lie bialgebra example. This defines a Poisson–Lie group structure on both [math]\displaystyle{ G }[/math] and on the dual Poisson Lie group [math]\displaystyle{ G^* }[/math]. This is the "standard" example: the Drinfeld-Jimbo quantum group [math]\displaystyle{ U_q\mathfrak{g} }[/math] is a quantization of the Poisson algebra of functions on the group [math]\displaystyle{ G^* }[/math]. Note that [math]\displaystyle{ G^* }[/math]is solvable, whereas [math]\displaystyle{ G }[/math] is semisimple.

See also

• Lie bialgebra
• Quantum group
• Affine quantum group
• Quantum affine algebras

References

• Doebner, H.-D.; Hennig, J.-D., eds (1989). Quantum groups. Proceedings of the 8th International Workshop on Mathematical Physics, Arnold Sommerfeld Institute, Claausthal, FRG. Berlin: Springer-Verlag. ISBN 3-540-53503-9. 
• Chari, Vyjayanthi; Pressley, Andrew (1994). A Guide to Quantum Groups. Cambridge: Cambridge University Press Ltd.. ISBN 0-521-55884-0. https://archive.org/details/guidetoquantumgr0000char.