nLab
model structure on dg-modules

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general

specific

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

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

Homological algebra

homological algebra

and

nonabelian homological algebra

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Homology theories

Theorems

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(𝒜)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.

Properties

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).

See also

  • Tobias Barthel, Peter May, Emily Riehl, Six model structures for DG-modules over DGAs: model category theory in homological action, New York J. Math. 20 (2014) 1077–1159 (pdf)

Revised on June 18, 2015 10:08:59 by Urs Schreiber (195.113.30.252)