nLab abelian model category

Idea

An abelian model category is an abelian category with a compatible model structure.

Definition

An abelian model category is an abelian category 𝒜\mathcal{A} that is complete and cocomplete, together with a model structure such that

Relation to cotorsion pairs

Hovey has shown that, roughly speaking, model structures on abelian categories correspond to cotorsion pairs.

In one direction we have

Proposition

Let 𝒜\mathcal{A} be an abelian model category, i.e. an abelian category with a compatible model structure. Let 𝒞\mathcal{C}, \mathcal{F}, and 𝒲\mathcal{W} denote the classes of cofibrant, fibrant, and trivial objects, respectively.

Then (𝒞𝒲,)(\mathcal{C} \cap \mathcal{W}, \mathcal{F}) and (𝒞,𝒲)(\mathcal{C}, \mathcal{F} \cap \mathcal{W}) are complete cotorsion pairs.

And under some more assumptions we have a converse

Theorem

Let 𝒜\mathcal{A} be an abelian category that is complete and cocomplete. Let 𝒞\mathcal{C}, \mathcal{F}, and 𝒲\mathcal{W} denote three classes of objects in 𝒜\mathcal{A}, such that 𝒲\mathcal{W} is a thick subcategory, and (𝒞𝒲,)(\mathcal{C} \cap \mathcal{W}, \mathcal{F}) and (𝒞,𝒲)(\mathcal{C}, \mathcal{F} \cap \mathcal{W}) are complete cotorsion pairs.

Then there exists a unique abelian model structure on 𝒜\mathcal{A} such that 𝒞\mathcal{C}, \mathcal{F}, 𝒲\mathcal{W} are the classes of cofibrant, fibrant, and trivial objects, respectively.

Under certain assumptions on the cotorsion pair we can further guarantee that the associated model structure is monoidal.

Theorem

Under the assumptions of the previous theorem, suppose further that 𝒜\mathcal{A} is closed symmetric monoidal, and that

  • Every object in the class 𝒞\mathcal{C} is flat? (XX \otimes \cdot is an exact functor).
  • For any two objects XX and YY in 𝒞\mathcal{C}, the tensor product XYX \otimes Y is also in 𝒞\mathcal{C}. If one of XX and YY is further in 𝒲\mathcal{W} then XYX \otimes Y is also in 𝒲\mathcal{W}.
  • The unit is in 𝒞\mathcal{C}.

Then 𝒜\mathcal{A} is a monoidal model category (with the model structure given by the previous theorem).

References

  • Mark Hovey, Cotorsion pairs, model category structures, and representation theory, Math. Z. 241 (2002), no. 3, 553–592. MR 2003m:55027

An overview is in

Created on June 7, 2013 at 18:11:02. See the history of this page for a list of all contributions to it.