Non standard (?) model category structure on (co)chain complexes. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T22:44:36Z http://mathoverflow.net/feeds/question/42755 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42755/non-standard-model-category-structure-on-cochain-complexes Non standard (?) model category structure on (co)chain complexes. Agusti Roig 2010-10-19T08:25:23Z 2010-10-19T10:14:05Z <p>Let $\cal{A}$ be an abelian category with enough projectives and $\mathbf{C}_+ (\cal{A})$ the category of bounded below chain complexes.</p> <p>Since Quillen (Homotopical algebra, 1.2, examples B), there is a well-known "standard" model category structure on $\mathbf{C}_+ (\cal{A})$ taking as weak equivalences the maps inducing isomorphisms on homology, as fibrations the degree-wise epimorphisms in $\cal{A}$ and with cofibrations maps $i$ which are injective and such that $\mathrm{cok}\ i$ is a complex having a projective object of $\cal{A}$ in each degree.</p> <p>More recently, Hovey (Model categories), proved an analogous result for the category of <em>unbounded</em> chain complexes, but with ${\cal A} = R$-modules, $R$ a ring (but cofibrations are not so easy to characterise). Finally, it's folklore (at least, I don't know if it is published somewhere) that the same holds for $\cal{A}$ an abelian category with a projective generator -the fact that allows the small object argument to work, as Eric Wofsey points out in his answer to <a href="http://mathoverflow.net/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories" rel="nofollow">this MO question</a>.</p> <blockquote> <p>I'm interested in the following variant of this problem: is there a model structure on $\mathbf{C}_+ (R)$ taking as weak equivalences the <strong>homotopy</strong> equivalences?</p> </blockquote> <p>If it's true, I think this should be easy to verify: just taking a look to the classical proof and seing if you can change "<strong>homology</strong> equivalences" everywhere by "<strong>homotopy</strong> equivalences". I'm willingly going to do it, but, prior to start, I would like to know if it is already done, much as in the case of topological spaces where, together with the "standard" (Quillen too) model structure with <strong>weak homotopy</strong> equivalences as weak equivalences, there is the Strom model structure (The homotopy category is a homotopy category), with <strong>homotopy</strong> equivalences as weak equivalences.</p> http://mathoverflow.net/questions/42755/non-standard-model-category-structure-on-cochain-complexes/42761#42761 Answer by Denis-Charles Cisinski for Non standard (?) model category structure on (co)chain complexes. Denis-Charles Cisinski 2010-10-19T10:14:05Z 2010-10-19T10:14:05Z <p>This is well known, but formulated in a slightly different way.</p> <p>Recall that a Frobenius category is an exact category which has enough injectives as well as enough projectives, and such that an object is projective if and only if it is injective (injectivity (resp. projectivity) is defined with respect to inflations (resp. deflations)). If you forget about the existence of (finite) limits and colimits, any Frobenius category satisfies all the axioms of a Quillen model category: the cofibrations (resp. fibrations) are the inflations (resp. deflations), while the weak equivalences are the maps which factor through some projective-injective object. Therefore, any Frobenius category which has finite limits as well as finite colimits is a (stable) closed model category in the sense of Quillen.</p> <p>Now, given an additive category $A$, the category of chain complexes $C^\sharp(A)$ (where $\sharp=\varnothing$ for unbounded chain complexes, $\sharp=b$ for bounded chain complexes, etc) is a Frobenius category: inflations (resp. deflations) are the degreewise split monomorphisms (resp. split epimorphisms), and projective-injective objects are the contractible chain complexes. If $A$ has finite limits as well as finite colimits, this shows that the category $C^\sharp(A)$ is a stable closed model category whose cofibrations (fibrations) are the degreewise split monomorphisms (resp. epimorphisms), and whose weak equivalences are the chain homotopy equivalences.</p>