Classnotes for January 10

From 0506Topology

(Difference between revisions)

Revision as of 22:04, 22 Feb 2006

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

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

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

Examples

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

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}$

The 2-Torus $X = S^{1} \times S^{1}$

The n-Sphere $X = S^{n}, n \ge 2$

The Surface of Genus n $X = Σ n$

The 3-Sphere $X = S^{3} \approx \mathbb{R}^{3} \cup \{\infty\}$

Record of the Lecture

Scanned lecture notes

Available in PDF format.

Audio recording

1st hour lecture recording

2nd hour lecture recording

Retrieved from "http://katlas.math.toronto.edu/0506-Topology/index.php?title=Classnotes_for_January_10"

Revision as of 22:04, 22 Feb 2006 Branimir (Talk \| contribs) Group-Theoretical Defintions - corrected error ← Go to previous diff		Revision as of 22:04, 22 Feb 2006 Branimir (Talk \| contribs) Group-Theoretical Defintions Go to next diff →
Line 18:		Line 18:


-	'''Defintion:''' ''Let <math>G_{1}</math>, <math>G_{2}</math>, and <math>H</math> be groups such that there exist homomorphisms <math>\phi_{1} : H \rightarrow G_{1}</math> and <math>\phi_{2} : H \rightarrow G_{2}</math>. Then the '''free product of <math>G_{1}</math> and <math>G_{2}</math> with amalgamated subgroup <math>H</math>''', denoted by <math>G_{1} \star_{H} G_{2}</math>, is defined to be <math>G_{1} \star G_{2}</math> together with the additional relation that for every <math>h \in H</math>, <math>\phi_{1}(h)=\phi_{2}(h)</math>.''	+	'''Defintion:''' ''Let <math>G_{1}</math>, <math>G_{2}</math>, and <math>H</math> be groups together with homomorphisms <math>\phi_{1} : H \rightarrow G_{1}</math> and <math>\phi_{2} : H \rightarrow G_{2}</math>. Then the '''free product of <math>G_{1}</math> and <math>G_{2}</math> with amalgamated subgroup <math>H</math>''', denoted by <math>G_{1} \star_{H} G_{2}</math>, is defined to be <math>G_{1} \star G_{2}</math> together with the additional relation that for every <math>h \in H</math>, <math>\phi_{1}(h)=\phi_{2}(h)</math>.''