Tuesday 15 August 2006

at.algebraic topology - Why can't the Klein bottle embed in $mathbb{R}^3$?

Assuming that K is smooth or locally flat, there is a nice geometric reason based on transversality.



The Klein bottle is not orientable. If it embedded in R3 so as to separate a small epsilon neighborhood of its image, then the neighborhood would be homeomorphic to a trivial line bundle over the Klein bottle, K times (-1,1), and therefore the neighborhood would also be non-orientable. But since any 3-dimensional submanifold of R3 is orientable this cannnot happen.



So the Klein bottle embedding would have to be non separating in this neighborhood. But this means there is a curve C in the neighborhood that intersects the embedded Klein bottle once, transversally.



Now C bounds a disk D in R3 since R3 is simply connected. (Bounding any surface is enough).
One can make D transverse to the Klein bottle K, leaving boundary D fixed. One then see that K intersects D in a union of arcs and closed curves, with a single boundary point. But any such collection has an even number of boundary points, a contradiction.



This argument works more generally to show a closed nonorientable surface cannot be embedded in a 3-manifold M with H1(M;Z2) = 0.

No comments:

Post a Comment