Talk:Thom spaces (Ex)
From Manifold Atlas
(Difference between revisions)
Line 1: | Line 1: | ||
<wikitex>; | <wikitex>; | ||
− | Part 1 | + | '''Part 1''' |
We define | We define | ||
Line 20: | Line 20: | ||
where $\mathrm{arg}(z)\in(0,2\pi)$. | where $\mathrm{arg}(z)\in(0,2\pi)$. | ||
− | Part 2 | + | '''Part 2''' |
If $i$: $M\to\mathbb{R}^{n+k}$ is an embedding, we denote by $j$: $M\to\mathbb{R}^{n+k+1}$ the composition | If $i$: $M\to\mathbb{R}^{n+k}$ is an embedding, we denote by $j$: $M\to\mathbb{R}^{n+k+1}$ the composition | ||
Line 44: | Line 44: | ||
$$ | $$ | ||
− | Part 3 | + | '''Part 3''' |
Let the embeddings $i$ and $j$ be as in Part 2. | Let the embeddings $i$ and $j$ be as in Part 2. | ||
Line 68: | Line 68: | ||
$$ | $$ | ||
− | Part 4 | + | '''Part 4''' |
Of course one can do similar things for non oriented manifolds or spin manifolds. | 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$. | One only has to modify the definition of $\Omega_n(X)$ and use the corresponding universal bundle instead of $\xi_k$. | ||
</wikitex> | </wikitex> |
Latest revision as of 12:17, 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 .