In mathematics, derivators are a proposed framework[1][2]pg 190-195 for homological algebra giving a foundation for both abelian and non-abelian homological algebra and various generalizations of it. They were introduced to address the deficiencies of derived categories (such as the non-functoriality of the cone construction) and provide at the same time a language for homotopical algebra.

Derivators were first introduced by Alexander Grothendieck in his long unpublished 1983 manuscript Pursuing Stacks. They were then further developed by him in the huge unpublished 1991 manuscript Les Dérivateurs of almost 2000 pages. Essentially the same concept was introduced (apparently independently) by Alex Heller.[3]

The manuscript has been edited for on-line publication by Georges Maltsiniotis. The theory has been further developed by several other people, including Heller, Franke, Keller and Groth.

Motivations

One of the motivating reasons for considering derivators is the lack of functoriality with the cone construction with triangulated categories. Derivators are able to solve this problem, and solve the inclusion of general homotopy colimits, by keeping track of all possible diagrams in a category with weak equivalences and their relations between each other. Heuristically, given the diagram

which is a category with two objects and one non-identity arrow, and a functor

to a category with a class of weak-equivalences (and satisfying the right hypotheses), we should have an associated functor

where the target object is unique up to weak equivalence in . Derivators are able to encode this kind of information and provide a diagram calculus to use in derived categories and homotopy theory.

Definition

Prederivators

Formally, a prederivator is a 2-functor

from a suitable 2-category of indices to the category of categories. Typically such 2-functors come from considering the categories where is called the category of coefficients. For example, could be the category of small categories which are filtered, whose objects can be thought of as the indexing sets for a filtered colimit. Then, given a morphism of diagrams

denote by

This is called the inverse image functor. In the motivating example, this is just precompositition, so given a functor there is an associated functor . Note these 2-functors could be taken to be

where is a suitable class of weak equivalences in a category .

Indexing categories

There are a number of examples of indexing categories which can be used in this construction

  • The 2-category of finite categories, so the objects are categories whose collection of objects are finite sets.
  • The ordinal category can be categorified into a two category, where the objects are categories with one object, and the functors come form the arrows in the ordinal category.
  • Another option is to just use the category of small categories.
  • In addition, associated to any topological space is a category which could be used as the indexing category.
  • Moreover, the sites underlying the Zariksi, Etale, etc, topoi of for some scheme or algebraic space along with their morphisms can be used for the indexing category
  • This can be generalized to any topos , so the indexing category is the underlying site.

Derivators

Derivators are then the axiomatization of prederivators which come equipped with adjoint functors

where is left adjoint to and so on. Heuristically, should correspond to inverse limits, to colimits.

References

  1. Grothendieck. "Les Dérivateurs". Archived from the original on 2014-11-20.
  2. Grothendieck. "Pursuing Stacks". thescrivener.github.io. Archived (PDF) from the original on 30 Jul 2020. Retrieved 2020-09-17.
  3. Heller 1988.

Bibliography


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.