arxiv: 2604.08066 · v1 · submitted 2026-04-09 · 🧮 math.KT · math.AT· math.OA

Recognition: 2 theorem links

· Lean Theorem

Bredon sheaf cohomology

Devarshi Mukherjee, Guido Arnone, Thomas Nikolaus

Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3

classification 🧮 math.KT math.ATmath.OA

keywords Bredon sheaf cohomologyequivariant K-theoryG-spacessheaf cohomologyuniqueness theoremequivariant E-theorydescent conditions

0 comments

The pith

Bredon sheaf cohomology is the unique functor from locally compact Hausdorff G-spaces to dualizable stable categories that satisfies equivariant open descent and cofiltered compact codescent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines Bredon sheaf cohomology as a new equivariant cohomology theory for finite group G acting on locally compact Hausdorff spaces. This theory computes the algebraic K-theory of the category of equivariant sheaves and the equivariant E-theory of the C*-algebra of continuous functions. It recovers classical Bredon cohomology when the space is a G-CW complex and ordinary sheaf cohomology when G is trivial. The central result is a uniqueness theorem: any functor to a dualizable stable category obeying the two descent conditions must agree with Bredon sheaf cohomology.

Core claim

For finite G the algebraic K-theory of equivariant sheaves on a locally compact Hausdorff G-space equals Bredon sheaf cohomology, as does the equivariant E-theory of the C*-algebra of continuous functions. Bredon sheaf cohomology is characterized by the strong uniqueness property that any functor from the category of such G-spaces to a dualizable stable category satisfying equivariant open descent and cofiltered compact codescent is equivalent to it.

What carries the argument

Bredon sheaf cohomology, the equivariant cohomology theory characterized by its agreement with classical cases and by the equivariant open descent plus cofiltered compact codescent conditions.

If this is right

The algebraic K-theory of equivariant sheaves on any locally compact Hausdorff G-space is given by Bredon sheaf cohomology.
The equivariant E-theory of the C*-algebra of continuous functions on such a space equals Bredon sheaf cohomology.
Bredon sheaf cohomology agrees with classical Bredon cohomology on G-CW complexes.
When G is trivial the theory reduces to ordinary sheaf cohomology.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Other invariants that obey the same two descent conditions on G-spaces can be identified with Bredon sheaf cohomology without separate computation.
The uniqueness statement supplies a template for characterizing cohomology theories on other categories of spaces or actions once analogous descent axioms are formulated.
Structural properties established for Bredon sheaf cohomology, such as functoriality and excision, become available for any invariant shown to satisfy the descent conditions.

Load-bearing premise

Any functor under consideration must land in a dualizable stable category and must satisfy both the equivariant open descent and the cofiltered compact codescent conditions.

What would settle it

Exhibiting a functor from locally compact Hausdorff G-spaces to a dualizable stable category that obeys equivariant open descent and cofiltered compact codescent yet differs from Bredon sheaf cohomology when evaluated on some concrete G-space.

read the original abstract

For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of continuous functions. These invariants admit natural descriptions in terms of a new equivariant cohomology theory, which we call Bredon sheaf cohomology. This theory recovers classical Bredon cohomology for $G$-CW complexes and ordinary sheaf cohomology when $G$ is trivial. We establish its basic structural properties and prove a strong uniqueness theorem: any functor from the category of locally compact Hausdorff $G$-spaces to a dualizable stable category satisfying equivariant open descent and cofiltered compact codescent is equivalent to Bredon sheaf cohomology, generalizing a result of Clausen.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines Bredon sheaf cohomology for finite group actions and proves a uniqueness theorem via descent conditions that organizes equivariant K-theory and E-theory computations.

read the letter

The main takeaway is that Arnone, Mukherjee, and Nikolaus define Bredon sheaf cohomology on locally compact Hausdorff G-spaces for finite G and show it computes the algebraic K-theory of equivariant sheaves (generalizing Efimov) plus the equivariant E-theory of the C*-algebra of continuous functions. They also prove that any functor from these spaces to a dualizable stable category satisfying equivariant open descent and cofiltered compact codescent must be equivalent to this theory, which extends Clausen's non-equivariant uniqueness result. The definition recovers classical Bredon cohomology on G-CW complexes and ordinary sheaf cohomology for trivial G, which is a clean consistency check. The applications to K-theory and E-theory follow once the descent properties are verified for the new functor. The setup in dualizable stable categories aligns well with the target invariants. Soft spots are limited. The uniqueness statement requires the target to be dualizable and stable plus the precise descent conditions, so it does not apply to every conceivable functor, but the paper focuses on the relevant cases and verifies the conditions hold for their construction. No circularity or fitting problems show up in the stated logic, and the recovery of known cases provides supporting evidence. The abstract presents the results as complete, so a referee would still need to inspect the descent verifications and any technical details in the proofs. This work is for researchers in equivariant homotopy theory, algebraic K-theory, or C*-algebras who want a uniform way to handle these invariants through descent. Readers who value characterization theorems that standardize computations will find it useful. It deserves a serious referee because the claims are concrete, the uniqueness is a useful organizing tool, and the results build directly on prior work without evident gaps in the overall structure. I recommend sending it to peer review; the central argument looks like it holds up.

Referee Report

2 major / 2 minor

Summary. The paper introduces Bredon sheaf cohomology for finite groups G acting on locally compact Hausdorff G-spaces. It computes the algebraic K-theory of the category of equivariant sheaves (generalizing Efimov) and the equivariant E-theory of the C*-algebra of continuous functions, expressing both via this new cohomology theory. The theory recovers classical Bredon cohomology on G-CW complexes and ordinary sheaf cohomology for trivial G. Basic structural properties are established, and a uniqueness theorem is proved: any functor from the category of locally compact Hausdorff G-spaces to a dualizable stable category that satisfies equivariant open descent and cofiltered compact codescent is equivalent to Bredon sheaf cohomology, generalizing Clausen's non-equivariant result.

Significance. If the derivations hold, this provides a characterizing uniqueness theorem for an equivariant cohomology theory that directly yields computations of algebraic K-theory and E-theory in the G-equivariant setting. The recovery of classical Bredon and sheaf cohomology, together with the descent conditions, positions the result as a natural equivariant extension of Clausen's work with potential applications in equivariant homotopy theory and operator algebras. The absence of free parameters or ad-hoc axioms in the uniqueness statement strengthens the claim.

major comments (2)

[§4, Theorem 4.12] §4, Theorem 4.12 (uniqueness): the statement that the functor is equivalent to Bredon sheaf cohomology assumes the target is dualizable and stable; the proof sketch should explicitly verify that the constructed Bredon sheaf cohomology itself lands in such a category and satisfies the two descent conditions, as these are load-bearing for the equivalence.
[§5.2, Proposition 5.7] §5.2, Proposition 5.7 (K-theory computation): the reduction of K-theory of equivariant sheaves to Bredon sheaf cohomology relies on the descent properties; if the cofiltered compact codescent fails for non-proper actions, the identification with the cohomology groups would not hold, and this case should be addressed explicitly.

minor comments (2)

[§3] Notation for the equivariant open descent condition is introduced without a numbered definition; adding a displayed definition (e.g., Definition 3.4) would improve readability.
[Introduction] The abstract claims recovery of classical Bredon cohomology, but the precise statement (e.g., for finite G-CW complexes) appears only in §2.3; a forward reference in the abstract or introduction would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and the detailed, constructive comments. We address each major point below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

Referee: [§4, Theorem 4.12] §4, Theorem 4.12 (uniqueness): the statement that the functor is equivalent to Bredon sheaf cohomology assumes the target is dualizable and stable; the proof sketch should explicitly verify that the constructed Bredon sheaf cohomology itself lands in such a category and satisfies the two descent conditions, as these are load-bearing for the equivalence.

Authors: We agree that the uniqueness theorem in Theorem 4.12 requires an explicit check that Bredon sheaf cohomology satisfies the hypotheses. Our construction (Definition 3.5) takes values in the dualizable objects of the stable ∞-category of spectra. Equivariant open descent is proved in Proposition 4.3, and cofiltered compact codescent in Theorem 4.8. We will add a short paragraph at the end of the proof of Theorem 4.12 that directly confirms these two properties for our functor, making the application of the uniqueness result fully explicit. revision: yes
Referee: [§5.2, Proposition 5.7] §5.2, Proposition 5.7 (K-theory computation): the reduction of K-theory of equivariant sheaves to Bredon sheaf cohomology relies on the descent properties; if the cofiltered compact codescent fails for non-proper actions, the identification with the cohomology groups would not hold, and this case should be addressed explicitly.

