From quantum Ore extensions to quantum tori via noncommutative UFDs (Q304106): Difference between revisions

Suppose that \(R\) is a noncommutative right Ore domain over a field \(k\) which is an iterated skew polynomial extension \(R_1\subset R_2\subset \cdots \subset R_N=R\) where \(R_1=k[x_1]\) and \(R_{m+1} =R_m[x_m; \sigma_m,\delta_m]\). It is assumed that each \(x_m\) is an eigenvector for \(\sigma_m\) and \(\delta_m\) is a locally nilpotent \(\sigma_m\)-derivation of \(R_{m-1}\). Also there is a fixed \(k\)-torus group \(H\) acting by automorphisms of \(R\) such that \(x_1,\dots,x_m\) are \(H\)-eigenvectors whose eigenvalues are not roots of 1 and each \(\sigma_m\) is extended from \(R_{m-1}\) to some element of \(H\). Let \(N\) be a subalgebra of \(R\) generated by all normal elements from \(R_1,\dots,R_N\). It is shown that \(N\) is a quantum affine space which is embedded into a quantum torus by inverting nonzero normal elements. The ring \(R\) admits grading by the character lattice \(X(H)\) of \(H\). There are found \(X(H)\)-homogeneous prime elements in each \(R_m\). It is shown that the algebra generated by these elements is a quantum affine space. Suppose that \(H'\) is the automorphism group of \(R\) for which \(x_1,\dots,x_N\) are eigenvectors. Then \(H'\) is a torus of a fixed rank and \(R\) is the extension as above with respect to \(H'\). There are some other results of the similar nature. It is interesting to note that almost the same extensions are considered by Oswaldo Lezama under the name of skew PBW-extensions.