Handlebody decompositions of bordisms (Ex)
m |
Revision as of 12:34, 24 March 2012
In the following we use the notation of [Lück2001, Section 1.1]. In particular, if is an -manifold with boundary component and
is an embedding then denotes the manifold of obtained from by attaching a -handle along :
Exercise 0.1. Let be an -dimensional cobordism, and suppose that, relative to , we have
Show that there is another diffeomorphism, relative to , which is of the following form:
The important part is that for each -handle in the first handlebody decomposition, we have an -handle in the second, dual handlebody decomposition.
Comment 0.2. If one approaches this exercise using Morse functions (and their relation to handlebody decompositions), the above is almost trivial (Question: Why?). The actual intention of this exercise is to go through the details of the rather direct approach outlined in [Lück2001, pp.17-18]. While this is a bit tedious, it provides a good opportunity to get more familiar with handlebody attachments and the like.
Exercise 0.3.
Let be an -dimensional manifold whose boundary is the disjoint sum and let be a trivial embedding i.e. an embedding which is given by the restriction of an embedding of the disk via a fixed standard embedding .
Show that there exists an embedding , such that meets the transverse sphere of the handle transversally in exactly one point. Conclude by the Cancellation Lemma [Lück2001, Lemma 1.12] that and are diffeomorphic relative to .
Exercise 0.4. Let be an h-cobordism with , which is written as follows:
For let be the result of attaching all the -handles of to for . Fix and assume that is an embedding which meets the transverse sphere of transversally in exactly one point and is disjoint from the transverse spheres of the handles for . Show that there is with
The exercises and comments on this page were sent by Alex Koenen, Farid Madani, Mihaela Pilca and Arkadi Schelling.
References
\leq q \leq n$ let $W_q \subset W$ be the result of attaching all the $j$-handles of $W$ to $\partial_0W \times [0, 1]$ for $j \leq q$. Fix \leq q\leq n-3$ and assume that $f:S^q\to \partial_1 W_q$ is an embedding which meets the transverse sphere of $(\phi^q_{i_0})$ transversally in exactly one point and is disjoint from the transverse spheres of the handles $(\phi^q_i)$ for $i\neq i_0$. Show that there is $\gamma \in \pi_1(W)$ with $$[\tilde{f}]=\pm\gamma\cdot[\phi^q_{i_0}] \in \pi_q(\tilde W). ??$$ {{endthm}} The exercises and comments on this page were sent by Alex Koenen, Farid Madani, Mihaela Pilca and Arkadi Schelling. == References == {{#RefList:}} [[Category:Exercises]]W is an -manifold with boundary component andis an embedding then denotes the manifold of obtained from by attaching a -handle along :
Exercise 0.1. Let be an -dimensional cobordism, and suppose that, relative to , we have
Show that there is another diffeomorphism, relative to , which is of the following form:
The important part is that for each -handle in the first handlebody decomposition, we have an -handle in the second, dual handlebody decomposition.
Comment 0.2. If one approaches this exercise using Morse functions (and their relation to handlebody decompositions), the above is almost trivial (Question: Why?). The actual intention of this exercise is to go through the details of the rather direct approach outlined in [Lück2001, pp.17-18]. While this is a bit tedious, it provides a good opportunity to get more familiar with handlebody attachments and the like.
Exercise 0.3.
Let be an -dimensional manifold whose boundary is the disjoint sum and let be a trivial embedding i.e. an embedding which is given by the restriction of an embedding of the disk via a fixed standard embedding .
Show that there exists an embedding , such that meets the transverse sphere of the handle transversally in exactly one point. Conclude by the Cancellation Lemma [Lück2001, Lemma 1.12] that and are diffeomorphic relative to .
Exercise 0.4. Let be an h-cobordism with , which is written as follows:
For let be the result of attaching all the -handles of to for . Fix and assume that is an embedding which meets the transverse sphere of transversally in exactly one point and is disjoint from the transverse spheres of the handles for . Show that there is with
The exercises and comments on this page were sent by Alex Koenen, Farid Madani, Mihaela Pilca and Arkadi Schelling.