Discriminant formulas and applications (Q299139): Difference between revisions

Let \(k\) be a base commutative ring and \(A\) a \(k\)-algebra with a central subalgebra \(Z\). Suppose that \(A\) is a free \(Z\)-module of a finite rank with a base \(x_1,\ldots,x_n\). The discriminant \(d(A/Z)\) is the determinant of the square matrix with entries \(\mathrm{tr}(x_ix_j)\). Suppose that \(q\) is a primitive \(n\)-th root of one and \(A_q\) the \(q\)-quantum Weyl algebra \(A_q=\langle x,y \mid yx=qxy+1\rangle\). The first main result presents an explicit form of \(d(A_q/Z(A_q))\). A similar result is obtained for the algebra \(W_n=\langle x_1,\ldots,x_n\mid x_ix_j+x_jx_i=1\rangle\) under the assumption that 2 is invertible in \(k\). A criteria is found under which the center of of quantum polynomial algebra \(T_q[x_1,\ldots, x_n]\) has the form \(T[x_1^{L_1},\ldots,x_n^{L_n}]\) for some positive integers \(L_i\). It is assumed that all multiparameters \(q_{ij}\) are roots of one. This result is extended to related ring with defining relations \(x_jx_i=q_{ij}x_ix_j+a_{ij}\). The final main result shows that if \(k\) is a field of characteristic zero and \(A\) is a connected graded domain of finite Gelfand-Kirillov dimension then, under some minor assumptions, \(A[t]\simeq B[t]\) implies \( A\simeq B\). Moreover, the group of automorphisms identical modulo \(\oplus_{i\geqslant 2} A_i\) is trivial.