English

Cohomology of $\text{PSL}_2(q)$

Representation Theory 2022-01-11 v3

Abstract

In 2011, Guralnick and Tiep proved that if GG was a Chevalley group with Borel subgroup BB and VV an irreducible GG-module in cross characteristic with VB=0V^B = 0, then the the dimension of H1(G,V)H^1(G,V) is determined by the structure of the permutation module on the cosets of BB. We generalise this theorem to higher cohomology and an arbitrary finite group, so that if HGH \leq G such that Or(H)=Or(H)O_{r'}(H) = O^r(H) and VH=0V^H = 0 for VV a GG-module in characteristic rr then dimH1(G,V)\dim H^1(G,V) is determined by the structure of the permutation module on cosets of HH, and Hn(G,V)H^n(G,V) by ExtGn1(V,M)\text{Ext}_G^{n-1}(V^*,M) for some kGkG-module MM dependent on HH. We also determine ExtGn(V,W)\text{Ext}_G^n(V,W) for all irreducible kGkG-modules VV, WW for G{PSL2(q),PGL2(q),SL2(q)}G \in \{\text{PSL}_2(q), \text{PGL}_2(q), \text{SL}_2(q)\} in cross characteristic.

Keywords

Cite

@article{arxiv.2002.04183,
  title  = {Cohomology of $\text{PSL}_2(q)$},
  author = {Jack Saunders},
  journal= {arXiv preprint arXiv:2002.04183},
  year   = {2022}
}

Comments

30 pages, updated to published version