delooping under Dold-Kan and simplicial delooping

2011-02-23T12:00:28Z

What maps of simplicial sets exist between

the image under the Dold-Kan correspondence of a chain complex shifted up in degree
and the image under the right adjoint to simplicial looping of the DK-image of the unshifted complex

Here is the same question in detail:

Write

$$ (G \dashv \bar W) : sGrp \stackrel{\leftarrow}{\underset{\bar W}{\to}} sSet_0 \hookrightarrow sSet $$

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);

and write

$$ Ch_\bullet^+ \overset{\Xi}{\to} sAbGrp \hookrightarrow sGrp \overset{U}{\to} sSet $$

for the Dold-Kan correspondence, where in both cases I care about the images as simplicial sets.

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

$$ U \Xi (V[1]) $$

and

$$ \bar W (\Xi V) $$

should have the same homotopy type. What nice natural maps of simplicial sets do we have between them?

Answer by Jesse Wolfson for delooping under Dold-Kan and simplicial delooping

2011-06-23T15:57:28Z

There's an explicit natural isomorphism between the two functors.

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.

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.

delooping under Dold-Kan and simplicial delooping - MathOverflow

delooping under Dold-Kan and simplicial delooping

Answer by Jesse Wolfson for delooping under Dold-Kan and simplicial delooping