Fundamental Group Intro: Concepts, Formulas and Examples

The fundamental group pi_1(X, x_0) is the group of loops based at x_0 considered up to homotopy. A loop is a continuous path starting and ending at x_0, and two loops are homotopic when one deforms continuously into the other without leaving the space or moving the basepoint. Concatenating loops gives the group operation.

It matters because the fundamental group detects holes. A disc has trivial fundamental group since every loop shrinks to a point, while the circle has fundamental group Z: a loop is classified by its winding number, and winding numbers add under concatenation. Spaces with different fundamental groups cannot be homeomorphic.

Key Concepts

• Loop: a continuous map gamma from [0, 1] to X with gamma(0) = gamma(1) = x_0.
• Homotopy of loops: a continuous deformation through based loops; the equivalence classes are the elements of pi_1.
• Concatenation: traverse the first loop on [0, 1/2] and the second on [1/2, 1]; this is the group product.
• Inverse loop traversing the loop backwards; a loop followed by its inverse deforms to the constant loop.
• Simply connected path-connected with trivial fundamental group, e.g. R^n or a disc.
• Winding number: the integer classifying loops on the circle; the map loop -> winding number is the isomorphism pi_1(S^1) -> Z.

How It Works

To compute a fundamental group, classify loops up to deformation. On the circle, lift a loop to the real line via t -> (cos 2 pi t, sin 2 pi t); the lift starts at 0 and ends at an integer, the winding number, which homotopy cannot change. Concatenation adds winding numbers, so pi_1(S^1) is the additive group Z. Deformation retracts share the same fundamental group, pi_1 of a product is the product of the groups, and the torus has Z x Z, one integer per circular direction. Van Kampen's theorem glues groups of simpler pieces, showing for instance that the figure eight has the free group on two generators.

Worked Example

On S^1 with basepoint (1, 0), the loop gamma(t) = (cos 2 pi t, sin 2 pi t) travels once counterclockwise, so its winding number is 1. Concatenating gamma with itself traverses the circle twice: winding number 1 + 1 = 2. The inverse loop gamma^{-1}(t) = gamma(1 - t) travels clockwise once, winding number -1, and gamma * gamma^{-1} is homotopic to the constant loop, with winding 1 + (-1) = 0. A loop winding 3 times clockwise corresponds to -3. Every integer occurs, and integer addition matches loop concatenation, exhibiting pi_1(S^1) as Z.

Common Misconceptions

• "The fundamental group is always abelian." It can be non-abelian: the figure eight (wedge of two circles) has the free group on two generators, where the order of concatenation matters.
• "Homotopic loops must look similar." A loop winding twice is homotopic to a tiny loop winding twice; winding behavior is preserved, not shape.
• "Simply connected means contractible." The 2-sphere is simply connected but not contractible; trivial fundamental group only kills one-dimensional holes.

Real-World Applications

• Robotics: configuration spaces of robot arms have holes from joint limits and obstacles; pi_1 classifies essentially different motion plans.
• Complex analysis: winding numbers compute contour integrals via the residue theorem; integrals around poles depend only on homotopy class.
• Physics topological defects like vortices are classified by fundamental groups of order-parameter spaces.

The fundamental group turns loops into algebra: deform, concatenate, count windings. Keep the circle (pi_1 = Z) as the model and concatenation as the group law.