A differential graded category is a category enriched over complexes of modules for some commutative ring . Given a differential graded category , one can form a -linear category with the same objects as but with morphisms between two objects and defined to be the th cohomology group of the complex of morphisms between and in .
The derived category of an abelian category having enough injectives (or projectives) can be constructed as of the differential graded category consisting of complexes of injective (or projective) objects in with morphisms between two complexes and being the Hom-complex from to . One can check that of the Hom-complex between and is precisely homotopy classes of chain maps from to .
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 -vector spaces for some field : .
Notice that a dg-category with a single object is a differential graded algebra (see dg-algebra), .
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 -algebroid.)
A left dg-module over a dg-category is a dg-functor where is the dg-category of complexes of -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 and are elements of where the inner hom is the complex of graded morphisms. Left dg-modules and their morphisms make a category which has a natural structure of Quillen exact category, which is in fact Frobenius. There is a Yoneda functor given by .
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: - or .)
Hanno Becker: Hello! Maybe one could add that in a pretriangulated dg-category , the Frobenius-structure on dg-mod(C) pulls back to a Frobenius-structure on 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 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.
There are several model structure on dg-categories.
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)
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.
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.
S. Mahanta, Noncommutative geometry in the framework of differential graded categories (arXiv:0805.1628)
The relation to stable (infinity,1)-categories is discussed in