Universal classes for algebraic groups.
Let \(G\) be a reductive linear algebraic group over a field \(k\) of positive characteristic \(p\). The group \(G\) is said to have the cohomological finite generation (CFG) property if for every finitely generated commutative \(k\)-algebra \(A\) on which \(G\) acts rationally by \(k\)-algebra automorphisms, the cohomology ring \(H^*(G,A)\) is finitely generated as a \(k\)-algebra. W. van der Kallen observed that the CFG property would hold for all such \(G\) if certain universal cohomology classes (in the cohomology of the general linear group \(\text{GL}_n\)) could be constructed. The main result of this paper is the construction of such classes. Proofs of the CFG property are presented by the author and \textit{W. van der Kallen} [in Duke Math. J. 151, No. 2, 251-278 (2010; Zbl 1196.20053)]. More precisely, the result here is the construction of classes \(c[d]\) in \(H^{2d}(\text{GL}_n,\Gamma^d(\mathfrak{gl}_n^{(1)}))\) where \(\Gamma^d\) denotes the divided power functor and \(\mathfrak{gl}_n^{(1)}\) denotes the adjoint representation (the Lie algebra of \(\text{GL}_n\)) once twisted by Frobenius. Further \(c[1]\) is shown to be non-zero, and there is a cup product relationship between \(c[d]\) and \(c[1]\) for higher \(d\). These classes generalize those constructed by \textit{E. M. Friedlander} and \textit{A. Suslin} [Invent. Math. 127, No. 2, 209-270 (1997; Zbl 0945.14028)] in their proof of the finite generation of \(H^*(G,k)\) for a finite group scheme \(G\). The construction of the desired classes is first reduced to large values of \(n\). From there, the problem can be translated to bifunctor cohomology for strict polynomial bifunctors. Note that the work of Friedlander and Suslin made use of strict polynomial functors. Here functors are replaced with bifunctors. Working with bifunctors, explicit coresolutions of \(\Gamma^d(\mathfrak{gl}^{(1)})\) are constructed from which the desired cocycles are obtained. The construction of the resolutions requires investigation of \(p\)-complexes and a tensor product property of complexes obtained from \(p\)-complexes.
- A reductive group with finitely generated cohomology algebras.
- An injective resolution of twisted symmetric powers.
- Bifunctor cohomology and cohomological finite generation for reductive groups.
- Cohomology of bifunctors
- Cohomology of finite group schemes over a field
- Derived varieties of complexes and Kostant's theorem for \(\mathfrak{gl}(m|n)\)
- Extensions of strict polynomial functors
- Finite Schur filtration dimension for modules over an algebra with Schur filtration.
- General linear and functor cohomology over finite fields
- Homological algebra of N-complexes and Hochschild homology of roots of unity
- Homological perturbation theory and associativity
- scientific article; zbMATH DE number 2147481 (Why is no real title available?)
- Invariants of a group in an affine ring
- Projective resolutions of representations of GL (n).
- Reductive groups are geometrically reductive
- Schur functors and Schur complexes
- SUR LES GROUPES D'EILENBERG-MAC LANE H(II, n): I. MÉTHODE DES CONSTRUCTIONS
- Sur quelques points d'algèbre homologique
- Towards the MacLane cohomology of finite fields
- Superized Troesch complexes and cohomology for strict polynomial superfunctors
- A construction of the universal classes for algebraic groups with the twisting spectral sequence.
- Cohomological finite generation for the group scheme \(SL2\)
- On the existence of universal rational structures for groups.
- Lectures on bifunctors and finite generation of rational cohomology algebras.
- On a question of Külshammer for representations of finite groups in reductive groups
- Cohomology of bifunctors
- scientific article; zbMATH DE number 4077546 (Why is no real title available?)
- Universal extension classes for \(GL_2\).
- Universal diagram groups with identical Poincaré series.
- A reductive group with finitely generated cohomology algebras.
- Sur la noethérianité locale des foncteurs polynomiaux
- Cluster construction of the second motivic Chern class
- Bökstedt periodicity generator via K-theory
- Cohomology of algebraic groups with coefficients in twisted representations
- A Friedlander-Suslin theorem over a Noetherian base ring
- On spectra and affine strict polynomial functors
- Bifunctor cohomology and cohomological finite generation for reductive groups.
- Cohomology of classical algebraic groups from the functorial viewpoint.
This page was built for publication: Universal classes for algebraic groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849198)
