Model category theory
Producing new model structures
Presentation of -categories
for stable/spectrum objects
for stable -categories
for -sheaves / -stacks
A model category structure on the category of dg-categories that exhibits them as a presentation for stable (infinity,1)-categories.
With Dwyer-Kan weak equivalences
Let be a commutative ring. Write for the category of small dg-categories over .
There is the structure of a cofibrantly generated model category on where a dg-functor is
a weak equivalence if
for all objects the component is a quasi-isomorphism of chain complexes;
the induced functor on homotopy categories (obtained by taking degree 0 chain homology in each hom-object) is an equivalence of categories.
a fibration if
for all objects the component is a degreewise surjection of chain complexes;
for each isomorphism in there is a lift to an isomorphism in .
This is due to (Tabuada).
With Morita equivalences
There is another model category structure with more weak equivalences, the Morita equivalences (Tabuada 05). This is in fact the left Bousfield localization of the above model structure with respect to the Morita equivalences, i.e. functors whose induced restriction of scalars functor is an equivalence of categories.
The fibrant objects with respect to this model structure are the dg-categories A for which the canonical inclusion has its essential image stable under cones, suspensions, and direct sums. Hence the homotopy category with respect to this model structure is identified with the full subcategory of Ho(DGCat), the homotopy category of the Dwyer-Kan model structure, spanned by dg-categories of this form.
This model structure is a presentation of the (∞,1)-category of stable (∞,1)-categories (Cohn 13).
The pretriangulated envelope of Bondal-Kapranov is a fibrant replacement functor for the Morita model structure. The DG quotient? of Drinfeld is a model for the homotopy cofibre with respect to the Morita model structure.
The model structure on dg-categories is due to
- Gonçalo Tabuada, Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories C. R. Acad. Sci. Paris Sér. I Math. 340 (1) (2005), 15–19.
It is reproduced as theorem 4.1 in
Discussion of internal homs of dg-categories in terms of refined Fourier-Mukai transforms is in
- Bertrand Toën, The homotopy theory of dg-categories and derived Morita theory, Invent. Math. 167 (2007), 615–667
Discussion of internal homs of dg-categories using (just) the structure of a category of fibrant objects is in
- Alberto Canonaco, Paolo Stellari, Internal Homs via extensions of dg functors (arXiv:1312.5619)
A proof that the internal hom of Ho(DGCat) constructed by Toën is in fact the right derived functor of the internal hom of DGCat is in
- Beatriz Rodriguez Gonzalez?, A derivability criterion based on the existence of adjunctions, 2012, arXiv:1202.3359.
There is also
- David Rosoff, Mapping spaces of -algebras (pdf)
The model structure with Morita equivalences as weak equivalences is discussed in
- Goncalo Tabuada, Invariants additifs de dg-catgories. Internat. Math. Res. Notices 53 (2005), 33093339.
That the Morita model structure on dg-categories presents the homotopy theory of -linear stable (infinity,1)-categories was shown in