It is a bialgebra where the comultiplication is skew-symmetric and satisfies a dual Jacobi identity, so that the dual vector space is a Lie algebra, whereas the comultiplication is a 1-cocycle, so that the multiplication and comultiplication are compatible. The cocycle condition implies that, in practice, one studies only classes of bialgebras that are cohomologous to a Lie bialgebra on a coboundary.
Lie bialgebras occur naturally in the study of the Yang-Baxter equations.
More precisely, comultiplication on the algebra, , is called the cocommutator, and must satisfy two properties. The dual
must be a Lie bracket on , and it must be a cocycle:
where is the adjoint.
Relation to Poisson-Lie groups
Let G be a Poisson-Lie group, with being two smooth functions on the group manifold. Let be the differential at the identity element. Clearly, . The Poisson structure on the group then induces a bracket on , as
The cocommutator is then the tangent map:
is the dual of the cocommutator.
- H.-D. Doebner, J.-D. Hennig, eds, Quantum groups, Proceedings of the 8th International Workshop on Mathematical Physics, Arnold Sommerfeld Institute, Claausthal, FRG, 1989, Springer-Verlag Berlin, ISBN 3-540-53503-9.
- Vyjayanthi Chari and Andrew Pressley, A Guide to Quantum Groups, (1994), Cambridge University Press, Cambridge ISBN 0-521-55884-0.