Talk:Thom spaces (Ex)
(Difference between revisions)
Line 30: | Line 30: | ||
[M,i,f,\overline{f}]\mapsto[M,j,i_k\circ f,\overline{i_k}\circ(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}})]. | [M,i,f,\overline{f}]\mapsto[M,j,i_k\circ f,\overline{i_k}\circ(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}})]. | ||
$$ | $$ | ||
+ | From the definition | ||
+ | $$ | ||
+ | V_k:\quad\Omega_n(\gamma_k)\to\Omega_n(X),\quad | ||
+ | [M,i,f,\overline{f}]\mapsto[M,\mathrm{pr}_X\circ f] | ||
+ | $$ | ||
+ | we find for all $k\geq0$ | ||
+ | $$ | ||
+ | (V_{k+1}\circ\Omega_n(\overline{i_k}))([M,i,f,\overline{f}]) | ||
+ | =[M,\mathrm{pr}_X\circ i_k\circ f] | ||
+ | =[M,\mathrm{pr}_X\circ(\mathrm{id_X\times j_k})\circ f] | ||
+ | =[M,\mathrm{pr}_X\circ f] | ||
+ | =V_k([M,i,f,\overline{f}]). | ||
+ | $$ | ||
</wikitex>; | </wikitex>; |
Revision as of 09:41, 2 April 2012
Part 1
We define
and
where .
Part 2
If : is an embedding, we denote by : the composition of with the inclusion . In particular the normal bundles are related by . The bundle map induces
From the definition
we find for all
;