Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavidSpeyer2
    • CommentTimeSep 16th 2015

    John Wiltshire-Gordon and I were reading the nlab article on the monoidal Dold-Kan correspondence and we are puzzled by the following statement:

    “The two functors in the Dold-Kan correspondence individually respect these monoidal structures, in the sense that they are lax monoidal functors.”

    This seems to us to be false. Let D 1D_1 be the chain complex (indexed from 00) which is \mathbb{Q} in degree 11 and 00 in every other degree. Then D 1D 1D_1 \otimes D_1 (using the monoidal structure on chain complexes, by taking the total complex of the double complex) is the chain complex which is \mathbb{Q} in degree 22 and 00 in every other degree. Applying Γ\Gamma, we get a certain simplicial vector space which has dimension (n12)\binom{n-1}{2} in degree nn.

    On the other hand Γ(D 1)\Gamma(D_1) is a simplicial vector space which has dimension nn in degree nn and Γ(D 1)Γ(D 1)\Gamma(D_1) \otimes \Gamma(D_1) (using the monomial structure on simplicial vector spaces, by pulling back along the diagonal map) has dimension n 2n^2 in degree nn. So Γ(D 1D 1)\Gamma(D_1 \otimes D_1) is not isomorphic to Γ(D 1)Γ(D 1)\Gamma(D_1) \otimes \Gamma(D_1). Of course, the two are homotopy equivalent.

    Are we missing something dumb, or is this an error in the article?

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeSep 16th 2015

    It is true that the Dold–Kan functors are not strong monoidal functors. But the article only claims that they are lax monoidal functors. (I don’t know the details of the latter claim.)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 17th 2015
    • (edited Sep 17th 2015)

    Yes, that distinction between lax and strong monoidalness drives the whole topic of the monoidal Dold-Kan correspondence. There is a remark in the entry amplifying this. Presently it says this:

    The upshot is that NN and GG 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 NN 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.

    I have now added a warning and a pointer to this remark from the earlier sentence that #1 pointed out.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)