English

Cohomology of groups acting on vector spaces over finite fields

Number Theory 2023-04-18 v6

Abstract

Let Fq{\mathbf{F}}_q be the finite field with q=pmq=p^m elements and GG be a subgroup of GLn(Fq){\rm{GL}}_n({\mathbf{F}}_q). A famous theorem of Nori published in 1987 states that there exists a (non-effective) constant c(n)c(n), depending only on nn, such that if p>c(n)p>c(n) and GG acts semisimply on Fpn{\mathbf{F}}_p^n, then H1(G,Fpn)=0H^1(G,{\mathbf{F}}_p^n)=0. We solve the long-standing problem, also considered by Serre of giving an effective proof of Nori's Theorem. Our approach yields the optimal constant c(n)=n+2c(n)=n+2. We also prove a more general version of Nori's theorem, namely, that for all powers qq of pp, if GG acts semisimply on Fqn{\mathbf{F}}_q^n and p>n+2p>n+2, then H1(G,Fqn)H^1(G,{\mathbf{F}}_q^n) is trivial. We apply these results to refine a criterion, proved by \c{C}iperiani and Stix, which gives sufficient conditions for an affirmative answer to a classical question posed by Cassels in the case of abelian varieties over number fields.

Keywords

Cite

@article{arxiv.2006.16857,
  title  = {Cohomology of groups acting on vector spaces over finite fields},
  author = {Davide Lombardo and Laura Paladino},
  journal= {arXiv preprint arXiv:2006.16857},
  year   = {2023}
}