Freyd-Mitchell for triangulated categories? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T05:18:50Z http://mathoverflow.net/feeds/question/1440 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/1440/freyd-mitchell-for-triangulated-categories Freyd-Mitchell for triangulated categories? Greg Muller 2009-10-20T15:34:36Z 2009-11-08T13:14:02Z <p>Is there a nice analog of the Freyd-Mitchell theorem for triangulated categories (potentially with some requirements)? Freyd-Mitchell is the theorem which says that any small abelian category is a fully faithful, exact embedding into the module category of some ring.</p> <p>Therefore, I'd like a theorem like this: Any small triangulated category is a fully faithful, triangulated subcategory of the unbounded derived category of modules on some ring.</p> <p>My guess is that this fails to be true, for similar reasons to a triangulated category not always being the derived category of its core. Is there a simple example of this? -and- Is there a set of properties that do imply the above theorem?</p> http://mathoverflow.net/questions/1440/freyd-mitchell-for-triangulated-categories/1445#1445 Answer by Tyler Lawson for Freyd-Mitchell for triangulated categories? Tyler Lawson 2009-10-20T16:08:38Z 2009-10-20T16:08:38Z <p>The stable homotopy category isn't equivalent to the derived category of a ring, and there are numerous other "homotopical" triangulated categories that definitely don't come from algebra. There are also some strange algebraically-derived examples that aren't derived categories.</p> <p>See Muro-Schwede-Strickland's "Triangulated categories without models" (<a href="http://front.math.ucdavis.edu/0704.1378" rel="nofollow">arXiv</a>) for some nice discussion.</p> http://mathoverflow.net/questions/1440/freyd-mitchell-for-triangulated-categories/1478#1478 Answer by Greg Stevenson for Freyd-Mitchell for triangulated categories? Greg Stevenson 2009-10-20T19:55:21Z 2009-10-21T01:20:19Z <p>There are some things like what you ask for but as Tyler points out one needs restrictions on the categories one can consider.</p> <p>Any algebraic triangulated category which is well generated is equivalent to a localization of the derived category of a small DG-category - this is a theorem of Porta (ref is M. Porta, The Popescu-Gabriel theorem for triangulated categories. arXiv:0706.4458). Here algebraic (in the sense of Keller) means that the category is equivalent as a triangulated category to the stable category of a Frobenius category (Schwede has a paper on this as well giving conditions in terms of Koszul type objects).</p> <p>An answer (maybe closer to what you ask) is the following. If one has a Grothendieck abelian category then Gabriel-Popescu tells you it comes from a torsion theory on some category of modules. It turns out this lifts to the level of derived categories so one can view the derived category of a Grothendieck abelian category as a localization of the derived category of R-modules for some R (in particular it comes with a fully faithful embedding into the derived category of R-modules).</p> http://mathoverflow.net/questions/1440/freyd-mitchell-for-triangulated-categories/4628#4628 Answer by Mark Hovey for Freyd-Mitchell for triangulated categories? Mark Hovey 2009-11-08T13:14:02Z 2009-11-08T13:14:02Z <p>Don't know if this is germane, but Freyd actually proved that every small triangulated category has an abelian envelope. That is, you can embed a triangulated category into an abelian category, in fact a Frobenius category, where the triangulated category is the category of projectives=injectives. I believe he introduced this construction in the same paper, in 1965 or so, in some La Jolla conference proceedings, in which he introduced the generating hypothesis in stable homotopy theory. It also appears in Amnon Neeman's book on triangulated categories, I am pretty sure. </p> <p>Mark </p>