A vector space ${\displaystyle {\mathfrak {g}}}$  is a Lie bialgebra if it is a Lie algebra, and there is the structure of Lie algebra also on the dual vector space ${\displaystyle {\mathfrak {g}}^{*}}$  which is compatible. More precisely the Lie algebra structure on ${\displaystyle {\mathfrak {g}}}$  is given by a Lie bracket ${\displaystyle [\ ,\ ]:{\mathfrak {g}}\otimes {\mathfrak {g}}\to {\mathfrak {g}}}$  and the Lie algebra structure on ${\displaystyle {\mathfrak {g}}^{*}}$  is given by a Lie bracket ${\displaystyle \delta ^{*}:{\mathfrak {g}}^{*}\otimes {\mathfrak {g}}^{*}\to {\mathfrak {g}}^{*}}$ . Then the map dual to ${\displaystyle \delta ^{*}}$  is called the cocommutator, ${\displaystyle \delta :{\mathfrak {g}}\to {\mathfrak {g}}\otimes {\mathfrak {g}}}$  and the compatibility condition is the following cocycle relation:

${\displaystyle \delta ([X,Y])=\left(\operatorname {ad} _{X}\otimes 1+1\otimes \operatorname {ad} _{X}\right)\delta (Y)-\left(\operatorname {ad} _{Y}\otimes 1+1\otimes \operatorname {ad} _{Y}\right)\delta (X)}$ 

where ${\displaystyle \operatorname {ad} _{X}Y=[X,Y]}$  is the adjoint. Note that this definition is symmetric and ${\displaystyle {\mathfrak {g}}^{*}}$  is also a Lie bialgebra, the dual Lie bialgebra.

Let ${\displaystyle {\mathfrak {g}}}$  be any semisimple Lie algebra. To specify a Lie bialgebra structure we thus need to specify a compatible Lie algebra structure on the dual vector space. Choose a Cartan subalgebra ${\displaystyle {\mathfrak {t}}\subset {\mathfrak {g}}}$  and a choice of positive roots. Let ${\displaystyle {\mathfrak {b}}_{\pm }\subset {\mathfrak {g}}}$  be the corresponding opposite Borel subalgebras, so that ${\displaystyle {\mathfrak {t}}={\mathfrak {b}}_{-}\cap {\mathfrak {b}}_{+}}$  and there is a natural projection ${\displaystyle \pi :{\mathfrak {b}}_{\pm }\to {\mathfrak {t}}}$ . Then define a Lie algebra

${\displaystyle {\mathfrak {g'}}:=\{(X_{-},X_{+})\in {\mathfrak {b}}_{-}\times {\mathfrak {b}}_{+}\ {\bigl \vert }\ \pi (X_{-})+\pi (X_{+})=0\}}$ 

which is a subalgebra of the product ${\displaystyle {\mathfrak {b}}_{-}\times {\mathfrak {b}}_{+}}$ , and has the same dimension as ${\displaystyle {\mathfrak {g}}}$ . Now identify ${\displaystyle {\mathfrak {g'}}}$  with dual of ${\displaystyle {\mathfrak {g}}}$  via the pairing

${\displaystyle \langle (X_{-},X_{+}),Y\rangle :=K(X_{+}-X_{-},Y)}$ 

where ${\displaystyle Y\in {\mathfrak {g}}}$  and ${\displaystyle K}$  is the Killing form. This defines a Lie bialgebra structure on ${\displaystyle {\mathfrak {g}}}$ , and is the "standard" example: it underlies the Drinfeld-Jimbo quantum group. Note that ${\displaystyle {\mathfrak {g'}}}$  is solvable, whereas ${\displaystyle {\mathfrak {g}}}$  is semisimple.

The Lie algebra ${\displaystyle {\mathfrak {g}}}$  of a Poisson–Lie group G has a natural structure of Lie bialgebra. In brief the Lie group structure gives the Lie bracket on ${\displaystyle {\mathfrak {g}}}$  as usual, and the linearisation of the Poisson structure on G gives the Lie bracket on ${\displaystyle {\mathfrak {g^{*}}}}$  (recalling that a linear Poisson structure on a vector space is the same thing as a Lie bracket on the dual vector space). In more detail, let G be a Poisson–Lie group, with ${\displaystyle f_{1},f_{2}\in C^{\infty }(G)}$  being two smooth functions on the group manifold. Let ${\displaystyle \xi =(df)_{e}}$  be the differential at the identity element. Clearly, ${\displaystyle \xi \in {\mathfrak {g}}^{*}}$ . The Poisson structure on the group then induces a bracket on ${\displaystyle {\mathfrak {g}}^{*}}$ , as

${\displaystyle [\xi _{1},\xi _{2}]=(d\{f_{1},f_{2}\})_{e}\,}$ 

where ${\displaystyle \{,\}}$  is the Poisson bracket. Given ${\displaystyle \eta }$  be the Poisson bivector on the manifold, define ${\displaystyle \eta ^{R}}$  to be the right-translate of the bivector to the identity element in G. Then one has that

${\displaystyle \eta ^{R}:G\to {\mathfrak {g}}\otimes {\mathfrak {g}}}$ 

The cocommutator is then the tangent map:

${\displaystyle \delta =T_{e}\eta ^{R}\,}$ 

so that

${\displaystyle [\xi _{1},\xi _{2}]=\delta ^{*}(\xi _{1}\otimes \xi _{2})}$ 

is the dual of the cocommutator.

• Lie coalgebra
• Manin triple

• 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.
• Beisert, N.; Spill, F. (2009). "The classical r-matrix of AdS/CFT and its Lie bialgebra structure". Communications in Mathematical Physics. 285 (2): 537–565. arXiv:0708.1762. Bibcode:2009CMaPh.285..537B. doi:10.1007/s00220-008-0578-2. S2CID 8946457.