Dérivateur

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Un dérivateur est une notion introduite par Alexander Grothendieck pour essayer de rendre compte de manière catégorique des différentes théories de l'homologie et de l'homotopie, notamment en comblant les défauts des catégories dérivées.

Les dérivateurs peuvent se concevoir comme un aperçu des catégories d'ordre supérieur (en), tout en demeurant un objet de la théorie des catégories ordinaires.

Histoire et motivation[modifier | modifier le code]

Il s'agit de trouver un « bon » cadre pour l'algèbre homologique et homotopique (en), c'est-à-dire un jeu de catégories et de constructions qui en rendent compte de manière naturelle. Jean-Louis Verdier a introduit les catégories dérivées et triangulées pour rendre compte des phénomènes de dérivation, mais cela ne constitue pas une situation satisfaisante :

La notion de dérivateur a été introduite pour la première fois sous ce nom par Alexander Grothendieck dans À la poursuite des champs (en) (section 69) en 1983, et parallèlement étudiée par Alex Heller en 1988[1] sous le nom de « théories homotopiques ». Un exposé dédié est donné par Grothendieck dans Les Dérivateurs en 1990. En 1991, Bernhard Keller introduit les tours de catégories triangulées[2]. En 1996, Jens Franke introduit les systèmes de catégories triangulées de diagrammes[3], qui correspondent aux dérivateurs stables[4], et étend la théorie des dérivateurs au cadre enrichi.

Définition[modifier | modifier le code]

On désigne par Cat la 2-catégorie (en) des (grosses) catégories.

Pré-dérivateurs[modifier | modifier le code]

On considère un 2-catégorie Dia (« diagrammes ») de petites catégories. Un pré-dérivateur est un 2-foncteur strict

D : \mathrm{Dia}^{\mathrm{op}} \to \mathrm{Cat}

\mathrm{Dia}^{\mathrm{op}} est le 1-dual de la 2-catégorie. On peut donc le voir comme un préfaisceau sur Dia à valeurs dans Cat.

Un exemple important est le suivant : si (C, W) est une catégorie munie d'équivalences faibles, on considère le prédérivateur représentable défini par D_C : X \to C^X ; le prédérivateur d'homotopie \mathrm{Ho}(C) est obtenu en inversant les équivalences faibles induites W^X dans chaque diagramme :

\mathrm{Ho}(C) : X \to C^X \left[ \left( W^X \right)^{-1} \right]

Dérivateurs[modifier | modifier le code]

Un dérivateur est un prédérivateur D qui vérifie les axiomes suivants[5] :

  • (Der1) D transporte les coproduits sur les produit ;
  • (Der2) Pour un diagramme X de Dia, on considère la famille de foncteurs x : 1 \to X. Le foncteur induit
x^* : D(X) \to \prod_x D(1)

est conservatif ;

  • (Der3) Pour tout foncteur u : X → Y de Dia, l'image inverse u* : D(Y) → D(X) possède un adjoint à gauche u_{!} et à droite u_{*}, c'est-à-dire que u admet des extensions de Kan homotopiques : u_{!} \dashv u^{*} \dashv u_{*} ;
  • (Der4) Pour tout 2-produit fibré dans Dia
\begin{matrix} A & \overset{g}{\to} & B \\ ^f\downarrow &\swarrow& \downarrow^v\\ C& \underset{u}{\to} & E \end{matrix}

on a les isomorphismes f_!g^* \stackrel{\sim}{\to} u^*v_! et v^*u_* \stackrel{\sim}{\to} g_*f^*

  • (Der5) On note I = 2 la catégorie avec deux objets et un seul morphisme non trivial entre eux. Pour tout objet X de Dia, le foncteur induit
D(X \times I) \to \operatorname{Hom}(I, D(X))

est plein et essentiellement surjectif.

La 2-catégorie des dérivateurs[modifier | modifier le code]

Il existe plusieurs définitions possibles d'une 2-catégorie des dérivateurs, selon qu'on souhaite préserver les colimites homologiques, les limites, les deux ou aucune.

On peut définir la 2-catégorie Der dont :

  • Les objets sont les dérivateurs ;
  • Les 1-morphismes sont les transformations pseudo-naturelles qui commutent avec u_! (si on veut conserver les colimites, avec u_* si on veut conserver les limites, , etc.)
  • Les 2-cellules sont les transfeurs (ou modifications).

Dérivateurs pointés et stables[modifier | modifier le code]

Un dérivateur D est dit pointé si chaque catégorie D(X) possède un objet zéro, c'est-à-dire un objet à la fois initial et terminal. De tels objets sont en particulier conservés par les foncteurs u_!, u^*, u_*. En particulier, si D est pointé et M est une catégorie, D^M est pointé.

Un dérivateur fort est dit stable (ou triangulé) s'il est pointé et qu'un objet D(I \times I) est co-cartésien si et seulement s'il est cartésien. En particulier, si D est stable et M est une catégorie, D^M est stable. Le nom de dérivateur « triangulé » provient du théorème suivant : si D est un dérivateur stable, alors chaque catégorie D(X) est une catégorie triangulée de manière canonique.

Articles connexes[modifier | modifier le code]

Références[modifier | modifier le code]

  1. Alex Heller, Homotopy theories, Memoirs of the American Mathematical Society, Vol. 71, No 383 (1988).
  2. Bernhard Keller, Derived categories and universal problems, Communications in Algebra 19 (1991), p. 699-747
  3. Jens Franke, Uniqueness theorems for certain triangulated categories possessing an Adams spectral sequence, K-theory Preprint Archives 139 (1996).
  4. Maltsiniotis, Georges. La K-théorie d’un dérivateur triangulé (2005).
  5. Dans la présentation de Grothendieck, seuls sont présents les axiomes (Der1), (Der2), (Der3) et (Der4). Dans la présentation de Heller, les axiomes (Der1), (Der2), (Der3), une version faible de (Der4) et (Der5) où I est remplacé par toute catégorie libre finie.