pith. sign in

arxiv: 2606.10453 · v1 · pith:2ILIUJILnew · submitted 2026-06-09 · 🧮 math.AT · math.CT· math.KT

A characterization of sheaves among six functor formalisms on LCH

Ulrich Bunke , Marco Volpe This is my paper

Pith reviewed 2026-06-27 11:17 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.KT
keywords six functor formalismsheaveslocally compact Hausdorff spacesinfinity-categoriescontinuous formalismsZhu continuitystable monoidal categories
0
0 comments X

The pith

Sheaves on locally compact Hausdorff spaces are the unique six-functor formalism satisfying a list of natural properties.

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

The paper establishes that for any stable presentably symmetric monoidal infinity-category C, the category of sheaves Shv(-,C) is the only six functor formalism on the category of locally compact Hausdorff spaces that fulfills several standard axioms. This uniqueness implies that all such formalisms are determined solely by the category assigned to a single point. A sympathetic reader cares because it provides a way to recognize when a given construction of six functors is essentially the sheaf construction with appropriate coefficients, unifying various approaches in higher category theory and geometry.

Core claim

Let C be any stable presentably symmetric monoidal infinity-category. The sheaf formalism Shv(-,C) on locally compact Hausdorff spaces is the unique six functor formalism satisfying a list of very natural properties. As a consequence, every continuous six functor formalism D in the sense of Zhu is equivalent to Shv(-, D(pt)).

What carries the argument

The list of very natural properties that isolate the sheaf six-functor formalism among all possible assignments of categories with six functors to spaces.

Load-bearing premise

That the specified list of natural properties, together with Zhu's continuity condition, is sufficient to uniquely identify the sheaf formalism.

What would settle it

The existence of a six functor formalism on locally compact Hausdorff spaces that satisfies all the listed natural properties but is not equivalent to the sheaf construction with coefficients D(pt) would disprove the main claim.

read the original abstract

Let $\mathcal{C}$ be any stable presentably symmetric monoidal $\infty$-category. In this paper, we characterize $\mathrm{Shv}(-,\mathcal{C})$ on locally compact Hausdorff spaces as the unique six functor formalism satisfying a list of very natural properties. As a consequence, we deduce that every continuous six functor formalism $D$ in the sense of Zhu is equivalent to $\mathrm{Shv}(-, D(\mathrm{pt}))$.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that for any stable presentably symmetric monoidal ∞-category C, the six-functor formalism Shv(−,C) on locally compact Hausdorff spaces is the unique such formalism satisfying a list of natural properties; as a consequence, every continuous six-functor formalism D in the sense of Zhu is equivalent to Shv(−,D(pt)).

Significance. If the uniqueness characterization holds, the result supplies a canonical identification of sheaf categories among six-functor formalisms on LCH, with the corollary providing a concrete equivalence for all continuous formalisms in Zhu’s framework. This would constitute a useful classification statement in the theory of six-functor formalisms.

minor comments (2)
  1. [Abstract / Introduction] The abstract refers to “a list of very natural properties” without enumerating them; the introduction or §2 should make the precise list explicit at the outset so that the uniqueness statement can be checked directly against the axioms.
  2. [§1] Notation for the six-functor formalism (e.g., the precise meaning of “continuous” in the sense of Zhu) should be fixed once in a preliminary section and used consistently; occasional shifts between D and Shv(−,D(pt)) could be clarified.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main theorem, and recommendation of minor revision. The report correctly identifies the uniqueness characterization of Shv(−,C) and the corollary identifying continuous six-functor formalisms with sheaf categories.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central result is a uniqueness characterization of Shv(−,C) among six-functor formalisms on LCH via an explicit list of natural properties, from which the equivalence for continuous D follows logically. No step reduces a claimed prediction or uniqueness to a fitted input, self-definition, or load-bearing self-citation by construction; the axioms are presented as independent and external to the target objects. The derivation chain is therefore self-contained against the stated premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on an unspecified list of natural properties for six functor formalisms and on the definition of continuity from Zhu; without the full text these cannot be enumerated exhaustively.

axioms (2)
  • domain assumption The list of very natural properties that six functor formalisms are required to satisfy
    The uniqueness statement depends on these properties being exactly the ones that isolate sheaves.
  • domain assumption The definition of continuous six functor formalism in the sense of Zhu
    The equivalence consequence invokes this external definition.

