The six operations in topology

MaRDI QIDQ6380797zbMATH OpenFDO

Authors Marco Volpe

Publication date 19 October 2021

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Presheaves and sheaves in general topology (54B40)

Abstract: 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 closed symmetric monoidal $infty$-category which is stable and bicomplete. Notice that, since we do not assume that our coefficients are presentable or restrict to hypercomplete sheaves, our arguments are not obvious and are substantially different from the ones explained by Kashiwara and Schapira. Along the way we also study locally contractible geometric morphisms and prove that, if $f:XightarrowY$ is a continuous map which induces a locally contractible geometric morphism, then the exceptional pullback functor $f^{!}$ preserves colimits and can be related to the pullback $f^{\ast }$. At the end of our paper we also show how one can express Atiyah duality by means of the six functor formalism.

This page was built for publication: The six operations in topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6380797)