No label defined (Q4524599)

This paper realizes the modified universal \(R\)-matrices associated with the central extension of the quantum groups \(U_q(\text{sl}_N)\) through an infinite-dimensional spectral parameter dependent solution for the tetrahedron equation. Let \(t\) be an indeterminate, and let \(A=\text{End}(C(q)[t,t^{-1}])\) be the algebra of linear operators in the space of Laurent polynomials in one indeterminate with coefficients in the field \(C(q)\). Denote \[ {\mathbf A}^{\otimes n}=\text{End}(C(q)[t,t^{-1}]^{\otimes n})=\text{End}(C(q)[t_1,t^{-1}_1,\dots,t_n,t^{-1}_n]), \] and define similarly algebras \({\mathbf A}^{\otimes m}\otimes{\mathbf A}^{\otimes n}\) and \(({\mathbf A}^{\otimes m})^{\otimes n}\). Define the element \({\mathbf F}\in{\mathbf A}^{\otimes 3}\) by \[ {\mathbf F}(f(t_1,t_2,t_3))=f(t_1t_2/t_3,t_3,t_2),\;f(t_1,t_2,t_3)\in(C(q)[t,t^{-1}])^{\otimes 3}. \] The authors prove that \(\mathbf A\) satisfies the tetrahedron equation (TE) \({\mathbf F}_{1,2,4}{\mathbf F}_{1,3,5}{\mathbf F}_{2,3,6}{\mathbf F}_{4,5,6}={\mathbf F}_{4,5,6}{\mathbf F}_{2,3,6}{\mathbf F}_{1,3,5}{\mathbf F}_{1,2,4}\). Furthermore, let \(u,v\in{\mathbf A}\) be given by \(u(f(t))=f(qt)\), \(v(f(t))=tf(t)\), \(f(t)\in C(q)[t,t^{-1}]\), and define an invertible element \({\mathbf B}^x\in{\mathbf A}^{\otimes 3}[[x]]\) by \[ {\mathbf B}^x={\mathbf F}\psi(xv_1u^{-1}_1u_2u^{-1}_3v_3)=\sum^\infty_{k=0}x^b{\mathbf b}_k, \] where \(\psi(x)=(-x;q^2)^{-1}_\infty=\sum{(-x)^k\over(q^2;q^2)_k}\), \({\mathbf b}_k={\mathbf F}{(-v_1u^{-1}_1u_2u^{-1}_3v^{-1}_3)^k\over(q^2;q^2)_k}\in{\mathbf A}^{\otimes 3}\), with the standard notation in \(q\)-mathematics \((x;y)_k=\prod^{k-1}_{i=0}(1-xy^i)\). Then the spectral parameter dependent TE in \({\mathbf A}^{\otimes 3}[[x,y,z]]\) holds: \({\mathbf B}^x_{1,2,4}{\mathbf B}^{xx}_{1,3,5}{\mathbf B}^y_{2,3,6}{\mathbf B}^z_{4,5,6}={\mathbf B}^y_{4,5,6}{\mathbf B}^z_{2,3,6}{\mathbf B}^{xy}_{1,3,5}{\mathbf B}^x_{1,2,4}\). The authors also define an element \({\mathbf B}^{{\mathbf X}}\in(({\mathbf A}^{\otimes N})^{\otimes N})^{\otimes 2}[[{\mathbf x}]]\) satisfying the Yang-Baxter equation: \({\mathbf R}^x_{1,2}{\mathbf R}^{xy}_{1,3}{\mathbf R}^y_{2,3}={\mathbf R}^y_{2,4}{\mathbf R}^{xy}_{1,3}{\mathbf R}^x_{1,2}\), where \(N\geq 2\) is a positive integer, \({\mathbf x}=(x_1,\dots,x_N)\) and \({\mathbf x}{\mathbf y}=(x_1y_1,\dots,x_Ny_N)\), etc. Finally, the authors prove that there exists an algebra homomorphism \({\mathcal U}\to{\mathbf A}^{\otimes N^2}\), where \(\mathcal U\) is the Hopf algebra over \(C(q)\) constructed by Drinfeld and Jimbo, which has a quotient Hopf algebra isomorphic to \(U_q(\text{sl}_N)\). For the entire collection see [Zbl 0947.00010].