The Bredon cohomology of subgroup complexes (Q555976): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2004.12.010 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2043215151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3681030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3681031 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4378346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivariant cohomology theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143495 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homology decompositions for classifying spaces of finite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A conjugation family for finite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher limits via subgroup complexes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy decomposition of classifying spaces via elementary Abelian subgroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy classification of self-maps of \(BG\) via \(G\)-actions. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: G-functors, G-posets and homotopy decompositions of G-spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Remarks on a Conjecture of Alperin / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordinary 𝑅𝑂(𝐺)-graded cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy properties of the poset of nontrivial p-subgroups of a group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functors for a block of a group algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some remarks on G-functors and the Brauer morphism. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Structure of Mackey Functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transformation groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some split exact sequences in the cohomology of groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A split exact sequence of Mackey functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4510758 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296949 / rank
 
Normal rank

Latest revision as of 12:23, 10 June 2024

scientific article
Language Label Description Also known as
English
The Bredon cohomology of subgroup complexes
scientific article

    Statements

    The Bredon cohomology of subgroup complexes (English)
    0 references
    0 references
    10 June 2005
    0 references
    This paper is concerned with the homological algebra of coefficient systems on a class of subgroups of a group \(G\). It is partly structured around the investigation of three sequences associated to some class \({\mathcal X}\) of subgroups of \(G\), in particular their cohomology. The three sequences of particular interest are: \[ \begin{alignedat}{2} L(G) \to &\prod_{\sigma\in ch_0({\mathcal X})/G} L(N_G(\sigma)) &\;\to &\prod_{\sigma\in ch_1({\mathcal X})/G} L(N_G(\sigma)) \to\cdots\\ L(G) \to &\prod_{\sigma\in ch_0({\mathcal X})/G} L(\sigma_b)^{N_G(\sigma)} &\;\to &\prod_{\sigma\in ch_1({\mathcal X})/G} L(\sigma_b)^{N_G(\sigma)}\to\cdots\\ L(G) \to &\prod_{\sigma\in ch_0({\mathcal X})/G} L(C_G(\sigma_t))^{N_G(\sigma)} &\;\to &\prod_{\sigma\in ch_1({\mathcal X})/G} L(C_G(\sigma_t))^{N_G(\sigma)}\to\cdots. \end{alignedat} \] Here \(ch_n({\mathcal X})\) denotes the set of chains in \({\mathcal X}\) (without repetition) of length \(n+ 1\). The smallest element of chain \(\sigma\) is denoted by \(\sigma_b\) and the largest by \(\sigma_t\). The first of these sequences was investigated by \textit{P. J. Webb} [Comment. Math. Helv. 66, 34--69 (1991; Zbl 0722.57019)] when \(L\) is a Mackey functor. The second sequence first appeared in work of \textit{S. Bouc} [Proc. Symp. Pure Math. 63, 31--83 (1998; Zbl 0897.19001)], again for Mackey functors. An infinite version of the third sequence is implied by results of \textit{S. Jackowski} and \textit{J. E. McClure} [Topology 31, 113--132 (1992; Zbl 0754.55014)]. Later \textit{W. G. Dwyer} [Topology 36, 783--804 (1997; Zbl 0872.55014)] had infinite versions of the second and third sequences. Finally, the version of the third sequence (and also the second) appeared in work of \textit{J. Grodal} [Ann. Math. (2) 155, 405--457 (2002; Zbl 1004.55008)], and of \textit{R. Villarroel-Flores} and \textit{P. Webb} [Topology 41, 483--494 (2002; Zbl 1002.55013)]. The aim of the this paper is to present a unified treatment of all the results entirely within the homological algebra of coefficient systems. The strategy of the paper is to show that each of these sequences is representable as the complex of homomorphisms from some complex of coefficient systems \(\widetilde C_\bullet\) to \(L\), in other words that the sequence is of the form \(\Hom(\widetilde C_\bullet,L)\). If then turns out that \(\widetilde C_\bullet\) is homotopy equivalent to a projective resolution of the trivial coefficient system \(\overline R\). Thus the cohomology of the sequence is \(\text{Ext}^*(\overline R,L)\), which is the definition of the higher limits of \(L\). When these sequences are not exact then their cohomology is usually equal to the higher limits of \(L\). As the author points out, the article is inspirated by the paper of \textit{J. Grodal} [op. cit.], the proof consisting mainily in reformulations in algebraic terms of the geometric proofs given there. However the paper is very consistent, containing beside these important interpretations a series of concise interpretations in terms of higher limits of some statements in group theory as: Robinson's reformulation of Alperin's weight conjecture and Quillen's conjecture on the contractibility of subgroups complexes. The techniques for coefficient systems and the use of adjoint functors of several forgetful functors that the author applies are also very interesting.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references