The Bredon cohomology of subgroup complexes (Q555976): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ioan Pop / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55U15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2175030 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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
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