An algorithm related to the structure of the center of a quantized enveloping algebra at a root of 1 (Q4029231)

Let \(R\) be a root system, \(\alpha_ 1,\dots,\alpha_ r\) simple roots, \(\omega_ 1,\dots,\omega_ r\) fundamental weights, \(Q\) be the root lattice and \(P=\{\sum n_ i\omega_ i\mid n_ i\in\mathbb{Z}\}\) be the weight lattice. Let \(T\) be a torus such that its character group \(X^*(T)=P\). Let us interpret the coordinate ring \(K[T]\) of \(T\) as \(K[x^{\pm 1}_{\omega_ 1},\dots, x^{\pm 1}_{\omega_ p}]\), where \(x_ \lambda\in K[T]\) is a function such that \(x_ \lambda(t)=\lambda(t)\) for any \(\lambda\in\sum n_ i\omega_ i\), \(n_ i\geq 0\). For fixed \(\ell>0\) take the torus \(T_ \ell\) as a torus having character group \(\ell P\). For \(A=K[T]^ W\), where \(W\) is the Weyl group of \(R\), let us introduce \(K[T_ \ell]= K[x^{\pm \ell}_{\omega_ 1} \cdots x^{\pm \ell}_{\omega_ r}]\subset K[T]\), \(A_ \ell= K[T_ \ell]^ W \subset A\). In the paper \(A\) is considered as an \(A_ \ell\)-module. An algorithm for the calculation of the polynomials \(P_ 1,\dots, P_ r\), such that for an ideal \(I\), generated by these polynomials \(A\cong A_ \ell [y_ 1,\dots, y_ r]/I\) holds, is given. This isomorphism is used in the description of the center of the quantized enveloping algebra \(U_ q\) associated to the root system \(R\), where \(q=\varepsilon\), \(\varepsilon\) is a primitive \(\ell\)th root of 1, \(\ell\) is odd.