0708-1300/Class notes for Thursday, January 10

From Drorbn
Revision as of 23:05, 10 January 2008 by Trefor (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Announcements go here

Class 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.

Recall from last class we are going to prove the following lemma:

Lemma 1

Let e:\mathbb{R}\rightarrow S^1 be e(x) = e^{2i\pi x}

Then every path \gamma:[0,1]\rightarrow S^1 with \gamma(0) = 1 has a unique lift \tilde{\gamma}:[0,1]\rightarrow\mathbb{R} such that

0)\tilde{\gamma}(o) = 0

1) e\circ\tilde{\gamma} = \gamma


Definition 1

A covering map is a map p:X\rightarrow B such that

0) B is connected and locally connected

1) The map X\rightarrow B is locally a map F\times B \rightarrow B where F the "fiber" is a discrete set

More precisely this condition means that every point in B has a neighborhood U such that p^{-1}(U) is F\times U for some such F


Note 1: As is assumed in this section of the course, our map p is continuous, our spaces have base points p(x_0) = b_0. Furthermore we mean, as always, pathwise connected when we say connected.

Note 2: Recall that connected does NOT imply locally connected. Indeed recall the Cantor Comb from a previous class.


Examples of covering maps


1) X = F\times B \rightarrow B is trivially a covering map

2) The map from last class, e:\mathbb{R}\rightarrow S^1

3)S^2\rightarrow S^2 /\pm 1 \cong \mathbb{R} P^2 where the identification glues antipodal points on the sphere. Here F = \mathbb{Z}/2. I.e., there are two preimages of each point (the two antipodal points)

4) Likewise, S^3\rightarrow\mathbb{R}P^3 etc...

5) Consider a bunch of identical floors of "abstract" parking garages all on top of each.


Aside 1

Recall SO(3) the group of orientation preserving rigid rotations of \mathbb{R}^3.

Claim: SO(3)\cong\mathbb{R}P^3

Proof:

SO(3) = \{v\in\mathbb{R}^3\ |\ ||v||\leq\pi\}/ (if ||v||=\pi then v\sim -v)

This is because we know that any rotation occurs about an axis. So one can encapsulate the information of a given rotation by a vector where the orientation of the vector denotes the axis and the length of the vector denotes the amount of rotation. However, a rotation by \pi degrees does not matter which direction v or -v we do this in, hence the identification. But the resulting set is precisely \mathbb{R}P^3.


We can now generalize Lemma 1 with our new concept of covering maps opposed to just the map e (which we now know is a specific example of a covering map)


Lemma 1 (general):

Let p:X\rightarrow B be a covering map. Then every path \gamma:[0,1]\rightarrow B with \gamma(0) = b_0 has a unique lift \tilde{\gamma}:[0,1]\rightarrow X such that

0) \tilde{\gamma}(0) = x_0

1) p\circ\tilde{\gamma} = \gamma


Proof

Cover B with good sets U_{\alpha} (where by "good" we mean the inverse images look like products)

Now \gamma([0,1]) is covering by these and so [0,1] is covered by \{\gamma^{-1}(U_{\alpha})\}

The Lebesgue Lemma then implies that there exists N such that [i/N, (i+1)/N] such that \gamma([i/N, (i+1)/N]) is in one of the U_{\alpha}

The lemma then follows by an inductive argument which is essentially just bookkeeping. Very loosely it is as follows: In the interval [0,1/N] we know that gamma at 0 is b_0 and have to uniquely define \tilde{\gamma}(0) = x_0. We thus get \tilde{\gamma} in this interval recalling that for continuity we have to keep \tilde{\gamma} in one "level". We thus proceed inductively through the other subintervals of [0,1] and it remains to be checked that everything does in fact work out as we expect.