A down-to-earth introduction to the uses of derived categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:43:51Z http://mathoverflow.net/feeds/question/39508 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories A down-to-earth introduction to the uses of derived categories Charles Staats 2010-09-21T14:51:01Z 2010-09-22T16:51:02Z <p>When I was learning about spectral sequences, one of the most helpful sources I found was Ravi Vakil's notes <a href="http://math.stanford.edu/~vakil/0708-216/216ss.pdf" rel="nofollow">here</a>. These notes are very down-to-earth and give a kind of minimum knowledge needed about spectral sequences in order to use them.</p> <p>Does anyone know of a similar source for derived categories? Something that concentrates on showing how these things are used, without developing the entire theory, or necessarily even giving complete, rigorous definitions?</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39516#39516 Answer by JSE for A down-to-earth introduction to the uses of derived categories JSE 2010-09-21T15:45:11Z 2010-09-21T15:45:11Z <p><a href="http://arxiv.org/abs/math/0501094" rel="nofollow">"Derived Categories of Sheaves: A Skimming,"</a> by my colleague Andrei Caldararu, might do the trick. It's the notes from his lectures at the Snowbird summer school.</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39520#39520 Answer by Mariano Suárez-Alvarez for A down-to-earth introduction to the uses of derived categories Mariano Suárez-Alvarez 2010-09-21T16:06:28Z 2010-09-21T16:06:28Z <p>In Bernhard Keller's <a href="http://www.math.jussieu.fr/~keller/publ/" rel="nofollow">list of preprints and publications</a> you will find characteristically nice expositions on derived categories (with the point of view of someone interested in representations, mostly, I'd say): <em>Derived categories and their uses</em>, from the first volume of the Handbook of algebra, and <em>Introduction to abelian and derived categories</em>, the notes from his lectures in a school at ICTP (Trieste 2006), &amp;c.</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39521#39521 Answer by Karl Schwede for A down-to-earth introduction to the uses of derived categories Karl Schwede 2010-09-21T16:15:05Z 2010-09-21T16:15:05Z <p>For what it's worth, I learned most of what I know of derived categories from the last chapter of Weibel's book on homological algebra (and in particular, doing the exercises there). However, I also often looked at Hartshorne's Residues and Duality, Gelfand-Manin, and occasionally derived categories for the working mathematician.</p> <p>My goal at the time was to understand better things like Grothendieck duality.</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39532#39532 Answer by Sasha for A down-to-earth introduction to the uses of derived categories Sasha 2010-09-21T18:26:32Z 2010-09-21T18:26:32Z <p>I would suggest "Fourier-Mukai transforms in algebraic geometry" by Daniel Huybrechts.</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39591#39591 Answer by Leo Alonso for A down-to-earth introduction to the uses of derived categories Leo Alonso 2010-09-22T09:50:26Z 2010-09-22T09:50:26Z <p>For someone interested in algebraic geometry, the first chapters of Lipman's "Notes on Derived Functors and Grothendieck Duality", (in Foundations of Grothendieck Duality for Diagrams of Schemes, Lecture Notes in Mathematics, no. <strong>1960</strong>, Springer, 2009) is a must. (And, btw. it is way better to read chapter 4 in this work for understanding Grothendieck duality than Harthorne's notes).</p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39595#39595 Answer by Harry Gindi for A down-to-earth introduction to the uses of derived categories Harry Gindi 2010-09-22T10:31:27Z 2010-09-22T11:05:11Z <p>I'm going to make a radical suggestion (and hence I have marked this community wiki), that there is a rewarding way to study derived categories as the localizations of "categories with weak equivalences", or more specifically, homotopical categories in the sense of Dwyer-Hirschhorn-Kan-Smith. That is, any functor preserving weak equivalences between homotopical categories descends uniquely to localizations (by the universal property of localizations), so derived functors become the images of homotopical approximations of functors between the original categories (where homotopical approximation means in some sense the closest weak-equivalence preserving functor from the left or the right). </p> <p>Indeed, using the simplicial localization of Dwyer-Kan (hammock localization or its more modern variant "Grothendieck-style simplicial localization" detailed in sections 34 and 35 of Dwyer-Hirschhorn-Kan-Smith (<em>Homotopy Limit Functors on Model and Homotopical categories</em>), we can embed the case of homotopical categories into the case of simplicially enriched categories. This turns our ordinary derived categories into categories enriched in weak homotopy types of CW complexes such that $\pi_0Map_C(X,Y):=Hom_{Ho(Set_\Delta)}(\Delta^0, Map_C(X,Y))\cong Hom_{W^{-1}C}(X,Y)$, where $W^{-1}C$ is the derived category. The papers of Dwyer-Kan (or the recollection of these techniques in Chapter 17 of Phil Hirschhorn's <em>Model Categories and their Localizations</em>) give a way to compute the mapping space in terms of simplicial and cosimplicial resolutions. This formulation is interesting because it lets us use the well-developed techniques of homotopical algebra in a simplicially-enriched category as well (for instance, there is a very mature theory of homotopy limits and colimits in this setting). This also gives the correct data and bypasses the need of working with triangulated categories, for instance. To use the language of the nLab (which is often scarier-sounding than it actually is), this is the $(\infty,1)$-categorical approach to derived categories. </p> <p>(Note that in the above, we would let $C$ be an appropriate category of chain complexes (of sheaves)).</p> <p>If I remember correctly, this approach is roughly discussed in SGA 4 exposé 2. </p> http://mathoverflow.net/questions/39508/a-down-to-earth-introduction-to-the-uses-of-derived-categories/39603#39603 Answer by Donu Arapura for A down-to-earth introduction to the uses of derived categories Donu Arapura 2010-09-22T12:19:38Z 2010-09-22T16:51:02Z <p>I won't claim to be fluent in the language of derived categories, but I understand it and can make myself understood. For most people, that's the right level of proficiency. Since you already have plenty of references, let me instead share few thoughts about the relation between the old and new languages. This is an imperfect analogy, but in the older differential geometry literature, everything was written in coordinates leading to messy formulas ("the debauch of indices"). By contrast, modern treatments are coordinate free which is better much of time, <em>although not all of the time</em>. I tend to think of spectral sequences as writing things in coordinates; derived categories are coordinate free. (This obviously a stretch. In hindsight, this seems to be my answer to the question <a href="http://mathoverflow.net/questions/38639/thinking-and-explaining" rel="nofollow">http://mathoverflow.net/questions/38639/thinking-and-explaining</a> as well.)</p> <p>Let me spell this out. Given left exact functors $F:A\to B$ and $G:B\to C$ between abelian categories, under the usual assumptions, we get the Grothendieck spectral sequence $$E_2^{pq} = R^pF (R^qG M) \Rightarrow R^{p+q}F\circ G M$$ By constrast, in the derived category world we see a composition law $$\mathbb{R} F\circ \mathbb{R} G\cong \mathbb{R}F\circ G$$ For 3 or more functors, the last formula generalizes in the obvious way. On the spectral sequence side, we get something too horrible to comtemplate. Well no, let me comtemplate it: $$E_2^{pqr\ldots} = R^pF (R^qG (R^rH\ldots))$$ $$d_2^{2,-1,0,\ldots}: E_2^{pqr\ldots} \to E_2^{p+2,q-1,r,\ldots}$$ $$d_2^{0,2,-1\ldots}\ldots$$ $$\ldots$$ Don't get me wrong, spectral sequences are still useful, but not here.</p>