nLab
quasitriangular bialgebra

Context

Algebra

Algebraic theories

  • / /

  • /

  • /

Algebras and modules

  • ,

  • ,

  • ,

  • ,

Higher algebras

  • symmetric monoidal (∞,1)-category of spectra

    • , ,

    • ,
  • ,

    • ,

Model category presentations

  • /

Geometry on formal duals of algebras

Theorems

Contents

Idea

A quasi-triangular bialgebra / triangular bialgebra is a bialgebra equipped with just the right structure such as to make its category of modules into a braided monoidal category/symmetric monoidal category.

Definition

Let AA be an algebra in a symmetric monoidal category CC with symmetry τ\tau; fix m,lm,l and DA kD\in A^{\otimes k} and let 1i rl1\leq i_r\leq l for 1rm1\leq r\leq m be different. Then denote D i 1,,i mA nD_{i_1,\ldots,i_m}\in A^{\otimes n} as the image of R1 (lm)R\otimes 1^{\otimes (l-m)} under the permutation which is the composition of the mm transpositions (r,i r)(r,i_r) of tensor factors interchanging rr and i ri_r. In the following CC is the monoidal category of kk-vector spaces.

A kk-bialgebra (in particular kk-Hopf algebra) is quasitriangular if there is an invertible element RHHR\in H\otimes H such that for any hHh\in H

τΔ(h)=RΔ(h)R 1 \tau\circ\Delta(h) = R\Delta(h)R^{-1}

where τ=τ H,H:HHHH\tau=\tau_{H,H}:H\otimes H\to H\otimes H and

(Δid)(R)=R 13R 23 (\Delta\otimes id)(R)=R_{13} R_{23}
(idΔ)(R)=R 13R 12 (id\otimes\Delta)(R)=R_{13} R_{12}

An invertible element RR satisfying these 3 properties is called the universal RR-element. As a corollary

(ϵid)R=1,(idϵ)R=id (\epsilon\otimes id) R = 1,\,\,\,\,\,(id\otimes\epsilon)R = id

and the quantum Yang-Baxter equation holds in the form

R 12R 13R 23=R 23R 13R 12 R_{12} R_{13} R_{23} = R_{23} R_{13} R_{12}

A quasitriangular HH is called triangular if R 21:=τ(R)=R 1R_{21}:=\tau(R) = R^{-1}.

The category of representations of a quasitrianguar bialgebra is a braided monoidal category. If RR is a universal RR-element, then R 21 1R_{21}^{-1} is as well. If HH is quasitriangular, H copH^{cop} and H opH_{op} are as well, with the universal RR-element being R 21R_{21}, or instead, R 12 1R_{12}^{-1}. Any twisting of a quasitriangular bialgebra by a bialgebra 2-cocycle twists the universal RR-element as well; hence the twisted bialgebra is again quasitriangular. Often the RR-element does not exist as an element in HHH\otimes H but rather in some completion of the tensor square; we say that HH is essentially quasitriangular, this is true for quantized enveloping algebras U q(G)U_q(G) in the rational form. The famous Sweedler’s Hopf algebra has a 1-parameter family of universal RR-matrices.

Properties

Tannaka duality

A quasitriangular structure on a bialgebra corresponds to a braided monoidal category structure on the category of modules of the underlying algebra. (For instance chapter 1, section 2 of (Carroll)).

for over /

/
AAMod AMod_A
RR-Mod RMod_R-
= with -preserving
strict : with
with
(correct version) (without fiber functor)
with generalized
with
with
() with
with
() with and Schur smallness
form form

2-Tannaka duality for over

AAMod AMod_A
RR-Mod RMod_R-
(with some duality and strictness structure)

3-Tannaka duality for over

AAMod AMod_A
RR-Mod RMod_R-

References

  • V. G. Drinfel’d, Quantum groups, Proc. ICM 1986, Vol. 1, 2 798–820, AMS 1987.

  • S. Majid, Quasitriangular Hopf algebras and Yang-Baxter equations, Int. j. mod. physics A, 5, 01, pp. 1-91 (1990) doi:10.1142/S0217751X90000027

  • S. Majid, Foundations of quantum group theory, Cambridge University Press 1995, 2000.

  • A. U. Klymik, K. Schmuedgen, Quantum groups and their representations, Springer 1997.

  • V. Chari, A. Pressley, A guide to quantum groups, Camb. Univ. Press 1994

  • Robert Carroll, Calculus revisited

Last revised on September 2, 2013 at 15:35:57. See the history of this page for a list of all contributions to it.