Equitable presentations for multiparameter quantum groups (Q2244672): Difference between revisions

Let \(\mathfrak{g}\) be a symmetrizable Kac-Moody algebra over \(\mathbb{Q}\) associated to the symmetrizable generalized Cartan matrix \(A=(a_{ij})_{i,j \in I}\). Let \(\mathbf{q}=(q_{ij})_{i,j \in I}\) be a matrix of parameters. In this article the authors give a new presentation for the multiparameter quantum algebra \(U_{\mathbf{q}}(\mathfrak{g})\), with generators \(X^{\pm 1}_i, X'^{\pm 1}_i, Y_i, Z_i\), \(i \in I\) and relations \[ X^{\pm 1}_iX^{\mp 1}_i=X'^{\pm 1}_iX'^{\mp 1}_i=1 \] \[ X_iX_j = X_jX_i = X'_iX'_j = X'_jX'_i,\ \ X_iX'_j = X'_jX_i \] \begin{align*} Y_iX_j - q_{ji}X_jY_i &= (1 - q_{ji})X'_iX_j,\\ Y_iX'_j - q^{-1}_{ij} X'_jY_i &= (1 - q^{-1}_{ij} )X'_iX'_j ,\\ X_iZ_j- q_{ij}Z_jX_i &= (1- q_{ij})X_iX^{-1}_j,\\ X'_iZ_j - q^{-1}_{ji} Z_jX'_i &= (1 - q^{-1}_{ji})X'_iX^{-1}_j,\\ Z_iY_i -q_{ii}Y_iZ_i &= 1- q_{ii},\\ Z_iY_j- q_{ij}Y_jZ_i &= (1 - q_{ij})X^{-1}_i X'_j, \ \ (i \neq j), \end{align*} \begin{align*} \sum_{k=0}^{1-a_{ij}}(-1)^k\binom{1-a_{ij}}{k}_{q_{ii}}q_{ii}^{\frac{k(k-1)}{2}}q_{ij}^kY_i^kY_jY_i^{1-a_{ij}-k}&={X'_i}^{1-a_{ij}}X_j'\prod_{k=0}^{-a_{ij}}(1-q_{ij}q_{ii}^k), \ \ (i \neq j),\\ \sum_{k=0}^{1-a_{ij}}(-1)^k\binom{1-a_{ij}}{k}_{q_{ii}}q_{ii}^{\frac{k(k-1)}{2}}q_{ji}^kZ_i^{1-a_{ij}-k}Z_jZ_i^{k}&=X_i^{a_{ij}-1}X_j^{-1}\prod_{k=0}^{-a_{ij}}(1-q_{ji}q_{ii}^k), \ \ (i \neq j). \end{align*} This result is a generalization of the equitable presentation for one-parameter quantum groups, given in the work of \textit{P. Terwilliger} [J. Algebra, 298, 302--319 (2006; Zbl 1106.17021)].