8d7033a1f004337d.tex
1: \begin{abstract}
2: 
3: The idea that the cohomology of finite groups might be fruitfully approached via the cohomology 
4: of  ambient semisimple algebraic groups was first shown to be viable in the   papers \cite{CPS75} and 
5: \cite{CPSK77}. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. 
6: 
7: The present paper shows that, for irreducible modules as coefficients, the limits can be eliminated in all but finitely many cases.
8: These exceptional cases depend
9: only on the root system and cohomological degree. In fact, we show that, for sufficiently large $r$, depending only on
10: the root system and $m$, and not on the prime $p$ or the irreducible module $L$, there are isomorphisms
11: $\opH^m(G(p^r),L)\cong\opH^m(G(p^r), L')\cong \opH^m_\gen(G,L')\cong \opH^m(G,L')$, where
12: the subscript ``gen" refers to generic cohomology and $L'$ is a constructibly determined irreducible ``shift" of the (arbitrary) irreducible
13: module $L$ for the finite Chevalley group $G(p^r)$. By a famous theorem of Steinberg, both $L$ and $L'$ extend to irreducible modules
14: for the ambient algebraic group $G$ with $p^r$-restricted highest weights. This leads to the notion of a module or weight being ``shifted $m$-generic,"
15: and thus to the title of this paper.  Our approach is based on questions raised by the third author in \cite{SteSL3}, which we answer here in the cohomology cases. We obtain many additional results, often with formulations in the more general context of $\Ext^m_{G(q)}$
16: with irreducible coefficients.
17:  \end{abstract}
18: