Bredon Sheaf Cohomology

• Bredon sheaf cohomology is an equivariant cohomology theory for finite groups that assigns global sections from a canonically associated sheaf on the orbit space.
• It interpolates between ordinary sheaf cohomology when G is trivial and classical Bredon cohomology on G-CW complexes, aligning modern and traditional approaches.
• The theory satisfies open descent and cofiltered compact codescent, enabling reconstruction from local data and linking to equivariant invariants like algebraic and topological K-theory.

Searching arXiv for the cited papers to ground the article in current literature. Bredon sheaf cohomology is an equivariant cohomology theory for a finite group $G$ and a coefficient system $E:\mathrm{Orb}_G^{op}\to D$, where $D$ is a presentable, stable $\infty$-category. It is defined on locally compact Hausdorff $G$-spaces by assigning to $X$ the global sections of a canonically associated sheaf on the orbit space $X/G$, and it interpolates between ordinary sheaf cohomology when $G$ is trivial and classical Bredon cohomology on $G$-CW complexes (Arnone et al., 9 Apr 2026). In the recent formulation of Arnone–Mukherjee–Nikolaus, the theory is characterized by equivariant open descent and cofiltered compact codescent, while earlier work on Bredon cohomology with local coefficients and on orbit-category coefficient systems supplies a conceptual antecedent in which equivariant cohomology is already organized sheaf-theoretically over the orbit category (Arnone et al., 9 Apr 2026, Basu et al., 2012, Basu et al., 2016).

1. Definition and basic categorical framework

For a fixed finite group $G$, the ambient category is $E:\mathrm{Orb}_G^{op}\to D$0, the category of locally compact Hausdorff spaces with a continuous $E:\mathrm{Orb}_G^{op}\to D$1-action and $E:\mathrm{Orb}_G^{op}\to D$2-equivariant maps (Arnone et al., 9 Apr 2026). Its basic equivariant test objects are the orbits $E:\mathrm{Orb}_G^{op}\to D$3, organized into the orbit category $E:\mathrm{Orb}_G^{op}\to D$4, whose objects are $E:\mathrm{Orb}_G^{op}\to D$5 and whose morphisms are $E:\mathrm{Orb}_G^{op}\to D$6-maps (Arnone et al., 9 Apr 2026). A coefficient system is a functor

$E:\mathrm{Orb}_G^{op}\to D$7

with $E:\mathrm{Orb}_G^{op}\to D$8 a presentable, stable $E:\mathrm{Orb}_G^{op}\to D$9-category; in particular, when $D$0 one obtains a spectrum-valued system (Arnone et al., 9 Apr 2026).

The sheaf-theoretic input is twofold. First, for any presentable, stable $D$1-category $D$2, one has the $D$3-category of sheaves

$D$4

and if $D$5 is dualizable then so is $D$6 (Arnone et al., 9 Apr 2026). Second, equivariance is imposed by homotopy fixed points: $D$7 so an object of $D$8 is a $D$9-equivariant sheaf on $\infty$0 (Arnone et al., 9 Apr 2026).

The site-theoretic definition uses the Grothendieck topology on $\infty$1 whose covers are jointly surjective families of $\infty$2-invariant opens, together with the inclusion of sites

$\infty$3

that sends $\infty$4 to the discrete $\infty$5-space $\infty$6 (Arnone et al., 9 Apr 2026). This yields the adjunction

$\infty$7

where $\infty$8 is left Kan extension followed by sheafification and $\infty$9 is restriction (Arnone et al., 9 Apr 2026).

For $G$0 and a coefficient system $G$1, one defines a $G$2-valued sheaf

$G$3

by restricting the associated sheaf $G$4 to $G$5 (Arnone et al., 9 Apr 2026). Concretely, for an open subset $G$6,

$G$7

the colimit ranging over equivariant maps from $G$8 to orbits $G$9 (Arnone et al., 9 Apr 2026). The Bredon sheaf cohomology of $X$0 with coefficients in $X$1 is then

$X$2

When $X$3, its homotopy groups are written

$X$4

(Arnone et al., 9 Apr 2026).

A common source of ambiguity is the phrase “Bredon sheaf cohomology.” In the older literature, Bredon cohomology was often described using coefficient systems viewed as sheaves on the discrete orbit category, or as “sheaf-theory” on $X$5; the 2026 theory is more specific, since it is defined for general locally compact Hausdorff $X$6-spaces by first producing a sheaf on the orbit space $X$7 and then taking global sections (Basu et al., 2016, Arnone et al., 9 Apr 2026).

2. Relation to classical Bredon cohomology and local coefficients

The theory recovers ordinary sheaf cohomology when $X$8 (Arnone et al., 9 Apr 2026). In that case $X$9 has one object $X/G$0, the coefficient system is determined by $X/G$1, and because every open $X/G$2 is unique one obtains

$X/G$3

Thus the non-equivariant specialization is not merely analogous to sheaf cohomology; it is exactly ordinary sheaf cohomology with constant coefficients in the stated sense (Arnone et al., 9 Apr 2026).

For $X/G$4-CW complexes, Bredon sheaf cohomology agrees with the usual singular Bredon cohomology (Arnone et al., 9 Apr 2026). If $X/G$5 carries a $X/G$6-CW structure, then the quotient $X/G$7 is a CW complex stratified by orbit types, and the natural map from $X/G$8 to the classical singular model is an equivalence: $X/G$9 Equivalently,

$G$0

This comparison is the main mechanism by which the new theory extends the classical one rather than replacing it (Arnone et al., 9 Apr 2026).

Earlier work on Bredon cohomology with local coefficients provides a different, but closely related, representability picture. For a discrete group $G$1, an $G$2-group $G$3 is a functor $G$4, and an $G$5-module $G$6 is an abelian $G$7-group equipped with a natural action (Basu et al., 2012). Equivalently, a local coefficient system on a $G$8-CW complex $G$9 is given by contravariant functors

$G$0

with naturality under inclusion and conjugation (Basu et al., 2012). The associated Bredon cochain complex is assembled from the fixed-point cochain groups

$G$1

subject to compatibility under $G$2-maps, and its cohomology is

$G$3

(Basu et al., 2012).

The 2012 paper shows that this local-coefficient theory is representable by homotopy classes of maps in the category of equivariant crossed complexes: $G$4 and also by a naive parametrized $G$5-spectrum over $G$6 whose associated cohomology theory recovers $G$7 on suspension spectra (Basu et al., 2012). This suggests a conceptual lineage: classical Bredon theories already admit both orbit-category and sheaf-theoretic formulations, while Bredon sheaf cohomology packages those ideas into a theory defined on all locally compact Hausdorff $G$8-spaces (Basu et al., 2012, Arnone et al., 9 Apr 2026).

A complementary precedent appears in computations for $G$9, where a coefficient system is explicitly described as a contravariant functor

$G$0

equivalently an additive sheaf on the discrete site $G$1 (Basu et al., 2016). There the Bredon cochain complex is

$G$2

with cohomology

$G$3

again emphasizing the orbit-category “sheaf” viewpoint (Basu et al., 2016).

3. Descent, homotopy invariance, and uniqueness

For fixed coefficients $G$4, the functor $G$5 satisfies two central axioms: open descent and cofiltered compact codescent (Arnone et al., 9 Apr 2026). If $G$6 is a $G$7-invariant open cover, then

$G$8

which is the equivariant open descent property (Arnone et al., 9 Apr 2026). If $G$9 is a cofiltered limit of compact $E:\mathrm{Orb}_G^{op}\to D$00-spaces, then the natural map

$E:\mathrm{Orb}_G^{op}\to D$01

is an equivalence; this is cofiltered compact codescent (Arnone et al., 9 Apr 2026).

Closed descent follows formally from these two properties: for closed $E:\mathrm{Orb}_G^{op}\to D$02-invariant subsets $E:\mathrm{Orb}_G^{op}\to D$03, the square

$E:\mathrm{Orb}_G^{op}\to D$04

is Cartesian (Arnone et al., 9 Apr 2026). The theory is also $E:\mathrm{Orb}_G^{op}\to D$05-homotopy invariant: if $E:\mathrm{Orb}_G^{op}\to D$06 is a $E:\mathrm{Orb}_G^{op}\to D$07-homotopy equivalence between objects of $E:\mathrm{Orb}_G^{op}\to D$08, then $E:\mathrm{Orb}_G^{op}\to D$09 (Arnone et al., 9 Apr 2026).

These axioms are not merely formal properties; they characterize the theory. If $E:\mathrm{Orb}_G^{op}\to D$10 is a compactly assembled target, then the full $E:\mathrm{Orb}_G^{op}\to D$11-subcategory

