Chain duality II (Ex)

From Manifold Atlas
Jump to: navigation, search

Let \Aa be an additive category with chain duality. Show that T induces an isomorphism (rather than just a chain equivalence) of chain complexes of abelian groups

\displaystyle   T_{M,N} \colon M \otimes_{\Aa} N \rightarrow N \otimes_{\Aa} M.

Observe that T_{M,M} is an involution. Define further

\displaystyle   T_{C,D} \colon C \otimes_{\Aa} D \rightarrow D \otimes_{\Aa} C \quad \textup{by} \quad (T_{C,D})_{p,q} = (-1)^{pq} T_{C_p,D_q}

Show that it induces an isomorphism of chain complexes and T_{C,C} is an involution.

[edit] References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox