Centralizers of elementary Abelian \(p\)-subgroups and mod-\(p\) cohomology of profinite groups
type: Item
instance of: scholarly article
title: Centralizers of elementary Abelian \(p\)-subgroups and mod-\(p\) cohomology of profinite groups
zbMATH Open document ID: 0948.20027
DOI: 10.1215/S0012-7094-98-09121-9
author: Hans-Werner Henn
published in: Duke Mathematical Journal
publication date: 2000-03-27T00:00:00Z
review text: Let \(G\) be a profinite group and \({\mathcal A}_*(G)\) is the category whose objects are all elementary \(p\)-subgroups of \(G\) and morphisms are homomorphisms induced by conjugation in \(G\) (i.e., if \(E_1\) and \(E_2\) are elementary Abelian subgroups of \(G\), then the set of morphisms from \(E_1\) to \(E_2\) consists of those homomorphisms \(\alpha\colon E_1\to E_2\) for which there exists an element \(g\in G\) with \(\alpha(e)=geg^{-1}\) for all \(e\in E_1\)). Let \(C_G(E)\) be the centralizer of \(E\) in \(G\). The assignment \(E\to H^*(C_G(E),\mathbb{F}_p)\) extends to a functor from \({\mathcal A}_*(G)\) to graded \(\mathbb{F}_p\)-algebras, and the restriction homomorphisms \(H^*(G(E),\mathbb{F}_p)\to H^*(C_G(E),\mathbb{F}_p)\) induce a canonical homomorphism \(H^*(G(E),\mathbb{F}_p)\to\lim_{{\mathcal A}_*(G)}H^*(C_G(E),\mathbb{F}_p)\). The main result of the paper is the following Theorem. Let \(G\) be a profinite group and assume that \(H^*(G,\mathbb{F}_p)\) is a finitely generated \(\mathbb{F}_p\)-algebra. Then the canonical map \( H^*(G(E),\mathbb{F}_p)\to\lim_{{\mathcal A}_*(G)}H^*(C_G(E),\mathbb{F}_p)\) has finite kernel and cokernel. As a corollary the author deduces that if all elementary \(p\)-subgroups of \(G\) are cyclic, then the restriction maps induce a homomorphism \(H^*(G(E),\mathbb{F}_p)\to\prod_EH^*(C_G(E),\mathbb{F}_p)^{N_G(E)}\) with finite kernel and cokernel, where the direct product is taken over conjugacy classes of cyclic subgroups of order \(p\) and \(N_G(E)\) is the normalizer of \(E\) in \(G\).
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20E18
zbMATH DE Number: 1425085
zbMATH Keywords: profinite groups
zbMATH Keywords: cohomology
zbMATH Keywords: complexes of elementary Abelian \(p\)-subgroups
reviewed by: Pavel Zalesskij
MaRDI profile type: Publication
cites work: Farrell cohomology of GL(n,\({\mathbb{Z}})\)
cites work: SOME REMARKS ON CENTRAL ELEMENTARY ABELIAN P-SUBGROUPS AND COHOMOLOGY OF CLASSIFYING SPACES
cites work: Q3708977
cites work: Cohomological detection and regular elements in group cohomology
cites work: Q4039887
cites work: Q4326999
cites work: A cohomology decomposition theorem
cites work: The cohomology of the Morava stabilizer group 𝕊₂ at the prime 3
cites work: Q3901604
cites work: Commutative algebra of unstable K-modules, Lannes' T-functor and equivariant mod-p cohomology.
cites work: Localizations of unstable \(A\)-modules and equivariant mod \(p\) cohomology
cites work: The rigid analytic period mapping, Lubin-Tate space, and stable homotopy theory
cites work: Homotopy decomposition of classifying spaces via elementary Abelian subgroups
cites work: On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
cites work: \(p\)-adic analytic groups
cites work: Noetherian localisations of categories of cobordism comodules
cites work: The spectrum of an equivariant cohomology ring. I. II
cites work: On the cohomology and K-theory of the general linear groups over a finite field
cites work: The cohomology of the Morava stabilizer algebras
cites work: Q3747338
cites work: Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
cites work: Noetherian cohomology rings and finite loop spaces with torsion
cites work: Q4061092
cites work: The homotopy groups of the 𝐿₂-localized Toda-Smith spectrum 𝑉(1) at the prime 3
cites work: The homotopy groups \(\pi_ * (L_ 2 S^ 0)\)
cites work: Q3943047
full work available at URL: s0012-7094-98-09121-9
OpenAlex ID: W1512661477
description: scientific article; zbMATH DE number 1425085