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

Let $X$ be a pointed simplicial set. For each $n$, you are given a pointed subsimplicial set $A_n$ of $X^{\wedge n}$, the $n$-fold smash product of $X$. With this data, we can construct a bigraded ${\mathbb{Z}}/2$-vector space $E:=\oplus_n\oplus_i \tilde{H}_i (X^{\wedge n}/A_n; {\mathbb{Z}}/2)$, consisting of the reduced homologies of the quotient spaces $X^{\wedge n}/A_n$.

Suppose that $A_{n+m}$ is a subsimplicial set of $A_n\wedge X^{\wedge m} \vee_{A_n\wedge A_m} X^{\wedge n}\wedge A_m$. This condition gives us a morphism $f_{n,m}:X^{\wedge n}/A_n \wedge X^{\wedge m}/A_m\to X^{\wedge n+m}/A_{n+m}$. We now have a multiplication map on the homologies $\tilde{H}_i (X^{\wedge n}/A_n)\otimes \tilde{H}_j (X^{\wedge m}/A_m)\to $ $\tilde{H}_{i+j} (X^{\wedge n}/A_n \wedge X^{\wedge m}/A_m)$
$\stackrel{H_{i+j}(f_{n+m})}{\to}$ $H_{i+j}(X^{n+m}/A_{n+m})$. This gives $E$ the structure of a graded algebra.

Suppose further that $X\simeq *$ is contractible. The short exact sequence $A_n\to X^{\wedge n}\to X^{\wedge n}/A_n$ induces a long exact sequence. From this long exact sequence we read off that for $i\ge 1$, we have the isomorphism $\tilde{H}_i(X^{\wedge n}/ A_n)\cong \tilde{H}_{i-1}(A_n)$. Supposing that $X^{\wedge n}/A_n$ is connected, we have an isomorphism of vector spaces $A \cong \oplus_n \oplus_{i=1}^\infty \tilde{H}_{i - 1}(A_n;{\mathbb{Z}}/2)$.

The multiplication on $E$ induces via this isomorphism a multiplication on the right-hand space. Is there a simple description of the multiplication map $\tilde{H}_{i-1}(A_n)\otimes \tilde{H}_{j-1}(A_m) $ $\to H_{i+j-1} (A_{n+m})$?

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.