Resolutions of unbounded complexes and homotopy (co)limits. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T05:22:38Z http://mathoverflow.net/feeds/question/112350 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/112350/resolutions-of-unbounded-complexes-and-homotopy-colimits Resolutions of unbounded complexes and homotopy (co)limits. Richard Jennings 2012-11-14T05:29:12Z 2012-11-15T12:04:03Z <p>I want to understand once and for all what the resolution of an unbounded complex is. I've been trying to read 'Homotopy limits in triangulated categories' by Marcel Bokstedt and Amnon Neeman and can't understand at all even some of the notation. From what I've gathered, the resolution of an unbounded complex $X$ is $M$ in:</p> <p>$X =$ $\underleftarrow{lim_{n}} (X_{-n}) \xrightarrow{\alpha} \underleftarrow{holim_{n}} (X_{-n}) \xrightarrow{\beta} M = \underleftarrow{holim_{n}} (I_{-n})$,</p> <p>where $\alpha$ and $\beta$ are quasi-isomorphisms. </p> <p>But what's the homotopy limit in this context? The thing I can relate it to is this: </p> <p>A homotopy limit of a sequence of maps</p> <p>$X_{0} \xrightarrow{f_0} X_{1} \xrightarrow{f_1} X_{2} \rightarrow \cdots$</p> <p>is defined as the subspace of the product of $X_0$ with $X_{i}\times\hom(\Delta[1],X_{i})$, $i \geq 1$, of elements $(x_0,${$(x_i,\gamma_i)$}$_{0 \leq i \leq n}$) such that</p> <p>$\gamma_i(0) = f(x_{i-1})$,</p> <p>$\gamma_i(1) = x_i$.</p> <p>This is completely over my head, as someone coming from Cartan-Eilenberg resolutions being the resolutions of bounded complexes I was expecting to see a bicomplex, I have no idea how to interpret that, does anyone know? Be nice please, I'm still learning.</p> http://mathoverflow.net/questions/112350/resolutions-of-unbounded-complexes-and-homotopy-colimits/112355#112355 Answer by David C for Resolutions of unbounded complexes and homotopy (co)limits. David C 2012-11-14T06:43:37Z 2012-11-14T16:28:39Z <p>In his paper "resolution of unbounded complexes" Compositio Math. (1988) N. Spaltenstein introduces the concept of K-projective and K-injective chain complexes. He proves (theorem C) that any unbounded chain complex $C.$ has a K-projective resolution or a K-injective resolution. For example if you work with chain complexes of modules over a commutative $R$. And if you take a chain complex $C.$ there exists a quasi-isomorphism from a K-projective resolution $F.$ of $C.$ into $C.$.</p> <p>In his introduction N. Spalsenstein gives a very good example that motivates the introduction of such a notion (p. 124). </p> <p>Let me just say that the point is that when you want to compute derived functors you do need to replace your chain complex by a "nicer" guy, this nicer guy should have nice chain homotopic properties. Because you want your computations to be chain homotopic invariant. Over a field all chain complexes are K-projective. But over a ring this is not the case even if you take a chain complexes of projective $R$-modules so you need an additional assumption (see definition p.124). </p> <p>If you know closed model categories, then a K-projective chain complex is a cofibrant object for a CMC structure on chain complexes of $R$-modules.</p> http://mathoverflow.net/questions/112350/resolutions-of-unbounded-complexes-and-homotopy-colimits/112474#112474 Answer by Leo Alonso for Resolutions of unbounded complexes and homotopy (co)limits. Leo Alonso 2012-11-15T12:04:03Z 2012-11-15T12:04:03Z <p>Let $X$ be a complex (of $R$-modules, say). A resolution (on the right, to fix ideas) is just a quasi-isomorphism $X \to P$. If we want to derive a functor $F$ on the left, we would choose for $P$ an <em>acyclic</em> resolution and we have that $\mathbf{L}F X = F P$. Of course, if $P$ is homologically projective (or K-projective) then it is acyclic for any $F$. The dual thing with resolutions on the left and right derived functors. The classical construction of the unbounded resolution is a tedious step by step construction. (A totalization of a Cartan-Eilenberg bicomplex will not work except under some exactness situations). So what Bökstedt and Neeman prove is that with a simple countable homotopy colimit (a cone) you get the desired resolution for modules.</p> <p>For sheaves things are more delicate. If you dualize the argument in Bökstedt and Neeman, you get K-injective resolutions for modules, but the procedure does not work for sheaves because countable products are not exact over sheaves. That's where Spaltenstein work comes into the picture.</p> <p>A good discussion of these kind of questions without full proofs, but pointers to the relevant literature, are the first two 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).</p> <p>Actually, what these works do is to reduce the problem of deriving <em>additive</em> functors to a question in <em>homological</em> algebra, without making recourse to model categories. The model structure for the unbounded category of complexes is a delicate thing (see the papers on this topic by Hovey and collaborators). To establish a certain model structure on the derived category of a Grothendieck Abelian category is as difficult as proving that there are K-injective resolutions by homological methods.</p>