Cohomology for Frobenius kernels of \(\mathrm{SL}_2\). (Q405905)

Let \(G\) be a simple, simply-connected algebraic group scheme over an algebraically closed field \(k\) of prime characteristic with a Borel subgroup \(B\) having unipotent radical \(U\). Further, for a positive integer \(r\), let \(G_r\), \(B_r\), and \(U_r\) denote the \(r\)-th Frobenius kernels of \(G\), \(B\), and \(U\), respectively. A longstanding problem is to identify the cohomology ring \(H^\bullet(G_r,k)\) as well as the \(G_r\)-cohomology of various standard modules. In this work, the author makes extensive computations in the special case that \(G=\mathrm{SL}_2\). The author begins by computing (as \(B\)-modules) the cohomology groups \(H^\bullet(U_r,\lambda)\) for a weight \(\lambda\) considered also as a one-dimensional \(B\)-module. This is achieved by taking a new look at a classical spectral sequence involving symmetric and exterior powers of the dual of the Lie algebra of \(U\). From there, the author computes \(H^\bullet(B_r,\lambda)\) and further \(H^\bullet(G_r,\text{ind}_B^G\lambda)\). In the latter case, one obtains an explicit filtration involving (twists of) induced modules \(\text{ind}_B^G\mu\), and the author presents an algorithm for computing the multiplicity of the appearance of such a module. In the special case that \(\lambda=0\), the author's description of \(H^\bullet(G_r,k)\) holds as an algebra. Considering the algebra structure, the author looks at reduced cohomology algebras (obtained by factoring out by the nilradical). Both \(H^\bullet(B_r,k)_{\text{red}}\) and \(H^\bullet(G_r,k)_{\text{red}}\) are determined and shown to be Cohen-Macaulay. Further, the spectra of the reduced cohomology rings are investigated. The prime ideal spectrum of \(H^\bullet(G_r,k)_{\text{red}}\) is shown to be homeomorphic to the spectrum of the ring of global sections of the fiber bundle \(G\times^B\mathfrak u^r\), where \(\mathfrak u\) denotes the Lie algebra of \(U\). Lastly, still working over \(\mathrm{SL}_2\), the author investigates the cohomology rings of certain Frobenius-Lusztig kernels of quantum groups that were introduced by \textit{C. M. Drupieski} [J. Pure Appl. Algebra 215, No. 6, 1473-1491 (2011; Zbl 1242.17014)]. Analogous computations and conclusions are made using the same methods as for ordinary Frobenius kernels.