Namespaces
Variants
Actions

Difference between revisions of "Quasi-triangular Hopf algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 134 formulas out of 148 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 148 formulas, 134 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|partial}}
 
''dual quasi-triangular Hopf algebra, co-quasi-triangular Hopf algebra, quantum group''
 
''dual quasi-triangular Hopf algebra, co-quasi-triangular Hopf algebra, quantum group''
  
A quantum group in the strict sense, i.e. a [[Hopf algebra|Hopf algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200701.png" /> equipped with a further (co-) quasi-triangular structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200702.png" /> obeying certain axioms such that the [[Category|category]] of (co-) modules of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200703.png" /> is a [[Braided category|braided category]] (cf. also [[Quantum groups|Quantum groups]]). This is arguably the key property behind the quantum group enveloping algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200704.png" /> or their associated quantum group coordinate rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200705.png" />.
+
A quantum group in the strict sense, i.e. a [[Hopf algebra|Hopf algebra]] $H$ equipped with a further (co-) quasi-triangular structure $\mathcal{R}$ obeying certain axioms such that the [[Category|category]] of (co-) modules of $H$ is a [[Braided category|braided category]] (cf. also [[Quantum groups|Quantum groups]]). This is arguably the key property behind the quantum group enveloping algebras $U _ { q } ( \mathfrak { g } )$ or their associated quantum group coordinate rings $G_q$.
  
More precisely, a quasi-triangular Hopf algebra is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200706.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200707.png" /> is a Hopf algebra over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200708.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q1200709.png" /> obeys
+
More precisely, a quasi-triangular Hopf algebra is $( H , \mathcal{R} )$ where $H$ is a Hopf algebra over a field $k$ and $\mathcal{R} \in H \otimes H$ obeys
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007010.png" /></td> </tr></table>
+
\begin{equation*} \tau \circ \Delta h = \mathcal{R} ( \Delta h ) \mathcal{R} ^ { - 1 } , \forall h \in H, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007011.png" /></td> </tr></table>
+
\begin{equation*} ( \Delta \bigotimes \text { id } ) {\cal R} = {\cal R} _ { 13 } {\cal R} _ { 23 } , ( \text { id } \bigotimes \Delta ) {\cal R} = {\cal R} _ { 13 } {\cal R} _ { 12 }, \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007012.png" /> is the permutation operation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007015.png" /> are in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007016.png" /> in the latter equations. One may show that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007017.png" /> then obeys
+
where $\tau$ is the permutation operation on $H ^ { \otimes 2 }$ and $\mathcal{R} _ { 12 } \equiv \mathcal{R} \otimes 1$, $\mathcal{R} _ { 23 } = 1 \otimes \mathcal{R}$ are in $H ^ { \otimes 3 }$ in the latter equations. One may show that $\mathcal{R}$ then obeys
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007018.png" /></td> </tr></table>
+
\begin{equation*} \mathcal{R} _ { 12 } \mathcal{R} _ { 13 } \mathcal{R} _ { 23 } = \mathcal{R} _ { 23 } \mathcal{R} _ { 13 } \mathcal{R} _ { 12 }, \end{equation*}
  
which is an abstract form of the [[Yang–Baxter equation|Yang–Baxter equation]]. One denotes the Hopf algebra structure by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007019.png" /> for the co-product, and denotes by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007020.png" /> the co-unit and by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007021.png" /> the antipode.
+
which is an abstract form of the [[Yang–Baxter equation|Yang–Baxter equation]]. One denotes the Hopf algebra structure by $\Delta$ for the co-product, and denotes by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007020.png"/> the co-unit and by $S$ the antipode.
  
 
==Examples.==
 
==Examples.==
  
  
1) When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007022.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007023.png" />th root of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007024.png" />, the quantum group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007025.png" /> is given by the polynomial algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007026.png" /> modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007027.png" /> (the group ring of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007028.png" />) with co-algebra, antipode and quasi-triangular structure
+
1) When $q \in k$ is an $n$th root of $1$, the quantum group $\mathbf{Z} _ { q , n }$ is given by the polynomial algebra $k [ g ]$ modulo $g ^ { n } = 1$ (the group ring of $\mathbf{Z} / n \mathbf{Z}$) with co-algebra, antipode and quasi-triangular structure
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007029.png" /></td> </tr></table>
+
\begin{equation*} \Delta g = g \bigotimes g , \epsilon g = 1 , S g = g ^ { - 1 } = g ^ { n - 1 }, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007030.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007030.png"/></td> </tr></table>
  
It is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007031.png" /> is invertible in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007032.png" />.
+
It is assumed that $n$ is invertible in $k$.
  
