S-duality II (Ex)

Exercise 0.1. 
 Let $X/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_8KQKpw$$<wikitex refresh>; {{beginthm|Exercise}} \label{exrcs:S-duality-of-Thom-class-is-fund-class}
 Let $X$ be an $n$-GPC with SNF $\nu_{X} \colon X \rightarrow \text{BSG} (k)$ and denote by $\alpha_X \colon S^{n+k} \rightarrow X_+ \wedge \text{Th} (\nu_{X})$ the canonical $S$-duality map. Choose the Thom class $u(\nu_{X}) \in C^{k}(\text{Th} (\nu_{X}))$ and the fundamental class $[X] \in C_{n} (X)$. Show that
 $$ \alpha_X \backslash (u(\nu_{X})) \sim \pm [X]. $$ {{endthm}}

 {{beginthm|Exercise}} \label{exrcs:S-duality-and-Thom-iso-is-Poincare-duality}
 Let $X$ be an $n$-GPC with SNF $\nu_{X} \colon X \rightarrow \text{BSG} (k)$. Choose the Thom class $u(\nu_{X}) \in C^{k} (\text{Th} (\nu_{X}))$ and the fundamental class $[X] \in C_{n} (X)$ so that $\alpha_X \backslash (u (\nu_{X})) \sim [X]$. Prove that the following diagram commutes up to chain homotopy:
 $$\xymatrix{C^{n-\ast} (X) \ar[rr]^{- \cup u(\nu_{X})} \ar[dr]_{-\cap [X]} & & C^{n+k-\ast}(\text{Th}(\nu_{X})) \ar[dl]^{\alpha_{X}\backslash -} \ & C(X) & }$$ {{endthm}} </wikitex> == References == {{#RefList:}} [[Category:Exercises]] [[Category:Exercises with solution]]X$ be an $n/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_uFBg0K$$n$-GPC with SNF $\nu_{X} \colon X \rightarrow \text{BSG} (k)/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_FlyOPZ$$\nu_{X} \colon X \rightarrow \text{BSG} (k)$ and denote by $\alpha_X \colon S^{n+k} \rightarrow X_+ \wedge \text{Th} (\nu_{X})/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_zP0rVe$$\alpha_X \colon S^{n+k} \rightarrow X_+ \wedge \text{Th} (\nu_{X})$ the canonical $S/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_JGRBhu$$S$-duality map. Choose the Thom class $u(\nu_{X}) \in C^{k}(\text{Th} (\nu_{X}))/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_EUELSJ$$u(\nu_{X}) \in C^{k}(\text{Th} (\nu_{X}))$ and the fundamental class $[X] \in C_{n} (X)/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_qcf6JZ$$[X] \in C_{n} (X)$. Show that


$\displaystyle \alpha_X \backslash (u(\nu_{X})) \sim \pm [X]./var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_M666Qf$ $$\displaystyle \alpha_X \backslash (u(\nu_{X})) \sim \pm [X].$$





Exercise 0.2. 
 Let $X/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_oFg9dw$$X$ be an $n/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_zFokQM$$n$-GPC with SNF $\nu_{X} \colon X \rightarrow \text{BSG} (k)/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_ywAAH3$$\nu_{X} \colon X \rightarrow \text{BSG} (k)$. Choose the Thom class $u(\nu_{X}) \in C^{k} (\text{Th} (\nu_{X}))/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_UG13Ok$$u(\nu_{X}) \in C^{k} (\text{Th} (\nu_{X}))$ and the fundamental class $[X] \in C_{n} (X)/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_YfFRcC$$[X] \in C_{n} (X)$ so that $\alpha_X \backslash (u (\nu_{X})) \sim [X]/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_FTIuQT$$\alpha_X \backslash (u (\nu_{X})) \sim [X]$. Prove that the following diagram commutes up to chain homotopy:


$\displaystyle \xymatrix{C^{n-\ast} (X) \ar[rr]^{- \cup u(\nu_{X})} \ar[dr]_{-\cap [X]} & & C^{n+k-\ast}(\text{Th}(\nu_{X})) \ar[dl]^{\alpha_{X}\backslash -} \\ & C(X) & }/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_UWW6Jb$