One of my favorite theorems is the Seifert-van Kampen theorem. It’s a very handy result in algebraic topology which allows us to calculate the fundamental group of complicated spaces by breaking them down into simpler spaces. The version of the theorem I’ll be using here can be stated as follows:
Let
be a path connected topological space, and let
be subsets of
such that
are both open and path connected,
is path connected, and
. If for some
we have
where are a set of relations, then we can calculate the fundamental group of
in the following way. If
and
are the inclusion maps, then we have
where
If
is simply connected, then the fundamental group of
is the free product of the fundamental groups of
and
. This follows by noting that
for all
, and hence
consists only of the trivial relation.
Side note: from now on, because is path connected, the choice of base point does not affect the isomorphism class (this is a classic result). As such, I will be simplifying notation by referring to the fundamental group of
as simply
.
We will use this to calculate , there
is the torus, which is realized as the following identification space:
We will let be a small disk in the center, and we will let
be the complement of
, plus a little bit, so the intersection will be an open annulus. Here is an illustration:
We can see that is simply connected, so
is trivial. Further, because the intersection of
and
is an annulus, it has fundamental group isomorphic to
, where
is a clockwise loop which encircles
. We next need to find the fundamental group of
, which is the punctured torus.
First, we take the “hole” at the center of the square and “stretch” it out:
Now, as in the statement of the Seifert-van Kampen theorem above, we will let be defined as follows:
Similarly, here is
So, here is
We see that and
are both annuli, and hence have fundamental group
. Further, their intersection is in an X shape (as in, shaped like an uppercase X), so is simply connected. Thus, the fundamental group of the punctured torus is the free product of
with itself, which is isomorphic to the free group on two generators.
As a side note, we can specify what the generators of this group are. A loop which starts at the bottom left of the square and travels along the left edge is not homotopic to a loop which starts at the bottom left and travels along the bottom edge.
So, back to this:
To summarize so far, we have:
We know the fundamental groups of all the relevant spaces, so we are almost done. All we have to do is calculate , and we can put all the pieces together. We see that
. What is
?
Here is what looks like as a loop in
. We make the looper wider, pressing it towards the boundary of the square as follows:
The loop is clockwise, so when it reaches the edge, we can trace the loop by going up along the left edge, right along the top edge, down along the right edge, and left along the bottom edge. We noted before that if the fundamental group of the punctured torus is , then
can be a loop starting at the bottom left and traversing the left edge, and
can be a loop starting at the bottom left and traversing the bottom edge. Because this is a quotient space, we can see that
is also the same as starting at the top right corner, going “up” to reach the bottom right corner, and traversing the right edge, and
is the same as starting at the top right corner, going “right” to reach the top left corner, and traversing the top edge.
So, is a loop traversing the edges of the square in a clockwise manner. In other words,
can be achieved by traversing
, followed by
, followed by
, followed by
. So,
.
So, here’s the punchline:
In other words, !