Authors: The manuscript applies to arbitrary locally compact Hausdorff G-spaces (no properness assumption is imposed). In Section 5.1 we establish that cofiltered compact codescent holds for all such spaces when G is finite (Lemma 5.4 and the argument preceding Proposition 5.7). The reduction in Proposition 5.7 therefore remains valid without properness. We will insert a clarifying sentence in §5.2 noting that the descent properties are verified for general (possibly non-proper) actions and referencing the relevant lemmas. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs Bredon sheaf cohomology explicitly for locally compact Hausdorff G-spaces, verifies that it satisfies equivariant open descent and cofiltered compact codescent, and proves a uniqueness theorem asserting that any functor to a dualizable stable category obeying the same axioms is equivalent to this construction. This generalizes an external result of Clausen without any reduction of the central invariants or uniqueness statement to self-definitional equations, fitted parameters, or load-bearing self-citations. The derivation chain is therefore independent of its own outputs and remains self-contained against the stated axioms and external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard axioms of category theory, stable homotopy theory, and topology for locally compact Hausdorff spaces and dualizable stable categories; the new theory is defined to satisfy the listed descent conditions, which are treated as given properties rather than derived from more basic principles in the abstract.

axioms (2)

standard math Standard axioms of category theory and stable homotopy theory for dualizable stable categories and functors between them.
The uniqueness theorem is stated in terms of functors to dualizable stable categories satisfying descent, which presupposes the background framework of stable homotopy theory.
domain assumption Locally compact Hausdorff spaces admit equivariant open covers and cofiltered compact subsets in the usual topological sense.
The descent conditions are formulated using open descent and compact codescent on G-spaces, relying on the standard topology of locally compact Hausdorff spaces.

pith-pipeline@v0.9.0 · 5440 in / 1590 out tokens · 47372 ms · 2026-05-10T17:54:17.935870+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
any functor ... satisfying equivariant open descent and cofiltered compact codescent is equivalent to Bredon sheaf cohomology
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Γ^G_Br(X, E) := t^*(E)(X) ... recovers classical Bredon cohomology for G-CW complexes

Reference graph

Works this paper leans on

35 extracted references · 10 canonical work pages

[1]

Z.159(1978), no.2,143–158, DOI 10.1007/BF01214487.↑3,8

Herbert Abels,A universal properG-space, Math. Z.159(1978), no.2,143–158, DOI 10.1007/BF01214487.↑3,8

work page doi:10.1007/bf01214487 1978
[2]

David Ayala, John Francis, and Hiro Lee Tanaka,Local structures on stratified spaces, Adv. Math. 307(2017),903–1028, DOI10.1016/j.aim.2016.11.032.↑28

2017
[3]

Blumberg, David Gepner, and Gonc ¸alo Tabuada,A universal characterization of higher algebraicK-theory, Geom

Andrew J. Blumberg, David Gepner, and Gonc ¸alo Tabuada,A universal characterization of higher algebraicK-theory, Geom. Topol.17(2013), no.2,733–838, DOI10.2140/gt.2013.17.733.↑31

2013
[4]

Ulrich Bunke and Benjamin Duenzinger,E-theory is compactly assembled, arXiv preprint arXiv:2402.18228(2024).↑33,34

work page arXiv 2024
[5]

Ulrich Bunke, Alexander Engel, and Markus Land,A stable∞-category for equivariantKK-theory, arXiv preprint arXiv:2102.13372(2021).↑35

work page arXiv 2021
[6]

Ulrich Bunke,Lecture Course onC ∗-algebras andC ∗-categories, Online lecture notes (2021).↑34

2021
[7]

,Noncommutative homotopy theory - II, Online lecture notes (2023).↑35

2023
[8]

,Non-unitalC ∗-categories,(co) limits, crossed products and exactness, arXiv preprint arXiv:2008.06257(2020).↑35

work page arXiv 2008
[9]

Alain Connes and Nigel Higson,D ´eformations, morphismes asymptotiques et K-th ´eorie bivariante, CR Acad. Sci. Paris, S´erie I311(1990),101–106.↑33

1990
[10]

Isaksen,Topological hypercovers andA 1-realizations, Math

Daniel Dugger and Daniel C. Isaksen,Topological hypercovers andA 1-realizations, Math. Z.246 (2004), no.4,667–689, DOI10.1007/s00209-003-0607-y.↑25

2004
[11]

12169 [math.KT].url:https : / / arxiv

Alexander I. Efimov,K-theory and localizing invariants of large categories(2025), available at arXiv:2405.12169v3[math.KT].↑1,6,13,31

work page arXiv 2025
[12]

KT].↑31,33

,Rigidity of the category of localizing motives(2025), available atarXiv:2510.17010[math. KT].↑31,33

work page arXiv 2025
[13]

A. D. Elmendorf,Systems of fixed point sets, Trans. Amer. Math. Soc.277(1983), no.1,275–284, DOI10.2307/1999356.↑24

1983
[14]

Erik Guentner, Nigel Higson, and Jody Trout,EquivariantE-theory forC ∗-algebras703(2000).↑33

2000
[15]

