Uniqueness of six-functor formalisms
read the original abstract
We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically \'etale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and exceptional direct images for certain "proper" morphisms, and between the inverse and exceptional inverse images for certain "\'etale" morphisms. Using this framework, we prove Scholze's conjecture, showing that a six-functor formalism with sufficiently many cohomologically proper and \'etale morphisms is uniquely determined by the tensor product and inverse image functors, and can be obtained by a construction of Liu-Zheng and Mann. Additionally, we show that a generalisation of the conjecture fails, and propose a measure of this failure in terms of K-theory.
This paper has not been read by Pith yet.
Forward citations
Cited by 3 Pith papers
-
A characterization of sheaves among six functor formalisms on $\mathrm{LCH}$
Sheaf categories are the unique six functor formalisms on LCH spaces satisfying natural properties, implying equivalence for continuous formalisms.
-
$E$-theory of $X$-$C^{*}$-algebras and functor formalisms
E-theory on locally compact Hausdorff spaces is shown to be equivalent to E-valued sheaves via a six-functor formalism, with a further equivalence to cosheaves for locales that are finite unions of opens.
-
$E$-theory of $X$-$C^{*}$-algebras and functor formalisms
E-theory categories for locally compact Hausdorff spaces and finite-open locales are equivalent to E-valued sheaves and cosheaves respectively.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.