Search

Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(\lambda)$ be the simple rational $G$-module of highest weight $\lambda$. In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(\lambda)) \rightarrow H^2(G(\mathbb{F}_q),L(\lambda))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $\lambda$ is less than or equal to a fundamental dominant weight. Even when the restriction map is not an isomorphism, we are often able to describe $H^2(G(\mathbb{F}_q),L(\lambda))$ in terms of rational cohomology for $G$. We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(\lambda))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type., Comment: 29 pages, GAP code included as an ancillary file. Rewritten to include the adjoint representation in types An, B2, and Cn. Corrections made to Theorem 3.1.3 and subsequent dependent results in Sections 3-4. Additional minor corrections and improvements also implemented

Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $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(\mathbb{F}_q),L(\lambda))$ where $L(\lambda)$ is the simple $G$-module of highest weight $\lambda$. Under certain very mild conditions on $p$ and $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 nonzero dominant weight., Comment: 24 pages, 5 figures, 6 tables. Typos corrected and some proofs streamlined over previous version