symmetric monoidal (∞,1)-category of spectra
There is a plain Dold-Kan correspondence, which establishes an equivalence between (co)simplicial groups and (co)chain complexes. Both these categories carry natural monoidal category structures. It turns out that the Dold-Kan correspondence does respect this monoidal structure, to some extent strictly, but generally in the sense of homotopy theory and higher category theory.
monoids in the category of simplicial vector spaces are simplicial algebras.
Analogous statements apply to the dual Dold-Kan correspondence, where the monoids in question are accordingly cosimplicial rings and differential graded algebras with differential of positive degree.
A crucial fact about the Dold-Kan correspondence is that
However, the adjunction fails to be a monoidal adjunction of any sort (i.e. the unit and counit are not monoidal natural transformations). (Note that if it were a monoidal adjunction, then by doctrinal adjunction, both functors would necessarily be strong monoidal, and hence an equivalence of monoidal categories.) As a result, the Dold-Kan equivalence of categories does not induce an equivalence of categories or even an adjunction between (co)simplicial rings and (co)chain complexes.
There are two different versions of the monoidal Dold-Kan corespondence, which are almost but apparently not entirely formal duals of each other (at least not in the detailed constructions):
The cosimplicial version is made monoidal by replacing the the Moore complex functor by something else, to obtain a Quillen equivalence. The simplicial version is made monoidal by replacing the other functor by something else.
Below we discuss the following Quillen equivalences that capture various aspects of the monoidal Dold-Kan correspondence.
as well as
between simplicial abelian groups and connective chain complexes;
between connected commutative simplicial algebras and connected commutative dg-algebras over a field of characteristic 0
as well as
between simplicial algebras and connective dg-algebras (neither necessarily commutative) over a commutative ring
between connective cochain dg-rings and cosimplicial rings
between simplicial algebras and connective dg-algebras (neither necessarily commutative) over a commutative simplicial ring and its normalized dg-ring
between simplicial algebras and connective dg-algebras over a ring in any characteristic
We first discuss the extent to which the Moore complex functor is monoidal. Then we use this to discuss various Quillen equivalences on model categories of monoids that it induces.
The Moore complex functor
as well as the normalized chains/normalized Moore complex functor
(but not oplax symmetric monoidal)
The lax structure is given by the Eilenberg-Zilber map
The oplax structure is given by the Alexander-Whitney map
is the identity, while the composite
is a chain homotopy equivalence.
Apparently the basic result (without the bilax and Frobenius structure) appears in (MacLaneHomology). The AW/EZ equivalences for the normalized chains functor are a special case of the strong deformation retract of chain complexes that was constructed in (EilenbergMacLane). A review of the proof of symmetric lax monoidalness can be found also in section 8.5.4 of (Weibel). The bilax monoidal and Frobenius structure is described in chapter 5 of (AguiarMahajan). The Frobenius structure has also been observed independently by Kathryn Hess and Steve Lack. See also section 2.3 of (SchwedeShipley).
The lax monoidal transformation that exhibits the lax-monoidalness of the Moore chain complex functor is the shuffle map. Its component
on a pair of simplicial abelian groups is the morphism of chain complexes that sends homogeneous elements to
Here the sum is over all -shuffles, i.e. permutation of the set that leave the first and the last elements in their natural order.
The sign in the above sum is the corresponding sign of this permutation and the degeneracy maps and denote the maps
and similarly for
(Hm, is that consistent?)
Since the normalized Moore complex functor is an equivalence of categories, by doctrinal adjunction its inverse nerve functor also acquires a lax monoidal and a oplax symmetric monoidal structure.
For more details see oplax monoidal functor.
The upshot is that and are both pretty close to being strong monoidal functors, but fail to be so. If they were, the monoidal Dold-Kan correspondence would be a simple corollary of the Dold-Kan correspondence and would hold at the level of 1-categories.
Explicitly, the failure of to be strong monoidal is in that the Eilenberg-Zilber map is (on normalized chain complexes) a right inverse to the Alexander-Whitney map, but not a left inverse. But it is a homotopy-inverse: because the components of the Alexander-Whitney map are (as discussed there) quasi-isomorphisms. By 2-out-of-3 it follows that also the EZ-maps are quasi-isomorphisms and that these are indeed inverse to the AW map in the homotopy category of chain complexes (the derived category).
Therefore we expect that the monoidal Dold-Kan correspondence holds, while not necessarily at the level of ordinary categories, at least at the level of homotopical categories. This is indeed the case, as discussed below.
the oplax structure of
and the lax structure of
are not symmetric monoidal functors, i.e. they do not respect the symmetric monoidal category structure. However, this, too, they do respect up to homotopy, i.e. they are E-infinity monoidal functors in a suitable sense. This is shown in (Richter).
The article (Richter) shows that the inverse from chain complexes to simplicial abelian groups sends algebras over arbitrary differential graded E-infinity-operad to E-infinity-algebra in simplicial modules, and is part of a Quillen adjunction for these.
We discuss Quillen equivalences revolving around the monoidal Dold-Kan correspondence. More details on their construction is below.
Since and are strictly inverse to each other, this may be regarded as a pair of adjoint functors in two ways. Moreover, with respect to the standard model category structures (the projective model structure on chain complexes (fibrations the degreewise surjections in positive degree) and the projective model structure on simplicial abelian groups (fibrations the underlying Kan fibration)s ) both adjunctions are Quillen equivalences.
And let be the monoidal category structure that is degreewise that of Ab.
For a monoidal category, write for its category of monoids. Notice that
is the category of connective differential graded rings.
is the category of simplicial rings.
The DK correspondence exhibits connective dg-rings as a full subcategory of simplicial rings
The composite functor
is equivalent to the identity.
For a commutative ring, there is a Quillen equivalence
This appears in section 4.2 of (SchwedeShipley).
Below in Simplicial algebras and dg-Algebras a generalization of this statement is discussed. But it is worthwhile to spell out the proof just of this special case here.
Regard the ordinary Dold-Kan correspondence
as a Quillen equivalence between the model structure on simplicial k-modules and the projective model structure on chain complexes (fibrations the degreewise surjections in positive degree) with regarded as the right adjoint . Notice that both and preserve all weak equivalences and that the unit and counit of the adjunction are isomorphisms.
First of all is a lax monoidal functor with the lax monoidal transformation given by the Eilenberg-Zilber map. As described at oplax monoidal functor this induces an oplax monoidal structure on given by the composite
But not only is but also . This yields:
For a commutative ring, there is a Quillen equivalence
for the above model structures.
We check that
between simplicial -algebras and connective differential -algebras, where the right adjoint in the normalization functor, but the left adjoint is not .
This is the main theorem in (SchwedeShipley).
Notice that the above statement is not formulated for commutative monoids. But
Here connected means: trivial in degree (= “reduced”).
This was originally mentioned in (Quillen 69, remark on p. 223) as following in a way analogous to the Quillen equivalence between -algebras and dg-Lie algebras. Further remarks on this are in Fresse, 6.4.1a, 6.4.5
In arbitrary characteristic we have instead
For a commutative ring, there is a Quillen equivalence
between connective dg-E-∞ algebra over and simplicial -algebras over .
This is in (Mandell).
Here the model category structures are analogous to those before: for simplicial -algebras the weak equivalences and fibrations are those of the underlying simplicial sets, and for connective dg--algebras they are the underlying quasi-isomorphisms and the underlying positive degreewise surjections.
An unbounded (“stable”) analog of the monoidal Dold-Kan correspondence is:
there is a Quillen equivalence
The monoidal Dold-Kan correspondence relating cosimplicial algebras to cochain dg-algebras is considered less prominently explicitly in the literature, but does appear implicitly in much classical work. For instance the classical statement that the cochains on simplicial sets form a dg-algebra that is commutative up to coherent higher homotopy, i.e. that is an E-infinity algebra, is really the statement that the Moore cochain complex functor on cosimplicial algebras of functions on simplicial sets is an -monoidal functor in a suitable sense.
One article that does make a cosimplicial/cochain monoidal Dold-Kan correspondence explicit is (CastiglioniCortinas)
This establishes not quite a Quillen equivalence, but shows that the Dold-Kan correspondence induces an equivalence of homotopy categories for the model structure on cosimplicial rings and the model structure on dg-rings.
However, this article explicitly constructs the (derived) adjoint functor to the Moore cochain complex functor.
Explicit discussion of the Moore co-chain complex functor as inducing an -monoidal functor seems not to be in the literature explicitly at time of this writing (?), even though various of its aspects are implicit, partly classical, statements. The following tries to make some aspects explicit.
A central ingredient in the monoidal Dold-Kan correspondence are the Alexander–Whitney and the shuffle morphisms.
See chapter VI, paragraph 12 of
or chapter VIII, paragraph 8 of
For cosimplicial abelian groups, and their Moore cochain complexes,
the Alexander–Whitney morphism is the morphism
that is given on homogeneous elements of degree , respectively, by
Notice that for a cosimplicial algebra, further composing this with the product yields the cup product induced on dg-algebras of cosimplicial algebras. This is spelled out in detail below.
The shuffle morphism goes the other way
and is given on homogeneous elements as above by
where the sum is over all shuffles and is the sign of the shuffle.
Both the Alexander–Whitney morphism as well as the shuffle morphism respect the passage to the normalized Moore complex of and hence induce also morphisms
In this form they satisfy
See for instance theorem 2.1.a in (EilenbergMacLane).
A quick summary of all this is in section 7 of
We claim to show that the Moore cochain complex functor
from cosimplicial abelian groups to cochain complexes is a lax monoidal functor with respect to the standard monoidal structures on and .
This should be old and standard, but somehow explicit statements in the literature to this extent are hard to find.(?) Some central aspects are recalled in section 7 of
Every monoid in – a cosimplicial ring – the Moore cochain complex is naturally equipped with the structure of a monoid in – a differential graded algebra – by letting the product be given by the composite
is the component of the lax monoidal transformation that exhibits the lax monoidal structure (the “compositor”);
The operation is the product on .
This monoidal structure induced from a cosimplicial ring on its Moore cochain complex on is the cup product.
More precisely, for a topological space and the set of -simplices in , arranging themselves into the simplicial set – the fundamental ∞-groupoid of – and for some ring let be the cosimplicial ring of maps .
the Moore cochain complex is the cochain complex that computes the singular cohomology of ;
We now derive this in detail.
For some abelian category write for the category of cosimplicial objects in and for the category of cochain complexes in concentrated in non-negative degree – called connective or -graded cochain complexes.
Recall that the Moore cochain complex functor
for their tensor product is the degreewise tensor product, i.e. the cosimplicial object with and with cosimplicial maps the tensor product of the cosimplicial maps in and .
for their tensor product the graded tensor product, i.e. the cochain complex with whose coboundary map is given on homogeneous elements by
For define the component map
by defining it on homogeneous elements
The iterated application of cosimplicial face maps on the right is to be thought of as producing a -cosimplex in by evaluating the -cosimplex on “leftmost” simplicial -faces and the -simplex on “rightmost” simplicial -faces and then tensoring the resulting group elements.
The defined this way is indeed a cochain map.
We have to check that respect the coboundary maps in that for all as above we have
By definition of the cup product and the differential on the Moore cochain complex we have
By definition the face maps on the tensor product are just the tensor products of the face maps of and , so that this is
Break up this sum in three parts
Now repeatedly use the simplicial identities for face maps
to pass face maps from the left to the right. This yields
Observe that the second term may now be naturally included in the sum in the third term, leaving two sums
Reduce the summation index on the second sum by to obtain
Each sum seperately is now almost the alternating sum expression of an application of the Moore complex coboundary map, except for one missing term in each sum. But the two missing terms are equal and of opposite sign, so we can add them in
One last application of the simplicial identities in the third tirm shows that indeed this is the missing term in the sum in the fourth term. Comparing the result with the definition of coboundary map and cup product we find finally
This is indeed natural in . For every and we have
This is immediate from the fact that the morphisms of cosimplicial objects respect the face maps.
The natural transformation is indeed a lax monoidal transformation in that it is associative and unital in the required sense.
We need to show that for all we have
it is sufficient to check this on all homogeneous elements . There it is straightforward to check by using simplicial identities.
The above statement is obvious when one observes the geometric interpretation of the above remark: the image of along both ways around the above square is the -dimensional cosimplex that is obtained by evaluating on the leftmost -face, on the middle -face and on the rightmost -face and then tensoring the resulting group elements.
The Moore cochain complex functor
can be equipped with a lax monoidal structure with respect to the standard monoidal structure on cosimplicial abelian groups and on connective cochain complexes of abelian groups.
At least for those cosimplicial algebras that are algebras of cochains on simplicial sets , i.e. it is known that the Moore complex dg-algebra equipped with the cup product is an E-∞-algebra. See cochains on simplicial sets for details on this.
There is a Quillen equivalence
between connective cochain dg-rings and cosimplicial rings.
This is the main theorem in CastiglioniCortinas.
A version of this equivalence (refined to an equivalence between dg-dg-algebras and cosimplicial dg-algebras) is in (Pridham, theorem 4.26). There is also discussed how this is a Quillen eqivalence between two realizations of a model structure for L-infinity algebras.
Original results are in
A classical textbook reference is
This discusses the symmetric monoidalness of the chains functor in section 8.5.4.
The bilax monoidalness and Frobenius monoidalness of the normalized chains/Moore complex functor is discussed in section 5.4.2 of
Coxeter Groups and Hopf Algebras Fields Institute Monographs, vol. 23 (pdf)
Explicit details on many constructions of the lax/oplax structure are given in section 11 of
The Quillen equivalence between connective chain dg-algebras and simplicial algebras is discussed in.
The Quillen equivalence between connected cochain dg-algebras and cosimplicial algebras is discussed in
Also section 4.4 of
The Quillen equivalence between connected simplicial commutative algebras and connected commutative dg-algebras in characteristic 0 is indicated all the way back on p. 223 of
The Quillen equivalence between dg-algebras and simplicial algebras is in
Symmetry properties of the Dold-Kan correspondence (pdf)
Homotopy algebras and the inverse of the normalization functor (pdf)
The Alexander–Whitney/Eilenberg–Zilber equivalences for the normalized chains functor are a special case of the strong deformation retract of chain complexes that was constructed
For any commutative ring , they defined chain equivalences between the tensor product of the normalized chains on two simplicial R-modules and the normalized chains on their levelwise tensor product.
See also the appendix in
The equivalence between cosimplicial commutative algebras and commutative cochain dg-algebras in non-negative degree, over a field of char 0 is discussed in
and the analogous statement for the simplicial case, with hints for its proof, is also in