differential topology - Every Manifold Cobordant to a Simply Connected Manifold

Assume that $M^n$ has $pi_1$ finitely generated (Edit: and n>3). Choose a generator. We will construct (using surgery) a cobordism to $M'$ which kills that generator, and by induction we can kill all of $pi_1$. Choose an embedded loop which represents the generator, and choose a tubular neighborhood of the loop. We can view this as a (n-1)-dimensional vector bundle over $S^1$, the normal bundle. Since $M$ is oriented, this is a trivial vector bundle so we can identify this tubular neighborhood with $S^1 times D^{n-1}$.

Now we build the cobordism. We take $M times I$, which is a cobordism from $M$ to itself. To one end we glue $D^2 times D^{n-1}$ along the boundary piece $S^1 times D^{n-1}$ via its embedding into $M$. This is just attaching a handle to $M times I$. This new manifold is a cobordism from $M$ to $M'$, where $M'$ is just $M$ where we've done surgery along the given loop.

A van Kampen theorem argument shows that we have exactly killed the given generator of $pi_1$. Repeating this gives us a cobordism to a simply connected manifold.

Note that it is essential that our manifold was oriented. $mathbb{RP}^2$ is a counter example in the non-oriented setting, as all simply connected 2-manifolds are null-cobordant, but $mathbb{RP}^2$ is not.

---

[I was implicitly thinking high dimensions. Thanks to Tim Perutz for suggesting something was amiss when n=3]

If n=3 then this is "surgery in the middle dimension" and it is more subtle. First of all the normal bundle is an oriented 2-plane bundle over the sphere, so there are in fact $mathbb{Z} = pi_1(SO(2))$ many ways to trivialize the bundle (these are normal framings). Ignoring this, if you carry out the above construction, you will see that (up to homotopy) M' is the union of $M - (S^1 times D^2)$ and $D^2 times S^1$ along $S^1 times S^1$. This can (and does) enlarge the fundamental group.

However a different argument works in dimensions n=1,2,3. The oriented bordism groups in those dimensions are all zero (see the Wikipedia entry on cobordism), so in fact every oriented 3-manifold is cobordant to the empty set (a simply connected manifold). The fastest way to see this is probably a direct calculation of the first few homotopy groups of the Thom spectrum MSO.

• Next pr.probability - How many trial picks expectedly sufficient to cover a sample space?
• Previous ag.algebraic geometry - Uniqueness/motivation for the Suslin-Voevodsky theory of relative cycles.