pith-pipeline@v0.9.1-grok · 5596 in / 1268 out tokens · 25088 ms · 2026-06-27T11:17:48.775827+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 8 canonical work pages · 2 internal anchors

  1. [1]

    Th \'e orie des topos et cohomologie \'e tale des sch \'e mas

    Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier, editors. Th \'e orie des topos et cohomologie \'e tale des sch \'e mas. S\'e minaire de G\'e om \'e trie A lg \'e brique du B ois- M arie, 1963-64 ( SGA 4) , volume 269, 270, 305 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, Heidelberg, 1972. Tomes I-III

    1963

  2. [2]

    The sheaves--spectrum adjunction

    Ko Aoki. The sheaves--spectrum adjunction. Preprint, arXiv :2302.04069 [math. CT ] (2023), 2023

    work page arXiv 2023

  3. [3]

    $E$-theory of $X$-$C^{*}$-algebras and functor formalisms

    Ulrich Bunke. E -theory of X-C^ * -algebras and functor formalisms. https://arxiv.org/abs/2605.19863 https://arxiv.org/abs/2605.19863, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  4. [4]

    Universality of span 2-categories and the construction of 6-functor formalisms

    Bastiaan Cnossen, Tobias Lenz, and Sil Linskens. Universality of span 2-categories and the construction of 6-functor formalisms. https://arxiv.org/pdf/2505.19192.pdf https://arxiv.org/pdf/2505.19192.pdf, 05 2025

    work page arXiv 2025

  5. [5]

    Twisted Ambidexterity in Equivariant Homotopy Theory: Two Approaches

    Bastiaan Cnossen. Twisted Ambidexterity in Equivariant Homotopy Theory: Two Approaches . Phd thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn, Germany, 2024

    2024

  6. [6]

    Uniqueness of six-functor formalisms

    Adam Dauser and Josefien Kuijper. Uniqueness of six-functor formalisms. https://arxiv.org/abs/2412.15780 https://arxiv.org/abs/2412.15780, 2024

    work page arXiv 2024

  7. [7]

    6-functor Formalisms and Smooth Representations

    Claudius Heyer and Lucas Mann. 6-functor Formalisms and Smooth Representations . https://arxiv.org/abs/2410.13038 https://arxiv.org/abs/2410.13038, 2024

    work page arXiv 2024

  8. [8]

    u tzst \

    Achim Krause, Thomas Nikolaus, and Phil P \"u tzst \"u ck. Scheaves on manifolds. https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/sheaves-on-manifolds.pdf https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/sheaves-on-manifolds.pdf

  9. [9]

    Sheaves on Manifolds , volume 292 of Grundlehren der mathematischen Wissenschaften

    Masaki Kashiwara and Pierre Schapira. Sheaves on Manifolds , volume 292 of Grundlehren der mathematischen Wissenschaften . Springer-Verlag, Berlin, Heidelberg, 1990

    1990

  10. [10]

    Higher topos theory , volume 170 of Annals of Mathematics Studies

    Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009

    2009

  11. [11]

    Higher Algebra

    Jacob Lurie. Higher Algebra . www.math.harvard.edu/ lurie http://www.math.harvard.edu/ lurie/, 2017

    2017

  12. [12]

    Gluing restricted nerves of $\infty$-categories

    Yifeng Liu and Weizhe Zheng. Gluing restricted nerves of -categories. https://arxiv.org/abs/1211.5294 https://arxiv.org/abs/1211.5294, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  13. [13]

    Six-functor Formalisms

    Peter Scholze. Six-functor Formalisms . Preprint, arXiv :2510.26269 [math. AG ] (2025), 2025

    work page arXiv 2025

  14. [14]

    Dualit \'e dans la cohomologie des espaces localement compacts

    Jean-Louis Verdier. Dualit \'e dans la cohomologie des espaces localement compacts. S \'e minaire Bourbaki , 9:337--349, 1964--1966

    1964

  15. [15]

    The six operations in topology

    Marco Volpe. The six operations in topology. Journal of Topology , 18(4):e70050, 2025

    2025

  16. [16]

    Continuous six-functor formalism on locally compact Hausdorff spaces

    Qingchong Zhu. Continuous six-functor formalism on locally compact Hausdorff spaces. https://arxiv.org/abs/2507.13537 https://arxiv.org/abs/2507.13537, 2025

    work page arXiv 2025