Rational equivalence of classical and quantum polynomial algebras. (Q1779369)

Let \(S^\Lambda_{n,r}(k)\) be an associative algebra over a field \(k\) generated by elements \(y_1,\dots,y_n,x_1,\dots,x_r\) subject to the defining relations \[ y_iy_j=\lambda_{ij}y_jy_i,\quad x_ix_j=\lambda_{ij}x_jx_i,\quad x_iy_j=\begin{cases}\lambda_{ij}^{-1}y_jx_i, & i\neq j\\ y_ix_i+1,& i=j.\end{cases} \] Here \(\Lambda=(\lambda_{ij})\) is a matrix whose entries are some specific nonzero parameters from \(k\). The algebra \(S^\Lambda_{n,r}(k)\) is a Noetherian domain with a division ring of fractions. Another algebra which is considered in the paper is the algebra \({\mathcal A}(P,Q)\) generated by elements \(X_1,\dots,X_n\) with defining relations \(X_iX_j-q_{ij}X_jX_i-p_{ij}\) where \(q_{ij},p_{ij}\in k\). It is shown that \({\mathcal A}(P,Q)\) is again a Noetherian domain with a division ring of fractions. For both algebras their Gelfand-Kirillov dimensions coincide with the Gelfand-Kirillov transcendence degrees of their division rings. In some cases it is shown that \(S^\Lambda_{n,r}(k)\) is isomorphic to \({\mathcal A}(P,Q)\).