Local control of group cohomology (Q1901023)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local control of group cohomology |
scientific article |
Statements
Local control of group cohomology (English)
0 references
2 June 1996
0 references
A theorem of P. Webb states: If \(G\) is a finite group acting simplicially on a finite simplicial complex, \(\Delta\), in such a way that any element of \(G\) which stabilizes a cell fixes it pointwise, then the following conditions are equivalent for a fixed prime \(p\): (i) For all subgroups \(H\) of \(G\) with \(p\) dividing \(|H|\) and \(H/O_p (H)\) cyclic, \(\chi (\Delta^H)=1\); (ii) For all finitely generated \(\mathbb{Z} G\)-modules \(M\) and integers \(n\), \[ \widehat {H}^n (G, M)_p= \sum_{\sigma\in \Delta/G} (-1)^{\dim \sigma} \widehat {H}^n (G_\sigma, M)_p. \] [This is an equality of elements of the Grothendieck group of finite \(p\)-groups with respect to direct sum decompositions.] In the present paper, the author proves that under certain conditions (ii) may hold for the special case \(M= \mathbb{Z}\) even when (i) fails to hold. He applies these results to the Mathieu group, \(M_{12}\), and the Hall-Janko-Wales group, \(J_2\), acting on appropriate complexes. The method is to prove first, under appropriate hypotheses, an isomorphism of Tate cohomology and equivariant cohomology with trivial integer coefficients. The spectral sequence for equivariant cohomology is then analysed to obtain the required results.
0 references
finite group acting simplicially on finite simplicial complex
0 references
finitely generated \(\mathbb{Z} G\)-modules
0 references
Grothendieck group
0 references
finite \(p\)-groups
0 references
Mathieu group
0 references
Hall-Janko-Wales group
0 references
Tate cohomology
0 references
equivariant cohomology
0 references
spectral sequence
0 references