Talk:Normal bordism - definitions (Ex)
In both parts let be a connected finite Poincare complex of dimension
and let
.
Part 1
The following definition of the set of normal maps is similar to [Lück2001, Definition 3.46].
We define
![\displaystyle \mathcal{N}_n(X,k):= \left\{ [\xi,M,i,f,\overline{f}] | \begin{array}{l} \xi\textrm{ vector bundle of rank }k\textrm{ over }X,\, M\textrm{ closed manifold of dimension }n,\, i:\,M\to\mathbb{R}^{n+k}\textrm{ embedding},\, (f,\overline{f}):\,\nu(M,i)\to\xi\textrm{ bundle map},\, f\textrm{ of degree }1 \end{array} \right\}](/images/math/3/8/9/38962ae773ef41b834b8be2c52e0655e.png)
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 the set of tangential normal maps differs from [Lück2001, Definition 3.50].
We define
![\displaystyle \mathcal{N}^T_n(X,k):= \left\{ [\xi,M,a,f,\overline{f}] | \begin{array}{l} \xi\textrm{ vector bundle of rank }k\textrm{ over }X,\, M\textrm{ closed manifold of dimension }n,\, a\in\mathbb{N}_0,\, (f,\overline{f}):\,TM\oplus\underline{\mathbb{R}^a}\to\xi\textrm{ bundle map},\, f\textrm{ of degree }1 \end{array} \right\}](/images/math/e/3/0/e3035e82586359a6866457cc57b3f496.png)