User:Trefor

NOTE: This page is used as a placeholder for incomplete typed class notes.
Typed Notes
The notes below are by the students and for the students. Hopefully they are useful, but they come with no guarantee of any kind.
We start with a one further comment on VanKampen:
Let , with open and with then connected.
Then,
We actually also need then to be connected. Recall we previously had a square grid in our homotopy, so needed the four sections around a grid point to intersect in a connected way.
However, we can employ a clever trick to reduce this to only needing triples of to be connected. That is, instead of covering it was squares on top of each other, cover it with rectangles arranged in the way bricks are laid in a wall.
Definition
is a "covering" if, for some fixed discrete set F, every has a neighborhood U such that . We have the natural map
Now a naive dream would be to classify all such covering spaces.
Example 1
The double annulus depicted above is a covering space for the single annulus
Example 2
Consider a series of rectangular planes stacked on top of each other. Make a small cut in each plane, and then glue one side of the cut to the opposite side in the plane above. Finally glue the remaining unglued sides in the very top and bottom planes to each other.
Analogously this can be done in higher dimensions.
Theorem
For a "decent" B (a topological condition to be discussed later) there is a bijection between connected coverings of B and subgroups of
given by included in
Example 3
Consider
Now, (equator with identification of antipodes) as we have previously computed.
There are only two subgroups of , namely {e} and
Lets consider the case where the subgroup is . Then the identity covering with F merely a point. So
For {e}, is the other covering.
Aside:
Consider a belt. A point on it can be associated with three vectors. One vector is tangent to the belt in the direction of one end. The other vector is normal to the belt. And the third is normal to both of these.
Now fix the orientation of the end points. Hence, we can think of the belt as a path in SO(3) as a homotopy. Pulling the belt tight is the identity homotopy.
We note that if one twists the orientation of the end 360 degree, then this is non trivial and there is no way to return this to the identity while holding the ends fixed in orientation. However, if you twists the orientation of an end point 720 degrees then in fact you CAN "untwist" the belt without changing the orientation of the endpoints!