2) When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007033.png" /> is a primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007034.png" />th root of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007035.png" />, the finite-dimensional quantum group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007036.png" /> is the free associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007037.png" /> modulo the relations
+
2) When $q$ is a primitive $n$th root of $1$, the finite-dimensional quantum group $u _ { q } ( \operatorname{sl} _ { 2 } )$ is the free associative algebra $k ( E , F , g , g ^ { - 1 } )$ modulo the relations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007038.png" /></td> </tr></table>
+
\begin{equation*} g ^ { n } = 1 , E ^ { n } = F ^ { n } = 0, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007039.png" /></td> </tr></table>
+
\begin{equation*} g E g ^ { - 1 } = q ^ { 2 } E , g F g ^ { - 1 } = q ^ { - 2 } F , [ E , F ] = \frac { g - g ^ { - 1 } } { q - q ^ { - 1 } } \end{equation*}
  
 
and the co-algebra, antipode and quasi-triangular structure
 
and the co-algebra, antipode and quasi-triangular structure
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007040.png" /></td> </tr></table>
+
\begin{equation*} \Delta g = g \bigotimes g,\;  \epsilon g = 1,\; \  S _ { g } = g ^ { - 1 }, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007041.png" /></td> </tr></table>
+
\begin{equation*} \Delta E = E \bigotimes g + 1 \bigotimes E , \epsilon E = 0 , S E = - E g ^ { - 1 } , \Delta F = F \bigotimes 1 + g ^ { - 1 } \bigotimes F , \epsilon F = 0 , S F = - g F, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007042.png" /></td> </tr></table>
+
\begin{equation*} \mathcal{R} = \mathcal{R} _ { q ^ { 2 } } e _ { q ^ { - 2 } } ^ { ( q - q ^ { - 1 } ) E \bigotimes F }, \end{equation*}
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007043.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007043.png"/></td> </tr></table>
  
is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007045.png" />-exponential with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007046.png" />-integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007047.png" /> in the factorial.
+
is the $q$-exponential with $q$-integers $[ m ]_{ q}$ in the factorial.
  
For general <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007048.png" /> (an invertible element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007049.png" />), one has the infinite-dimensional Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007050.png" />, where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007051.png" /> relations above are omitted. In this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007052.png" /> has to be described via some form of completion. One formulation is to work over the ring of formal power series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007053.png" /> rather than over a field as above. If it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007055.png" />, one can reformulate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007056.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007057.png" /> as a generator and define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007058.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007059.png" /> in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007060.png" /> above (and now take an infinite sum in the exponential). It does not, however, live in the algebraic tensor product but in a completion of it. On the other hand, this formulation allows one to consider the structure to lowest order in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007061.png" />. This is the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007062.png" />, the Lie co-bracket <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007063.png" /> (forming a Lie bi-algebra) and a Lie quasi-triangular structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007064.png" /> obeying the classical Yang–Baxter equations. It extends to a Poisson bracket (cf. [[Poisson brackets|Poisson brackets]]) on the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007065.png" />, making it a [[Poisson Lie group|Poisson Lie group]]. This means a Poisson bracket on the group such that the product mapping is a Poisson mapping from the direct product Poisson structure. There are similar quantum group enveloping algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007066.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007067.png" /> for all complex semi-simple Lie algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007068.png" />.
+
For general $q \in k ^ { * }$ (an invertible element of $k$), one has the infinite-dimensional Hopf algebra $U _ { q } ( \operatorname{sl} _ { 2 } )$, where the $g ^ { n } , E ^ { n } , F ^ { n }$ relations above are omitted. In this case $\mathcal{R}$ has to be described via some form of completion. One formulation is to work over the ring of formal power series ${\bf C} [ [ \hbar ] ]$ rather than over a field as above. If it is assumed that $q = e ^ { \hbar / 2 }$ and $g = q ^ { H }$, one can reformulate $U _ { q } ( \operatorname{sl} _ { 2 } )$ with $H$ as a generator and define $\mathcal{R}$ with $q ^ { H \otimes H / 2 }$ in place of ${\cal R }_ { q ^ { 2 } }$ above (and now take an infinite sum in the exponential). It does not, however, live in the algebraic tensor product but in a completion of it. On the other hand, this formulation allows one to consider the structure to lowest order in $\hbar$. This is the Lie algebra $\operatorname{sl} _ { 2 }$, the Lie co-bracket $\delta : \operatorname{sl}_ { 2 } \rightarrow \operatorname{sl} _ { 2 } \otimes sl _ { 2 }$ (forming a Lie bi-algebra) and a Lie quasi-triangular structure $r \in \operatorname { sl} _ { 2 } \otimes \operatorname { sl} _ { 2 }$ obeying the classical Yang–Baxter equations. It extends to a Poisson bracket (cf. [[Poisson brackets|Poisson brackets]]) on the group $\operatorname{SL} _ { 2 }$, making it a [[Poisson Lie group|Poisson Lie group]]. This means a Poisson bracket on the group such that the product mapping is a Poisson mapping from the direct product Poisson structure. There are similar quantum group enveloping algebras $u _ { q } ( \mathfrak { g } )$ and $U _ { q } ( \mathfrak { g } )$ for all complex semi-simple Lie algebras $\frak g$.
  
