We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Topology

Title: Six functor formalism for sheaves with non-presentable coefficients

Authors: Marco Volpe
Abstract: In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in [KS90], 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 our coefficients to be presentable or restrict to hypercomplete sheaves, our arguments will be not obvious and substantially different from the ones contained in [KS90]. Along the way we also study locally contractible geometric morphisms and prove that, if $f:X\rightarrow Y$ is a continous map which induces a locally contractible geometric morphism, then the exceptional pullback functor $f^!$ satisfies a formula generalizing [KS90, Proposition 3.3.2 (ii)], where it is proven only for topological submersions. At the end of our paper we also show how one can express Atiyah duality by means of the six functor formalism.
Comments: 53 pages
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); Differential Geometry (math.DG); K-Theory and Homology (math.KT)
MSC classes: 54B40, 18F20, 18N60
Cite as: arXiv:2110.10212 [math.AT]
  (or arXiv:2110.10212v1 [math.AT] for this version)

Submission history

From: Marco Volpe [view email]
[v1] Tue, 19 Oct 2021 19:20:23 GMT (44kb)

Link back to: arXiv, form interface, contact.