Chain duality III (Ex)

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(One intermediate revision by one user not shown)
Line 1: Line 1:
<wikitex>;
<wikitex>;
Let $F \colon \Aa \rightarrow \Aa'$ be a functor of additive categories with chain duality. Show that the assignment
+
Let $F : \Aa \rightarrow \Aa'$ be a functor of additive categories with chain duality. Show that the assignment
$$
$$
M \otimes_{\Aa} N \rightarrow F(M) \otimes_{\Aa'} F(N)
M \otimes_{\Aa} N \rightarrow F(M) \otimes_{\Aa'} F(N)
Line 6: Line 6:
given by
given by
$$
$$
\varphi \colon TM \rightarrow N \quad \mapsto \quad G(M) \circ F (\varphi) \colon T' F (M) \rightarrow FT(M) \rightarrow F(N)
+
\varphi \colon TM \rightarrow N \quad \mapsto \quad F (\varphi) \circ G(M) \colon T' F (M) \rightarrow FT(M) \rightarrow F(N)
$$
$$
induces a $\Zz_2$-equivariant chain map
induces a $\Zz_2$-equivariant chain map

Latest revision as of 16:59, 1 June 2012

Let F : \Aa \rightarrow \Aa' be a functor of additive categories with chain duality. Show that the assignment

\displaystyle   M \otimes_{\Aa} N \rightarrow F(M) \otimes_{\Aa'} F(N)

given by

\displaystyle   \varphi \colon TM \rightarrow N \quad \mapsto \quad F (\varphi) \circ G(M) \colon T' F (M) \rightarrow FT(M) \rightarrow F(N)

induces a \Zz_2-equivariant chain map

\displaystyle   C \otimes_{\Aa} C \rightarrow F(C) \otimes_{\Aa'} F(C)

for any C \in \Bb(\Aa).

References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox