Corpus ID: 119291331

Derivator Six-Functor-Formalisms -- Construction II

  title={Derivator Six-Functor-Formalisms -- Construction II},
  author={Fritz Hormann},
Starting from very simple and obviously necessary axioms on a (derivator enhanced) four-functorformalism, we construct derivator six-functor-formalisms using compactifications. This works, for example, for various contexts over topological spaces and algebraic schemes alike. The formalism of derivator six-functor-formalisms not only encodes all isomorphisms between compositions of the six functors (and their compatibilities) but also the interplay with pullbacks along diagrams and homotopy Kan… Expand
2 Citations
Higher stacks as diagrams
Several possible presentations for the homotopy theory of (non-hypercomplete) ∞-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description inExpand
Cotorsion Pairs and Quillen Adjunctions
Let F : A ⇄ B : G be an adjunction between abelian categories and Ch(A) ⇄ Ch(B) the induced adjunction on chain complexes. Let A and B be equipped with sufficiently nice cotorsion pairs, then we findExpand


Derivator Six Functor Formalisms -- Definition and Construction I
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 ofExpand
Six-functor-formalisms and fibered multiderivators
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üller and Grothendieck formalisms (where eitherExpand
Foundations of Grothendieck Duality for Diagrams of Schemes
Joseph Lipman: Notes on Derived Functors and Grothendieck Duality.- Derived and Triangulated Categories.- Derived Functors.- Derived Direct and Inverse Image.- Abstract Grothendieck Duality forExpand
Enlargement of (fibered) derivators
We show that the theory of derivators (or, more generally, of fibered multiderivators) on all small categories is equivalent to this theory on partially ordered sets, in the following sense: EveryExpand
Isomorphisms between left and right adjoints
There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint beingExpand
The flat model structure on complexes of sheaves
Let Ch(O) be the category of chain complexes of 0-modules on a topological space T (where O is a sheaf of rings on T). We put a Quillen model structure on this category in which the cofibrant objectsExpand
Cotorsion pairs and model categories
This paper is an expanded version of two talks given by the author at the Summer School on the Interactions between Homotopy Theory and Algebra at the University of Chicago, July 26 to August 6,Expand
The linearity of traces in monoidal categories and bicategories
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, ifExpand
Motivic Hodge modules
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito'sExpand
Model Categories
iv Contents Preface vii Chapter 1. Model categories 1 1.1. The definition of a model category 2 1.2. The homotopy category 7 1.3. Quillen functors and derived functors 13 1.3.1. Quillen functors 13Expand