×

Multiplicative stability for the cohomology of finite Chevalley groups. (English) Zbl 0658.20024

Let G denote a connected split reductive group scheme over \({\mathbb{Z}}\) (e.g. \(G=G\ell_ n)\). Let p be a prime, \({\mathbb{F}}_ p\) the prime field and \({\mathbb{F}}\) the algebraic closure of \({\mathbb{F}}_ p\). As usual, G(k) denotes the discrete group of k-points of G \((k={\mathbb{F}}_{p^ f}\) or \({\mathbb{F}}\) in the situation below). The author establishes a stability result for the cohomology of the groups G(k) with respect to change of fields from \({\mathbb{F}}_{p^ f}\) to \({\mathbb{F}}\). His result has several interesting consequences. For instance, it implies that \(H^*(G({\mathbb{F}});{\mathbb{Z}}/\ell)\) is an algebra retract of \(H^*(G({\mathbb{F}}_{p^ f});{\mathbb{Z}}/\ell)\) if f is sufficiently large in the sense of divisibility, and \(\ell\) a prime different from p. The author also studies the stability behavior of associated categories of elementary abelian \(\ell\)-subgroups of \(G({\mathbb{F}}_{p^ f})\) and G(\({\mathbb{F}})\), respectively; these categories are - using results of D. Quillen’s [cf. Ann. Math., II. Ser. 94, 549-572, 573-602 (1971; Zbl 0247.57013)] - closely related to the mod-\(\ell\) cohomology algebras of \(G({\mathbb{F}}_{p^ f})\) and G(\({\mathbb{F}})\). The author’s results stated (Lemma 3, Theorem 4, Corollary 5) need however some mild additional hypothesis on G [cf. Erratum: Comment. Math. Helv. (to appear)] it suffices to assume G semisimple and that \(\ell\) not be a torsion prime for the integral cohomology of the Lie group with points G(\({\mathbb{C}})\). An example of a result is Theorem 4, which states that the cohomological restriction map \(H^*(G({\mathbb{F}});{\mathbb{Z}}/\ell)\to H^*(G({\mathbb{F}}_{p^ f});{\mathbb{Z}}/\ell)\) is an isomorphism of algebras modulo their nilradicals, if f is sufficiently large.
Reviewer: G.Mislin

MSC:

20G10 Cohomology theory for linear algebraic groups
20G40 Linear algebraic groups over finite fields
55R40 Homology of classifying spaces and characteristic classes in algebraic topology
14L15 Group schemes
20J06 Cohomology of groups

Citations:

Zbl 0247.57013