Algebraic topology

Lore & Background

Algebraic topology developed from an older name, combinatorial topology, which emphasized how a space was constructed from simpler ones. In the 1920s and 1930s, emphasis grew on investigating topological spaces by finding correspondences from them to algebraic groups, leading to the name change to algebraic topology. The combinatorial topology name is still sometimes used to emphasize an algorithmic approach based on decomposition of spaces. Main areas studied include homotopy groups, homology, cohomology, knot theory, and complexes. While manifolds are important objects of study in topology and geometry, they are not a branch of algebraic topology itself. The Klein bottle and real projective plane are classic examples of non-orientable surfaces; the Klein bottle can be immersed in R³ (with self-intersections) and smoothly embedded in R⁴, while the real projective plane also requires R⁴ for a smooth embedding but can be immersed in R³ with self-intersections. Algebraic topology often focuses on global, non-differentiable properties of manifolds, such as Poincaré duality. The notions of category, functor, and natural transformation were introduced as a new framework for mathematics, with algebraic topology being the primary motivation and early application. Many constructions in algebraic topology are indeed functorial, meaning they respect the structure of maps between spaces, but the categorical concepts themselves were developed as a separate foundational tool.

Reader's Guide

Algebraic topology is significant because it provides a powerful method for translating topological problems into algebraic ones, which often have more manageable structure. By finding correspondences between spaces and groups that respect homeomorphism or homotopy, one can recast statements about topological spaces into statements about groups, making them easier to prove. Two major ways this is done are through fundamental groups (or more generally homotopy theory) and through homology and cohomology groups. Homology and cohomology groups are abelian and in many important cases finitely generated, making them particularly easy to work with. Classic applications include proving the fundamental theorem of algebra using the fundamental group of the circle, the Brouwer fixed point theorem, and the Borsuk–Ulam theorem. The field also yields the Nielsen–Schreier theorem, which states that any subgroup of a free group is free—a purely algebraic result whose simplest known proof is topological. The axiomatization of homology and cohomology by Samuel Eilenberg and Norman Steenrod in the 1950s showed that all existing (co)homology theories satisfied certain axioms and that such an axiomatization uniquely characterized the theory. This legacy continues to influence modern mathematics, particularly in the study of manifolds, knot theory, and differential equations.

Did You Know?

• Algebraic topology allows for a convenient proof that any subgroup of a free group is again a free group.
• The first and simplest homotopy group is the fundamental group, which records information about loops in a space.
• A manifold is a topological space that near each point resembles Euclidean space; examples include the plane, sphere, torus, Klein bottle, and real projective plane.

The Algebraic Turn in Topology

Algebraic topology emerged from a shift in mathematical thinking during the 1920s and 1930s. Earlier, the field was known as combinatorial topology, reflecting its focus on how a space was pieced together from simpler building blocks. The modern standard tool for such construction is the CW complex, introduced by J. H. C. Whitehead to serve the needs of homotopy theory. However, a growing emphasis on finding correspondences between topological spaces and algebraic groups prompted the renaming. The central ambition is to discover algebraic invariants that classify spaces up to homeomorphism, though in practice most invariants distinguish spaces only up to the coarser notion of homotopy equivalence. The practical payoff is substantial: by recasting geometric questions into statements about groups, which possess rich and manageable structure, many topological assertions become far easier to prove. The field even reaches back into algebra itself, providing for instance a clean proof that any subgroup of a free group is again free.

Homotopy, Homology, and Their Dual

The three pillars of the subject are homotopy groups, homology, and cohomology. Homotopy groups, beginning with the fundamental group, capture information about loops in a space and, more intuitively, about its basic shape or holes. While powerful, fundamental groups are often nonabelian and can be difficult to manipulate, though the fundamental group of a finite simplicial complex does admit a finite presentation. Homology offers a more tractable alternative: it associates a sequence of abelian groups or modules to a topological space or group, and in many important cases these groups are finitely generated, placing them within a completely classified family. Cohomology arises as the algebraic dualization of homology. Where homology works with chains, cohomology studies cochains, cocycles, and coboundaries. In less abstract terms, cochains assign quantities to the chains of homology theory, yielding algebraic invariants with a more refined structure than homology alone provides.

Manifolds, Knots, and Combinatorial Building Blocks

Algebraic topology finds its most tangible objects in manifolds, spaces that locally resemble Euclidean space. The plane, sphere, and torus can all be realized in three dimensions, while the Klein bottle and real projective plane require four dimensions for embedding. Results in the field typically target global, non-differentiable aspects of these spaces, with Poincaré duality serving as a prime example. Knot theory, another major branch, studies embeddings of a circle in three-dimensional Euclidean space. Unlike everyday knots in shoelaces, a mathematical knot has its ends joined so it cannot be undone. Two knots are equivalent when one can be deformed into the other through an ambient isotopy, essentially manipulations that never involve cutting the string or passing it through itself. Underpinning much of this work are combinatorial structures: simplicial complexes, built by gluing together points, line segments, triangles, and their higher-dimensional counterparts, and the broader CW complexes that retain a combinatorial character while offering superior categorical properties and often smaller, more computable representations.

Functoriality and the Birth of Category Theory

A defining feature of algebraic topology is that all of its constructions are functorial. This is no small historical point: the very notions of category, functor, and natural transformation originated in this field. Fundamental groups, homology groups, and cohomology groups are not merely invariants of a space in the sense that homeomorphic spaces share the same associated groups; the morphisms between spaces also correspond. A continuous map between two spaces induces a group homomorphism between their associated algebraic structures, and these induced homomorphisms can be wielded to demonstrate the non-existence, or in deeper results the existence, of particular mappings. Among the early pioneers of cohomology was Georges de Rham, who exploited the differential structure of smooth manifolds through what is now called de Rham cohomology. Related tools such as Čech cohomology and sheaf cohomology extend the reach of the subject into questions about the solvability of differential equations on a given manifold, illustrating how algebraic topology's functorial framework unifies geometry, analysis, and pure algebra under a single conceptual roof.