Classnotes for January 10

From 0506Topology

#	Week of...	Links (edit)
Fall
1	Sep 12	About, Tue, Thu, Std2Disc
2	Sep 19	Tue, Thu, HW1, 14 Sets
3	Sep 26	Tue, Thu, Photo
4	Oct 3	Tue, Thu
5	Oct 10	HW2, Tue, Thu
6	Oct 17	Tue, Thu, HW3
7	Oct 24	Mon, Tue, Thu
8	Oct 31	Tue, Thu, HW4
9	Nov 7	TE1, Tue, Thu
10	Nov 14	Tue, Thu, HW5
11	Nov 21	Tue, Thu
12	Nov 28	Tue, Thu, HW6
13	Dec 5	Tue, Thu
E	Dec 12	TE2
Spring
14	Jan 9	Tue, IT83, Thu, HW7
15	Jan 16	Tue, Thu
16	Jan 23	Tue, HW8, Thu
17	Jan 30	Tue, Thu
18	Feb 6	TE3, Tue, Thu
19	Feb 13	Tue, Thu
R	Feb 20
20	Feb 27	Tue, Thu, HW9
21	Mar 6	Tue, Thu, HW10
22	Mar 13	Tue, Thu
23	Mar 20	Tue, Thu, HW11
24	Mar 27	Tue, Thu
25	Apr 3	Tue, Thu, HW12
26	Apr 10	Tue, Thu
Study	Apr 17	Office Hours
Exams	Apr 24	Final, PM

Table of contents

1 Group-Theoretical Defintions

2 Van Kampen's Theorem

3 Examples

3.1 The Figure Eight
3.2 The 2-Torus
3.3 The n-Sphere
3.4 The Surface of Genus n X = Σn
3.5 The 3-Sphere

4 Record of the Lecture

4.1 Scanned lecture notes
4.2 Audio recording

[edit]

Group-Theoretical Defintions

The goal of this lecture is to state van Kampen's theorem (also known as the Seifert-van Kampen theorem), give a brief explanation of its plausibility, and supply several examples of its use. In order to do this, we need to first define the group-theoretical notion of the free product of two groups.

Definition: Let $(G 1, * 1)$ and $(G 1, * 2)$ be groups. Then the free product of $(G 1, * 1)$ and $(G 2, * 2)$ , denoted by $G_{1} \star G_{2}$ , is defined to be the group whose elements are words with letters in $G_{1} \sqcup G_{2}$ (i.e. the disjoint union of $G 1$ and $G 2$ ) and whose multiplication is the concatenation of words, with the empty word being the identity $e$ , together with the relations:

$e_{G_{1}} = e = e_{G_{2}}$ , where $e_{G_{i}}$ is the identity of $(G i, * i), i = 1,2$ ;
for $i = 1,2$ , if $a,b \in G_{i}$ then $a * b = a * i b$ , where $*$ without subscript denotes the multiplication of $G_{1} \star G_{2}$ .