$E:\mathrm{Orb}_G^{op}\to D$12

of functors satisfying open descent and cofiltered compact codescent is equivalent, via restriction to orbits, to $E:\mathrm{Orb}_G^{op}\to D$13: $E:\mathrm{Orb}_G^{op}\to D$14 with inverse $E:\mathrm{Orb}_G^{op}\to D$15 (Arnone et al., 9 Apr 2026). In particular, there is a unique Bredon-type cohomology theory satisfying those two axioms (Arnone et al., 9 Apr 2026).

A frequent misconception is to regard Bredon sheaf cohomology as just one more model for classical Bredon cohomology. The comparison theorem on $E:\mathrm{Orb}_G^{op}\to D$16-CW complexes is exact, but the uniqueness theorem shows that the new theory is distinguished by its extension to all locally compact Hausdorff $E:\mathrm{Orb}_G^{op}\to D$17-spaces under open descent and cofiltered compact codescent (Arnone et al., 9 Apr 2026).

4. Constructibility and the exit-path description

The geometric source of the theory is the orbit-type stratification of the quotient $E:\mathrm{Orb}_G^{op}\to D$18. The natural map

$E:\mathrm{Orb}_G^{op}\to D$19

to the poset of conjugacy classes of subgroups makes $E:\mathrm{Orb}_G^{op}\to D$20 a stratified space (Arnone et al., 9 Apr 2026). For every $E:\mathrm{Orb}_G^{op}\to D$21 and coefficient system $E:\mathrm{Orb}_G^{op}\to D$22, the sheaf $E:\mathrm{Orb}_G^{op}\to D$23 is constructible with respect to this orbit-type stratification (Arnone et al., 9 Apr 2026).

When $E:\mathrm{Orb}_G^{op}\to D$24 is a smooth $E:\mathrm{Orb}_G^{op}\to D$25-manifold, the quotient $E:\mathrm{Orb}_G^{op}\to D$26 is conically stratified of finite dimension, so one can form the exit-path $E:\mathrm{Orb}_G^{op}\to D$27-category $E:\mathrm{Orb}_G^{op}\to D$28 (Arnone et al., 9 Apr 2026). In this context,

$E:\mathrm{Orb}_G^{op}\to D$29

and the constructible sheaf $E:\mathrm{Orb}_G^{op}\to D$30 is classified by the composite

$E:\mathrm{Orb}_G^{op}\to D$31

where $E:\mathrm{Orb}_G^{op}\to D$32 sends an exit-path $E:\mathrm{Orb}_G^{op}\to D$33 to the map $E:\mathrm{Orb}_G^{op}\to D$34 obtained by lifting $E:\mathrm{Orb}_G^{op}\to D$35 to $E:\mathrm{Orb}_G^{op}\to D$36 and evaluating at $E:\mathrm{Orb}_G^{op}\to D$37 (Arnone et al., 9 Apr 2026). Consequently,

$E:\mathrm{Orb}_G^{op}\to D$38

This exit-path formula identifies the theory as a limit over the stratified combinatorics of orbit types rather than solely over fixed-point spaces. A plausible implication is that Bredon sheaf cohomology is particularly well adapted to singular quotient spaces, since the orbit-type stratification and constructibility are built into the definition rather than added afterward (Arnone et al., 9 Apr 2026).

5. Equivariant shape and recovery from pro-$E:\mathrm{Orb}_G^{op}\to D$39-objects

The theory also admits a shape-theoretic formulation. The geometric morphism

$E:\mathrm{Orb}_G^{op}\to D$40

admits a left adjoint on pro-objects

$E:\mathrm{Orb}_G^{op}\to D$41

and this is used to define the equivariant shape

$E:\mathrm{Orb}_G^{op}\to D$42

(Arnone et al., 9 Apr 2026). For every coefficient system $E:\mathrm{Orb}_G^{op}\to D$43, there is a natural equivalence

$E:\mathrm{Orb}_G^{op}\to D$44

so Bredon sheaf cohomology of $E:\mathrm{Orb}_G^{op}\to D$45 agrees with singular Bredon cohomology of its pro-$E:\mathrm{Orb}_G^{op}\to D$46-shape (Arnone et al., 9 Apr 2026).

