resolution by simplicial objects versus resolution by chain complex - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T06:44:45Z http://mathoverflow.net/feeds/question/107056 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107056/resolution-by-simplicial-objects-versus-resolution-by-chain-complex resolution by simplicial objects versus resolution by chain complex ZhuangXiaobo 2012-09-13T03:39:49Z 2012-09-13T23:11:31Z <p>I'm reading Illusie's book "complexe de cotangent et Deformations I". And I'm puzzled on the definition of cotangent complex.</p> <p>I formulate my question as follows:</p> <p>Suppose $C$ and $D$ are abelian categories, and $F:C \to D$ is a functor. I would like to consider its left-derived functor $LF$. There are two ways:</p> <p>(1) $C$ embedded into $K(C)$ ,the homotopy category of complexes in $C$, and denote the left-derived functor of F as $L^1F$, so you calculate $L^1F$ by resolution of chain complexes.</p> <p>(2) $C$ embedded into $sC$, the category of simplicial objects in C, and denote the left-derived functor of F as $L^2F$, so you calculate $L^2F$ by resolution of simplicial objects.</p> <p>then, my question is:</p> <ol> <li><p>for any object $X$ in $C$, what is the relation ship with $L^1F(X)$ and $L^2F(X)$? Is there any relation like Dold-Kan?</p></li> <li><p>then what is the reason for the defition of cotangent complex to use simplicial resolution? Is it simply because there is no left-derived functor for the Kahler differential functor if I embed the category $C$ into $K(C)$?</p></li> </ol> <p>Appreciate very much!</p> http://mathoverflow.net/questions/107056/resolution-by-simplicial-objects-versus-resolution-by-chain-complex/107061#107061 Answer by David Roberts for resolution by simplicial objects versus resolution by chain complex David Roberts 2012-09-13T05:03:33Z 2012-09-13T05:03:33Z <p>There is an equivalence between the category of simplicial objects in $A$ and connective chain complexes in $A$ (see <a href="http://ncatlab.org/nlab/show/Dold-Kan+correspondence#statement_abelian_case_23" rel="nofollow">this nLab page</a>). This is exactly the same as Dold-Kan. There is also a Quillen equivalence between these categories (see previous link). Since derived functors between abelian categories is secretly about working with Quillen model structures on categories of (connective) chain complexes, you can calculate the derived functor using either. </p> <p>I don't know the particular benefits of working with the cotangent complex, rather than with a resolution involving chain complexes.</p> http://mathoverflow.net/questions/107056/resolution-by-simplicial-objects-versus-resolution-by-chain-complex/107078#107078 Answer by Tim Porter for resolution by simplicial objects versus resolution by chain complex Tim Porter 2012-09-13T10:47:03Z 2012-09-13T10:47:03Z <p>The point in Illusie's (and earlier Quillen's) work is that you are not really working in an abelian category! Look at Quillen's paper, his homology is the homology of commutative algebras (and the abelian objects there are not that interesting as they have trivial multiplication). The homology is the derived functor of the (relative) abelianisation in a non-abelian setting. Chain complexes are not even available. </p> <p>For abelian categories yes, David's comment is correct, but in Illusie you start with a non-abelian setting, therefore need simplicial resolutions, then use (relative) abelianisation /Kahler module of differentials, to get to simplicial modules, and finally can use Dold-Kan to get to the chain complexes and a form of homology.</p> <p>(By the way, I would be careful in how you think of 'embedding' $C$ into $K(C)$, as that is where the subtleties start.)</p>