21
$\begingroup$

I'm glancing over Milnor's paper on exotic 7-spheres, and one of the first few lines says, `every closed 7-manifold $M^7$ is the boundary of an 8-manifold $B^8$.

Here's what I don't understand: The unoriented cobordism ring is isomorphic to a polynomial ring over $\mathbb{Z}_2$ with a generator in every degree except $2^m -1$ for any $m$. In particular, there are generators $x_2$ and $x_5$ in degrees $2$ and $5$, respectively. So: why does their product not represent a nontrivial element of the group of cobordism classes of 7-manifolds?

Apologies if this is a silly question... I'm new to all of this.

  • 2
    Since the question has been resurrected, I'll add a small tidbit (4 years late!) Practically, Milnor only considers $S^3$ bundles over $S^4$ with structure group $SO(4)$. The linear action of $SO(4)$ on $S^3$ extends to a disc, and so each of his manifolds is the boundary of the associated disc bundle $D^4$ over $S^4$. In particular, you don't need Thom's computation of the oriented bordism ring for Milnor's paper to work2015-04-01

3 Answers 3

16

Milnor is referring to oriented bordism there, not un-oriented bordism. Not every 7-manifold bounds an 8-manifold as you've observed from Thom's computation of the unoriented bordism ring, being a polynomial ring and having generators in dimension 2 and 5 (and many other dimensions).

But I believe it goes back to Rene Thom, that the bordism group of oriented 7-manifolds is trivial.

1

EDIT: The first paragraph is nonsense... but I'm keeping this here since the comments might be helpful to people looking at this question.

Looks like I figured out the answer to my own question! In the shower just now, I came up with a 7-manifold not bounded by an 8-manifold: $\mathbb{RP}^2 \times S\mathbb{RP}^4$ (Edit: this doesn't quite work yet; don't trust things you find out about in the shower. I just need a 5-manifold with odd Euler characteristic... any ideas?). Indeed, notice that its Euler characteristic is the product of the Euler characteristics of the factors, which are both odd. Boundaries of manifolds have even Euler characteristic, therefore this one is not a boundary, and it is clearly 7-dimensional.

So my confusion stemmed from the fact that the claim `every 7-manifold is a boundary' is false! After a more careful skimming of Milnor's paper, it looks like, even though he uses the unqualified phrase "every 7-manifold is a boundary" he really only uses that "every orientable 7-manifold is a boundary of an orientable 8-manifold."

I'm not entirely sure why this is true, but some evidence comes from the fact that if we invert $2$ in the oriented cobordism ring, then it becomes isomorphic to a polynomial algebra over $\mathbb{Z}[1/2]$ with generators in every 4th dimension... so at least we know that there's nothing appearing in dimension 7 except possibly some 2-torsion. Anyone know why there's no 2-torsion there?

  • 0
    Well, duh :P I was asking for explicit descriptions of what those manifolds look like! :)2011-01-21
1

Because all its Stiefel-Whitney numbers are all zero.

  • 1
    This is false in general, as other answers show.2015-04-02