Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added a paragraph and a reference to cup product, archiving the blog comment here
Whenever I see discussion about cup product, it always starts off with "cocycles", but cup product is also defined on cochains that are not cocycles. Is it possible to say something about that on the page? There is more to life than cohomology (isn't there?)
Okay, maybe I need to make this clearer, because that's precisely the point here:
the cup product on cochains is, while not graded commutative on the nose as its image in cohomology, "homotopy-commutative". Even on cochains, yes.
<div>
<blockquote>
I can at least add this reference to the nLab without much commentary.
</blockquote>
<p>You should! Thanks.</p>
</div>
By the way, I think this page is still lacking lots of material and reference. It's not meant to be close to anything satisfactory.
Following the slogan that cohomology is the hom set in an infinity topos, it seems that the cup product for singular cohomology with coefficients in a ring R should be induced by a morphism . How should this morphism be given?
This is discussed at cup product.
(Though looking back at the entry, I see that it could do with some polishing. As usual.)
Yes, the paragraph cup product – In singular cohomology does not explain how it relates to the general definition. Some glue involving the words “Eilenberg-Zilber map” needs to be added here. Maybe somebody feels inspired to do so.
How can I write the morphism from to that induces the cup product given that delooping is defined such that each deloopable space is the homotopy colimit ?
I have now written this out in some detail at cup product – Via the Dold-Kan correspondence.
The article cup product contains the following claim:
for the tensor product of abelian groups there are canonical natural projection maps p_{A,B}:A×B→A⊗B.
This is then applied to the case of simplicial abelian groups A=Γ(V) and B=Γ(W).
From the context, p_{A,B} must be a morphism of (simplicial) abelian groups.
It appears to me that such a natural map cannot exist: in the category of abelian groups products are isomorphic to coproducts, so a map A×B→A⊗B is a pair of homomorphisms of abelian groups A→A⊗B and B→A⊗B, and it is easy to show that the only natural maps of this type are the zero maps.
Am I missing something here?
I think what was obviously meant was canonical bilinear (not linear) maps.
Re #15: No, we need to apply the forgetful functor U to this map, so it must be a homomorphism of simplicial abelian groups. Otherwise the displayed formula for ∪_DK does not make sense. Perhaps Urs can clarify this?
Could do with some more details certainly! Maybe something like the following is intended. The gadgets and are both defined levelwise by a Hom out of (at each level) the same object, which will preserve products. So one reduces to needing a morphism , of which there is a canonical one.
[ removed ]
Thanks everyone.
In #18 I had first missed Dmitri’s actual point, as maybe Todd and Richard did, too.
Todd and Richard are both right in that is meant to be the universal bilinear map and meant to be applied degreewise.
But then its domain and codomain were indeed denoted incorrectly, forgetting the forgetful functor (which is easy to do, we do this by default on the page on tensor product of abelian groups, which should maybe be improved) and this was Dmitri’s point.
So I have fixed it now (I think) as follows:
The declaration of I changed from
to
and then the definition of the cup product itself I changed form
to
(just removing the first and its codomain and then fixing and expanding the notation for ).
Hope that’s right now.
My original thinking was that it would be: , the last arrow coming from the canonical morphism .
[Edited twice] But I think this amounts to the same as you described (i.e. there is a commutative square up to isomorphism involving your approach and mine) :-).
Thanks, Urs, this resolves the problem.
Next question: the article claims that
the lax monoidal structure γ_{A,B}:Γ(A)⊗Γ(B)→Γ(A⊗B) being induced dually by the Eilenberg-Zilber map
I do not see how the Eilenberg-Zilber map NP⊗NQ→N(P⊗Q) could possibly induce the map γ. Indeed, the (symmetric) Eilenberg-Zilber lax monoidal structure on N induces a (symmetric) oplax monoidal structure on Γ, i.e., a map Γ(A⊗B)→ΓA⊗ΓB, given by the adjoint of A⊗B→NΓA⊗NΓB→N(ΓA⊗ΓB).
However, the map γ goes in the opposite direction, and is induced by the Alexander-Whitney (nonsymmetric) oplax monoidal structure N(P⊗Q)→NP⊗NQ, namely, as the adjoint of the map N(ΓA⊗ΓΒ)→NΓA⊗NΓB→A⊗B. In particular, the map γ is not symmetric, just like the Alexander-Whitney map, and unlike the Eilenberg-Zilber map and the induced oplax map for Γ.
Thanks. Will need to remind myself. Am on a phone right now. Does the adjective “symmetric” need to be remived?
Re #23: No, rather in the definition of γ_{A,B} it should say that it is induced by the Alexander-Whitney map, not the Eilenberg-Zilber map. This is also consistent with other constructions of cup product, many of which use the A-W map, but none (as far as I am aware of) the E-Z map.
Sounds good. Could you be so kind and fix it in the entry? I am still on my phone. Otherwise I can try to look into it later.
I fixed it, the construction looks good to me now.
Thanks a million!
1 to 28 of 28