pith. sign in

arxiv: 2309.11449 · v4 · submitted 2023-09-20 · 🧮 math.AG · math.KT

An axiomatization of six-functor formalisms

Josefien Kuijper This is my paper

Pith reviewed 2026-05-24 06:23 UTC · model grok-4.3

classification 🧮 math.AG math.KT
keywords six-functor formalismNagata compactificationadjoint triplerecollementGrothendieck topologyopen immersionproper morphismlax symmetric monoidal functor
0
0 comments X

The pith

Nagata six-functor formalisms on varieties are determined by adjoint triples only for open immersions and proper morphisms.

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

The paper establishes that a Nagata six-functor formalism on varieties requires only the data of adjoint triples for open immersions and for proper morphisms together with specified compatibilities. Nagata compactification supplies the reduction from general morphisms to these two classes. A sympathetic reader would care because the reduced data makes it feasible to construct and compare such formalisms explicitly on geometric categories. The work further equates the existence of recollements in the local case with a hypersheaf condition on a Grothendieck topology whose covers are spans of an open immersion and a proper map.

Core claim

Using Nagata's compactification theorem, Nagata six-functor formalisms on varieties are given precisely by specifying adjoint triples for open immersions and for proper morphisms satisfying certain compatibilities. The existence of recollements is almost equivalent to a hypersheaf condition for the Grothendieck topology on the category of varieties and spans consisting of an open immersion and a proper map. This yields a faithful embedding of the category of local six-functor formalisms into the category of lax symmetric monoidal functors from smooth and complete varieties to presentable stable infinity-categories equipped with adjoint triples, together with a characterization of which such,

What carries the argument

The reduction, via Nagata compactification, of a Nagata six-functor formalism to adjoint triples for open immersions and proper morphisms with compatibilities.

If this is right

  • The category of local six-functor formalisms embeds faithfully into the category of lax symmetric monoidal functors from smooth and complete varieties to presentable stable infinity-categories with adjoint triples.
  • Lax symmetric monoidal functors on complete varieties that satisfy the listed conditions extend uniquely to local six-functor formalisms.
  • Recollements exist precisely when the hypersheaf condition holds for the Grothendieck topology generated by spans of open immersions and proper maps.

Where Pith is reading between the lines

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

  • The same reduction technique may apply to other base categories that admit a suitable compactification theorem.
  • The hypersheaf condition supplies a practical test for whether a candidate assignment on spans extends to a full local six-functor formalism.
  • The embedding result gives a way to produce new examples by starting with data only on smooth complete varieties and checking extendability.

Load-bearing premise

Nagata's compactification theorem supplies a factorization for every morphism in the category of varieties.

What would settle it

An explicit Nagata six-functor formalism on varieties whose functors for a general morphism cannot be recovered from the given adjoint triples on open immersions and proper morphisms via Nagata compactification would falsify the claim.

read the original abstract

In this paper, we consider some variations on Mann's definition $\infty$-categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that have the additional requirement of having Grothendieck and Wirthm\"uller contexts. We also consider local six-functor formalisms, which in addition to this, take values in presentable stable $\infty$-categories, and have recollements. Using Nagata's compactification theorem, we show that Nagata six-functor formalism on varieties can be given by just specifying adjoint triples for open immersions and for proper morphisms, satisfying certain compatibilities. The existence of recollements is (almost) equivalent to a hypersheaf condition for a Grothendieck topology on the category of ``varieties and spans consisting of an open immersion and a proper map''. Using this characterisation, we show that the category of local six-functor formalisms embeds faithfully into the category of lax symmetric monoidal functors from the category of smooth and complete varieties to the category of presentable stable $\infty$-categories and adjoint triples. We characterise which lax symmetric monoidal functors on complete varieties, taking values in the category of presentable stable $\infty$-categories and adjoint triples, extend to local six-functor formalisms.

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

2 major / 1 minor

Summary. The manuscript develops variations on Mann's ∞-categorical definition of abstract six-functor formalisms. It introduces Nagata six-functor formalisms (requiring Grothendieck and Wirthmüller contexts) and local six-functor formalisms (additionally valued in presentable stable ∞-categories and possessing recollements). Using Nagata's compactification theorem, it shows that Nagata six-functor formalisms on varieties are determined by adjoint triples for open immersions and proper morphisms satisfying certain compatibilities. It proves that the existence of recollements is (almost) equivalent to a hypersheaf condition for a Grothendieck topology on the category of varieties and spans of open immersions and proper maps. This characterization yields a faithful embedding of the category of local six-functor formalisms into the category of lax symmetric monoidal functors from smooth and complete varieties to presentable stable ∞-categories with adjoint triples, together with a characterization of which such functors extend to local six-functor formalisms.

Significance. If the central reductions hold, the work supplies a more economical axiomatization of six-functor formalisms that reduces the required data to adjoint triples on open and proper morphisms plus explicit compatibilities, leveraging the standard Nagata compactification theorem. The hypersheaf equivalence and the faithful embedding into functors on smooth complete varieties provide concrete tools for constructing or verifying such formalisms from data on a smaller subcategory, which may facilitate applications in derived algebraic geometry. The paper explicitly builds on external results (Nagata's theorem, prior ∞-categorical definitions) without circular dependence on its own outputs and avoids ad-hoc parameters.

major comments (2)
  1. [Abstract (paragraph on local six-functor formalisms)] Abstract (paragraph on local six-functor formalisms): the claim that recollements are '(almost) equivalent' to the hypersheaf condition is load-bearing for the embedding and extension theorems, yet the precise Grothendieck topology on the category of varieties and open+proper spans is not defined here; without this definition the equivalence cannot be verified and the exceptions implicit in 'almost' remain unclear.
  2. [The section on the reduction via Nagata compactification] The section on the reduction via Nagata compactification: the precise list of compatibilities required of the adjoint triples for open immersions and proper morphisms is not stated in the abstract; these compatibilities are load-bearing for the claim that the formalism is completely determined by such triples, and their sufficiency in the ∞-categorical setting must be checked against the cited theorem.
minor comments (1)
  1. [Abstract] Abstract: the phrase 'the category of varieties and spans consisting of an open immersion and a proper map' would benefit from an explicit notation or reference to the section where the category is formally introduced.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and for identifying points where greater precision in the abstract would strengthen the presentation. The two major comments concern the level of detail provided in the abstract rather than the correctness of the underlying arguments in the body of the paper. We address each comment below and will revise the abstract to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [Abstract (paragraph on local six-functor formalisms)] Abstract (paragraph on local six-functor formalisms): the claim that recollements are '(almost) equivalent' to the hypersheaf condition is load-bearing for the embedding and extension theorems, yet the precise Grothendieck topology on the category of varieties and open+proper spans is not defined here; without this definition the equivalence cannot be verified and the exceptions implicit in 'almost' remain unclear.

    Authors: We agree that the abstract, being a concise summary, does not spell out the Grothendieck topology or the precise exceptions captured by 'almost'. These are defined and proved in Section 4 of the manuscript: the topology is the one generated by covers consisting of open immersions and proper maps satisfying the usual stability conditions under pullback, and the 'almost' qualifier excludes the case of non-quasi-compact morphisms where recollements may fail to be stable under base change. The equivalence is established in Theorem 4.12 by verifying the hypersheaf condition directly from the recollement axioms. We will revise the abstract to include a parenthetical reference to this topology and the nature of the exceptions. revision: yes

  2. Referee: [The section on the reduction via Nagata compactification] The section on the reduction via Nagata compactification: the precise list of compatibilities required of the adjoint triples for open immersions and proper morphisms is not stated in the abstract; these compatibilities are load-bearing for the claim that the formalism is completely determined by such triples, and their sufficiency in the ∞-categorical setting must be checked against the cited theorem.

    Authors: The abstract uses the phrase 'satisfying certain compatibilities' to summarize the result whose full statement appears in Definition 3.4 and Theorem 3.8. The compatibilities are: (i) the projection formula for open immersions, (ii) base-change for proper maps along open immersions, (iii) the Wirthmüller isomorphism for proper maps, and (iv) the Beck-Chevalley condition for the relevant squares. Sufficiency in the ∞-categorical setting follows from the ∞-categorical Nagata compactification theorem of [cited reference], which is applied verbatim without additional hypotheses; the proof in Section 3 verifies that these four conditions are preserved under the ∞-categorical operations. We will expand the abstract to list these four compatibilities explicitly. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation rests on external theorems

full rationale

The paper's central results reduce Nagata six-functor formalisms to adjoint triples for open immersions and proper morphisms via Nagata's compactification theorem (an external classical result), and equate recollements to a hypersheaf condition on a Grothendieck topology generated by open+proper spans. No equations, definitions, or load-bearing steps are shown to reduce to the paper's own fitted parameters, self-definitions, or prior self-citations; the characterizations and embeddings are derived from stated compatibilities and the external theorem rather than by construction from the outputs themselves. The work is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background from higher category theory and one external theorem; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Presentable stable ∞-categories admit the required adjoint triples and recollements under the stated conditions.
    Invoked when defining local six-functor formalisms.
  • standard math Nagata's compactification theorem holds for the relevant class of varieties.
    Used to reduce the data needed for Nagata formalisms.

pith-pipeline@v0.9.0 · 5755 in / 1464 out tokens · 27856 ms · 2026-05-24T06:23:56.264684+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

32 extracted references · 32 canonical work pages

  1. [1]

    The six-functor formalism for rigid analytic motives

    Joseph Ayoub, Martin Gallauer, and Alberto Vezzani. The six-functor formalism for rigid analytic motives. Forum of Mathematics, Sigma , 10, 2022

    work page 2022

  2. [2]

    Les six opérations de grothendieck et le formalisme des cycles évanescents dans le monde motivique (i)

    Joseph Ayoub. Les six opérations de grothendieck et le formalisme des cycles évanescents dans le monde motivique (i). Astérisque , 314, 2018

    work page 2018

  3. [3]

    Les six opérations de grothendieck et le formalisme des cycles évanescents dans le monde motivique (ii)

    Joseph Ayoub. Les six opérations de grothendieck et le formalisme des cycles évanescents dans le monde motivique (ii). Astérisque , 315, 2018

    work page 2018

  4. [4]

    Shay Ben-Moshe and Tomer M. Schlank. Higher semi-additive algebraic k-theory and redshift. Compositio Mathematica , 160(2):237–287, 2023

    work page 2023

  5. [5]

    Hermitian K -theory for stable -categories II : Cobordism categories and additivity, 2020

    Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian K -theory for stable -categories II : Cobordism categories and additivity, 2020. Preprint

    work page 2020

  6. [6]

    Mixed H odge structures and formality of symmetric monoidal functors

    Joana Cirici and Geoffroy Horel. Mixed H odge structures and formality of symmetric monoidal functors. Annales Scientifiques de l'\' E cole Normale Sup\' e rieure. Quatri\`eme S\' e rie , 53(4):1071--1104, 2020

    work page 2020

  7. [7]

    The universal six-functor formalism

    Brad Drew and Martin Gallauer. The universal six-functor formalism. Annals of K-Theory , 7(4):599–649, 2022

    work page 2022

  8. [8]

    Uniqueness of six-functor formalisms

    Adam Dauser and Josefien Kuijper. Uniqueness of six-functor formalisms. In preparation

    work page

  9. [9]

    Ind-coherent sheaves

    Dennis Gaitsgory. Ind-coherent sheaves. Moscow Mathematical Journal , 13(3):399–528, 2013

    work page 2013

  10. [10]

    Universality of multiplicative infinite loop space machines

    David Gepner, Moritz Groth, and Thomas Nikolaus. Universality of multiplicative infinite loop space machines. Algebraic & Geometric Topology , 15(6):3107–3153, December 2015

    work page 2015

  11. [11]

    Gaitsgory and N

    D. Gaitsgory and N. Rozenblyum. A Study in Derived Algebraic Geometry: Volume I: Correspondences and Duality . Mathematical Surveys and Monographs. American Mathematical Society, 2019

    work page 2019

  12. [12]

    Six-functor-formalisms and fibered multiderivators

    Fritz H\" o rmann. Six-functor-formalisms and fibered multiderivators. Selecta Mathematica , 24(4):2841–2925, 2018

    work page 2018

  13. [13]

    Dwyer- K an localization revisited

    Vladimir Hinich. Dwyer- K an localization revisited. Homology, Homotopy and Applications , 18(1):27--48, 2016

    work page 2016

  14. [14]

    The six operations in equivariant motivic homotopy theory

    Marc Hoyois. The six operations in equivariant motivic homotopy theory. Advances in Mathematics , 305:197–279, 2017

    work page 2017

  15. [15]

    The six operations in equivariant motivic homotopy theory

    Marc Hoyois. The six operations in equivariant motivic homotopy theory. Advances in Mathematics , 305:197--279, 2017

    work page 2017

  16. [16]

    Johnstone

    Peter T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium, Volume 1 . Clarendon Press, 2002

    work page 2002

  17. [17]

    Weaves, 2023

    Adeel Khan. Weaves, 2023. Preprint

    work page 2023

  18. [18]

    Presentations of \' e tendues

    Anders Kock and Ieke Moerdijk. Presentations of \' e tendues. Cahiers de Topologie et G\' e om\' e trie Diff\' e rentielle Cat\' e goriques , 32(2):145--164, 1991

    work page 1991

  19. [19]

    Sheaves on Manifolds

    Masaki Kashiwara and Pierre Schapira. Sheaves on Manifolds . Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 1990

    work page 1990

  20. [20]

    A descent principle for compactly supported extensions of functors

    Josefien Kuijper. A descent principle for compactly supported extensions of functors. Annals of K-Theory , 8(3):489–529, 2023

    work page 2023

  21. [21]

    Higher Topos Theory

    Jacob Lurie. Higher Topos Theory . Annals of mathematics studies. Princeton University Press, 2009

    work page 2009

  22. [22]

    Derived algebraic geometry vii: Spectral schemes, 2011

    Jacob Lurie. Derived algebraic geometry vii: Spectral schemes, 2011

    work page 2011

  23. [23]

    Derived algebraic geometry ii: Noncommutative algebra, 2017

    Jacob Lurie. Derived algebraic geometry ii: Noncommutative algebra, 2017

    work page 2017

  24. [24]

    Higher A lgebra

    Jacob Lurie. Higher A lgebra. https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    work page 2017

  25. [25]

    Enhanced six operations and base change theorem for higher artin stacks, 2012

    Yifeng Liu and Weizhe Zheng. Enhanced six operations and base change theorem for higher artin stacks, 2012. Preprint

    work page 2012

  26. [26]

    Gluing restricted nerves of -categories, 2012

    Yifeng Liu and Weizhe Zheng. Gluing restricted nerves of -categories, 2012. Preprint

    work page 2012

  27. [27]

    A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry

    Lucas Mann. A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry . PhD thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, 2022

    work page 2022

  28. [28]

    Parshall and L.L

    B. Parshall and L.L. Scott. Derived categories, quasi-hereditary algebras and algebraic groups. In Proceedings of the Ottawa-Moosonee Workshop in Algebra 1987 , volume 3 of Mathematical Lecture Series , pages 1--104. Carleton University and Universite d'Ottawa, 1988

    work page 1987

  29. [29]

    Six-functors formalisms

    Peter Scholze. Six-functors formalisms. Lecture notes, 2022

    work page 2022

  30. [30]

    Homotopy theory of simplicial sheaves in completely decomposable topologies

    Vladimir Voevodsky. Homotopy theory of simplicial sheaves in completely decomposable topologies. J. Pure Appl. Algebra , 214(8):1384--1398, 2010

    work page 2010

  31. [31]

    Unstable motivic homotopy categories in N isnevich and cdh-topologies

    Vladimir Voevodsky. Unstable motivic homotopy categories in N isnevich and cdh-topologies. Journal of Pure and Applied Algebra , 214(8):1399--1406, 2010

    work page 2010

  32. [32]

    The six operations in topology, 2021

    Marco Volpe. The six operations in topology, 2021. preprint

    work page 2021