Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For a topological group G, we have a Pontryagin product in homology by multiplying representative cycles. This gives the homology the structure of an associative graded algebra. Am I correct in thinking we can prove this by seeing a topological group as an algebra over the Ass-operad and applying homology everywhere?

share|improve this question

1 Answer 1

You can do that. If an operad O acts on a space X, then the structure maps O(n) x Xn -> X induce homology operations H*O(n) ⊗ H*(X)⊗n -> H*(X). In particular, any path component in O(2) produces a multiplication on H*X, if it's in the same path component as its own image under the symmetric group action it's commutative, if the two composites of it are in the same path component of O(3) it's associative, et cetera.

In particular if O is the associative operad (so O(n) are discrete) then this structure reduces to the Pontrjagin ring structure.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.