Construction of a new quantum double and new solutions to the Yang-Baxter equation (Q1196674)

Drinfeld's quantum double theory provides a general way to construct solutions of the quantum Yang-Baxter equation. The authors realize this way in a concrete situation, namely they consider the following associative algebra \(U_ h(A^ +_ 2(\lambda_ 1,\lambda_ 2))\) generated by elements \(\{E_ i,H_ i\mid i=1,2\}\), which satisfy the commutation relations \([H_ i,E_ i]=2E_ i\), \(i=1,2\), \([H_ 1,E_ 2]=\lambda_ 1E_ 2\), \([H_ 2,E_ 1]=\lambda_ 2E_ 1\), \([H_ 1,H_ 2]=0\) and the Serre relations \(E^ 2_ 1=E^ 2_ 2=0\). Then in order to get a Hopf algebra structure on \(U_ h(A^ +_ 2(\lambda_ 1,\lambda_ 2))\) one can define three maps \(\Delta\), \(\varepsilon\) and \(S\) as follows: \[ \Delta H_ i=H_ i\otimes 1+1\otimes H_ i,\;\Delta E_ i=E_ i\otimes 1+\exp(-h H_ i/2)\otimes E_ i, \] \[ \varepsilon(H_ i)=\varepsilon(E_ i)=0,\quad \varepsilon(1)=1, \] \[ S(H_ i)=-H_ i,\;S(E_ i)=-\exp(+h H_ i/2)E_ i,\;S(1)=1. \] It turns out that \(\Delta\), \(\varepsilon\), \(S\) can be extended to \(U_ h(A^ +_ 2(\lambda_ 1,\lambda_ 2))\) just if \(\exp(h)=-1\). Introducing the element \(E_ 3=E_ 1E_ 2-\exp(-{h\lambda\over 2})E_ 2E_ 1\) one can show that \(\{a_ i\}=\{E_ 2^{r_ 2}E_ 3^{r_ 3}E_ 1^{r_ +1}H_ 1^{s_ 1}H_ 2^{s_ 2}\mid r_ 1,r_ 2=0,1;\;r_ 3,s_ 1,s_ 2\in\mathbb{Z}^ +=(0,1,\dots)\}\) forms a basis in \(U_ h(A^ +_ 2(\lambda_ 1,\lambda_ 2))\). Denote by \(U_ h(A^ -_ 2(\lambda_ 1,\lambda_ 2))\) the dual Hopf algebra to \(U_ h\) (\(A^ +_ 2(\lambda_ 1,\lambda_ 2))\). Using the axioms of dual Hopf algebras, the authors derive commutation relations for \(U_ h(A^ -_ 2(\lambda_ 1,\lambda_ 2))\), formulas for \(\Delta\), \(\varepsilon\), \(S\) on \(U_ h(A^ -_ 2(\lambda_ 1,\lambda_ 2))\) and the basis \(\{b_ i\}\) dual to \(\{a_ i\}\). Due to Drinfeld it is well-known that in this situation the universal \(R\)-matrix is given by the formula \(R=\sum_ i a_ i\otimes b_ i\). This enables the authors to compute \(R\) for the quantum double \(D(U_ h(A^ +(\lambda_ 1,\lambda_ 2)))\) explicitly. An example of a finite dimensional matrix representation of \(D(U_ h(A^ +_ 2(\lambda_ 1,\lambda_ 2)))\) is given.