Talk:Thom spaces (Ex)
(Difference between revisions)
Line 43: | Line 43: | ||
=V_k([M,i,f,\overline{f}]). | =V_k([M,i,f,\overline{f}]). | ||
$$ | $$ | ||
− | </wikitex> | + | |
+ | Part 3 | ||
+ | |||
+ | Let the embeddings $i$ and $j$ be as in Part 2. | ||
+ | Define the collapse maps | ||
+ | $$ | ||
+ | c_k:\quad S^{n+k}\to\mathrm{Th}(\nu(M,i)),\quad | ||
+ | c_{k+1}:\quad S^{n+k+1}\to\mathrm{Th}(\nu(M,j)) | ||
+ | $$ | ||
+ | as in {{citeD|Lück2001|page 57}}. Then we have $c_{k+1}=\Sigma c_k$. | ||
+ | For all $k\geq0$ we obtain | ||
+ | $$ | ||
+ | (P_n(\gamma_{k+1})\circ\Omega_n(\overline{i_k}))([M,i,f,\overline{f}]) | ||
+ | =P_n(\gamma_{k+1})([M,j,i_k\circ f,\overline{i_k}\circ(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}})]) | ||
+ | =[\mathrm{Th}(\overline{i_k}\circ(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}}))\circ c_{k+1}] | ||
+ | =[\mathrm{Th}(\overline{i_k})\circ\mathrm{Th}(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}})\circ c_{k+1}] | ||
+ | $$ | ||
+ | and | ||
+ | $$ | ||
+ | (s_k\circ P_n(\gamma_k))[M,i,f,\overline{f}] | ||
+ | =s_k([\mathrm{Th}(\overline{f})\circ c_k]) | ||
+ | =[\mathrm{Th}(\overline{i_k})\circ\Sigma(\mathrm{Th}(\overline{f})\circ c_k)] | ||
+ | =[\mathrm{Th}(\overline{i_k})\circ\mathrm{Th}(\overline{f}\oplus\mathrm{id}_{\underline{\mathbb{R}}})\circ c_{k+1}]. | ||
+ | $$ | ||
+ | |||
+ | Part 4 | ||
+ | |||
+ | Of course one can do similar things for non oriented manifolds or spin manifolds. | ||
+ | One only has to modify the definition of $\Omega_n(X)$ and use the corresponding universal bundle instead of $\xi_k$. | ||
+ | </wikitex> |
Revision as of 10:18, 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
Part 3
Let the embeddings and be as in Part 2. Define the collapse maps
as in [Lück2001, page 57]. Then we have . For all we obtain
and
Part 4
Of course one can do similar things for non oriented manifolds or spin manifolds. One only has to modify the definition of and use the corresponding universal bundle instead of .