RECORD
Higher limits via subgroup complexes
Algebraic Topology · Submitted 6 Feb 2000
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim We show that these higher limits can be identified with the G-equivariant Bredon cohomology of the subgroup complex of p-subgroups in G (i.e., the nerve of the poset of p-subgroups in G) with values in a G-local coefficient system.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the orbit category or the Quillen category of G. These higher limits are of importance e.g., for the study of maps between classifying spaces as well as for group cohomology. We show that these higher limits can be identified with the G-equivariant Bredon cohomology of the subgroup complex of p-subgroups in G (i.e., the nerve of the poset of p-subgroups in G) with values in a G-local coefficient system. We examine when smaller complexes can be used e.g., taking only p-radical subgroups, p-centric subgroups, elementary abelian p-subgroups or various subcollections thereof. Since the subgroup complexes are finite complexes, and often rather small, this provides concrete, computable formulas for these higher limits, generalizing earlier work of especially Jackowski-McClure-Oliver. As an application we look at the special case where all the higher limits vanish, as for example is the case for group cohomology. If F is a functor on the orbit category our formulas for the higher limits in this case yield five different expressions of F(G) in terms of values of F on proper subgroups. Two of these are `classical' namely Webb's exact sequence of Mackey functors and a formula for calculating stable elements, previously obtained using Alperin's fusion theorem. Examining this case also leads to improvements of sharpness results of homology decompositions due to Dwyer and others.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the orbit category or the Quillen category of G. | contribution 0.85 | 0.85 | 0.05 | asserted 0.93 |
| s1 | These higher limits are of importance e.g., for the study of maps between classifying spaces as well as for group cohomology. | background 0.94 | 0.06 | 0.03 | asserted 0.90 |
| s2 | We show that these higher limits can be identified with the G-equivariant Bredon cohomology of the subgroup complex of p-subgroups in G (i.e., the nerve of the poset of p-subgroups in G) with values in a G-local coefficient system. | result 0.92 | 0.94 | 0.77 | asserted 1.00 |
| s3 | We examine when smaller complexes can be used e.g., taking only p-radical subgroups, p-centric subgroups, elementary abelian p-subgroups or various subcollections thereof. | contribution 0.94 | 0.84 | 0.06 | asserted 0.45 |
| s4 | Since the subgroup complexes are finite complexes, and often rather small, this provides concrete, computable formulas for these higher limits, generalizing earlier work of especially Jackowski-McClure-Oliver. | interpretation 0.75 | 0.87 | 0.21 | asserted 0.98 |
| s5 | As an application we look at the special case where all the higher limits vanish, as for example is the case for group cohomology. | contribution 0.78 | 0.54 | 0.05 | asserted 0.89 |
| s6 | If F is a functor on the orbit category our formulas for the higher limits in this case yield five different expressions of F(G) in terms of values of F on proper subgroups. | result 0.92 | 0.93 | 0.12 | asserted 1.00 |
| s7 | Two of these are `classical' namely Webb's exact sequence of Mackey functors and a formula for calculating stable elements, previously obtained using Alperin's fusion theorem. | result 0.53 | 0.25 | 0.05 | asserted 1.00 |
| s8 | Examining this case also leads to improvements of sharpness results of homology decompositions due to Dwyer and others. | result 0.60 | 0.80 | 0.05 | asserted 0.92 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the orbit category or the Quillen category of G. These higher limits are of importance e.g., for the study of maps between classifying spaces as well as for group cohomology. We show that these higher limits can be identified with the G-equivariant Bredon cohomology of the subgroup complex of p-subgroups in G (i.e., the nerve of the poset of p-subgroups in G) with values in a G-local coefficient system. We examine when smaller complexes can be used e.g., taking only p-radical subgroups, p-centric subgroups, elementary abelian p-subgroups or various subcollections thereof. Since the subgroup complexes are finite complexes, and often rather small, this provides concrete, computable formulas for these higher limits, generalizing earlier work of especially Jackowski-McClure-Oliver. As an application we look at the special case where all the higher limits vanish, as for example is the case for group cohomology. If F is a functor on the orbit category our formulas for the higher limits in this case yield five different expressions of F(G) in terms of values of F on proper subgroups. Two of these are `classical' namely Webb's exact sequence of Mackey functors and a formula for calculating stable elements, previously obtained using Alperin's fusion theorem. Examining this case also leads to improvements of sharpness results of homology decompositions due to Dwyer and others.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.