Derivable categories

Denis-Charles Cisinski

Bulletin de la Société Mathématique de France (2010)

  • Volume: 138, Issue: 3, page 317-393
  • ISSN: 0037-9484

Abstract

top
These notes are devoted to the construction of derivators from a new notion of model category which is general enough to recover the theories of Quillen, Thomason, and Brown. We develop, in particular, the theory of derivable exact categories (for instance, Frobenius categories or complicial biWaldhausen categories with nice homotopy stability properties), which give rise to triangulated derivators. We give a simple combinatorial characterization for a derived functor to induce an equivalence of categories (or of derivators). At last, we prove that the notion of model category we introduce here is stable by taking presheaf categories over an arbitrary small category, while this property is known to fail for the Quillen structure.

How to cite

top

Cisinski, Denis-Charles. "Catégories dérivables." Bulletin de la Société Mathématique de France 138.3 (2010): 317-393. <http://eudml.org/doc/272397>.

@article{Cisinski2010,
abstract = {Ces notes sont consacrées à la construction de dérivateurs à partir d’une nouvelle notion de catégorie de modèles assez générale pour recouvrir les théories de Quillen, Thomason et Brown. On développe en particulier la théorie des catégories exactes dérivables (par exemple les catégories de Frobenius et les catégories biWaldhausen compliciales vérifiant de bonnes propriétés de stabilité homotopique), lesquelles donnent lieu à des dérivateurs triangulés. On donne une caractérisation combinatoire simple pour qu’un foncteur dérivé induise une équivalence de catégories (ou de dérivateur). Dans un dernier temps, on démontre que la notion de catégorie de modèles introduite ici est stable par passage aux catégories de préfaisceaux sur une petite catégorie arbitraire, propriété qui fait défaut à la structure de Quillen.},
author = {Cisinski, Denis-Charles},
journal = {Bulletin de la Société Mathématique de France},
keywords = {model categories; homotopy limits; derivators; stable categories; derived equivalences},
language = {fre},
number = {3},
pages = {317-393},
publisher = {Société mathématique de France},
title = {Catégories dérivables},
url = {http://eudml.org/doc/272397},
volume = {138},
year = {2010},
}

TY - JOUR
AU - Cisinski, Denis-Charles
TI - Catégories dérivables
JO - Bulletin de la Société Mathématique de France
PY - 2010
PB - Société mathématique de France
VL - 138
IS - 3
SP - 317
EP - 393
AB - Ces notes sont consacrées à la construction de dérivateurs à partir d’une nouvelle notion de catégorie de modèles assez générale pour recouvrir les théories de Quillen, Thomason et Brown. On développe en particulier la théorie des catégories exactes dérivables (par exemple les catégories de Frobenius et les catégories biWaldhausen compliciales vérifiant de bonnes propriétés de stabilité homotopique), lesquelles donnent lieu à des dérivateurs triangulés. On donne une caractérisation combinatoire simple pour qu’un foncteur dérivé induise une équivalence de catégories (ou de dérivateur). Dans un dernier temps, on démontre que la notion de catégorie de modèles introduite ici est stable par passage aux catégories de préfaisceaux sur une petite catégorie arbitraire, propriété qui fait défaut à la structure de Quillen.
LA - fre
KW - model categories; homotopy limits; derivators; stable categories; derived equivalences
UR - http://eudml.org/doc/272397
ER -

References

top
  1. [1] K. S. Brown – « Abstract homotopy theory and generalized sheaf cohomology », Trans. Amer. Math. Soc.186 (1974), p. 419–458. Zbl0245.55007MR341469
  2. [2] W. Chachólski & J. Scherer – « Homotopy theory of diagrams », Mem. Amer. Math. Soc. 155 (2002), p. 90. Zbl1006.18015MR1879153
  3. [3] D.-C. Cisinski – « Images directes cohomologiques dans les catégories de modèles », Ann. Math. Blaise Pascal10 (2003), p. 195–244. Zbl1054.18005MR2031269
  4. [4] —, « Les préfaisceaux comme modèles des types d’homotopie », Astérisque 308 (2006). Zbl1111.18008
  5. [5] —, « Propriétés universelles et extensions de Kan dérivées », Theory Appl. Categ.20 (2008), p. 605–649. Zbl1188.18009MR2534209
  6. [6] —, « Locally constant functors », Math. Proc. Camb. Phil. Soc.147 (2009), p. 593–614. Zbl1185.18013MR2557145
  7. [7] —, « Invariance de la K -théorie par équivalences dérivées », à paraître dans J. K -theory. Zbl1230.19002
  8. [8] D.-C. Cisinski & A. Neeman – « Additivity for derivator K -theory », Adv. Math.217 (2008), p. 1381–1475. Zbl1141.19003MR2382732
  9. [9] W. G. Dwyer, P. S. Hirschhorn, D. M. Kan & J. H. Smith – Homotopy limit functors on model categories and homotopical categories, Mathematical Surveys and Monographs, vol. 113, Amer. Math. Soc., 2004. Zbl1072.18012MR2102294
  10. [10] W. G. Dwyer & J. Spaliński – « Homotopy theories and model categories », in Handbook of algebraic topology, North-Holland, 1995, p. 73–126. Zbl0869.55018MR1361887
  11. [11] P. Gabriel & M. Zisman – Calculus of fractions and homotopy theory, Ergebnisse Math. Grenzg., vol. 35, Springer New York, Inc., New York, 1967. Zbl0186.56802MR210125
  12. [12] A. Grothendieck – Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques, vol. 3, Soc. Math. France, 2003. 
  13. [13] —, « Dérivateurs », manuscrit, http://people.math.jussieu.fr/~maltsin/groth/Derivateurs.html. 
  14. [14] —, « Pursuing stacks », à paraître dans Documents mathématiques. 
  15. [15] D. Happel – « On the derived category of a finite-dimensional algebra », Comment. Math. Helv.62 (1987), p. 339–389. Zbl0626.16008MR910167
  16. [16] A. Heller – « The loop-space functor in homological algebra », Trans. Amer. Math. Soc.96 (1960), p. 382–394. Zbl0096.25502MR116045
  17. [17] —, « Homotopy theories », Memoirs of the Amer. Math. Soc. 71 (1988). MR920963
  18. [18] —, « Homological algebra and (semi)stable homotopy », J. Pure Appl. Algebra115 (1997), p. 131–139. Zbl0868.18002MR1431158
  19. [19] —, « Stable homotopy theories and stabilization », J. Pure Appl. Algebra115 (1997), p. 113–130. Zbl0868.18001MR1431157
  20. [20] P. S. Hirschhorn – Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, Amer. Math. Soc., 2003. Zbl1017.55001MR1944041
  21. [21] B. Kahn & G. Maltsiniotis – « Structures de dérivabilité », Adv. Math.218 (2008), p. 1286–1318. Zbl1149.18009MR2419385
  22. [22] B. Keller – « Chain complexes and stable categories », Manuscripta Math.67 (1990), p. 379–417. Zbl0753.18005MR1052551
  23. [23] —, « Derived categories and universal problems », Comm. Alg.19 (1991), p. 699–747. Zbl0722.18002MR1102982
  24. [24] —, « Appendice : Le dérivateur triangulé associé à une catégorie exacte », Contemp. Math.431 (2007), p. 369–373. 
  25. [25] S. Mac Lane – Categories for the working mathematician, 2e éd., Graduate Texts in Math., vol. 5, Springer, 1998. Zbl0906.18001MR1712872
  26. [26] G. Maltsiniotis – « Structure triangulée sur les catégories de coefficients de dérivateurs triangulés », exposés au groupe de travail Algèbre et topologie homotopiques, 2001. 
  27. [27] —, « Introduction à la théorie des dérivateurs », disponible à l’adresse http://www.math.jussieu.fr/~maltsin/, 2001. 
  28. [28] —, « La K -théorie d’un dérivateur triangulé », Contemp. Math.431 (2007), p. 341–368. 
  29. [29] D. G. Quillen – Homotopical algebra, Lecture Notes, vol. 43, Springer, 1967. Zbl0168.20903MR223432
  30. [30] —, « Higher algebraic K -theory », in Higher K -theories I, Lecture Notes in Math., vol. 341, Springer, 1973, p. 85–147. MR338129
  31. [31] A. Rădulescu-Banu – « Cofibrations in homotopy theory », preprint arXiv :math/0610009. 
  32. [32] R. W. Thomason & T. Trobaugh – « Higher algebraic K -theory of schemes and of derived categories », in The Grothendieck Festschrift, Vol. III, Progr. Math., vol. 88, Birkhäuser, 1990, p. 247–435. Zbl0731.14001MR1106918
  33. [33] F. Waldhausen – « Algebraic K -theory of spaces », in Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., vol. 1126, Springer, 1985, p. 318–419. Zbl0579.18006MR802796
  34. [34] C. Weibel – « Homotopy ends and Thomason model categories », Selecta Math. (N.S.) 7 (2001), p. 533–564. Zbl0998.18006MR1872081

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.