Second cohomology groups for algebraic groups and their Frobenius kernels. (Q555551): Difference between revisions

Let \(G\) be a simple simply connected affine algebraic group scheme defined and split over \(k=\mathbb F_p\). Let \(G_r\) denote the \(r\)-th Frobenius kernel and let \(B\), \(T\), \(U\) be as usual. When \(\lambda\) is a dominant weight we write \(\nabla(\lambda)\) for the costandard module \(H^0(G/B,\mathcal L(\lambda))\) with highest weight \(\lambda\). The author completes a project of Bendel, Nakano, and Pillen by computing certain second cohomology groups in the missing case \(p=2\). More specifically she computes every \(H^2(\mathfrak u,k)\), \(H^2(U_1,k)\), \(H^2(B_r,\mu)\), \(H^2(B,\mu)\), \(H^2(G_r,\nabla(\lambda))\), where \(\mu\) is a weight and \(\lambda\) is a dominant weight. The results are complicated. Nevertheless they show that all \(H^2(G_r,\nabla(\lambda))\) satisfy Donkin's conjecture which predicts that the \(H^n(G_r,\nabla(\lambda))\) have good filtration.