Related papers: The universal continuous six functor formalism on …
We show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g.…
We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales…
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…
This article is the last of the series of articles where we reprove the foundational ideas of abstract six-functor formalisms developed by Liu-Zheng. We prove the theorem of partial adjoints, which is a simplicial technique of encoding…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We prove a new fixed - point result for the image Im(j) of any continuous function j from K to (K x K), where K is a compact convex subset of a Hausdorff locally convex space, provided that the projection of Im(j) to the first factor is…
This paper is part of a series of articles in which we reproduce the statements regarding the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem, which is an $\infty$-categorical version for defining…
We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…
We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.
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…
In this article, it is shown that derivator six-functor-formalisms on any (classical) site canonically extend to higher geometric stacks as defined by To\"en-Vezzosi under some natural locality conditions. As an application, it is shown…
We establish the convergence of pseudospectra in Hausdorff distance for closed operators acting in different Hilbert spaces and converging in the generalised norm resolvent sense. As an assumption, we exclude the case that the limiting…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
The goal of this paper is to establish a general fixed point theorem for compact single-valued continuous mapping in Hausdorff p-vector spaces, and the fixed point theorem for upper semicontinuous set-valued mappings in Hausdorff locally…
A version of Arzel\`a-Ascoli theorem for $X$ being $\sigma$-locally compact Hausdorff space is proved. The result is used in proving compactness of Fredholm, Hammerstein and Urysohn operators. Two fixed point theorems, for Hammerstein and…
The theory of condensed mathematics by Dustin Clausen and Peter Scholze claims that topological spaces should be replaced by the definition of condensed sets. The main purpose of this paper is to investigate in which way the theory of…
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…
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…