Cohomology of quantum groups at roots of unity (Q1210441): Difference between revisions

Let \(\xi\in\mathbb{C}\) be a primitive root of 1 of odd order and let \(k=\mathbb{Q}(\xi)\) be the corresponding cyclotomic field. Let \({\mathfrak g}\) be a split semisimple finite dimensional Lie algebra over \(k\). Let \(U_ \xi\) be the quantized universal enveloping algebra over \(k\) corresponding to the Cartan matrix of \({\mathfrak g}\) (modulo some central ideal); it contains a finite dimensional Hopf algebra \(u_ \xi\), which is in fact the Hopf kernel of the quantum Frobenius homomorphism [\textit{G. Lusztig}, Geom. Dedicata 35, 89-114 (1990; Zbl 0714.17013)]. On the other hand, let \({\mathcal N}\) be the nilpotent cone of \({\mathfrak g}\) and let \(k[{\mathcal N}]\) be its ring of regular functions; it has a natural gradation \(k[{\mathcal N}]^ j\), \(j\geq 0\). The main result of this paper is the computation of the cohomology of the supplemented algebra \(u_ \xi\) [see \textit{H. Cartan} and \textit{S. Eilenberg}, Homological algebra (1956; Zbl 0075.243)]. Precisely, \(H^ j(u_ \xi,k)=0\) if \(j\) is odd, and \(H^{2j}(u_ \xi,k)=k[{\mathcal N}]^ j\).