nLab
dg-category

Context

Homological algebra

homological algebra

and

nonabelian homological algebra

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Homology theories

Theorems

Enriched category theory

Contents

Idea

A differential graded category is a category enriched over complexes of modules for some commutative ring kk. Given a differential graded category DD, one can form a kk-linear category H 0(D)H^{0}(D) with the same objects as DD but with morphisms between two objects XX and YY defined to be the 00th cohomology group of the complex of morphisms between XX and YY in DD.

The derived category of an abelian category 𝒜\mathcal{A} having enough injectives (or projectives) can be constructed as H 0H^{0} of the differential graded category consisting of complexes of injective (or projective) objects in 𝒜\mathcal{A} with morphisms between two complexes XX and YY being the Hom-complex from XX to YY. One can check that H 0H^{0} of the Hom-complex between XX and YY is precisely homotopy classes of chain maps from XX to YY.

Definition

A dg-category or differential graded category is a category enriched over a symmetric monoidal category of chain complexes, usually taken to be that of chain complexes of kk-vector spaces for some field kk: dgCat:=Ch(Mod k)CatdgCat := Ch(Mod_k)\Cat.

Notice that a dg-category BA\mathbf{B}A with a single object is a differential graded algebra (see dg-algebra), AA.

Tim : Would it be better to say cochain complexes as both Keller and Toen use the cochain convention? This can be confusing. (In other words I am confused!) Things related to this seem central to several questions elsewhere. Perhaps a word here would be a good idea.

To get from a simplicially enriched category to a chain enriched one is easy (it is linearisation plus Dold-Kan, looked at by Tabuada in arXiv:0711.3845) but to get to a dg-category in the sense of Keller or Toen (i.e. cochain enriched) is more interesting and complicated.

Therefore, following the terminology for horizontal categorification a dg-category might more descriptively be addressed as a differential graded algebroid. (A similar comment applies for instance to C*-category, which is a C *C^*-algebroid.)

A left dg-module over a dg-category CC is a dg-functor L:CCom kL : C\to \mathrm{Com}_k where Com k\mathrm{Com}_k is the dg-category of complexes of kk-vector spaces (that is Ch(Mod_k) with inner hom); similarly a right dg-module is a contravariant right dg-module. Morphisms between left dg-modules LL and LL' are elements of Z 0Hom(L,L)Z^0\mathbf{Hom}(L,L') where the inner hom Hom\mathbf{Hom} is the complex of graded morphisms. Left dg-modules and their morphisms make a category dgModCdgMod C which has a natural structure of Quillen exact category, which is in fact Frobenius. There is a Yoneda functor Z 0(C)dgModCZ^0(C)\to dgMod C given by XC(,X)X\mapsto C(-,X).

Zoran Škoda: If one talks about left modules then we have category dgMod-C, and if talk about right modules then C-dgMod. When it is all the time clear which one we talk about than one can use either notation, but as long as we talk about left and right, then we should use A-Mod for left and Mod-A for right as it is usual in noncommutative algebra.

Toby: Good system, but there shouldn't be a minus sign in either version! (You can get a hyphen, if you really need one, either by moving out of the dollar signs (the quick and dirty way) or (more properly) by using the Unicode hyphen: dgModdgMod-CC or dgModCdgMod‐C.)

Pre-triangulated dg-categories

A pretriangulated dg-category is roughly a dg-category whose homotopy category is a triangulated category.

Pretriangulated dg-categories linear over field kk of characteristic 0 are equivalent to kk-linear A-infinity-categories and both are models for stable (infinity,1)-categories.

Hanno Becker: Hello! Maybe one could add that in a pretriangulated dg-category CC, the Frobenius-structure on dg-mod(C) pulls back to a Frobenius-structure on Z 0(C)Z^0(C) via the Yoneda-functor, and that dividing out its injective-projective objects turns out to be equivalent to passing to the homotopy category. Thus, the stable category of Z 0(C)Z^0(C) equals the homotopy category, which is then triangulated.

Do you assume the existence of a zero-object in a pretriangulated dg-category (there are interesting examples of dg-categories not possessing a zero object, e.g. the dg-categories of matrix-factorizations)?

Zoran: I took the conventions from Keller’s article, as far as I recall. You are welcome to enter and explain the equivalent variants of the definition, and other variations if you are currently thinking on this subject. If you can cite the references for the proofs or reasoning supporting it, even better. I am concentrating on another subject at the very moment.

Properties

There are several model structure on dg-categories.

Relation to stable \infty-categories

The Morita model structure on dg-categories? presents the (infinity,1)-category of idempotent complete linear? stable (infinity,1)-categories (Cohn 13).

References

  • A. I. Bondal, Mikhail Kapranov, Enhanced triangulated categories, Матем. Сборник, Том 181 (1990), No.5, 669–683 (Russian); transl. in USSR Math. USSR Sbornik, vol. 70 (1991), No. 1, pp. 93–107, (MR91g:18010) (Bondal-Kapranov Enhanced triangulated categories pdf)

  • Bernhard Keller, On differential graded categories International Congress of Mathematicians. Vol. II, 151–190, Eur. Math. Soc., Zürich, 2006. (arXiv)

  • Bertrand Toën, Lectures on dg-categories (pdf) (these lectures also inspired Dmitry Kaledin’s Seoul lectures)

  • Bernhard Keller, Deriving DG categories, Ann. Sci. École Norm. Sup. (4) 27 (1994), no. 1, 63–102 (numdam)

  • B. Keller, A remark on tilting theory and DG algebras, Manuscripta Math. 79 (1993), no. 3-4, 247–252.

  • Dmitry Tamarkin, What do dg-categories form?, Compos. Math. 143 (2007), no. 5, 1335–1358.

  • M. Batanin, What do dg-categories form (after Tamarkin), talks at Paris 7 and Australian category seminar (abstract), math.CT/0606553

  • Gonçalo Tabuada, Invariants additifs de DG-catégories, Int. Math. Res. Not. 2005, no. 53, 3309–3339; Addendum in Int. Math. Res. Not. 2006, Art. ID 75853, 3 pp. ; Erratum in Int. Math. Res. Not. IMRN 2007, no. 24, Art. ID rnm149, 17 pp.; Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories, C. R. Math. Acad. Sci. Paris 340 (2005), no. 1, 15–19.

  • Goncalo Tabuada, Homotopy theory of DG categories, Thesis, Paris, 2007, pdf (some chapters in English and some in French)

  • S. Mahanta, Noncommutative geometry in the framework of differential graded categories (arXiv:0805.1628)

  • Oren Ben-Bassat, Jonathan Block, Cohesive DG categories I: Milnor descent, arxiv/1201.6118

The relation to stable (infinity,1)-categories is discussed in

Revised on October 24, 2014 20:37:53 by Adeel Khan (77.9.206.161)