An axiomatization of six-functor formalisms

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üller 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.

v4: Final version, as published. Minor changes are made throughout to improve exposition, thanks to referee. The final section and appendix are combined

References in corpus (6)

• The six operations in equivariant motivic homotopy theory
• Universality of multiplicative infinite loop space machines
• The six-functor formalism for rigid analytic motives
• The universal six-functor formalism
• Higher Semiadditive Algebraic K-Theory and Redshift
• A descent principle for compactly supported extensions of functors