In group representation theory, one attempts to explain and classify (some of) the modules over the group ring $k[G]$, for some field $k$. In group cohomology, one develops the machinery of the cohomology of groups out of the category of modules over the ring $\mathbb{Z}[G]$. In both cases, one has tensor products, restriction maps, induced modules, etc, and all these constructions look very similar in both cases, with $k$ replaced by $\mathbb{Z}$ in group cohomology.

My question is, might one develop a theory of cohomology of $G$-representations over a field $k$ analogous to the theory of cohomology of $G$-modules? Essentially, one would take a representation $M$, take an injective resolution of $M$ in the category of $k[G]$-modules, then find the fixed elements to get the cohomology. I believe this would be $\mathrm{Ext}_{k[G]}(k,M)$, where $k$ is given the trivial $G$-action.

Given that we know a lot about the structure of finite-dimensional representations of finite groups (character tables), what would the character table tell us about the cohomology? What might the cohomology tell us about the character table? What happens if we consider representations of infinite groups, such as Lie groups, algebraic groups, or Galois groups?

4more comments