20
$\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.

  • 0
    Is your point that you think that a product of two non-trivial classes *must* be non-trivial? That's not true, as your reasoning shows.2011-01-19
  • 1
    If you don't get a good answer within a couple of days, feel free to post this to MathOverflow.This is an appropriate level of question for that forum.2011-01-19
  • 1
    @Rasmus: No I don't think that it is always the case that the product of nontrivial classes is nontrivial. But in this case we're in a polynomial ring, which is a free algebra... so the product of two `indterminates' shouldn't be zero, right? Otherwise we would be imposing some extraneous relation...2011-01-19
  • 0
    Apologies for my earlier ignorant response. I didn't appreciate the intricate nature of the question. I would also like to second Jim's suggestion: it might be profitable to post this at MathOverflow.2011-01-19
  • 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

15

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
    This answer needs a slight tweaking and then it will be correct... I'll think about finding manifolds with odd Euler characteristic, and then check back here later today.2011-01-19
  • 1
    You probably know this, but just to be sure: a compact orientable manifold of odd dimension has vanishing Euler characteristic, by Poincare duality.2011-01-19
  • 2
    And so every compact 5-manifold has Euler characteristic zero, since non-orientable manifolds are finitely covered by orientable ones. This applies to all odd-dimensional manifolds.2011-01-19
  • 0
    Ah, whoops. Well then can you think of an explicit example of a non-orientable 7-manifold that is not a boundary?2011-01-19
  • 1
    Take the Cartesian product of representatives of the generators $x_2$ and $x_5$ in the unoriented cobordism ring! We know $x_2=[\mathbb{R}P^2]$, but this only works for $x_{2i}$. Apparently Dold gives representatives for $x_{2i+1}$ (for $2i+1\not= 2^j-1$, of course!) in "Erzeugende der Thomschen Algebra $N$", 1956.2011-01-20
  • 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