Complexes, group cohomology, and an induction theorem for the Green ring (Q1084508)

Let G be a finite group, let p be a prime, let A(G) be the Green ring of \({\mathbb{Z}}_ pG\)-modules, where \({\mathbb{Z}}_ p\) denotes the p-adic integers, and let C be the set of subgroups H of G so that \(H/O_ p(H)\) is cyclic. In the paper under review the author strengthens an earlier result of his [given in Comment. Math. Helv. 62, 135-167 (1987)] to the following. Theorem. Suppose G acts simplicially on a finite simplicial complex \(\Delta\) in such a way that for all \(\sigma\in \Delta\) the isotropy group \(G_{\sigma}\) fixes \(\sigma\) pointwise. Then the following conditions are equivalent. (i) For all \(H\in C\) with \(p| | H|\), the Euler characteristic \(\chi (\Delta^ H)=1.\) (ii) In A(G), \({\mathbb{Z}}_ p\equiv \sum_{\sigma \in \Delta /G}(- 1)^{\dim \sigma}{\mathbb{Z}}_ p\uparrow^ G_{G_{\sigma}}\) (mod projectives). (iii) For all finitely generated \({\mathbb{Z}}G\)-modules M and integers n, \(\hat H^ n(G,M)_ p=\sum_{\sigma \in \Delta /G}(-1)^{\dim \sigma}\hat H^ n(G_{\sigma},M)_ p.\) In [loc.cit] only the implications (i) \(\Rightarrow\) (ii) \(\Rightarrow\) (iii) have been obtained. In the present paper, the equivalence (i) \(\Leftrightarrow\) (ii) depends on an induction theorem of Conlon's, and the implication (iii) \(\Rightarrow\) (ii) uses a Theorem of \textit{D. Benson} [Modular representation theory: New trends and methods (Lect. Notes Math. 1081, 1984; Zbl 0564.20004)] concerning the radical of dim Ext\(^ n(.,.)\), viewed as a bilinear form on the Green ring.