Division rings of quotients and central elements of multiparameter quantizations (Q4334969)

Let \(K\) be a field, \(c\in K\) and \(P=(p_{ij})\), \(Q=(q_{ij})\in K_n\) are such that \(p_{ij}q_{ij}=c^{\text{sgn}(j-i)}\), \(p_{ij}p_{ji}=q_{ij}q_{ji}=p_{ii}=q_{ii}=1\). Let \(M_{P,Q,c}(n)\) be the algebra generated by the elements \(\{a^t_i\}^n_{i,t=1}\) such that \(a^t_ia^s_j-q_{ts}q^{-1}_{ij}a^s_ja^t_i=(p_{ts}^{-1}-q_{ij})a^s_ia^t_j\) if \(i<j\), \(t<s\) or \(i>j\), \(t>s\) and \(a^t_ia_j=p^{-1}_{ts}q^{-1}_{ij}a^s_j a^t_i\) in other cases. Let \(I\) be the ideal of \(M_{P,Q,c}(n)\) generated by the elements \(a_i^t\), \(i>m\) (\(m\leq n\)). The algebra \(M_{P,Q,c}(n)/I=M(m,n)\) is called the algebra of regular functions on quantum \(m\times n\) matrices. The authors prove that \(M(m,n)\) has a division ring of quotients which is a division algebra of twisted rational functions. They give a description of the center of this division ring in the one-parameter and multiparameter cases. In particular, in the one-parameter case the center is a purely transcendental extension of \(K\) of degree \(l=(m,n)\) if \(m/l\) and \(n/l\) are odd numbers. The center is scalar if one of the numbers \(m/l\), \(n/l\) is even.