Algèbre homologique
Le théorème de Quillen, d'adjonction des foncteurs dérivés, revisité
[Quillen's adjunction theorem for derived functors revisited]
Comptes Rendus. Mathématique, Volume 344 (2007) no. 9, pp. 549-552.

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’.

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.

Received:
Accepted:
Published online:
DOI: 10.1016/j.crma.2007.03.011
Maltsiniotis, Georges 1

1 Institut de mathématiques de Jussieu, Université Paris 7 Denis Diderot, case postale 7012, 2, place Jussieu, 75251 Paris cedex 05, France
@article{CRMATH_2007__344_9_549_0,
     author = {Maltsiniotis, Georges},
     title = {Le th\'eor\`eme de {Quillen,} d'adjonction des foncteurs d\'eriv\'es, revisit\'e},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {549--552},
     publisher = {Elsevier},
     volume = {344},
     number = {9},
     year = {2007},
     doi = {10.1016/j.crma.2007.03.011},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2007.03.011/}
}
TY  - JOUR
AU  - Maltsiniotis, Georges
TI  - Le théorème de Quillen, d'adjonction des foncteurs dérivés, revisité
JO  - Comptes Rendus. Mathématique
PY  - 2007
SP  - 549
EP  - 552
VL  - 344
IS  - 9
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2007.03.011/
DO  - 10.1016/j.crma.2007.03.011
LA  - fr
ID  - CRMATH_2007__344_9_549_0
ER  - 
%0 Journal Article
%A Maltsiniotis, Georges
%T Le théorème de Quillen, d'adjonction des foncteurs dérivés, revisité
%J Comptes Rendus. Mathématique
%D 2007
%P 549-552
%V 344
%N 9
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2007.03.011/
%R 10.1016/j.crma.2007.03.011
%G fr
%F CRMATH_2007__344_9_549_0
Maltsiniotis, Georges. Le théorème de Quillen, d'adjonction des foncteurs dérivés, revisité. Comptes Rendus. Mathématique, Volume 344 (2007) no. 9, pp. 549-552. doi : 10.1016/j.crma.2007.03.011. http://www.numdam.org/articles/10.1016/j.crma.2007.03.011/

[1] Artin, M.; Grothendieck, A.; Verdier, J.-L. Théorie des topos et cohomologie étale des schémas (SGA4), Lecture Notes in Mathematics, vols. 269, 270, 305, Springer-Verlag, 1972

[2] D.-C. Cisinski, Catégories dérivables, Prépublication, 2002

[3] Dwyer, W.G.; Hirschhorn, P.S.; Kan, D.M.; Smith, J.H. Homotopy Limit Functors on Model Categories and Homotopical Categories, Mathematical Surveys and Monographs, vol. 113, American Mathematical Society, 2004

[4] Gabriel, P.; Zisman, M. Calculus of Fractions and Homotopy Theory, Ergebnisse der Mathematik, Band 35, Springer-Verlag, 1967

[5] Hirschhorn, P.S. Model Categories and Their Localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, 2002

[6] Hovey, M. Model Categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, 1999

[7] B. Kahn, G. Maltsiniotis, Structures de dérivabilité, En préparation

[8] Quillen, D. Homotopical Algebra, Lecture Notes in Mathematics, vol. 43, Springer-Verlag, 1967

[9] A. Radulescu-Banu, Cofibrations in homotopy theory, Prépublication, 2006

Cited by Sources: