Representations and cohomology for Frobenius-Lusztig kernels (Q531353): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1004.4315 / rank | |||
Normal rank |
Revision as of 15:48, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representations and cohomology for Frobenius-Lusztig kernels |
scientific article |
Statements
Representations and cohomology for Frobenius-Lusztig kernels (English)
0 references
29 April 2011
0 references
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.
0 references
quantized universal enveloping algebra
0 references
root of unity
0 references
Lusztig form of a quantized universal enveloping algebra
0 references
normal Hopf subalgebra
0 references
small quantum group
0 references
prime characteristic
0 references
Frobenius-Lusztig kernel
0 references
irreducible module
0 references
Lusztig character formula
0 references
cohomology ring
0 references
finitely generated
0 references
Lyndon-Hochschild-Serre type spectral sequence
0 references
nullcone
0 references
Borel subgroup
0 references
unipotent radical
0 references
complexity of a module
0 references