English

Second cohomology for finite groups of Lie type

Representation Theory 2012-05-18 v2 Group Theory

Abstract

Let GG be a simple, simply-connected algebraic group defined over Fp\mathbb{F}_p. Given a power q=prq = p^r of pp, let G(Fq)GG(\mathbb{F}_q) \subset G be the subgroup of Fq\mathbb{F}_q-rational points. Let L(λ)L(\lambda) be the simple rational GG-module of highest weight λ\lambda. In this paper we establish sufficient criteria for the restriction map in second cohomology H2(G,L(λ))H2(G(Fq),L(λ))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 pp and qq 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 H2(G(Fq),L(λ))H^2(G(\mathbb{F}_q),L(\lambda)) in terms of rational cohomology for GG. We apply our techniques to compute H2(G(Fq),L(λ))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.

Keywords

Cite

@article{arxiv.1110.0228,
  title  = {Second cohomology for finite groups of Lie type},
  author = {Brian D. Boe and Brian Bonsignore and Theresa Brons and Jon F. Carlson and Leonard Chastkofsky and Christopher M. Drupieski and Niles Johnson and Daniel K. Nakano and Wenjing Li and Phong Thanh Luu and Tiago Macedo and Nham Vo Ngo and Brandon L. Samples and Andrew J. Talian and Lisa Townsley and Benjamin J. Wyser},
  journal= {arXiv preprint arXiv:1110.0228},
  year   = {2012}
}

Comments

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