A new aspect of representations of \(U_q(s\hat l_2)\) -- root of unity case (Q5949409)

Let \(q\) be a root of unity. For any \(0\neq x\in\mathbb{C}\), there is an algebra homomorphism \(ev_x\) from \(U_q(s\widehat l_2)\) to \(U_q(sl_2)\) such that \(ev_x(e_0)= q^{-1}xf\), \(ev_x(e_1)= e\), \(ev_x(f_0)= qx^{-1}e\), \(ev_x(f_1)= f\), \(ev_x(K_0)= K^{-1}\) and \(ev_x(K_1)= K\). Therefore, any \(U_q(sl_2)\)-module \(V\) becomes a \(U_q(s\widehat l_2)\)-module by pulling back via \(ex_x\); denote it by \(V(x)\). The author considers the structure of \(V_{\lambda_1}(x)\otimes V_{\lambda_2}(y)\) for any nonzero complex numbers \(x\) and \(y\), where \(V_{\lambda_i}\) is the unique \(p\)-dimensional irreducible \(U_q(sl_2)\)-module, and \(p\) is the smallest positive integer such that \(q^p= 1\) supposed \(p\) is odd. It is shown that \(V_{\lambda_1}\otimes V_{\lambda_2}(y)\) is an irreducible \(U_q(s\widehat l_2)\)-module if and only if \(y/x\neq q^{\pm(\lambda_1+ \lambda_2- 2(l-1))}\) for all \(1\leq l\leq p\) if and only if \(V_{\lambda_1}(x)\otimes V_{\lambda_2}(y)\cong V_{\lambda_2}(y)\otimes V_{\lambda_1}(x)\) as \(U_q(s\widehat l_2)\)-modules. Then the author describes a new basis of \(V_{\lambda_1}(x)\otimes V_{\lambda_2}(y)\) under the conditions \(y/x\neq q^{\lambda_1+ \lambda_2-2(l-1)}\), \(1\leq l\leq p\), or \(y/x\neq q^{-(\lambda_1+ \lambda_2- 2(l- 1))}\), \(1\leq l\leq p\), respectively. The author also describes a polynomial identity.