This definition can be extended readily to arbitrary finite free products by induction. One can alternatively define free products by means of a universal property (with uniqueness up to group isomorphism), and provide a rigorous construction to prove their existence. For this approach, see here (http://planetmath.org/encyclopedia/FreeProduct.html).

To see what a free product looks like, let us consider $\mathbb{Z} \star \mathbb{Z}$ . If we call the generator of the first copy of $\mathbb{Z}$ by $a$ , and the generator of the second copy by $b$ , an example of an element of $\mathbb{Z} \star \mathbb{Z}$ would be $a 2 b a - 3 a$ , and an example of a calculation following the relations outlined in the definitions of a free product is $a 2 b a - 3 a * a 2 b a = a 2 b a - 1 b a$ .

As shall soon be explained, it turns out that the concept of the free product is not quite sufficient for the statement of van Kampen's theorem. What we shall need instead is a slight modification, called the free product with amalgamated subgroup:

Defintion: Let $G 1$ , $G 2$ , and $H$ be groups together with homomorphisms $\phi_{1} : H \rightarrow G_{1}$ and $\phi_{2} : H \rightarrow G_{2}$ . Then the free product of $G 1$ and $G 2$ with amalgamated subgroup $H$ , denoted by $G_{1} \star_{H} G_{2}$ , is defined to be $G_{1} \star G_{2}$ together with the additional relation that for every $h \in H$ , $φ 1 (h) = φ 2 (h)$ .

Once again, one can define free products with amalgamated subgroup by means of a universal property (with uniqueness up to group isomorphism), and provide a rigorous construction to prove their existence. For this approach, see here (http://planetmath.org/encyclopedia/FreeProductWithAmalgamatedSubgroup.html).

[edit]

Van Kampen's Theorem

We are now in a position to finally state van Kampen's theorem:

Theorem (van Kampen): Let $X$ be a topological space, let $U_{1},U_{2} \subset X$ be open, and suppose that $X = U_{1} \cup U_{2}$ and that $U_{1} \cap U_{2}$ is path-connected. Let $b \in U_{1} \cap U_{2}$ , and for $i = 1,2$ let $\iota_{i} : U_{1} \cap U_{2} \rightarrow U_{i}$ be the inclusion map. Then $\pi_{1}(X,b) \approx \pi_{1}(U_{1},b) \star_{\pi_{1}(U_{1} \cap U_{2},b)} \pi_{1}(U_{2},b)$ , where, for $i = 1,2$ , the homomorphism from $\pi_{1}(U_{1} \cap U_{2},b)$ to $π 1 (U i, b)$ is taken to be $(ι i) *$ .

Let us see how this is plausible on an intuitive level. If we are given a loop in $X$ with basepoint $b$ in $U_{1} \cap U_{2}$ , then, since $U_{1} \cap U_{2}$ is path-connected, one can apply a homotopy to the portion of the loop within $U_{1} \cap U_{2}$ to decompose the loop, as it were, into the concatenation of several loops, each lying entirely within $U 1$ or $U 2$ . This motivates $π 1 (X, b)$ being some sort of free product of $π 1 (U 1, b)$ and $π 1 (U 2, b)$ . If we are given a loop which lies entirely within $U_{1} \cap U_{2}$ , then we would like for it to correspond to a single element of $π 1 (X, b)$ , whether we view the loop as residing in $U 1$ or in $U 2$ . In this manner, we see that the additional relations which distinguish the free product with amalgamated subgroup from the free product are entirely natural and, in fact, forced upon us, if we wish to avoid double counting of homotopy classes of loops residing entirely in the intersection. Thus, van Kampen's theorem is seen to be an entirely plausible result, but, as we shall see, this does not mean that the proof will be all that easy.

[edit]

Examples

To provide further motivation for study of van Kampen's theorem, we now examine a number of examples of its application.

[edit]

The Figure Eight $X = S^{1} \vee S^{1}$

Our open subsets $U 1$ and $U 2$ are provided by taking the one or the other copy of $S 1$ together with a small neighbourhood of the join point $b$ . Thus $U 1$ and $U 2$ are both readily homotopic to $S 1$ , the homotopy consisting of the retraction of the "antennae", whilst $U_{1} \cup U_{2}$ , which is path-connected and readily homeomorphic to $\times$ , and thus homotopic to a point by the obvious retraction. Thus, for $i = 1,2$ , $\pi_{1}(U_{i},b) \approx \pi_{1}(S^{1}) \approx \mathbb{Z}$ , whilst $\pi_{1}(U_{1} \cap U_{2},b)$ is trivial. Hence $\pi_{1}(U_{1} \cap U_{2},b)$ cannot impose any new relations on the free product $\pi_{1}(U_{1},b) \star \pi_{1}(U_{2},b)$ , so, by van Kampen's theorem, $\pi_{1}(X,b) \approx \pi_{1}(U_{1},b) \star_{\pi_{1}(U_{1} \cap U_{2},b)} \pi_{1}(U_{2},b) = \pi_{1}(U_{1},b) \star \pi_{1}(U_{2},b) \approx \mathbb{Z}\star\mathbb{Z}$