First cohomology for finite groups of Lie type: Simple modules with small dominant weights

Abstract

Let k k be an algebraically closed field of characteristic p > 0 p > 0 , and let G G be a simple, simply connected algebraic group defined over F p \mathbb {F}_p . Given r ≥ 1 r \geq 1 , set q = p r q=p^r , and let G ( F q ) G(\mathbb {F}_q) be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group H 1 ⁡ ( G ( F q ) , L ( λ ) ) \operatorname {H}^1(G(\mathbb {F}_q),L(\lambda )) , where L ( λ ) L(\lambda ) is the simple G G -module of highest weight λ \lambda . Under certain very mild conditions on p p and q q , we are able to completely describe the first cohomology group when λ \lambda is less than or equal to a fundamental dominant weight. In particular, in the cases we consider, we show that the first cohomology group has dimension at most one. Our calculations significantly extend, and provide new proofs for, earlier results of Cline, Parshall, Scott, and Jones, who considered the special case when λ \lambda is a minimal non-zero dominant weight.