Is there any generalization of the Dold-Kan correspondence? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T02:49:21Z http://mathoverflow.net/feeds/question/32755 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32755/is-there-any-generalization-of-the-dold-kan-correspondence Is there any generalization of the Dold-Kan correspondence? Yuhao Huang 2010-07-21T07:01:03Z 2010-09-17T12:30:07Z <p>The Dold-Kan correspondence gives an equivalence between simplicial abelian groups and chain complexes of abelian groups supported on negative degrees. It actually works for any abelian category. I'm wondering if there is any generalization of this corrensponces, more precisely, for other category of algebraic objects, like groups, rings, monoids, A-algebras (where A is a ring), should simplicial objects in them correspond to some more familiar objects? (hopefully some graded thing and maybe we can still take cohomologies of them?)</p> http://mathoverflow.net/questions/32755/is-there-any-generalization-of-the-dold-kan-correspondence/32904#32904 Answer by Tyler Lawson for Is there any generalization of the Dold-Kan correspondence? Tyler Lawson 2010-07-22T05:21:25Z 2010-07-22T05:21:25Z <p>Associated to a simplicial group <code>$G_n$</code>, there is indeed a "chain complex". Namely, for each n one has the group <code>$C_n$</code> of all elements in <code>$G_n$</code> that map to zero under the boundary maps <code>$d_1, \ldots, d_n$</code> (but not necessarily <code>$d_0$</code>) that are part of the simplicial structure. The map <code>$d_0$</code> is then a group homomorphism <code>$C_n \to C_{n-1}$</code> with <code>$Im(d_0) \subset ker(d_0)$</code>, and the image is a normal subgroup. One could view this as a "chain complex" of nonabelian groups, and the homology groups have a nice interpretation: they're the homotopy groups of the geometric realization |G|.</p> <p>However, this method of passing to a graded object isn't in any sense an equivalence of categories. Moreover, it is known that simplicial groups mod weak equivalence are a model for the homotopy category of pointed CW-complexes. In some ways, then, we don't expect much in the way of purely algebraic characterizations of simplicial groups.</p> <p>For simplicial rings there is the slight issue that the normalized chain functor plays somewhat poorly together with the tensor product, and so the Dold-Kan correspondence doesn't preserve the symmetric monoidal structure. This is not as serious an issue for associative algebras or commutative algebras in characteristic zero if one is only working up to weak equivalence/quasi-isomorphism, but if you are interested in an actual equivalence of categories it means that a simplicial commutative $\mathbb{Q}$-algebra is not quite the same as a nonnegatively graded commutative differential graded algebra.</p> http://mathoverflow.net/questions/32755/is-there-any-generalization-of-the-dold-kan-correspondence/32913#32913 Answer by Urs Schreiber for Is there any generalization of the Dold-Kan correspondence? Urs Schreiber 2010-07-22T07:29:39Z 2010-07-22T07:29:39Z <p>As was pointed out by James Griffin, one can generalize the characterization of simplicial groups by certain chain complexes, quite a bit.</p> <p>There is also a DK-correspondence for <em>simplicial rings</em> i.e. for simplicial objects in the category of rings. This is the </p> <p><a href="http://ncatlab.org/nlab/show/monoidal+Dold-Kan+correspondence" rel="nofollow">monoidal Dold-Kan correspondence</a>.</p> <p>Notice that this is no longer an equivalence of categories, but of (oo,1)-categories. </p> <p>Generally, the Dold-Kan correspondence may be thought of as identifying certain very "strict" oo-groupoids inside all oo-groupoids. For instance a simplicial abelian group is necessarily a Kan complex with unique fillers and with an extra abelian grup structure on it, so simplicial abelian groups model strict oo-groupoids with strict abelian group structure on them. The DK-correspondence observes that their information is all encoded in the chain complex of homotopy groups of the oo-groupoid.</p> <p>The monoidal DK-correspondence identifies something like strict $E_\infty$-rings.</p> http://mathoverflow.net/questions/32755/is-there-any-generalization-of-the-dold-kan-correspondence/33110#33110 Answer by Ronnie Brown for Is there any generalization of the Dold-Kan correspondence? Ronnie Brown 2010-07-23T16:51:13Z 2010-07-23T16:51:13Z <p>There are nice generalisations with a certain amount of non-abelian aspects. See Nan~Tie, G. {A {D}old-{K}an theorem for crossed complexes}. {J. Pure Appl. Algebra} \textbf{56}~(2) (1989) 177--194.</p> <p>and the references to work of Nick Ashley. See also Brown, R. and Higgins, P.~J.{Cubical abelian groups with connections are equivalent to chain complexes}.{Homology Homotopy Appl.} \textbf{5}~(1) (2003) 49--52</p> <p>and the references there. A search on MathSciNet for Dold-Kan in title will reveal other aspects. </p> http://mathoverflow.net/questions/32755/is-there-any-generalization-of-the-dold-kan-correspondence/39090#39090 Answer by Matthias Künzer for Is there any generalization of the Dold-Kan correspondence? Matthias Künzer 2010-09-17T12:30:07Z 2010-09-17T12:30:07Z <p>For simplicial groups, there is the generalised Dold-Kan-Puppe theorem by Carrasco-Cegarra: "Group-theoretic algebraic models for homotopy types", J. Pure Appl. Alg. 75 (1991), no. 3, 195--235 (see also MathSciNet MR1137837). (The additive notation in the article is to be read non-commutatively.)</p>