MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 790 characters in body

Yes the cohomology of an operad over a field is a cooperad . Indeed over a field F, the cohomology functor H* is a monoidal functor (in a contravariant sense.) More precisely the category of topological spaces Top equipped with the cartesian product × is a symmetric monoidal category (the unit being the one point space *). Similarly the category of graded vector spaces is symmetric monoidal when equipped with the tensor product ⊗ (the unit being the ground field concentrated in degree 0 that we denote by F). Then Kunneth theorem tells you that you have a map H(X)⊗ H(X) --> H(XxY), and moreover it is an isomorphism. Also H(∗) is isomorphic to the field F. This is exactly the meaning of your functor being monoidal (which here as to be interpreted in a contravariant sense.) In other words your functor commutes, up to canonical isomorphisms, with the two monoidal structures × and ⊗.

A consequence of this suppose given a topological operad, that is a sequence (X(n))n≥0 of spaces together with structure maps μ:X(k)xX(n1)x...xX(nk) --> X(n1+...+nk) satisfying the associativity condition for an operad (and also a unit belonging to X(1) and some compatible action of the symmetric groups). Then, applying the monoidal functor H you get a cooperad (HX(n))n≥0 in the category of graded vector spaces. Indeed composing H(μ) with the Kunneth isomorphism you get a map
H(X(n1+...+nk)) --> H(X(k)xX(n1)x...xX(nk)) ≅ H(X(k))⊗H(X(n1))⊗...⊗H(X(nk))
satisfying the coassociativity condition of a cooperad (with also a counit and Σ-equivariance.)

You can also try to do the same at the level of (co)chains. However the cochain functor is not monoidal (it is weakly "comonoidal"). So it is not true that the cochains of an operad is a genuine cooperad (although it is amost a cooperad). But the functor of singular chains is monoidal and so it is true that the chains of a topolgical operad is an operad of chain complexes.

Maybe it is because this lack of genuine structure at the cochain level that one do not consider often the cooperad structure on the cohomology. Anyway it would not give more structure that the homology and it is often easier to work with this.

The reason for which this is not in the litterature is that it is folklore that a monoidal covariant/contravariant functor turns operad into operads/cooperads.

2 added 806 characters in body; deleted 759 characters in body

What is true

Yes the cohomology of an operad over a field is that a cooperad . Indeed over a field F, the cohomology functor H* is a monoidal functor (in a contravariant sense.) More precisely the category of topological spaces Top equipped with the cartesian product × is a symmetric monoidal category (the unit being the one point space *). Similarly the category of graded vector spaces is symmetric monoidal when equipped with the tensor product ⊗ (the unit being the ground field concentrated in degree 0 that we denote by F). Then Kunneth theorem tells you that you have a map H(X)⊗ H(X) --> H(XxY), and moreover it is an isomorphism. Also H(∗) is isomorphic to the field F. This is exactly the meaning of your functor being monoidal (which here as to be interpreted in a contravariant sense.) In other words your functor commutes, up to canonical isomorphisms, with the two monoidal structures × and ⊗.

A consequence of this suppose given a topological operad, that is a sequence (X(n))n≥0 of spaces together with structure maps μ:X(k)xX(n1)x...xX(nk) --> X(n1+...+nk) satisfying the associativity condition for an operad (and also a unit belonging to X(1) and some compatible action of the symmetric groups). Then, applying the monoidal functor H you get a cooperad (HX(n))n≥0 in the category of graded vector spaces. Indeed composing H(μ) with the Kunneth isomorphism you get a map
H(X(n1+...+nk)) --> H(X(k)xX(n1)x...xX(nk)) ≅ H(X(k))⊗H(X(n1))⊗...⊗H(X(nk))
satisfying the coassociativity condition of a cooperad (with also a counit and Σ-equivariance.)

1

What is true is that over a field F, the cohomology functor H* is a monoidal functor (in a contravariant sense.) More precisely the category of topological spaces Top equipped with the cartesian product × is a symmetric monoidal category (the unit being the one point space *). Similarly the category of graded vector spaces is symmetric monoidal when equipped with the tensor product ⊗ (the unit being the ground field concentrated in degree 0 that we denote by F). Then Kunneth theorem tells you that you have a map H(X)⊗ H(X) --> H(XxY), and moreover it is an isomorphism. Also H(∗) is isomorphic to the field F. This is exactly the meaning of your functor being monoidal (which here as to be interpreted in a contravariant sense.) In other words your functor commutes, up to canonical isomorphisms, with the two monoidal structures × and ⊗.

A consequence of this suppose given a topological operad, that is a sequence (X(n))n≥0 of spaces together with structure maps μ:X(k)xX(n1)x...xX(nk) --> X(n1+...+nk) satisfying the associativity condition for an operad (and also a unit belonging to X(1) and some compatible action of the symmetric groups). Then, applying the monoidal functor H you get a cooperad (HX(n))n≥0 in the category of graded vector spaces. Indeed composing H(μ) with the Kunneth isomorphism you get a map
H(X(n1+...+nk)) --> H(X(k)xX(n1)x...xX(nk)) ≅ H(X(k))⊗H(X(n1))⊗...⊗H(X(nk))
satisfying the coassociativity condition of a cooperad (with also a counit and Σ-equivariance.)