Six-functor-formalisms and fibered multiderivators

DOI10.1007/S00029-018-0424-0MaRDI QIDQ1783967zbMATH OpenOpenAlexWikidataFDO

Authors Fritz Hörmann

Publication date 21 September 2018

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.02146

zbMATH Keywords

(op)fibered 2-multicategoriesderivatorsfibered derivatorsGrothendieck formalismssix-functor-formalismsWirthmüller formalisms

Mathematics Subject Classification ID

Fibered categories (18D30) Homological algebra in category theory, derived categories and functors (18G99) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: 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"uller and Grothendieck formalisms (where either $f^{!}=f^{\ast }$ or $f_{!}=f_{\ast }$) or intermediate formalisms where we have e.g. a natural morphism $f_{!}ightarrow{f}_{\ast }$. Finally, it is shown that a fibered multiderivator (in particular, a closed monoidal derivator) can be interpreted as a six-functor-formalism on diagrams (small categories). This gives, among other things, a considerable simplification of the axioms and of the proofs of basic properties, and clarifies the relation between the internal and external monoidal products in a (closed) monoidal derivator. Our main motivation is the development of a theory of derivator versions of six-functor-formalisms.

Review text

The main motivation of this paper is, as the author writes, the development of a theory of derivator versions of six-functors-formalisms. The two first sections of the paper are devoted to developing, from a new unified point of view, the theory of (op)-fibrations of 2-multicategories and then, to define abstract six-functor-formalisms. In the next two sections, it is explained how classical six-functor-formalisms can be encoded as certain 1-bifibrations of 2-multicategories over the so defined multicategory of correspondences or, even that of correspondences of diagrams. In Sections 5 and 6, the author explains the equivalence, in appropriate contexts, between the notion of certain 1-bifibrations of 2-multicategories and that of fibered multiderivator. Finally, the author gives axioms for Wirthmüller and Grothendieck formalisms or intermediate formalisms, and he shows that a fibered multiderivator can be interpreted as a six-functor-formalisms on diagrams.

Recommendations

• Fibered Multiderivators and (co)homological descent
• Six operations on dg enhancements of derived categories of sheaves
• Construction of six functor formalisms
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• scientific article; zbMATH DE number 1924510

Cites work

• Coherence for tricategories
• Cohomological direct images in model categories
• Fibered Multiderivators and (co)homological descent
• Fibred 2-categories and bicategories
• Foundations of Grothendieck duality for diagrams of schemes
• scientific article; zbMATH DE number 647417 (Why is no real title available?)
• scientific article; zbMATH DE number 2152035 (Why is no real title available?)
• Representable multicategories
• Some properties of Fib as a fibred \(2\)-category
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. II

Cited in

(5)

• Six operations on dg enhancements of derived categories of sheaves
• Enlargement of (fibered) derivators
• scientific article; zbMATH DE number 1924510 (Why is no real title available?)
• Construction of six functor formalisms
• An axiomatization of six-functor formalisms

This page was built for publication: Six-functor-formalisms and fibered multiderivators

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