Finiteness conditions in Bredon cohomology (Q1181473)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finiteness conditions in Bredon cohomology
scientific article

    Statements

    Finiteness conditions in Bredon cohomology (English)
    0 references
    27 June 1992
    0 references
    Let \(G\) be a finite group. If \(q\) is a natural number and \(A\) is a \(\mathbb{Z}[G]\) module such that for every prime \(p\) and every \(p\)-subgroup \(H\) of \(G\), \(H^{q+1}(H,A)=H^q(H,A)=0\), then \(H^n(G,A)=0\) for every \(n\geq q\). This is a well known result in cohomology theory of groups which is generalized in the paper under discussion. Theorem. Let \(K\) be a \(G\)-CW complex and let \(M\) be a \(G\)-coefficient system as defined by \textit{G. E. Bredon} [Equivariant cohomology theories. (Lect. Notes Math. 34) Berlin etc.: Springer-Verlag (1967; Zbl 0162.27202)]. Let \(n\) be a natural number. Suppose that, for every \(m\geq n\) and for every subgroup \(H\) of \(G\), the equivariant Bredon cohomology groups \(H^m_G(K^H,K^{>H};M)\) vanish. Let \(G'\) be a subgroup of \(G\) such that, for every prime \(p\) and every \(p\)-subgroup \(H\) of \(G'\), the cohomology groups \(H^m_G(K\times_{K/G}K/H,M)\) vanish whenever \(n\leq m\leq n+1=4l_p(G')\). Then, for all \(m\geq n\), \(H^m_G(K\times_{K/G}K/G',M)=0\). In this theorem \(l_p(G)=\log_p| G_p|\) where \(G_p\) is the \(p\) Sylow subgroup of \(G\). Furthermore, \(K\times_{K/G}K/H\) is obtained as the fibre product of the two projection maps \(K\to K/G\) and \(K/H\to K/G\).
    0 references
    finite group
    0 references
    G-CW complex
    0 references
    \(G\)-coefficient system
    0 references
    equivariant Bredon cohomology groups
    0 references

    Identifiers