S-duality I (Ex)
From Manifold Atlas
(Difference between revisions)
m (moved S-duality I to S-duality I (Ex)) |
Markullmann (Talk | contribs) (Corrections to the exercise statement.) |
||
Line 1: | Line 1: | ||
<wikitex>; | <wikitex>; | ||
− | Let $X$ and $Y$ be a finite CW-complexes. A map | + | Let $X$ and $Y$ be a finite pointed CW-complexes. A map |
$$ \alpha \colon S^N \to X \wedge Y $$ | $$ \alpha \colon S^N \to X \wedge Y $$ | ||
is called an S-duality if the slant product induced by $\alpha$ | is called an S-duality if the slant product induced by $\alpha$ | ||
− | $$ | + | $$ - \backslash \alpha \colon H^i(X; \Zz) \to H_{N-i}(Y;\Zz) $$ |
is an isomorphism for all $i$. In this case $X$ and $Y$ are called an $S$-duals of each other. | is an isomorphism for all $i$. In this case $X$ and $Y$ are called an $S$-duals of each other. | ||
{{beginthm|Exercise}} \label{exrcs:S-duality-property} | {{beginthm|Exercise}} \label{exrcs:S-duality-property} |
Latest revision as of 21:01, 28 May 2012
Let and be a finite pointed CW-complexes. A map
is called an S-duality if the slant product induced by
is an isomorphism for all . In this case and are called an -duals of each other.
Exercise 0.1. Show that -duality satisfies the following"
- For every finite CW-complex there exists an -dimensional S-dual, which we denote , for some large .
- If is an -dimensional -dual of then is an -dimensional -dual of .
- For any space we have isomorphisms
- A map induces a map for large enough via the isomorphism
- If is a cofibration sequence then is a cofibration sequence for large enough.