3) Every finite-dimensional Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007069.png" /> with invertible antipode can be  "doubled"  to obtain a quasi-triangular Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007070.png" />, called the quantum double of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007071.png" />. This contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007073.png" /> (the dual of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007074.png" /> with reversed product) as sub-Hopf algebras and the additional cross relations
+
3) Every finite-dimensional Hopf algebra $H$ with invertible antipode can be  "doubled"  to obtain a quasi-triangular Hopf algebra $D ( H )$, called the quantum double of $H$. This contains $H$ and $H ^ { * \operatorname{op} }$ (the dual of $H$ with reversed product) as sub-Hopf algebras and the additional cross relations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007075.png" /></td> </tr></table>
+
\begin{equation*} \phi h = \sum h _{( 2 )} \phi_{ ( 2 )} \langle S h _ { ( 1 ) } , \phi _ { ( 1 ) } \rangle \langle h _ { ( 3 ) } , \phi _ { ( 3 ) } \rangle \end{equation*}
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007077.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007078.png" /> is a notation for the co-product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007079.png" />, etc., and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007080.png" /> denotes the evaluation pairing. The quasi-triangular structure is
+
for all $h \in H$ and $\phi \in H ^ { * }$, where $\Delta h = \sum h_{ ( 1 )} \otimes h_{ ( 2 )}$ is a notation for the co-product of $H$, etc., and $\langle \, .\, ,\,  . \, \rangle$ denotes the evaluation pairing. The quasi-triangular structure is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007081.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007081.png"/></td> </tr></table>
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007082.png" /> is a basis of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007083.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007084.png" /> is a dual basis. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007085.png" /> can in fact be built explicitly on the vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007086.png" /> as a double cross product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007087.png" />. The braided category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007088.png" />-modules can be identified with that of crossed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007089.png" />-modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007090.png" /> by viewing a co-action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007091.png" /> as an action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007092.png" /> by evaluation.
+
where $\{ e _ { a } \}$ is a basis of $H$ and $\{ f ^ { a } \}$ is a dual basis. $D ( H )$ can in fact be built explicitly on the vector space $H ^ { * } \otimes H$ as a double cross product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007087.png"/>. The braided category of $D ( H )$-modules can be identified with that of crossed $H$-modules $\square _ { H } ^ { H } \mathcal{M}$ by viewing a co-action of $H$ as an action of $H ^ { * \operatorname{op} }$ by evaluation.
  
Dually, i.e. reversing all arrows, one has the notion of a dual quasi-triangular or co-quasi-triangular Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007093.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007094.png" /> is a Hopf algebra and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007095.png" /> obeys
+
Dually, i.e. reversing all arrows, one has the notion of a dual quasi-triangular or co-quasi-triangular Hopf algebra $( H , \mathcal{R} )$ where $H$ is a Hopf algebra and $\mathcal{R} : H \otimes H \rightarrow k $ obeys
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007096.png" /></td> </tr></table>
+
\begin{equation*} \sum g _{( 1 )} h _ { ( 1 ) } \mathcal{R} ( h _ { ( 2 ) } \bigotimes g _ { ( 2 ) } ) = \sum \mathcal{R }( h _ { ( 1 ) } \bigotimes g _ { ( 1 ) } ) h _ { ( 2 ) } g_{ ( 2 )}, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007097.png" /></td> </tr></table>
+
\begin{equation*} \mathcal{R}(hg\bigotimes f ) = \sum \mathcal{R} ( h \bigotimes f _ { ( 1 ) } ) \mathcal{R} ( g \bigotimes f_{ ( 2 )} ) , \mathcal{R} ( h \bigotimes g \,f ) = \sum \mathcal{R}(h_{(1)} \bigotimes f) \mathcal{R}(h_{(2)} \bigotimes g),  \end{equation*}
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007098.png" />. One also requires <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q12007099.png" /> to be convolution-invertible in the sense
+
for $h , g , f \in H$. One also requires $\mathcal{R}$ to be convolution-invertible in the sense
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070100.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070100.png"/></td> </tr></table>
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070101.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070101.png"/></td> </tr></table>
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070102.png" />.
+
for $h , g \in H$.
  
A) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070103.png" /> be an [[Abelian group|Abelian group]] equipped with a bi-character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070104.png" /> (a function multiplicative in each input). The group algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070105.png" /> is the vector space with basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070106.png" /> and with product among basis elements the group product. The co-product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070107.png" /> and co-unit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070108.png" /> extended linearly make <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070109.png" /> into a Hopf algebra. The bi-character makes this dual quasi-triangular, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070110.png" /> on basis elements, extended linearly.
+
A) Let $G$ be an [[Abelian group|Abelian group]] equipped with a bi-character $\beta : G \times G \rightarrow k ^ { * }$ (a function multiplicative in each input). The group algebra $k G$ is the vector space with basis $G$ and with product among basis elements the group product. The co-product $\Delta g = g \otimes g$ and co-unit $\epsilon g = 1$ extended linearly make $k G$ into a Hopf algebra. The bi-character makes this dual quasi-triangular, with $\mathcal{R} = \beta$ on basis elements, extended linearly.
  
B) The dual quasi-triangular Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070111.png" /> is the free associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070112.png" /> modulo the relations
+
B) The dual quasi-triangular Hopf algebra $\operatorname{SL} _ { q } ( 2 )$ is the free associative algebra $k \langle a , b , c , d \rangle $ modulo the relations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070113.png" /></td> </tr></table>
+
\begin{equation*} c a = q a c ,\; b a = q a b ,\; d b = q b d ,\; d c = q c b, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070114.png" /></td> </tr></table>
+
\begin{equation*} b c = c b , d a - a d = ( q - q ^ { - 1 } ) b c, \end{equation*}
  
 
and the  "q-determinant relation"  
 
and the  "q-determinant relation"  
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070115.png" /></td> </tr></table>
+
\begin{equation*} a d - q ^ { - 1 } b c = 1. \end{equation*}
  
 
The co-algebra has the matrix form
 
The co-algebra has the matrix form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070116.png" /></td> </tr></table>
+
\begin{equation*} \Delta \left( \begin{array} { l l } { a } &amp; { b } \\ { c } &amp; { d } \end{array} \right) = \left( \begin{array} { l l } { a } &amp; { b } \\ { c } &amp; { d } \end{array} \right) \bigotimes \left( \begin{array} { l l } { a } &amp; { b } \\ { c } &amp; { d } \end{array} \right), \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070117.png" /></td> </tr></table>
+
\begin{equation*} \epsilon \left( \begin{array} { l l } { a } &amp; { b } \\ { c } &amp; { d } \end{array} \right) = \left( \begin{array} { l l } { 1 } &amp; { 0 } \\ { 0 } &amp; { 1 } \end{array} \right) \end{equation*}
  
 
(matrix multiplication understood). The antipode is
 
(matrix multiplication understood). The antipode is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070118.png" /></td> </tr></table>
+
\begin{equation*} S d = a , S a = d , S b = - q b , S c = - q ^ { - 1 } c \end{equation*}
  
 
and the dual quasi-triangular structure is
 
and the dual quasi-triangular structure is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070119.png" /></td> </tr></table>
+
\begin{equation*} \mathcal{R} = q ^ { - 1 / 2 } \left( \begin{array} { c c c c } { q } &amp; { 0 } &amp; { 0 } &amp; { 1 } \\ { 0 } &amp; { 0 } &amp; { q - q ^ { - 1 } } &amp; { 0 } \\ { 0 } &amp; { 0 } &amp; { 0 } &amp; { 0 } \\ { 1 } &amp; { 0 } &amp; { 0 } &amp; { q } \end{array} \right) \end{equation*}
  
on a basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070120.png" /> of generators. The extension to products is then determined. Here it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070121.png" /> has a square root in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070122.png" />. The quantum group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070123.png" /> is similar, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070124.png" /> inverted rather than set to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070125.png" />.
+
on a basis $\{ a , b , c , d \}$ of generators. The extension to products is then determined. Here it is assumed that $q$ has a square root in $k$. The quantum group $\operatorname {GL} _ { q } ( 2 )$ is similar, with $a d - q ^ { - 1 } b c$ inverted rather than set to $1$.
  
There are similar quantum group coordinate rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070126.png" /> for the standard families of simple Lie groups, known explicitly for the non-exceptional families. They are deformations of the classical coordinate rings and in fact quantize the Poisson Lie group structures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070127.png" /> corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070128.png" />. They are dually paired as Hopf algebras with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070129.png" />.
+
There are similar quantum group coordinate rings $G_q$ for the standard families of simple Lie groups, known explicitly for the non-exceptional families. They are deformations of the classical coordinate rings and in fact quantize the Poisson Lie group structures on $G$ corresponding to $U _ { q } ( \mathfrak { g } )$. They are dually paired as Hopf algebras with $U _ { q } ( \mathfrak { g } )$.
  
C) More generally, given any invertible matrix solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070130.png" /> of the Yang–Baxter equations, there is a dual-quasi-triangular bi-algebra of quantum matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070131.png" /> as the free associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070132.png" /> (on a matrix of generators) modulo the relations
+
C) More generally, given any invertible matrix solution $R$ of the Yang–Baxter equations, there is a dual-quasi-triangular bi-algebra of quantum matrices $A ( R )$ as the free associative algebra $k \langle t ^ { i } \square_j \rangle$ (on a matrix of generators) modulo the relations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070133.png" /></td> </tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070133.png"/></td> </tr></table>
  
 
(summation of repeated indices). The co-algebra has the matrix form
 
(summation of repeated indices). The co-algebra has the matrix form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070134.png" /></td> </tr></table>
+
\begin{equation*} \Delta t ^ { i } \square_{ j} = t ^ { i } \square _ { a } \bigotimes t ^ { a } \square_{ j} ,\, \epsilon t ^ { i } \square _j = \delta ^ { i } \square_ j \end{equation*}
  
(summation over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070135.png" />). The dual-quasi-triangular structure is
+
(summation over $a$). The dual-quasi-triangular structure is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070136.png" /></td> </tr></table>
+
\begin{equation*} \mathcal{R} ( t ^ { i } \square_{j} \bigotimes t ^ { k } \square_{l} ) = \mathbf{R} ^ { i } \square_ j \square ^ { k } \square_{l} , \end{equation*}
  
extended to products by the quasi-triangularity axioms. Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070137.png" /> need not obey the Yang–Baxter equations in order to have a bi-algebra: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070138.png" /> provides the dual quasi-triangular structure.
+
extended to products by the quasi-triangularity axioms. Note that $R$ need not obey the Yang–Baxter equations in order to have a bi-algebra: $R$ provides the dual quasi-triangular structure.
  
In between these formulations is an intermediate one, called a quasi-triangular dual pair. This is a pair of Hopf algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070139.png" />, a duality pairing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070140.png" /> between them, and a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070141.png" /> obeying certain axioms. In particular, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070142.png" /> are dually paired and there is a suitable mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120070/q120070143.png" />. This provides a way of working with quasi-triangular structures that includes quantum group enveloping algebras but avoids formal power series.
+
In between these formulations is an intermediate one, called a quasi-triangular dual pair. This is a pair of Hopf algebras $H , A$, a duality pairing $\langle \cdot , \cdot \rangle : A \otimes H \rightarrow  k $ between them, and a mapping $\mathcal{R} : A \rightarrow H$ obeying certain axioms. In particular, $G _ { q } , U _ { q } ( \mathfrak { g } )$ are dually paired and there is a suitable mapping ${\cal R} : G _ { q } \rightarrow U _ { q } ( {\frak g} )$. This provides a way of working with quasi-triangular structures that includes quantum group enveloping algebras but avoids formal power series.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.G. Drinfel'd,  "Quantum groups"  A. Gleason (ed.) , ''Proc. Internat. Math. Congress'' , Amer. Math. Soc.  (1987)  pp. 798–820</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L.D. Faddeev,  N.Yu. Reshetikhin,  L.A. Takhtajan,  "Quantization of Lie groups and Lie algebras"  ''Leningrad Math. J.'' , '''1'''  (1990)  pp. 193–225</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  S. Majid,  "Quasitriangular Hopf algebras and Yang-Baxter equations"  ''Internat. J. Modern Physics A'' , '''5''' :  1  (1990)  pp. 1–91</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  S. Majid,  "Foundations of quantum group theory" , Cambridge Univ. Press  (1995)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  V.G. Drinfel'd,  "Quantum groups"  A. Gleason (ed.) , ''Proc. Internat. Math. Congress'' , Amer. Math. Soc.  (1987)  pp. 798–820</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  L.D. Faddeev,  N.Yu. Reshetikhin,  L.A. Takhtajan,  "Quantization of Lie groups and Lie algebras"  ''Leningrad Math. J.'' , '''1'''  (1990)  pp. 193–225</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  S. Majid,  "Quasitriangular Hopf algebras and Yang-Baxter equations"  ''Internat. J. Modern Physics A'' , '''5''' :  1  (1990)  pp. 1–91</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  S. Majid,  "Foundations of quantum group theory" , Cambridge Univ. Press  (1995)</td></tr></table>

Revision as of 16:59, 1 July 2020

dual quasi-triangular Hopf algebra, co-quasi-triangular Hopf algebra, quantum group

A quantum group in the strict sense, i.e. a Hopf algebra $H$ equipped with a further (co-) quasi-triangular structure $\mathcal{R}$ obeying certain axioms such that the category of (co-) modules of $H$ is a braided category (cf. also Quantum groups). This is arguably the key property behind the quantum group enveloping algebras $U _ { q } ( \mathfrak { g } )$ or their associated quantum group coordinate rings $G_q$.

More precisely, a quasi-triangular Hopf algebra is $( H , \mathcal{R} )$ where $H$ is a Hopf algebra over a field $k$ and $\mathcal{R} \in H \otimes H$ obeys

\begin{equation*} \tau \circ \Delta h = \mathcal{R} ( \Delta h ) \mathcal{R} ^ { - 1 } , \forall h \in H, \end{equation*}

\begin{equation*} ( \Delta \bigotimes \text { id } ) {\cal R} = {\cal R} _ { 13 } {\cal R} _ { 23 } , ( \text { id } \bigotimes \Delta ) {\cal R} = {\cal R} _ { 13 } {\cal R} _ { 12 }, \end{equation*}

where $\tau$ is the permutation operation on $H ^ { \otimes 2 }$ and $\mathcal{R} _ { 12 } \equiv \mathcal{R} \otimes 1$, $\mathcal{R} _ { 23 } = 1 \otimes \mathcal{R}$ are in $H ^ { \otimes 3 }$ in the latter equations. One may show that $\mathcal{R}$ then obeys

\begin{equation*} \mathcal{R} _ { 12 } \mathcal{R} _ { 13 } \mathcal{R} _ { 23 } = \mathcal{R} _ { 23 } \mathcal{R} _ { 13 } \mathcal{R} _ { 12 }, \end{equation*}

which is an abstract form of the Yang–Baxter equation. One denotes the Hopf algebra structure by $\Delta$ for the co-product, and denotes by the co-unit and by $S$ the antipode.

Examples.

1) When $q \in k$ is an $n$th root of $1$, the quantum group $\mathbf{Z} _ { q , n }$ is given by the polynomial algebra $k [ g ]$ modulo $g ^ { n } = 1$ (the group ring of $\mathbf{Z} / n \mathbf{Z}$) with co-algebra, antipode and quasi-triangular structure

\begin{equation*} \Delta g = g \bigotimes g , \epsilon g = 1 , S g = g ^ { - 1 } = g ^ { n - 1 }, \end{equation*}

It is assumed that $n$ is invertible in $k$.

2) When $q$ is a primitive $n$th root of $1$, the finite-dimensional quantum group $u _ { q } ( \operatorname{sl} _ { 2 } )$ is the free associative algebra $k ( E , F , g , g ^ { - 1 } )$ modulo the relations

\begin{equation*} g ^ { n } = 1 , E ^ { n } = F ^ { n } = 0, \end{equation*}

\begin{equation*} g E g ^ { - 1 } = q ^ { 2 } E , g F g ^ { - 1 } = q ^ { - 2 } F , [ E , F ] = \frac { g - g ^ { - 1 } } { q - q ^ { - 1 } } \end{equation*}

and the co-algebra, antipode and quasi-triangular structure

\begin{equation*} \Delta g = g \bigotimes g,\; \epsilon g = 1,\; \ S _ { g } = g ^ { - 1 }, \end{equation*}

\begin{equation*} \Delta E = E \bigotimes g + 1 \bigotimes E , \epsilon E = 0 , S E = - E g ^ { - 1 } , \Delta F = F \bigotimes 1 + g ^ { - 1 } \bigotimes F , \epsilon F = 0 , S F = - g F, \end{equation*}

\begin{equation*} \mathcal{R} = \mathcal{R} _ { q ^ { 2 } } e _ { q ^ { - 2 } } ^ { ( q - q ^ { - 1 } ) E \bigotimes F }, \end{equation*}

where

is the $q$-exponential with $q$-integers $[ m ]_{ q}$ in the factorial.

For general $q \in k ^ { * }$ (an invertible element of $k$), one has the infinite-dimensional Hopf algebra $U _ { q } ( \operatorname{sl} _ { 2 } )$, where the $g ^ { n } , E ^ { n } , F ^ { n }$ relations above are omitted. In this case $\mathcal{R}$ has to be described via some form of completion. One formulation is to work over the ring of formal power series ${\bf C} [ [ \hbar ] ]$ rather than over a field as above. If it is assumed that $q = e ^ { \hbar / 2 }$ and $g = q ^ { H }$, one can reformulate $U _ { q } ( \operatorname{sl} _ { 2 } )$ with $H$ as a generator and define $\mathcal{R}$ with $q ^ { H \otimes H / 2 }$ in place of ${\cal R }_ { q ^ { 2 } }$ above (and now take an infinite sum in the exponential). It does not, however, live in the algebraic tensor product but in a completion of it. On the other hand, this formulation allows one to consider the structure to lowest order in $\hbar$. This is the Lie algebra $\operatorname{sl} _ { 2 }$, the Lie co-bracket $\delta : \operatorname{sl}_ { 2 } \rightarrow \operatorname{sl} _ { 2 } \otimes sl _ { 2 }$ (forming a Lie bi-algebra) and a Lie quasi-triangular structure $r \in \operatorname { sl} _ { 2 } \otimes \operatorname { sl} _ { 2 }$ obeying the classical Yang–Baxter equations. It extends to a Poisson bracket (cf. Poisson brackets) on the group $\operatorname{SL} _ { 2 }$, making it a Poisson Lie group. This means a Poisson bracket on the group such that the product mapping is a Poisson mapping from the direct product Poisson structure. There are similar quantum group enveloping algebras $u _ { q } ( \mathfrak { g } )$ and $U _ { q } ( \mathfrak { g } )$ for all complex semi-simple Lie algebras $\frak g$.

3) Every finite-dimensional Hopf algebra $H$ with invertible antipode can be "doubled" to obtain a quasi-triangular Hopf algebra $D ( H )$, called the quantum double of $H$. This contains $H$ and $H ^ { * \operatorname{op} }$ (the dual of $H$ with reversed product) as sub-Hopf algebras and the additional cross relations

\begin{equation*} \phi h = \sum h _{( 2 )} \phi_{ ( 2 )} \langle S h _ { ( 1 ) } , \phi _ { ( 1 ) } \rangle \langle h _ { ( 3 ) } , \phi _ { ( 3 ) } \rangle \end{equation*}

for all $h \in H$ and $\phi \in H ^ { * }$, where $\Delta h = \sum h_{ ( 1 )} \otimes h_{ ( 2 )}$ is a notation for the co-product of $H$, etc., and $\langle \, .\, ,\, . \, \rangle$ denotes the evaluation pairing. The quasi-triangular structure is

where $\{ e _ { a } \}$ is a basis of $H$ and $\{ f ^ { a } \}$ is a dual basis. $D ( H )$ can in fact be built explicitly on the vector space $H ^ { * } \otimes H$ as a double cross product . The braided category of $D ( H )$-modules can be identified with that of crossed $H$-modules $\square _ { H } ^ { H } \mathcal{M}$ by viewing a co-action of $H$ as an action of $H ^ { * \operatorname{op} }$ by evaluation.

Dually, i.e. reversing all arrows, one has the notion of a dual quasi-triangular or co-quasi-triangular Hopf algebra $( H , \mathcal{R} )$ where $H$ is a Hopf algebra and $\mathcal{R} : H \otimes H \rightarrow k $ obeys

\begin{equation*} \sum g _{( 1 )} h _ { ( 1 ) } \mathcal{R} ( h _ { ( 2 ) } \bigotimes g _ { ( 2 ) } ) = \sum \mathcal{R }( h _ { ( 1 ) } \bigotimes g _ { ( 1 ) } ) h _ { ( 2 ) } g_{ ( 2 )}, \end{equation*}

\begin{equation*} \mathcal{R}(hg\bigotimes f ) = \sum \mathcal{R} ( h \bigotimes f _ { ( 1 ) } ) \mathcal{R} ( g \bigotimes f_{ ( 2 )} ) , \mathcal{R} ( h \bigotimes g \,f ) = \sum \mathcal{R}(h_{(1)} \bigotimes f) \mathcal{R}(h_{(2)} \bigotimes g), \end{equation*}

for $h , g , f \in H$. One also requires $\mathcal{R}$ to be convolution-invertible in the sense

for $h , g \in H$.

A) Let $G$ be an Abelian group equipped with a bi-character $\beta : G \times G \rightarrow k ^ { * }$ (a function multiplicative in each input). The group algebra $k G$ is the vector space with basis $G$ and with product among basis elements the group product. The co-product $\Delta g = g \otimes g$ and co-unit $\epsilon g = 1$ extended linearly make $k G$ into a Hopf algebra. The bi-character makes this dual quasi-triangular, with $\mathcal{R} = \beta$ on basis elements, extended linearly.

B) The dual quasi-triangular Hopf algebra $\operatorname{SL} _ { q } ( 2 )$ is the free associative algebra $k \langle a , b , c , d \rangle $ modulo the relations

\begin{equation*} c a = q a c ,\; b a = q a b ,\; d b = q b d ,\; d c = q c b, \end{equation*}

\begin{equation*} b c = c b , d a - a d = ( q - q ^ { - 1 } ) b c, \end{equation*}

and the "q-determinant relation"

\begin{equation*} a d - q ^ { - 1 } b c = 1. \end{equation*}

The co-algebra has the matrix form

\begin{equation*} \Delta \left( \begin{array} { l l } { a } & { b } \\ { c } & { d } \end{array} \right) = \left( \begin{array} { l l } { a } & { b } \\ { c } & { d } \end{array} \right) \bigotimes \left( \begin{array} { l l } { a } & { b } \\ { c } & { d } \end{array} \right), \end{equation*}

\begin{equation*} \epsilon \left( \begin{array} { l l } { a } & { b } \\ { c } & { d } \end{array} \right) = \left( \begin{array} { l l } { 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) \end{equation*}

(matrix multiplication understood). The antipode is

\begin{equation*} S d = a , S a = d , S b = - q b , S c = - q ^ { - 1 } c \end{equation*}

and the dual quasi-triangular structure is

\begin{equation*} \mathcal{R} = q ^ { - 1 / 2 } \left( \begin{array} { c c c c } { q } & { 0 } & { 0 } & { 1 } \\ { 0 } & { 0 } & { q - q ^ { - 1 } } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 0 } & { q } \end{array} \right) \end{equation*}

on a basis $\{ a , b , c , d \}$ of generators. The extension to products is then determined. Here it is assumed that $q$ has a square root in $k$. The quantum group $\operatorname {GL} _ { q } ( 2 )$ is similar, with $a d - q ^ { - 1 } b c$ inverted rather than set to $1$.

There are similar quantum group coordinate rings $G_q$ for the standard families of simple Lie groups, known explicitly for the non-exceptional families. They are deformations of the classical coordinate rings and in fact quantize the Poisson Lie group structures on $G$ corresponding to $U _ { q } ( \mathfrak { g } )$. They are dually paired as Hopf algebras with $U _ { q } ( \mathfrak { g } )$.

C) More generally, given any invertible matrix solution $R$ of the Yang–Baxter equations, there is a dual-quasi-triangular bi-algebra of quantum matrices $A ( R )$ as the free associative algebra $k \langle t ^ { i } \square_j \rangle$ (on a matrix of generators) modulo the relations

(summation of repeated indices). The co-algebra has the matrix form

\begin{equation*} \Delta t ^ { i } \square_{ j} = t ^ { i } \square _ { a } \bigotimes t ^ { a } \square_{ j} ,\, \epsilon t ^ { i } \square _j = \delta ^ { i } \square_ j \end{equation*}

(summation over $a$). The dual-quasi-triangular structure is

\begin{equation*} \mathcal{R} ( t ^ { i } \square_{j} \bigotimes t ^ { k } \square_{l} ) = \mathbf{R} ^ { i } \square_ j \square ^ { k } \square_{l} , \end{equation*}

extended to products by the quasi-triangularity axioms. Note that $R$ need not obey the Yang–Baxter equations in order to have a bi-algebra: $R$ provides the dual quasi-triangular structure.

In between these formulations is an intermediate one, called a quasi-triangular dual pair. This is a pair of Hopf algebras $H , A$, a duality pairing $\langle \cdot , \cdot \rangle : A \otimes H \rightarrow k $ between them, and a mapping $\mathcal{R} : A \rightarrow H$ obeying certain axioms. In particular, $G _ { q } , U _ { q } ( \mathfrak { g } )$ are dually paired and there is a suitable mapping ${\cal R} : G _ { q } \rightarrow U _ { q } ( {\frak g} )$. This provides a way of working with quasi-triangular structures that includes quantum group enveloping algebras but avoids formal power series.

References

[a1] V.G. Drinfel'd, "Quantum groups" A. Gleason (ed.) , Proc. Internat. Math. Congress , Amer. Math. Soc. (1987) pp. 798–820
[a2] L.D. Faddeev, N.Yu. Reshetikhin, L.A. Takhtajan, "Quantization of Lie groups and Lie algebras" Leningrad Math. J. , 1 (1990) pp. 193–225
[a3] S. Majid, "Quasitriangular Hopf algebras and Yang-Baxter equations" Internat. J. Modern Physics A , 5 : 1 (1990) pp. 1–91
[a4] S. Majid, "Foundations of quantum group theory" , Cambridge Univ. Press (1995)
How to Cite This Entry:
Quasi-triangular Hopf algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quasi-triangular_Hopf_algebra&oldid=15295
This article was adapted from an original article by S. Majid (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article