To get a feeling for what the fundamental group is about, let us look at a few preliminary examples before giving the formal definitions.
Consider two linked circles A and B in R3, as shown in the figure. Our experience with actual links and chains
A B
tells us that since the two circles are linked, it is impossi-ble to separate B from A by any continuous motion of B , such as pushing, pulling, or twisting. We could even take
B to be made of rubber or stretchable string and allow completely general continu-ous deformations of B , staying in the complement of A at all times, and it would still be impossible to pull B off A . At least that is what intuition suggests, and the fundamental group will give a way of making this intuition mathematically rigorous.
Instead of having B link with A just once, we could make it link withA two or more times, as in the figures to the right. As a further variation, by assigning an orientation toB
A
A B−3
B2 we can speak ofB linking A a positive or a negative number
of times, say positive whenB comes forward through A and negative for the reverse direction. Thus for each nonzero integern we have an oriented circle Bn linking A n times, where by ‘circle’ we mean a curve homeomorphic to a circle.
To complete the scheme, we could let B0 be a circle not linked toA at all.
Now, integers not only measure quantity, but they form a group under addition.
Can the group operation be mimicked geometrically with some sort of addition op-eration on the oriented circles B linking A ? An oriented circle B can be thought of as a path traversed in time, starting and ending at the same point x0, which we can choose to be any point on the circle. Such a path starting and ending at the same point is called aloop. Two different loops B and B0 both starting and end-ing at the same point x0 can be ‘added’ to form a new loop B+ B0 that travels first aroundB , then around B0. For example, ifB1 andB10 are loops each linkingA once in
A
B1
B1 x0
A
B2 x0
0
A
B1 x0
A B0
x0 B−1
the positive direction, then their sumB1+B10
is deformable to B2, linking A twice. Simi-larly, B1+ B−1 can be deformed to the loop B0, unlinked from A . More generally, we see that Bm + Bn can be deformed toBm+nfor arbitrary integers m and n .
Note that in forming sums of loops we produce loops that pass through the base-point more than once. This is one reason why loops are defined merely as continuous
paths, which are allowed to pass through the same point many times. So if one is thinking of a loop as something made of stretchable string, one has to give the string the magical power of being able to pass through itself unharmed. However, we must be sure not to allow our loops to intersect the fixed circleA at any time, otherwise we could always unlink them from A .
Next we consider a slightly more complicated sort of linking, involving three cir-cles forming a configuration known as the Borromean rings, shown at the left in the fig-ure below. The interesting featfig-ure here is that if any one of the three circles is removed, the other two are not
linked. In the same A
B A
B
C C
spirit as before, let us regard one of the cir-cles, sayC , as a loop in the complement of the other two, A and
B , and we ask whether C can be continuously deformed to unlink it completely from A and B , always staying in the complement of A and B during the deformation. We can redraw the picture by pulling A and B apart, dragging C along, and then we see C winding back and forth between A and B as shown in the second figure above.
In this new position, if we start at the point of C indicated by the dot and proceed in the direction given by the arrow, then we pass in sequence: (1) forward through A , (2) forward through B , (3) backward through A , and (4) backward through B . If we measure the linking of C with A and B by two integers, then the ‘forwards’ and
‘backwards’ cancel and both integers are zero. This reflects the fact that C is not linked with A or B individually.
To get a more accurate measure of how C links with A and B together, we re-gard the four parts (1)–(4) of C as an ordered sequence. Taking into account the directions in which these segments of C pass
throughA and B , we may deform C to the sum a+ b − a − b of four loops as in the figure. We
A B
a
b −b
−a
A B
a
b −b
−a write the third and fourth loops as the
nega-tives of the first two since they can be deformed to the first two, but with the opposite orienta-tions, and as we saw in the preceding exam-ple, the sum of two oppositely oriented loops is deformable to a trivial loop, not linked with anything. We would like to view the expression
a+ b − a − b as lying in a nonabelian group, so that it is not automatically zero.
Changing to the more usual multiplicative notation for nonabelian groups, it would be written aba−1b−1, the commutator of a and b .
To shed further light on this example, suppose we modify it slightly so that the cir-clesA and B are now linked, as in the next figure. The circle C can then be deformed
A B
C
A B
C into the position shown at
the right, where it again rep-resents the composite loop aba−1b−1, where a and b are loops linking A and B . But from the picture on the left it is apparent thatC can
actually be unlinked completely from A and B . So in this case the product aba−1b−1 should be trivial.
The fundamental group of a space X will be defined so that its elements are loops in X starting and ending at a fixed basepoint x0 ∈ X , but two such loops are regarded as determining the same element of the fundamental group if one loop can be continuously deformed to the other within the space X . (All loops that occur during deformations must also start and end atx0.) In the first example above, X is the complement of the circleA , while in the other two examples X is the complement of the two circlesA and B . In the second section in this chapter we will show:
The fundamental group of the complement of the circleA in the first example is infinite cyclic with the loop B as a generator. This amounts to saying that every loop in the complement of A can be deformed to one of the loops Bn, and that Bn cannot be deformed to Bm ifn≠ m.
The fundamental group of the complement of the two unlinked circlesA and B in the second example is the nonabelian free group on two generators, represented by the loops a and b linking A and B . In particular, the commutator aba−1b−1 is a nontrivial element of this group.
The fundamental group of the complement of the two linked circles A and B in the third example is the free abelian group on two generators, represented by the loopsa and b linking A and B .
As a result of these calculations, we have two ways to tell when a pair of circles A and B is linked. The direct approach is given by the first example, where one circle is regarded as an element of the fundamental group of the complement of the other circle. An alternative and somewhat more subtle method is given by the second and third examples, where one distinguishes a pair of linked circles from a pair of unlinked circles by the fundamental group of their complement, which is abelian in one case and nonabelian in the other. This method is much more general: One can often show that two spaces are not homeomorphic by showing that their fundamental groups are not isomorphic, since it will be an easy consequence of the definition of the fundamental group that homeomorphic spaces have isomorphic fundamental groups.
This first section begins with the basic definitions and constructions, and then proceeds quickly to an important calculation, the fundamental group of the circle, using notions developed more fully in§1.3. More systematic methods of calculation are given in§1.2. These are sufficient to show for example that every group is realized as the fundamental group of some space. This idea is exploited in the Additional Topics at the end of the chapter, which give some illustrations of how algebraic facts about groups can be derived topologically, such as the fact that every subgroup of a free group is free.