The Möbius strip as a line bundle[edit | edit source]
In everything that follows we consider the argument map on complex numbers as taking values in the half-open interval , and the square root of a complex number to be
Consider now the unit circle as a subset of the complex numbers. The topologically obvious way to endow the Möbius strip with the structure of a real line bundle over is to take the direct product of the unit interval and the real line and to glue the two edges in reverse manner to each other, i.e. one defines the total space of to be
where the equivalence relation
is generated by
The projection onto
is then given by the map
; it is clear that this is well defined. However since this definition is so artificial it is unfortunately a bit annoying (though not too hard) to construct explicit local trivializations.
A more convenient way of thinking of the Möbius strip as a smooth real line bundle is slightly algebraic: the tautological line bundle over is the Möbius strip. Inspired by this viewpoint we can define the total space
is the obvious map and is clearly smooth. To see that this is indeed the Möbius strip one can either meditate on it for a while, or one can note that the map
is a homeomorphism that induces an isomorphism of bundles
. As suggested by the notation let us define another line bundle over
given by the total space
After similar meditation as before it should be clear that this is the smooth line bundle corresponding to a strip with a full twist in it (two of the twists involved in the Möbius strip). In this framework it is surprisingly simple to see that
: identify fibres of
and define maps
. These maps are clearly smooth isomorphisms and extend to smooth isomorphisms of the full bundles. Finally it is also immediate that
is the trivial line bundle over
: extend notation further by considering the total space of the trivial bundle as
and define maps
. These are again clearly smooth isomorphisms and extend to give smooth isomorphisms of the bundles. More generally one can say that the tensor product of any
real line bundle with itself is trivial. This can be seen by either noting that the transition functions for the tensor product are products (as real valued functions) of the original transition functions, by consulting Stiefel-Whitney classes, or by noting that
is a classifying space for real line bundles and that the composition
is nullhomotopic, where
is the map induced by tensor products.
Finally we can note that the Möbius strip can't be the trivial bundle simply because it is not homeomorphic to a cylinder. An easy way to see that the strip with two half-twists can't be deformed to in (even though we have seen them to be homeomorphic) is to note that the boundary of an actual (i.e. not open and not infinite) is the Hopf link, and an isotopy from to would give an ambient isotopy of the Hopf link to the trivial unlink, something that is clearly impossible by intuition or basic arguments involving Link invariants.
Such an isotopy is however possible in four dimensions. For notational convenience let be the open cylinder where the equivalence is generated by and consider the embeddings:
, defined by
is the standard cylinder, while
is the full-twist Möbius band. The map
defines an isotopy between the two embeddings.
Show that the tangent bundle of the Riemann Sphere is isomorphic to the line bundle .
A possible way to solve this exercise is using this two theorems on compact Riemann surfaces:
- Every line bundle on the complex projective space is of the form , for some integer , where
- One of the many consequences of Riemann-Roch Theorem is that , where is the canonical bundle of , a compact Riemann Surface of genus .
If we believe to the two previous statement, the exercise is immediately solved: indeed, , since . Thus, .
In the lecture we defined the first Stiefel-Whitney Class in the following way:
- Prove that this is a characteristic class, i.e. that it is functorial.
- Calculate the first Stiefel-Whitney class for the tautological bundle over
For part a), recall the following fact: suppose we have a loop and a vector bundle over . Then the fibre of the loop reverses orientation if and only if is non-trivial when restricted to
Suppose we have a vector bundle and a map We now use this fact to prove the required equality, i.e.
Let be a loop in , an element of . Then, by definition of the first Stiefel-Whitney class, if and only if is trivial when restricted to .
On the other hand, which again equals 0 if and only if is trivial when restricted to . It is now easy to see that these two conditions are equal directly from the definition of the pullback bundle, since
For part b), we recall that Hence we need to figure out whether is or not. We claim that it is the non-zero element.
Let us first try to answer the question for . We already know from a previous exercise that is isomorphic to the Mobius band and, of course, that . But, the Mobius band is non-orientable. Hence, is non-zero.
Now for the general case, we note that linear algebra gives us an embedding (just consider the lines in which lie in a fixed plane) and, since is isomorphic to , it actually defines a loop in Since , we see that by restricting to , the first Stiefel-Whitney class of must, in fact, also be non-zero.