Corpus ID: 119620903

Derivator Six Functor Formalisms -- Definition and Construction I

@inproceedings{Hormann2017DerivatorSF,
  title={Derivator Six Functor Formalisms -- Definition and Construction I},
  author={Fritz Hormann},
  year={2017}
}
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 2multicategories this has (like a usual fibered multiderivator) a very neat definition. This definition not only encodes all compatibilities among the six functors but also their interplay with homotopy Kan extensions. One could say: a nine-functor-formalism. This is essential, for instance, to deal with (co… Expand
Derivator Six-Functor-Formalisms -- Construction II
Starting from very simple and obviously necessary axioms on a (derivator enhanced) four-functorformalism, we construct derivator six-functor-formalisms using compactifications. This works, forExpand
Fibered Multiderivators and (co)homological descent
The theory of derivators enhances and simplifies the theory of triangulated categories. In this article a notion of fibered (multi-)derivator is developed, which similarly enhances fibrations ofExpand
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
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

References

SHOWING 1-10 OF 19 REFERENCES
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
Abstract representation theory of Dynkin quivers of type A
Abstract We study the representation theory of Dynkin quivers of type A in abstract stable homotopy theories, including those associated to fields, rings, schemes, differential-graded algebras, andExpand
Derivators, pointed derivators and stable derivators
We develop some aspects of the theory of derivators, pointed derivators and stable derivators. Stable derivators are shown to canonically take values in triangulated categories. Similarly, theExpand
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
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
Fibered Multiderivators and (co)homological descent
The theory of derivators enhances and simplifies the theory of triangulated categories. In this article a notion of fibered (multi-)derivator is developed, which similarly enhances fibrations ofExpand
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
Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks
Laszlo and Olsson constructed Grothendieck’s six operations for constructible complexes on Artin stacks in étale cohomology under an assumption of finite cohomological dimension, with base changeExpand
Six operations on dg enhancements of derived categories of sheaves
We lift Grothendieck’s six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Two applications concerning homological smoothness ofExpand
The six operations for sheaves on Artin stacks I: Finite coefficients
In this paper we develop a theory of Grothendieck’s six operations of lisse-étale constructible sheaves on Artin stacks locally of finite type over certain excellent schemes of finite KrullExpand
...
1
2
...