Representations and cohomology for Frobenius-Lusztig kernels (Q531353)

Let \(U_\zeta\) denote Lusztig's form of the quantized universal enveloping algebra of a finite-dimensional complex simple Lie algebra \(\mathfrak{g}\) specialized to a root of unity \(\zeta\) of odd degree \(\ell\) in an algebraically closed field of characteristic \(p>2\), where \(\ell\) is coprime to \(p\) (and \(p>3\) as well as \(\ell\) is coprime to \(3\) if \(\mathfrak{g}\) is of type G\(_2\)). In the paper under review the author studies representations and cohomology of certain finite-dimensional normal Hopf subalgebras of \(U_\zeta\), the so-called Frobenius-Lusztig kernels \(U_\zeta(G_r)\), which generalize the Frobenius kernels \(G_r\) of the algebraic group \(G\) corresponding to \(\mathfrak{g}\) and Lusztig's small quantum group \(u_\zeta\). In particular, the author classifies the irreducible \(U_\zeta(G_r)\)-modules and shows that their characters are given by Lusztig's character formula if \(p\) is large and \(\ell\) is greater than the Coxeter number \(h\) of the root system of \(\mathfrak{g}\). Then it is proved by imitating the inductive approach of \textit{E.\ M.\ Friedlander} and \textit{B.\ J.\ Parshall} for Frobenius kernels [Math.\ Ann.\ 273, No.\ 3, 353--374 (1986; Zbl 0586.20021)] that under certain conditions on \(p\) and \(\ell\) the cohomology ring of the first Frobenius-Lusztig kernel \(U_\zeta(G_1)\) is finitely generated when \(\mathfrak{g}\) is of type A or D. This inductive approach requires the finite generation of the cohomology ring of the small quantum group \(u_\zeta\). (Note here that the cohomologies of \(U_\zeta(G_1)\) and its normal Hopf subalgebra \(u_\zeta\) are related by a Lyndon-Hochschild-Serre type spectral sequence.) The finite generation of the cohomology ring of \(u_\zeta\) is an immediate consequence of the explicit computation of the latter by \textit{V.\ Ginzburg} and \textit{S.\ Kumar} [Duke Math.\ J.\ 69, No.\ 1, 179--198 (1993; Zbl 0774.17013)] as the coordinate ring of the nullcone of \(\mathfrak{g}\) for \(\ell>h\) which is generalized by the author from characteristic zero to those prime characteristics \(p\) that are good for the root system of \(\mathfrak{g}\). Here the condition on \(p\) is needed in order to be able to use a vanishing theorem of \textit{S.\ Kumar, N.\ Lauritzen} and \textit{J.\ F.\ Thomsen} [Invent.\ Math.\ 136, No.\ 3, 603--621 (1999; Zbl 0959.14031)] which follows from the Frobenius splitting of cotangent bundles of flag varieties. The author also shows, inspired by the techniques used by Ginzburg and Kumar in the paper cited above, that the cohomology rings of all Frobenius-Lusztig kernels of the Borel subgroups of \(G\) and their unipotent radicals are finitely generated. Finally, it turns out that the complexity of every finite-dimensional \(U_\zeta(G_r)\)-module is always finite. This provides some evidence for the finite generation of the cohomology ring of \(U_\zeta(G_r)\) for \(r>1\) and also for \(G\) of type different from A or D.