This property, for $E:\mathrm{Orb}_G^{op}\to D$47, uniquely characterizes $E:\mathrm{Orb}_G^{op}\to D$48 among functors $E:\mathrm{Orb}_G^{op}\to D$49, and the equivariant shape inherits open descent and cofiltered compact codescent (Arnone et al., 9 Apr 2026). There is also a natural transformation

$E:\mathrm{Orb}_G^{op}\to D$50

that is an equivalence on each fiber under mild hypotheses: $E:\mathrm{Orb}_G^{op}\to D$51 Tychonoff, sublocally contractible, and $E:\mathrm{Orb}_G^{op}\to D$52 hypercomplete (Arnone et al., 9 Apr 2026).

This comparison clarifies the relation between the new theory and fixed-point-based constructions. It does not discard the traditional fixed-point data encoded by $E:\mathrm{Orb}_G^{op}\to D$53; rather, it packages that data through an equivariant shape functor that is compatible with the descent axioms and with the sheaf-theoretic construction on $E:\mathrm{Orb}_G^{op}\to D$54 (Arnone et al., 9 Apr 2026).

6. Algebraic $E:\mathrm{Orb}_G^{op}\to D$55-theory, equivariant $E:\mathrm{Orb}_G^{op}\to D$56-theory, and computational context

A principal application of Bredon sheaf cohomology is to invariants of categories of equivariant sheaves and of equivariant $E:\mathrm{Orb}_G^{op}\to D$57-algebras (Arnone et al., 9 Apr 2026). In the non-equivariant setting, Efimov’s theorem states that for a dualizable $E:\mathrm{Orb}_G^{op}\to D$58,

$E:\mathrm{Orb}_G^{op}\to D$59

and the equivariant theory generalizes this statement (Arnone et al., 9 Apr 2026).

Let $E:\mathrm{Orb}_G^{op}\to D$60 denote the coefficient system

$E:\mathrm{Orb}_G^{op}\to D$61

described as the “Borel” form of equivariant algebraic $E:\mathrm{Orb}_G^{op}\to D$62-theory (Arnone et al., 9 Apr 2026). Then

$E:\mathrm{Orb}_G^{op}\to D$63

the compactly supported Bredon sheaf cohomology of $E:\mathrm{Orb}_G^{op}\to D$64 (Arnone et al., 9 Apr 2026). Equivalently, this recovers the equivariant assembly map for the Farrell–Jones conjecture (Arnone et al., 9 Apr 2026).

The same uniqueness principle applies after replacing algebraic $E:\mathrm{Orb}_G^{op}\to D$65-theory by topological $E:\mathrm{Orb}_G^{op}\to D$66-theory: $E:\mathrm{Orb}_G^{op}\to D$67 (Arnone et al., 9 Apr 2026). For equivariant $E:\mathrm{Orb}_G^{op}\to D$68-theory, if $E:\mathrm{Orb}_G^{op}\to D$69 denotes the universal equivariant $E:\mathrm{Orb}_G^{op}\to D$70-theory functor, then

$E:\mathrm{Orb}_G^{op}\to D$71

(Arnone et al., 9 Apr 2026). These identifications place Bredon sheaf cohomology at the interface of equivariant topology, sheaf theory, and operator-algebraic invariants.

In computational practice, the classical orbit-category perspective remains essential. For $E:\mathrm{Orb}_G^{op}\to D$72, calculations of $E:\mathrm{Orb}_G^{op}\to D$73-graded Bredon cohomology of the four orbits

$E:\mathrm{Orb}_G^{op}\to D$74

show that for the Burnside ring Mackey functor $E:\mathrm{Orb}_G^{op}\to D$75, the groups

$E:\mathrm{Orb}_G^{op}\to D$76

depend only on the fixed-point dimensions

$E:\mathrm{Orb}_G^{op}\to D$77

(Basu et al., 2016). The same work proves a freeness theorem for $E:\mathrm{Orb}_G^{op}\to D$78-CW complexes with even cells and applies it to complex projective spaces and complex Grassmannians (Basu et al., 2016). While these results concern classical Bredon cohomology rather than the 2026 theory, they illustrate the computational infrastructure that the comparison theorem imports into Bredon sheaf cohomology on $E:\mathrm{Orb}_G^{op}\to D$79-CW complexes (Basu et al., 2016, Arnone et al., 9 Apr 2026).