Model category structures on categories of complexes in abelian categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:40:14Z http://mathoverflow.net/feeds/question/141 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories Model category structures on categories of complexes in abelian categories Kevin Lin 2009-10-06T18:17:25Z 2009-10-13T21:21:03Z <p>Section 2.3 of Hovey's Model Categories book defines a model category structure on Ch(R-Mod), the category of chain complexes of R-modules, where R is a ring. Lemma 2.3.6 then essentially states (I think) that taking projective resolutions of a module corresponds to taking cofibrant replacements of the module, at least in nice cases (e.g. when the projective resolution is bounded below). There is of course also a "dual" model category structure which gives the "dual" result for injective resolutions and fibrant replacements (Theorem 2.3.13).</p> <ol> <li><p>I think the results in Hovey are proven for not-necessarily-commutative rings. Do things become nicer if we restrict our attention to commutative rings only?</p></li> <li><p>Do these results generalize? For example, is there an analogous model category structure and an analogous result for Ch(O<sub>X</sub>-Mod), the category of chain complexes of O<sub>X</sub>-modules, where X is a scheme? More generally, how about for Ch(A), where A is an abelian category?</p></li> </ol> <p>If the answers to these questions are known, then I assume they would be "standard", but I don't know a reference.</p> <p><hr /></p> <p><strong>I've re-asked my question in a different form <a href="http://mathematics.stackexchange.com/questions/372/derived-categories-and-homotopy-categories" rel="nofollow">here</a>.</strong></p> http://mathoverflow.net/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories/158#158 Answer by Eric Wofsey for Model category structures on categories of complexes in abelian categories Eric Wofsey 2009-10-06T22:58:34Z 2009-10-06T22:58:34Z <p>I don't know the "standard" answer, but the exact same construction should work for any abelian category with a small projective generator, where "small" means that any map into a sufficiently large well-ordered colimit factors through some stage. This is exactly what is needed to make the small object argument work. Just replace the ring with your small projective generator in the "sphere" and "disk" objects.</p> <p>For the dual (injective) model structure, cosmall injectives don't tend to exist in practice (for example, they don't exist in abelian groups), so you have to use a more complicated set of maps that I don't understand well and don't know how to generalize. In particular, in the case of quasicoherent sheaves one would need to generalize the injective model structure, and I don't know anything about that.</p> <p>I don't know of any reason to expect commutative rings to give nicer results.</p> http://mathoverflow.net/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories/456#456 Answer by Mike Shulman for Model category structures on categories of complexes in abelian categories Mike Shulman 2009-10-13T21:21:03Z 2009-10-13T21:21:03Z <p>I don't think the existence of the dual "injective" model structure merits an "of course," since its generators are much less obvious to construct. However, it turns out that injective model structures actually exist in more generality than projective ones, for instance they exist for most categories of sheaves. I believe this was originally proven by Joyal, but it was put in an abstract context by Hovey and Gillespie.</p> <p>The basic idea is that model structures on Ch(A) correspond to well-behaved "cotorsion pairs" on A itself. The projective model structure comes from the (projective objects, all objects) cotorsion pair (which is well-behaved for R-modules, but not for sheaves), and the injective one comes from (all objects, injective objects). There is also e.g. a <em>flat</em> model structure coming from (flat objects, cotorsion objects) which is monoidal and thus useful for deriving tensor products. A good introduction, which I believe has references to most of the literature, is Hovey's paper <a href="http://www.math.uic.edu/~bshipley/hovey.pdf" rel="nofollow">Cotorsion pairs and model categories</a>.</p>