Talk:Normal bordism - definitions (Ex)
(Difference between revisions)
Line 38: | Line 38: | ||
c) the induced bundle map $(U_j,\nu(U_j))$: $\nu(M_j,i_j)\to\nu(W,I)|_{\partial_jW}$ satisfies $H_j\circ\overline{F}\circ\nu(U_j)=\overline{f_j}$. | c) the induced bundle map $(U_j,\nu(U_j))$: $\nu(M_j,i_j)\to\nu(W,I)|_{\partial_jW}$ satisfies $H_j\circ\overline{F}\circ\nu(U_j)=\overline{f_j}$. | ||
+ | |||
+ | Part 2 | ||
+ | |||
+ | The following definition of $\mathcal{N}^T_n(X,k)$ differs from the definition given in {{citeD|Lück2001|Definition 3.50}}. | ||
</wikitex> | </wikitex> |
Revision as of 11:13, 2 April 2012
Part 1
Let be a connected finite Poincare complex of dimension and let . We define
where we identify iff
1) there exists compact manifold of dimension such that
2) there exists an embedding : such that for we have and meets transversally
3) there exists a vector bundle : of rank and for there exist vector bundle isomorphisms :
4) there exists a bundle map : such that for we have and such that : has degree one as a map between Poincare pairs.
5) for there exist diffeomorphisms : such that
a) : is a diffeomorphism
b)
c) the induced bundle map : satisfies .
Part 2
The following definition of differs from the definition given in [Lück2001, Definition 3.50].