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 a compact manifold of dimension
whose boundary can be written as
.
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)
where we identify iff
1) There exists a compact manifold of dimension
whose boundary can be written as
.
2) There exists a vector bundle :
and there exist
and
a bundle map
:
such that for
we have
and such that
:
has degree one as a map between Poincare pairs.
3) For there exist diffeomorphisms
:
such that
.
4) For there exist bundle isomorphisms
:
such that
.
Here
:
is the differential of
and
:
is given by an inward normal field of
.