Bifunctor Cohomology and Cohomological Finite Generation for Reductive Groups


LetG be a reductive linear algebraic group over a field k. LetA be a finitely generated commutative k-algebra on which G acts rationally by k-algebra automorphisms. Invariant theory states that the ring of invariantsA = H 0(G,A) is finitely generated. We show that in fact the full cohomology ringH ∗(G,A) is finitely generated. The proof is based on the… (More)


  • Presentations referencing similar topics