model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
The model structure on enriched categories gives in particular a model structure on dg-categories, called the Dwyer-Kan model structure, which is analogous to the usual model structure on sSet-categories which models (infinity,1)-categories.
There are interesting left Bousfield localizations of this model structure, called the quasi-equiconic and Morita model structures. Here the fibrant objects are the pretriangulated dg-categories, resp. idempotent complete pretriangulated dg-categories. In characteristic zero, the Morita model structure is known to present the (infinity,1)-category of linear stable (infinity,1)-categories (Cohn 13).
Let $k$ be a commutative ring. Write $dgCat_k$ for the category of small dg-categories over $k$.
There is the structure of a cofibrantly generated model category on $dgCat_k$ where a dg-functor $F : A \to B$ is
a weak equivalence if
for all objects $x,y \in A$ the component $F_{x,y} : A(x,y) \to B(F(x), F(y))$ is a quasi-isomorphism of chain complexes;
the induced functor on homotopy categories $H^0(F)$ (obtained by taking degree 0 chain homology in each hom-object) is an equivalence of categories.
a fibration if
for all objects $x,y \in A$ the component $F_{x,y}$ is a degreewise surjection of chain complexes;
for each isomorphism $F(x) \to Z$ in $H^0(B)$ there is a lift to an isomorphism in $H^0(A)$.
This is due to (Tabuada).
The definition is entirely analogous to the model structure on sSet-categories. Both are special cases of the model structure on enriched categories.
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 $F: C \to D$ whose induced restriction of scalars functor $\mathbf Lf^* : \mathbf D(D) \to \mathbf D(C)$ is an equivalence of categories.
The fibrant objects with respect to this model structure are the dg-categories A for which the canonical inclusion $H^0(A) \hookrightarrow \mathbf D(A)$ 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.
model structure on dg-algebras over an operad
model structure on dg-categories
The model structure on dg-categories is due to
It is reproduced as theorem 4.1 in
Discussion of internal homs of dg-categories in terms of refined Fourier-Mukai transforms is in
Discussion of internal homs of dg-categories using (just) the structure of a category of fibrant objects is in
The derived internal Hom in the homotopy category of DG-categories is equivalent to the dg-category of A_infty-functors.
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
There is also
The model structure with Morita equivalences as weak equivalences is discussed in
That the Morita model structure on dg-categories presents the homotopy theory of $k$-linear stable (infinity,1)-categories was shown in
See also
Piergiorgio Panero, Boris Shoikhet, A Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories (arXiv:1907.07970)
Piergiorgio Panero, Boris Shoikhet, A closed model structure on the category of weakly unital dg categories, II (https://arxiv.org/abs/2007.12716)
Last revised on July 28, 2020 at 03:10:39. See the history of this page for a list of all contributions to it.