Introduction to the Fundamental Group

The Fundamental Group Introduction The fundamental group is one of the most important invariants in algebraic topology. It provides a way to capture the "holes" in a space by studying loops within that space. Intuitively, the fundamental group measures whether loops can be continuously contracted to a point, and if not, it classifies loops by how they wind around the holes in the space. This single algebraic structure—a group—contains geometric information about the global structure of a space, and it enables us to distinguish between spaces that look similar locally but have different topologies. Defining Loops and the Base Point Before we can talk about the fundamental group, we need to define what we mean by a loop. A loop based at a point $x0$ in a space $X$ is a continuous function $\gamma: [0,1] \to X$ such that $\gamma(0) = \gamma(1) = x0$. In other words, a loop starts and ends at the same point called the base point. The choice of base point matters because different points in a space may have different collections of loops. For this reason, we always specify which base point we're using. Loops based at different points will generally have different properties and may not all be contractible even if one collection is. Homotopy: Continuous Deformation of Loops The key insight of the fundamental group is that we don't want to distinguish between loops that can be continuously deformed into one another. Formally, two loops $\gamma$ and $\delta$ based at $x0$ are homotopic relative to endpoints (or just homotopic in this context) if there exists a continuous function $H: [0,1] \times [0,1] \to X$ such that: $H(s, 0) = \gamma(s)$ for all $s \in [0,1]$ (at time $t=0$, we have $\gamma$) $H(s, 1) = \delta(s)$ for all $s \in [0,1]$ (at time $t=1$, we have $\delta$) $H(0, t) = H(1, t) = x0$ for all $t \in [0,1]$ (the base point stays fixed throughout) Think of $H$ as a continuous deformation that transforms $\gamma$ into $\delta$ while keeping the endpoints pinned at $x0$. The parameter $t$ tracks time as we deform, and the parameter $s$ tracks position along the loop. This relation of being homotopic is an equivalence relation, which means it partitions all loops based at $x0$ into homotopy classes. Each homotopy class is an equivalence class of loops that can all be continuously deformed into one another. The Fundamental Group: Homotopy Classes with a Group Structure The fundamental group of $X$ at a base point $x0$, denoted $\pi1(X, x0)$, is the set of all homotopy classes of loops based at $x0$. But $\pi1(X, x0)$ is more than just a set—it has a natural group structure that we now describe. The Group Operation: Loop Concatenation To multiply two homotopy classes $[\gamma]$ and $[\delta]$, we first traverse the entire loop $\gamma$, and then immediately traverse the entire loop $\delta$. Since each loop takes time in $[0,1]$, we re-parametrize: we traverse $\gamma$ as $t$ goes from $0$ to $1/2$, and then traverse $\delta$ as $t$ goes from $1/2$ to $1$. More precisely, the product is represented by the loop: $$(\gamma \cdot \delta)(t) = \begin{cases} \gamma(2t) & \text{if } 0 \le t \le 1/2 \\ \delta(2t - 1) & \text{if } 1/2 \le t \le 1 \end{cases}$$ Because homotopy is an equivalence relation, this operation is well-defined on homotopy classes: if $\gamma$ is homotopic to $\gamma'$ and $\delta$ is homotopic to $\delta'$, then $\gamma \cdot \delta$ is homotopic to $\gamma' \cdot \delta'$. The Identity Element: The Constant Loop The constant loop at $x0$ is the loop $e(t) = x0$ for all $t \in [0,1]$. This loop never moves—it just stays at the base point. The homotopy class $[e]$ of the constant loop serves as the identity element of the group, since any loop $\gamma$ can be continuously deformed by first staying still at $x0$, then following $\gamma$, which gives a loop homotopic to $\gamma$. Inverses: Traversing in Reverse For any loop $\gamma$, we can define the reverse loop (or inverse loop) $\gamma^{-1}$ by traversing $\gamma$ backwards: $$\gamma^{-1}(t) = \gamma(1 - t)$$ The homotopy class $[\gamma^{-1}]$ is the inverse of $[\gamma]$ in the group, since concatenating $\gamma$ with $\gamma^{-1}$ (in either order) gives a loop that can be continuously deformed to the constant loop at $x0$. These three properties (closure of the operation, existence of identity, and existence of inverses) make $\pi1(X, x0)$ into a group. The associativity of loop concatenation follows from the way we parametrize loops. Key Examples: Computing Fundamental Groups Simply-Connected Spaces A space $X$ is simply connected if every loop in $X$ can be continuously contracted to a point. Equivalently, $\pi1(X, x0)$ is the trivial group (containing only the identity element) for any choice of base point $x0$. Examples of simply-connected spaces include: Euclidean space $\mathbb{R}^n$ for any $n \ge 1$ The sphere $S^n$ for any $n \ge 2$ Any convex subset of $\mathbb{R}^n$ (like a disk or a ball) For these spaces, $\pi1(X, x0) = \{e\}$, the trivial group. The Circle: $\pi1(S^1) \cong \mathbb{Z}$ The circle $S^1$ is fundamentally different. Loops on the circle can wind around the circle multiple times in either direction. A loop that winds $n$ times counterclockwise around the circle cannot be continuously deformed (while fixing the base point) into a loop that winds $m$ times if $n \ne m$. The fundamental group is $\pi1(S^1, x0) \cong \mathbb{Z}$, where each integer $n$ represents the winding number: the number of times the loop winds around the circle, with positive numbers representing counterclockwise winding and negative numbers representing clockwise winding. This isomorphism is the first place where we see that the fundamental group truly reflects the topology of the space. The Torus: $\pi1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$ A torus $T^2 = S^1 \times S^1$ can be visualized as a donut, or equivalently as the product of two circles. There are two fundamentally different ways to wrap a loop around a torus: A loop can wind around the "short way" (through the hole of the donut) A loop can wind around the "long way" (around the body of the donut) The fundamental group is $\pi1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$, where the first $\mathbb{Z}$ tracks winding number in one direction and the second $\mathbb{Z}$ tracks winding number in the other direction. Each pair of integers $(m, n)$ represents a distinct homotopy class of loops. Using the Fundamental Group to Distinguish Spaces A crucial feature of the fundamental group is that it can distinguish between spaces that look locally similar but have different global structures. For instance, a sphere $S^2$ and a torus $T^2$ are both smooth surfaces, but they have different fundamental groups: $\pi1(S^2) = \{e\}$ (the sphere is simply connected) $\pi1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$ (the torus is not) This proves that a sphere and a torus are topologically distinct—there is no continuous deformation that transforms one into the other while preserving the topological structure. Properties of the Fundamental Group Homotopy Equivalence and Isomorphism One of the most powerful properties of the fundamental group is its role in classification. If two spaces are homotopy equivalent (meaning they can be continuously deformed into each other via a more general equivalence relation than homeomorphism), then their fundamental groups are isomorphic. $$X \simeq Y \quad \Rightarrow \quad \pi1(X, x0) \cong \pi1(Y, y0)$$ This makes the fundamental group an excellent tool for proving that spaces are not homotopy equivalent: if their fundamental groups are different, then the spaces cannot be homotopy equivalent. Classification of Covering Spaces One of the deepest applications of the fundamental group involves covering spaces. For a path-connected, locally path-connected space $X$, there is a bijective correspondence between: Subgroups $H \subseteq \pi1(X, x0)$ Covering spaces of $X$ This correspondence means that all the covering spaces of a space are completely classified by the subgroup lattice of its fundamental group. This is a remarkable result: the algebraic structure of $\pi1(X, x0)$ directly encodes all the covering spaces that exist "above" $X$. <extrainfo> Application: Brouwer Fixed-Point Theorem The fundamental group is essential to the proof of the Brouwer Fixed-Point Theorem, which states that any continuous function from a closed disk to itself must have at least one fixed point. The proof uses the fundamental group to show that the opposite scenario leads to a contradiction. If a continuous map $f: D^2 \to D^2$ (where $D^2$ is the closed unit disk) had no fixed points, then for each point $x$ in the disk, the points $x$ and $f(x)$ would be distinct. This would allow us to construct a retraction from the disk to its boundary circle $S^1$, a continuous map that would induce an isomorphism between the trivial group $\pi1(D^2) = \{e\}$ and $\pi1(S^1) \cong \mathbb{Z}$. This is impossible, so a fixed point must exist. </extrainfo> Summary The fundamental group $\pi1(X, x0)$ captures the essential topological information about how loops behave in a space. By tracking homotopy classes of loops and giving them a group structure via loop concatenation, we obtain a powerful algebraic invariant that: Reflects global topology: The fundamental group detects holes and non-contractible loops in a space. Distinguishes spaces: Different spaces often have different fundamental groups, making it a useful tool for proving two spaces are topologically distinct. Classifies structures: The fundamental group classifies all covering spaces of a given space through its subgroup structure. Enables proofs: It plays a crucial role in proving important theorems like the Brouwer Fixed-Point Theorem. Understanding the fundamental group is essential for any study of algebraic topology, as it is the simplest and most concrete example of how algebraic structures (groups) encode geometric information (topology).