Rune Haugseng,On lax transformations, adjunctions, and monads in(∞,2)-categories, High. Struct. 5(2021), no.1,244–281.↑33

2021
[16]

Andr ´e Henriques,Vector bundles on Orbispaces, Conference on Pure and Applied Topology Isle of Skye, Scotland,21-25June,2005,2005, pp.114.↑31

2005
[17]

Kaif Hilman and Maxime Ramzi,Equivariant localizing motives and multiplicative norms on alge- braic K-theory(2026), available atarXiv:2603.15873[math.KT].↑2,33

work page arXiv 2026
[18]

Scand.78(1996), no.1,37–55, DOI10.7146/math.scand.a-12572.↑2

Hannu Honkasalo,Sheaves on fixed point sets and equivariant cohomology, Math. Scand.78(1996), no.1,37–55, DOI10.7146/math.scand.a-12572.↑2

1996
[19]

,Equivariant Alexander–Spanier cohomology, Mathematica Scandinavica (1988),179–195. ↑2

1988
[20]

Is the∞-toposSh(X)hypercomplete wheneverXis a CW complex?

Marc Hoyois,MathOverflow answer to “Is the∞-toposSh(X)hypercomplete wheneverXis a CW complex?”(version of October2016), available athttps://mathoverflow.net/q/247061.↑26
[21]

18245[math.KT].↑1

Georg Lehner,AlgebraicK-theory of stably compact spaces(2026), available atarXiv:2602. 18245[math.KT].↑1

2026
[22]

Jacob Lurie,Higher topos theory, Annals of Mathematics Studies, vol.170, Princeton University Press, Princeton, NJ,2009.↑5,6,7,9,14,26

2009
[23]

↑5,25,28,29

,Higher algebra(2017), available athttps://www.math.ias.edu/ ˜lurie/papers/HA.pdf. ↑5,25,28,29

2017
[24]

,Spectral algebraic geometry(2018), available athttps://www.math.ias.edu/ ˜lurie/ papers/SAG-rootfile.pdf.↑1

2018
[25]

,Kerodon(version of March2,2026), available athttps://kerodon.net.↑21,34

2026
[26]

08907[math.AT].↑4,28,29

Patrick Mayeda,Exit path categories induced by group actions(2025), available atarXiv:2511. 08907[math.AT].↑4,28,29

2025
[27]

pdf.↑3,6,7,8,9,12,14,23,31,32 BREDON SHEAF COHOMOLOGY39

Thomas Nikolaus, Achim Krause, and Phil P ¨utzst¨uck,Sheaves on Manifolds(version of november 2024), available athttps://philpuetzstueck.gitlab.io/documents/sheaves-on-manifolds. pdf.↑3,6,7,8,9,12,14,23,31,32 BREDON SHEAF COHOMOLOGY39

2024
[28]

Scand.128(2022), no.2,229–238.↑24,25

Dan Petersen,A remark on singular cohomology and sheaf cohomology, Math. Scand.128(2022), no.2,229–238.↑24,25

2022
[29]

Math.232(2023), no.2,553–681, DOI10.1007/s00222-022-01173-2.↑19

Piotr Pstra ,gowski,Synthetic spectra and the cellular motivic category, Invent. Math.232(2023), no.2,553–681, DOI10.1007/s00222-022-01173-2.↑19

2023
[30]

Michael Puschnigg,Diffeotopy functors of ind-algebras and local cyclic cohomology, Documenta Mathematica8(2003),143–245.↑35

2003
[31]

Maxime Ramzi,Dualizable presentable∞-categories(2024), available atarXiv:2410.21537[math. CT].↑7

work page arXiv 2024
[32]

Maxime Ramzi, Vladimir Sosnilo, and Christoph Winges,Every motive is the motive of a stable ∞-category(2025), available atarXiv:2503.11338[math.KT].↑31

work page arXiv 2025
[33]

Hautes ´Etudes Sci

Graeme Segal,EquivariantK-theory, Inst. Hautes ´Etudes Sci. Publ. Math.34(1968),129–151.↑4

1968
[34]

Peter Scholze,Six-Functor Formalisms(2023), available athttps://people.mpim-bonn.mpg.de/ scholze/SixFunctors.pdf.↑7

2023
[35]

Marco Volpe,The six operations in topology(2023), available atarXiv:2110.10212v2[math.AT]. ↑7,32 Email address:garnone@dm.uba.ar Departamento de Matem ´atica/IMAS, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, (1428) Buenos Aires Email address:devarshi.mukherjee@maths.ox.ac.uk Mathematical Institute, Universi...

work page arXiv 2023