12
$\begingroup$

Let $M$ be a smooth manifold (not necessarily orientable) and let $N=\partial M$. Is $N$ necessarily orientable?

I have no particular reason to believe that this is the case, but I wasn't able to come up with a counterexample either.

  • 17
    Take any non-orientable $K$ without boundary and set $M=K\times[0,1]$.2012-02-09

3 Answers 3

4

The general theorem is that a manifold is a boundary if and only if all of its Stiefel-Whitney numbers are zero. This can happen for both orientable and non-orientable manifolds. The Klein bottle is the simplest example of a non-orientable manifold that is a boundary.

Here is the proof that all of the Stiefel-Whitney numbers are zero for the Klein bottle.

Since the Klein bottle is a 2 dimensional surface it has only two Stiefel-Whitney numbers, the square of its first Stiefel-Whitney class and its second Stiefel Whitney class both evaluated on the mod 2 fundamental cycle.

If one thinks of a Klein bottle as a circle bundle over a circle, then the first Stiefel Whitney class is the intersection number with a fiber circle. Its self intersection number is zero. This can all be easily seen by drawing a Klein bottle as the fundamental domain of the action of the group of isometries of the plane generated by the standard lattice together with the map (x,y) -> ( x + 1/2, -y) The fiber circles are the projections of straight lines that are perpendicular to the x axis.

So the square of the first Stiefel-Whitney class is zero.

The second Stiefel Whitney class is zero because the Klein bottle has an everywhere non-zero vector field. One can also show that it is the square of the first Stiefel-Whitney class, and therefore zero,because the classifying map of the tangent bundle can be factored through the infinite real projective space.

Therefore the Klein bottle is a boundary by Thom's theorem.

But the reply above, that one can extend the fiber circle to a disk is true and this shows that the Klein bottle is a boundary directly. If you construct a Klein bottle from a cylinder by attaching the bounding circles with a reflection, then this map clearly extends to the solid cylinder.

BTW: The first Z/2 cohomology of the Klein bottle is not generated by the first Stiefel Whitney class. Its first cohomology is isomorphic to Z/2 x Z/2.

Interestingly, the square of the other cohomology class, the one which is not the first Stiefel-Whitney class is not zero. This class is the intersection number with the equatorial circle of the Klein bottle. Its self-intersection number, and therefore the square of the cohomology class, is not zero. This follows from the Intermediate Value theorem.

  • 1
    It is tempti$n$g to thi$n$k that since a boundary always has an inward pointing normal vector field that the manifold is orientable. But if the ambient manifold is not orientable then there may be no way to find an orientation of the boundary's tangent space.2013-12-02
10

The example given by azarel is a non-compact one. Here is a compact example.

We know how to make Klein bottle (i.e. we fibre a circle over a circle in a way). If we replace the fibre by disc then we get a manifold whose boundary is Klein bottle, i.e. the boundary is non-orientable.

  • 0
    You're right! +1 from me! The mistake in my calculation is that $w_1^2 = 0$, so $w_1^3$ cannot be nonzero. Sorry about that. If you'd like, I can delete my previous comment.2013-04-17
5

I'm a bit rusty on this but would not something like $M\times [0,1)$ be a counterexample? (where $M$ is the Möbius band)

  • 0
    I believe the boundary of $M \times [0,1)$ would (I think with slight notational abuse) be $M \times \{0,1\} \cup \partial M \times [0,1]$, which would not be orientable. It wouldn't be just a Möbius strip.2018-07-05