Existence of projective resolutions in abelian categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T08:28:07Z http://mathoverflow.net/feeds/question/8134 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8134/existence-of-projective-resolutions-in-abelian-categories Existence of projective resolutions in abelian categories Luke Reger 2009-12-07T21:44:47Z 2009-12-08T19:27:07Z <p>It is a standard result of elementary homological algebra that to every R-module $A$ there exists a projective resolution. It is often said that the category of R-modules has "enough projectives." In which other categories is this also true? In particular is it true for abelian categories?</p> http://mathoverflow.net/questions/8134/existence-of-projective-resolutions-in-abelian-categories/8135#8135 Answer by VA for Existence of projective resolutions in abelian categories VA 2009-12-07T21:51:01Z 2009-12-07T22:00:35Z <p>Way too optimistic: in many abelian categories there are not enough projectives (and in the dual category there are not enough injectives). </p> <p>The most standard example is sheaves of abelian groups on a topological space X. For most X, this category does not have enough projectives. See for example this question where this was discussed: <a href="http://mathoverflow.net/questions/5378/when-are-there-enough-projective-sheaves-on-a-space-x/5470#5470" rel="nofollow">http://mathoverflow.net/questions/5378/when-are-there-enough-projective-sheaves-on-a-space-x/5470#5470</a></p> <p>On the positive side: if A has enough projectives and I is a small category then the category $A^I$ (i.e. the category of functors $F:I\to A$) has enough projectives (assuming arbitrary sums exist in A). In particular, the category of complexes in A has enough projectives (taking $I=\mathbb Z$ with arrows $d_n:n\to n+1$ satisfying $d_{n+1}\circ d_n=0$). See this question: <a href="http://mathoverflow.net/questions/6776/how-to-construct-pair-of-adjoint-functors-from-category-a-to-category-adcategor/6836#6836" rel="nofollow">http://mathoverflow.net/questions/6776/how-to-construct-pair-of-adjoint-functors-from-category-a-to-category-adcategor/6836#6836</a></p> <p>All of these are abelian categories.</p> http://mathoverflow.net/questions/8134/existence-of-projective-resolutions-in-abelian-categories/8138#8138 Answer by a-fortiori for Existence of projective resolutions in abelian categories a-fortiori 2009-12-07T23:16:44Z 2009-12-07T23:16:44Z <p>A simple example of an abelian category having not enough projectives is the category of finite abelian groups. In fact, it contains neither non-trivial projective objects nor non-trivial injective objects.</p> http://mathoverflow.net/questions/8134/existence-of-projective-resolutions-in-abelian-categories/8139#8139 Answer by Leonid Positselski for Existence of projective resolutions in abelian categories Leonid Positselski 2009-12-07T23:19:27Z 2009-12-08T19:27:07Z <p>Among the standard examples of abelian categories without enough projectives, there are</p> <ol> <li>the categories of sheaves of abelian groups on a topological space (as VA said), or sheaves of modules over a ringed space, or quasi-coherent sheaves on a non-affine scheme;</li> <li>the categories of comodules over a coalgebra or coring.</li> </ol> <p>No abelian category where the functors of infinite product are not exact can have enough projectives. In Grothendieck categories (i.e. abelian categories with exact functors of small filtered colimits and a set of generators) there are always enough injectives, but may be not enough projectives.</p> <p>Among the standard examples of abelian categories with enough projectives, there are</p> <ol> <li>the category of functors from a small category to an abelian category with enough projectives (as VA said), or the category of additive functors from any small additive category to the category of abelian groups (this class of examples includes the categories of modules over any rings);</li> <li>the category of pseudo-compact modules over a pseudo-compact ring (see Gabriel's dissertation);</li> <li>the category of contramodules over a coalgebra or coring (see Eilenberg-Moore, "Foundations of relative homological algebra").</li> </ol>