Le théorème de Quillen, d'adjonction des foncteurs dérivés, revisité

RésuméLe but de cette Note est de donner une preuve originale très facile, voire purement formelle, du théorème d'adjonction des foncteurs dérivés, dû à Quillen, ainsi que de ses variantes et généralisations plus récentes. Pour cela, on démontre un résultat, encore plus général, d'adjonction des foncteurs dérivés « absolus ». En contraste avec toutes les preuves connues, la démonstration de ce théorème est indépendante de la construction explicite des foncteurs dérivés. La notion de « foncteur dérivé absolu » est une version non additive de celle de « foncteur dérivé partout défini » considérée par Deligne. Pour citer cet article : G. Maltsiniotis, C. R. Acad. Sci. Paris, Ser. I 344 (2007).

The aim of this Note is to present a very simple original, purely formal, proof of Quillen's adjunction theorem for derived functors, and of some more recent variations and generalizations of this theorem. This is obtained by proving an abstract adjunction theorem for ‘absolute’ derived functors. In contrast with all known proofs, the explicit construction of the derived functors is not used. The ‘absolute derived functors’ are a non-additive generalization of Deligne's ‘everywhere defined derived functors’. To cite this article: G. Maltsiniotis, C. R. Acad. Sci. Paris, Ser. I 344 (2007).