Bifunctor cohomology and cohomological finite generation for reductive groups. (Q849199): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3098279298 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 0809.1014 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Schur functors and Schur complexes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4399852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometrically reductive Hopf algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3240881 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational and generic cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Cohomology Ring of a Finite Group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology of bifunctors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology of finite group schemes over a field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contractions of the actions of reductive algebraic groups in arbitrary characteristic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic homogeneous spaces and invariant theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Products in exact couples / rank
 
Normal rank
Property / cites work
 
Property / cites work: Filtrations of $G$-modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants of a group in an affine ring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3890811 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariant theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Schur filtration dimension for modules over an algebra with Schur filtration. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinitesimal 1-parameter subgroups and cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal classes for algebraic groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4659158 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometrically reductive affine group schemes / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:23, 2 July 2024

scientific article
Language Label Description Also known as
English
Bifunctor cohomology and cohomological finite generation for reductive groups.
scientific article

    Statements

    Bifunctor cohomology and cohomological finite generation for reductive groups. (English)
    0 references
    0 references
    0 references
    25 February 2010
    0 references
    Let \(G\) be a reductive linear algebraic group over a field \(k\). 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. The main result of this paper is the impressive fact that any such \(G\) has the CFG property. Over a field of characteristic zero, the fact is well-known from invariant theory, so the case of prime characteristic is the focus here. This problem (or special cases thereof) has seen significant study by many people, particularly in full generality by the second author. A nice discussion is given of some of this history along with equivalent formulations of the theorem. Also, some consequences are given for the cohomology module \(H^*(G,M)\) for a Noetherian \(A\)-module \(M\) on which \(G\) acts compatibly. The CFG property for an arbitrary such \(G\) is first reduced to the case of the general linear group \(\text{GL}_n\) over an algebraically closed field (of prime characteristic). The second author [in CRM Proceedings \& Lecture Notes 35, 127-138 (2004; Zbl 1080.20039)] had previously shown the result for some small \(n\) via the construction of certain universal cohomology classes in \(H^*(\text{GL}_n,\Gamma^*(\mathfrak{gl}_n^{(1)}))\) satisfying certain divided power relations, where \(\Gamma^*\) 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. The existence of such classes (without the divided power relations) was shown in general by the first author [in Duke Math. J. 151, No. 2, 219-249 (2010; Zbl 1196.20052)]. 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 proof of the CFG property in part parallels the argument of Friedlander and Suslin. The authors present two proofs of how the CFG property follows from the existence of the universal cohomology classes constructed by Touzé. One proof makes further investigation of bifunctor cohomology beyond the aforementioned work of Touzé, obtaining further classes and relations, and then follows the argument in the aforementioned work of van der Kallen. The second proof simply uses the universal classes as constructed by Touzé and an inductive argument with Frobenius kernels.
    0 references
    cohomological finite generation
    0 references
    rational cohomology
    0 references
    reductive groups
    0 references
    cohomology of general linear groups
    0 references
    strict polynomial bifunctors
    0 references
    bifunctor cohomology
    0 references
    universal cohomology classes
    0 references
    cohomology rings
    0 references
    divided powers
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references