S-duality II (Ex)

Exercise 0.1. 


Let

Tex syntax error

$<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

Tex syntax error

$n$-GPC with SNF

Tex syntax error

$\nu_{X} \colon X \rightarrow \text{BSG} (k)$ and denote by

Tex syntax error

$\alpha_X \colon S^{n+k} \rightarrow X_+ \wedge \text{Th} (\nu_{X})$ the canonical

Tex syntax error

$S$-duality map. Choose the Thom class

Tex syntax error

$u(\nu_{X}) \in C^{k}(\text{Th} (\nu_{X}))$ and the fundamental class

Tex syntax error

$[X] \in C_{n} (X)$. Show that


Exercise 0.2. 


Let

Tex syntax error

$X$ be an

Tex syntax error

$n$-GPC with SNF

Tex syntax error

$\nu_{X} \colon X \rightarrow \text{BSG} (k)$. Choose the Thom class

Tex syntax error

$u(\nu_{X}) \in C^{k} (\text{Th} (\nu_{X})$ and the fundamental class~

Tex syntax error

$[X] \in C_{n} (X)$ so that

Tex syntax error

$\alpha_X \backslash (u (\nu_{X})) \sim [X]$. Prove that the following diagram commutes up to chain homotopy: