Professional Documents
Culture Documents
Aaron Ackbarali
November 24, 2014
Abstract
This paper serves as an expository piece on the fundamental group.
It assumes a basic background in the theory of groups. Some point set
topology may be clarifying for the advanced reader, but is not necessary.
Introduction
Homotopy
Notice in Figure 1 how any circle drawn on the sphere can be easily moved over
the surface of the sphere to any other circle. However, on the torus, there is no
way3 to move a circle drawn around the latitude to a circle drawn through the
1 By a space we mean precisely a set and its subsets together with several properties that
constructs a topological structure.
2 A space is path connected if there exists a path of finite length between every set of points.
3 Specifically there is no continuous map, intuitively a deformation by bending or stretching.
Figure 3: The two path homotopy equivalence classes of loops on the torus.
In order for the structure we put on the equivalence class to be well defined, we
only consider loops whose basepoints4 are in the same place. We call a space
with a particular point identified, a pointed space and denote it as X, x0 . The
set of all loops on a space is homotopic to the set of all loops on a pointed
space with the same basepoint since any loop can be continuously deformed
into another loop with a particular basepoint while still circling around the
same hole. Proving this requires the advanced mathematics of category theory
and functors, this machinery is above the level of this paper so it will be taken
as a given that treating a space as a pointed space is appropriate.
An important observation is that loops, as we defined, are not the actual
geometric objects in the space but rather they are the maps defining the objects.
4 By
1 (S 2 , x0 ) and 1 (T, x0 )
The fundamental group of the sphere is rather easy to calculate. Any loop on
the sphere can be retracted to the basepoint. This is done by moving each
point of the image of the loop along the great circle formed by the point and
the basepoint of the space. Thus the only homotopy class is the trivial one
so 1 (S 2 , x0 ) = {e}. In fact, for any simply connected space the fundamental
group is trivial. The fundamental group of the torus is not difficult either once
we establish a useful theorem.
Theorem 3.1. For a topological space X = Y Z, 1 (X, x0 ) 1 (Y, x0 )
1 (Z, x0 ) if Y and Z are path connected (footnote 3).6
5 It is not necessary to prove this is a group since it was constructed via the constraints of
the definition of a group. However, it is a good exercise to the reader to prove this is a group
given only the definition and not the construction.
6 is used to denote group isomorphism.
Proof. Continuous maps in a product space are continuous iff they are entrywise continuous e.g. f : X Y Z is continuous iff g : X Y and h : X Z
are continuous where f = (g, h). Extending this to homotopy equivalence7 gives
a bijection on equivalence classes : [f ] 7 ([g], [h]). It is only left to show that
this map is a homomorphism. Given, [f ] and [f 0 ],
([f ] ? [f 0 ]) = ([f ]) ([f 0 ])
(3.1)
(3.2)
(3.3)
With this theorem we can easily calculate the fundamental group of the
torus.
1 (T, x0 ) = 1 (S 1 S 1 , x0 ) = 1 (S 1 , x0 ) 1 (S 1 , x0 )
The fundamental group of the circle is generated by the loop going around the
circle once. There are no other nontrivial loops on the circle. The abelian group
with one generator is Z thus,
1 (T, x0 ) = Z Z.
Conclusion
The fundamental group is only the beginning in the uses of group theory in
topology. Algebraic topology is an entire field dedicated to examining and understanding various algebraic constructs on spaces. This includes a generalization of the fundamental group, higher homotopy groups. The reader may have
noticed that loops are in fact maps from S 1 into a space. Higher homotopy
groups are the groups of homotopy equivalence classes of maps from S n into
a space. These groups are historically incredibly difficult to compute, thus another generalization was created, homology. Homology groups arise from asking
which of the loops are boundaries for loops of a higher dimension. While this
may sound more complex than homotopy, in practice it is actually easier to
compute due greatly to the tools of homological algebra. This can be extended
even further by considering functions on loops or loops in the dual space. This
formulation is known as cohomology and has been at the forefront of some of the
20th centurys greatest mathematical achievements including both the solution
of the Poincare conjecture and the Atiyah-Singer Index Theorem. All of this
vast and rich theory stems from the fundamental group.
7 Applying
the functor 0 .
References
[1] Hatcher A. Algebraic Topology. 2000.
http://www.math.cornell.edu/ hatcher/AT/AT.pdf
[2] Munkres J. Topology. Prentice Hall, New Jersey, 2000.
[3] Rowland T., Weisstein E. Fundamental Group.
http://mathworld.wolfram.com/FundamentalGroup.html