Fundamental Group and Covering Spaces

The fundamental group records how loops in a space can and cannot be contracted, and covering space theory translates its subgroups into a complete geometric dictionary of spaces that wrap around the original.

Definition

The fundamental group of a pointed space is the group whose elements are homotopy classes of loops based at the point, with concatenation as the operation; a covering space is a map that is locally a trivial stack of copies of the base, and its theory relates such maps to subgroups of the fundamental group.

Scope

This topic introduces homotopy of paths, the fundamental group as the group of loop classes based at a point, and its computation via the van Kampen theorem. It develops covering spaces, the lifting criterion, and the Galois-like correspondence between subgroups of the fundamental group and connected coverings, including the universal cover and deck transformations. Applications such as the classification of coverings of the circle and the computation of fundamental groups of graphs and surfaces are included.

Core questions

• How does the fundamental group detect holes that prevent loops from contracting?
• How does the van Kampen theorem build the fundamental group of a space from those of overlapping pieces?
• What is the precise correspondence between connected covering spaces and subgroups of the fundamental group?
• When does a map lift through a covering, and what role does the universal cover play?

Key concepts

• Homotopy of paths and loop concatenation
• Fundamental group and its functoriality under basepoint-preserving maps
• Van Kampen theorem
• Covering spaces, the lifting criterion, and deck transformations
• Universal cover and the Galois correspondence for coverings

Clinical relevance

The fundamental group is the first and most accessible algebraic invariant, distinguishing the circle from the disk and underpinning monodromy, the theory of Riemann surfaces, and the classification of flat bundles; covering space theory is the topological model for Galois theory and for quotients by group actions.

History

Poincaré introduced the fundamental group in Analysis Situs (1895); the Seifert-van Kampen theorem of the 1930s made it computable by gluing, and the systematic correspondence between coverings and subgroups, formalized through deck transformations, established the analogy with Galois theory now standard in the curriculum.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Why is the fundamental group of the circle the integers?

A loop on the circle is classified up to homotopy by how many times it winds around, with sign for direction; this winding number is additive under concatenation, giving an isomorphism with the integers.

What is the universal cover?

It is the simply connected covering space of a (suitable) space; it corresponds to the trivial subgroup in the covering-space dictionary and carries the fundamental group as its group of deck transformations.