Quantum function algebra at roots of 1 (Q1338863): Difference between revisions

The authors consider the quantum universal enveloping algebra \(\Gamma ({\mathfrak g})\) and the quantum function algebra \(R_q [G]\) over the ring \(R:= \mathbb{Q} [q, q^{-1}]\). Specializing \(q\) to a root of 1 one sets \(\Gamma_\varepsilon:= \Gamma ({\mathfrak g}) \otimes_R \mathbb{Q} (\varepsilon)\), \(F_\varepsilon:= R_q [G] \otimes_R \mathbb{Q} (\varepsilon)\), where \(\mathbb{Q} (\varepsilon):= \mathbb{Q} [q]/ (p_l (q))\) is the \(l\)-th cyclotomic field corresponding to the \(l\)-th cyclotomic polynomial \(p_l\) and \(\varepsilon\) is the factor image of \(q\) (hence \(\varepsilon^l= 1\)). It is shown that the usual (undeformed) function algebra \(F_0\) over the field \(\mathbb{Q} (\varepsilon)\) is embedded into the centre of \(F_\varepsilon\). The standard Poisson-Lie group structure on \(G\) is then obtained by lifting elements of \(F_0\) to \(R_q [G]\). Dually, the undeformed universal enveloping algebra \(U({\mathfrak g})\) over \(\mathbb{Q} (\varepsilon)\) is turned into a Poisson Hopf coalgebra. Furthermore, the algebra \(F_\varepsilon\) is shown to be a projective module over \(F_0\) of rank \(l^N\), with \(N\) being the number of positive roots. This means that there exists a vector bundle over the complex Lie group \(G\), the fibres of which are algebras of dimension \(l^N\). The isomorphism classes of these algebras are proven to be constant along the leaves of the Poisson foliation on \(G\). Furthermore, finite-dimensional representations of \(F_\varepsilon\) are studied (under some restrictions on \(l\)). Particularly, one-dimensional representations are in bijection with the points of the \(l^{\text{rank} \setminus G}\)-fold covering of the Cartan torus.