Categories which are not compactly generated - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T07:47:25Z http://mathoverflow.net/feeds/question/4958 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated Categories which are not compactly generated David Ben-Zvi 2009-11-11T01:11:40Z 2009-11-11T15:49:18Z <p>Do you know natural examples of triangulated categories (or [presentable] stable $\infty$-categories) which are not compactly generated? (ideally they'd be defined algebraically, but curious to hear any examples.. the ones I know are gotten as opposites of compactly generated categories or by slightly ad hoc geometric constructions)</p> http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated/4962#4962 Answer by Mariano Suárez-Alvarez for Categories which are not compactly generated Mariano Suárez-Alvarez 2009-11-11T01:38:29Z 2009-11-11T01:38:29Z <p>For some rings $R$, Brown representability fails in the derived category $\mathcal{D}(R)$, so the latter is not compactly generated. There is a nice paper by Christiansen, Keller and Neeman on the subject, where they construct examples.</p> http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated/4963#4963 Answer by Reid Barton for Categories which are not compactly generated Reid Barton 2009-11-11T01:44:30Z 2009-11-11T01:44:30Z <p>Funny, we were just discussing this at dinner last night. Anyways, see Corollary B.13 of <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.4474&amp;rep=rep1&amp;type=pdf" rel="nofollow">Morava K-theories and localization</a> by Hovey and Strickland for some stable presentable &infin;-categories with no nonzero compact (they call them small) objects, hence not compactly generated. One example is the H$\mathbb{F}_p$-local category. Also see <a href="http://mathoverflow.net/questions/4689/stable-presentable-categories-as-module-categories" rel="nofollow">my question here</a> for related discussion.</p> <p>I would like to know whether there are any examples which are H$\mathbb{Q}$-enriched (modules over H$\mathbb{Q}$-mod). I think there should be, but I don't know exactly how to write one down.</p> http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated/4968#4968 Answer by Matthew Ballard for Categories which are not compactly generated Matthew Ballard 2009-11-11T02:54:07Z 2009-11-11T02:54:07Z <p>Not from modular representation theory, but the following seems like a geometrically natural example:</p> <p>Neeman has a nice <a href="http://www.emis.de/journals/DMJDMV/vol-06/19.pdf" rel="nofollow">note</a> where he shows that the only compact object, in the derived category of sheaves of abelian groups on a non-compact, connected, positive-dimensional manifold, is the zero object.</p> http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated/4969#4969 Answer by Greg Stevenson for Categories which are not compactly generated Greg Stevenson 2009-11-11T02:56:52Z 2009-11-11T03:02:49Z <p>One example is the following - suppose that $M$ is a non-compact connected manifold of dimension $\geq 1$. Then the unbounded derived category of chain complexes of sheaves of abelian groups on $M$ has no compact objects other than zero. It is, however, well generated. This can be found in Neeman's paper "On the Derived Category of Sheaves on a Manifold".</p> <p>Another example is suppose that $R$ is the ring $k\oplus V$ where $k$ is a field, $V$ is an infinite dimensional vector space and the ring structure is the unique one making $V$ a square zero ideal. Then the category $K(Proj\; R)$, the homotopy category of complexes of projective $R$-modules is not compactly generated. Again though it is well generated (even $\aleph_1$-compactly generated). In general this category need not be compactly generated if $R^{op}$ is not coherent.</p> <p>One could also produce more examples along these lines I imagine by considering for instance the homotopy category of flat modules over a suitable ring.</p> <p>These last two examples are very natural objects to study - I can provide more details on why if anyone is interested.</p> <p>These are the most naturally occurring examples I know of off the top of my head.</p> <p>I'll try and think of a modular representation example if I can although when I think about these things it is normally the stable category for modular reps of a finite group and these are always compactly generated.</p> http://mathoverflow.net/questions/4958/categories-which-are-not-compactly-generated/5062#5062 Answer by Mark Hovey for Categories which are not compactly generated Mark Hovey 2009-11-11T15:49:18Z 2009-11-11T15:49:18Z <p>As David says, D(R) is compactly generated. This means Brown representability for COHOMOLOGY is automatically true, but that does NOT mean Brown representability for HOMOLOGY is true, and in fact it is not always true. That is what the Christensen-Keller-Neeman example shows. </p> <p>Let K(R) be the category of chain complexes over R and chain homotopy classes of chain maps. Then K(Z) is not compactly generated (and K(R) is not either for many R). This is proved in a paper of mine with Christensen. </p> <p><a href="http://journals.cambridge.org/action/displayAbstract?fromPage=online&amp;aid=122357" rel="nofollow">Quillen model structures for relative homological algebra</a></p>