Universal extension classes for $G{L}_2$

Abstract

In this note we give a new existence proof for the universal extension classes for $G{L}_2$ previously constructed by Friedlander and Suslin via the theory of strict polynomial functors. The key tool in our approach is a calculation of Parker showing that, for suitable choices of coefficient modules, the Lyndon--Hochschild--Serre spectral sequence for $S{L}_2$ relative to its first Frobenius kernel stabilizes at the $E_2$-page. Consequently, we obtain a new proof that if $G$ is an infinitesimal subgroup scheme of $G{L}_2$, then the cohomology ring $\Hbul(G,k)$ of $G$ is a finitely-generated noetherian $k$-algebra.

arXiv comment9 pages