Let $k$ be an algebraically closed field of characteristic $p$, let $G$ be a finite group whose order is divisible by $p$, and let $H(G)$ be the commutative cohomology algebra of $G$ with coefficients in $k$ (viewed as a trivial module), i.e.,


$$H(G):=\begin{cases}H^\*(G,k)&p=2\\H^{ev}(G,k)&p>2\end{cases}$$


For what sorts of groups have we explicitly computed $H(G)$? Or if not an explicit computation, what can we say about $H(G)$ (or at least $|\operatorname{Spec}H(G)|$)? Below is what I'm aware of:


* If $G$ is elementary abelian of rank $r$, then $H(G)$ is known by using a particularly nice projective resolution of a cyclic group of order $p$ and using the Kunneth formula.
* Thanks to Quillen, the Krull dimension of $H(G)$ is the $p$-rank of $G$, that is the length of the largest chain of prime ideals in $H(G)$ is equal to the largest rank of an elementary abelian $p$-subgroup of $G$.
* Jon Carlson has used Magma to compute $H(G)$ for some $2$-groups [here](http://web.archive.org/web/20070703105251/http://www.math.uga.edu/~lvalero/cohointro.html).


If you find the question too broad, at the moment I'm particularly interested in finite groups of Lie type, and to be even more specific, $\operatorname{GL}\_n(\mathbb{F}\_q)$. I recall reading a paper that computed $H(\operatorname{GL}\_2(\mathbb{F}\_q))$, and I also recall reading another paper showing certain vanishing results of $H(\operatorname{GL}\_n(\mathbb{F}\_q))$ as one allows $n$ or $q$ to grow independently, but I can't seem to find either of these papers and I don't remember the authors.



> 
> 
> > 
> > What do we know about the commutative algebra $H(\operatorname{GL}\_n(\mathbb{F}\_q))$? Have any computations been made for certain $n$ and $q$?
> > 
> > 
> > 
> 
> 
> 


Any references are appreciated, even those that address the question for general $G$, and not just $\operatorname{GL}\_n(\mathbb{F}\_q)$.



Computations in modular cohomology of finite groups
I'll discuss $H^\*(GL\_n\mathbb{F}\_q; k)$ first, because that is my current area of research.


1) When $\mathbb{F}\_q$ and $k$ have different characteristics (although $p$ typically still divides the order of $GL\_n\mathbb{F}\_q$), the answer is completely computed by Quillen, "On the Cohomology and K-Theory of the General Linear Groups Over a Finite Field." Vaguely speaking, the situation is not too different from the classical computations over $\mathbb{R}$ and $\mathbb{C}$ (though obviously the proof is harder), and the cohomology is detected on a single subgroup "not too far" from the diagonal (a sort of splitting theorem). When $p$ divides $q-1$, it is literally detected on the diagonal.


So from now on I'll assume they have the same characteristic, so $q=p^r$.
In this case, things are much more mysterious and complex, and very little is known despite decades of interest in the subject.


2) The computation for $GL\_2\mathbb{F}\_q$ is in Aguade, "The cohomology of the GL\_2 of a finite field." However, be cautious because I seem to recall there is an error in the statements for the case $q=2^r$, $r>1$. The main ideas going in to the proof, though not the final answer, are written up clearly in the paper of Quillen mentioned above. Also, there is an elementary writeup of this computation in the intro chapter of my dissertation.


Vanishing ranges:


3a) There are two sorts of vanishing ranges, one depending on $n$ and the other depending on $q$. The first is due to Friedlander-Parshall, "On the Cohomology of Algebraic and Related Finite Groups," section 7. It says that $H^i(GL\_n\mathbb{F}\_q;k)$ vanishes for $0<i<r(2p-3)$. (remember we're assuming same characteristic here). This was an improvement on a similar range of Quillens', so he should get some of the credit here as well.


3b) H. Maazen, in his thesis (at Utrecht) proved that $H^i(GL\_n\mathbb{F}\_q;k)$ vanishes if $0<i<n/2$. (The result is significantly more general.)
There is also supposed to be, unfortunately unpublished, an improvement by Quillen in the case $q\neq2$, showing vanishing in the range $0<i<n$.


3c) The papers of Bendel-Nakano-Pillen that someone mentioned above. There are three of them:
"On the vanishing ranges for the cohomology of finite groups of Lie type,"
"On the vanishing ranges for the cohomology of finite groups of Lie type II,"
"Extensions for finite Chevalley groups III: rational and generic cohomology."


They discuss various vanishing ranges for finite groups of Lie type on a case-by-case basis, always with the assumption that $p$ is large compared to the Coxeter number of the group (so, for example, $p=2$ is out...)


Nonvanishing:


4) I have a paper, "Nonvanishing cohomology classes on finite groups of Lie type with Coxeter number at most p"
which shows that $GL\_n\mathbb{F}\_{p^r}$ has nonzero cohomology in degree $r(2p-3)$, provided that $n\leq p$. This was inspired by the results of B-N-P above. The result is actually valid for all (untwisted) finite groups of Lie type (with $n$ replaced by the Coxeter number). But it is also reprinted with some more details in my thesis, so perhaps that is easier to read. The thesis also has more precise information in the case $r=1$.
Compare this with item (3a)!


5) Milgram-Priddy, "Invariant theory and $H^\*(GL\_n\mathbb{F}\_p;\mathbb{F}\_p)$," give a construction of a family of nonzero, in fact algebraically independent classes, in very high degree. That is, a system of parameters for the cohomology ring. They also ask a question regarding the existence of a particular class in degree $n/2$ ($n$ even), which would be the lowest possible thanks to (3b) --- which I have been trying to answer.




---


Leaving $GL\_n$ now:


There are plenty of small groups and easy families, like finite abelian groups and dihedral groups, etc. whose cohomology you can easily compute. In terms of important families, one very important example where the cohomology is known is the symmetric groups $S\_n$, due to Nakaoka.


Another is the "extraspecial 2-groups," that is, central extensions of an elementary abelian $2$-group by the cyclic group of order 2. Quillen, "The mod 2 cohomology rings of extra-special 2-groups and the spinor groups." For extraspecial $p$-groups, I believe the spectrum of cohomology is known. I can't remember whose work that is; if you want I'll try to dig up the reference.


There are plenty more examples, maybe I'll add more later when I have more time.


Also, in terms of qualitative results, you might be interested in the (fairly recent) work of Peter Symonds on the depth, regularity, and local cohomology of the cohomology rings of finite groups. In particular, this has implications for what degrees the generators and relations can live in. It's written up in the book by Totaro, "Group Cohomology and Algebraic Cycles."


In terms of computer computations, beside Jon Carlson's data, there is also David Green, <http://users.minet.uni-jena.de/cohomology/>
His results are much more extensive, but have a slightly different focus.


