4
$\begingroup$

Given a manifold $M$ with boundary $W = \partial M$, I know that having a handle decomposition of $M$ allows one to compute its homology, at least in nice cases, by - for example - using the Morse Homology of its critical points. Is it similarly easy to compute the homology of $W$, since the handle decomposition of $M$ provides a surgery description of $W$?

If it helps, I'm interested in a particularly simple case: $M$ is a smooth $2n$-manifold which is described by simultaneously adding some number of $n$-handles to $D^{2n}$. However, I am primarily concerned with the integer homology, rather than over $\mathbb{Z}/2\mathbb{Z}$ or $\mathbb{Q}$.

$\endgroup$

1 Answer 1

7
$\begingroup$

For $n>1$, manifold itself is determined by the linking numbers between the attaching spheres of your handles, and the framings of those handles. (For $n=1$, you have to take into account knotting and linking of the attaching circles.) The framings are in 1-1 correspondence with elements of $\pi_n(SO(n+1))$. The homology depends on the image of the framings under the map $\pi_n(SO(n+1))\to \pi_n(S^n)$. Geometrically, this means to take the linking number of your attaching sphere with a pushoff given by the first vector of the given framing. Then the homology is presented by the $(-1)^{n-1}$ symmetric matrix of linking numbers and images of these framings. The proof is an exercise using Poincar\'e duality and the long exact sequence of the pair $(W,M)$.

This is a standard fact in the case $n=2$, in which case the map $\pi_1(SO(2))\to \pi_1(S^1)$ is a bijection, and I think you can find it in such sources as Gompf-Stipsicz. For the general high-dimensional case, look at Classification of (n-1)-Connected 2n-manifolds by C.T.C. Wall, Annals of Math Vol. 75, No. 1 (1962), pp. 163-189.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.