Poincaré duality IV (Ex)

Exercise 0.1. Let $C_*$$<wikitex>; {{beginthm|Exercise}} \label{chain_map} Let $ C_* $ and $ D_* $ be $ \Zz\pi $-chain complexes and $$ s: \Zz^{\omega} \otimes_{\Zz\pi}(C_* \otimes_{\Zz} D_*) \rightarrow Hom_{\Zz\pi}(C^{-*},D_*) $$ be defined by sending $ 1 \otimes x \otimes y \in \Zz^{\omega} \otimes_{\Zz \pi}(C_{n-k} \otimes_{\Zz} D_k) $ to the map $$ s(1 \otimes x \otimes y): (C^{-*})_{k-n} \rightarrow D_k, (\phi:C_{n-k} \rightarrow \Zz \pi) \mapsto \overline{\phi(x)}\cdot y $$ Show that $s$ is a $ \Zz $-chain map. {{endthm}} </wikitex> The exercises on this page were sent by Alex Koenen and Arkadi Schelling. == References == {{#RefList:}} [[Category:Exercises]]C_*$ and $D_*$$D_*$ be $\Zz\pi$$\Zz\pi$-chain complexes and

$\displaystyle s: \Zz^{\omega} \otimes_{\Zz\pi}(C_* \otimes_{\Zz} D_*) \rightarrow Hom_{\Zz\pi}(C^{-*},D_*)$ $$\displaystyle s: \Zz^{\omega} \otimes_{\Zz\pi}(C_* \otimes_{\Zz} D_*) \rightarrow Hom_{\Zz\pi}(C^{-*},D_*)$$

be defined by sending $1 \otimes x \otimes y \in \Zz^{\omega} \otimes_{\Zz \pi}(C_{n-k} \otimes_{\Zz} D_k)$$1 \otimes x \otimes y \in \Zz^{\omega} \otimes_{\Zz \pi}(C_{n-k} \otimes_{\Zz} D_k)$ to the map

$\displaystyle s(1 \otimes x \otimes y): (C^{-*})_{k-n} \rightarrow D_k, (\phi:C_{n-k} \rightarrow \Zz \pi) \mapsto \overline{\phi(x)}\cdot y$ $$\displaystyle s(1 \otimes x \otimes y): (C^{-*})_{k-n} \rightarrow D_k, (\phi:C_{n-k} \rightarrow \Zz \pi) \mapsto \overline{\phi(x)}\cdot y$$

Show that $s$$s$ is a $\Zz$$\Zz$-chain map.

The exercises on this page were sent by Alex Koenen and Arkadi Schelling.