Cohomology of unipotent group schemes (Q2288140)

From the summary: ``We verify that universal classes in the cohomology of \(GL_N\) determine explicit cohomology classes of Frobenius kernels \(G_{(r)}\) of various linear algebraic groups \(G\). We consider the relationship of \(\varprojlim_r H^*(U_{(r)},k)\) to the rational cohomology \(H^*(U,k)\) of many unipotent algebraic groups \(U\).'' For instance, let \(T\) be a maximal torus in a simple algebraic algebraic group \(G\) and let \(U\subset G\) be a connected unipotent subgroup normalised by \(T\). Then the map \(\varprojlim_r H^*(U_{(r)},k)\to H^*(U,k)\) is shown to be an isomorphism. ``The second half of this paper investigates in detail the cohomology of Frobenius kernels \((U_3)_{(r)}\) of the Heisenberg group \(U_3 \subset GL_3\).'' The group \(U_3\) is the group of 3 by 3 unipotent upper triangular matrices. The author constructs a map from ``an integrally closed domain with known generators and relations'' to \(H^*((U_3)_{(r)},k)\) ``which is a.) injective, b.) surjective onto p-th powers, and c.) has associated graded map which is both injective and surjective onto p-th powers.'' This construction involves both the Andersen-Jantzen spectral sequence and a Lyndon-Hochschild-Serre spectral sequence. ``A key ingredient in this construction is the action of the Steenrod algebra on the LHS spectral sequence which enables us to identify permanent cycles.'' The author anticipates that there also is a suitable action of the Steenrod algebra on the Andersen-Jantzen spectral sequence.