nLab model structure on dg-modules

model category

Model structures

for ∞-groupoids

for $(\infty,1)$-sheaves / $\infty$-stacks

Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

Contents

Idea

The category of dg-modules over a dg-algebra, or more generally a dg-category, admits dg-model structures which present the derived dg-category.

In the case of dg-algebras in an abelian category $\mathcal{A}$, dg-modules are the same as modules over algebras over the associative operad in $Ch(\mathcal{A})$. These admit model structures as described in model structure on modules over an algebra over an operad, transferred from the model structures on chain complexes in $\mathcal{A}$.

More generally there are model structures on dg-modules over a dg-category, analogous to model structures on simplicial presheaves.

Definition

Theorem

There is a cofibrantly generated model structure on the category of dg-modules, called the projective model structure, where the weak equivalences are object-wise quasi-isomorphisms of chain complexes, and the fibrations are object-wise epimorphisms. This is a dg-model structure.

Theorem

There is a model structure on the category of dg-modules, called the injective model structure, where the weak equivalences are object-wise quasi-isomorphisms of chain complexes, and the cofibrations are object-wise monomorphisms.

See (Toen 04, section 3) and (Keller 06, theorem 3.2). These model structures present the derived dg-category.

References

Section 3 of

Paragraph 3.2 of

For dg-algebras

For the case of dg-algebras, see the references below.

A general account is around section 11.2.5 of

• Benoit Fresse, Modules over operads and functors Springer Lecture Notes in Mathematics, (2009) (pdf)

and in section 3 of

The homotopy category and triangulated category of dg-modules is discussed for instance also in

• Joseph Bernstein, DG-modules and equivariant cohomology (pdf).