Derivator Six-Functor-Formalisms -- Construction II
Abstract
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 Morel-Voevodsky-Ayoub, and also for the classical setting of unbounded complexes of sheaves of Abelian groups on `nice' topological spaces. The formalism of derivator six-functor-formalisms elegantly encodes all isomorphisms between compositions of the six functors (and their compatibilities) and moreover it gives coherent enhancements over diagrams of correspondences. Such a formalism allows to extend six-functor-formalisms to stacks using (co)homological descent.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2019
- DOI:
- 10.48550/arXiv.1902.03625
- arXiv:
- arXiv:1902.03625
- Bibcode:
- 2019arXiv190203625H
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Category Theory;
- 55U35;
- 14C15;
- 14F08;
- 18N40;
- 18G80
- E-Print:
- completely revised version now including the discussion of main examples