nLab
coquasitriangular bialgebra

Coquasitriangularity is dual property to quasitriangularity.

A kk-bialgebra (or, in particular, Hopf algebra) (H,m,η,Δ,ϵ)(H, m,\eta,\Delta,\epsilon) is coquasitriangular (or dual quasitriangular) if it is equipped with a kk-linear map R:HHkR:H\otimes H\to k which is invertible in convolution algebra Hom k(HH,k)Hom_k(H\otimes H,k) (with respect to the convolution-unit ϵϵ\epsilon\otimes\epsilon) with a convolution inverse denoted R¯\bar{R} such that the opposite multiplication m H op:=mτm_{H_{op}} := m\circ \tau is given by

m H op=RmR¯ m_{H_{op}} = R\star m\star \bar{R}

and the following two identities hold when applied on HHHH\otimes H\otimes H:

R(mid)=R 13R 23 R(m\otimes id) = R_{13} R_{23}
R(idm)=R 12R 23 R(id\otimes m) = R_{12} R_{23}

with the subscript notation as explained in the nnlab entry quasitriangular Hopf algebra. The main examples come from quantized function algebras (that is, roughly, dual of quantized enveloping algebras).

Last revised on August 16, 2009 at 19:10:38. See the history of this page for a list of all contributions to it.