delooping under Dold-Kan and simplicial delooping - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T19:32:39Z http://mathoverflow.net/feeds/question/56388 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56388/delooping-under-dold-kan-and-simplicial-delooping delooping under Dold-Kan and simplicial delooping Urs Schreiber 2011-02-23T12:00:28Z 2011-06-23T15:57:28Z <p>What maps of simplicial sets exist between </p> <ul> <li><p>the image under the Dold-Kan correspondence of a chain complex shifted up in degree</p></li> <li><p>and the image under the right adjoint to simplicial looping of the DK-image of the unshifted complex</p></li> </ul> <p>?</p> <p>Here is the same question in detail:</p> <p>Write</p> <p>$$(G \dashv \bar W) : sGrp \stackrel{\leftarrow}{\underset{\bar W}{\to}} sSet_0 \hookrightarrow sSet$$</p> <p>for the adjunction between simplicial groups and reduced simplicial sets whose left adjoint is the simplicial loop group functor (as for instance in Goerss-Jardine, chapter V);</p> <p>and write</p> <p>$$Ch_\bullet^+ \overset{\Xi}{\to} sAbGrp \hookrightarrow sGrp \overset{U}{\to} sSet$$</p> <p>for the Dold-Kan correspondence, where in both cases I care about the images as simplicial sets.</p> <p>Then for $V \in Ch_\bullet^+$ a chain complex and $V[1]$ (or $V[-1]$ if you prefer) its shift up in degree (its delooping as a chain complex) the two simplicial sets</p> <p>$$U \Xi (V[1])$$</p> <p>and</p> <p>$$\bar W (\Xi V)$$</p> <p>should have the same homotopy type. What nice natural maps of simplicial sets do we have between them? </p> http://mathoverflow.net/questions/56388/delooping-under-dold-kan-and-simplicial-delooping/68624#68624 Answer by Jesse Wolfson for delooping under Dold-Kan and simplicial delooping Jesse Wolfson 2011-06-23T15:57:28Z 2011-06-23T15:57:28Z <p>There's an explicit natural isomorphism between the two functors. </p> <p>Rick Jardine says as much, but for the image of the functors in the category of chain complexes (i.e. after applying the normalization). You can find this in Goerss, Jardine Remark III.5.6, or in greater depth in section 4.6 of Jardine's book on Generalized Etale Cohomology. </p> <p>The combinatorics for the isomorphism in simplicial abelian groups means that the isomorphism takes a little longer to state, but I could send you a pdf with everything written out if this would be useful. </p>