What does it mean to attach an algebraic invariant to a space?

An invariant is a functor assigning to each space a group or ring and to each continuous map a homomorphism, in a way that homotopic maps induce the same homomorphism — so homotopy-equivalent spaces get isomorphic invariants.

Why are higher homotopy groups so much harder than homology?

Homotopy groups are highly sensitive and resist computation — even the homotopy groups of spheres are largely unknown — whereas homology satisfies excision and long exact sequences that make it systematically computable.

Algebraic Topology

Algebraic topology attaches algebraic invariants — groups, rings, and modules — to topological spaces so that spaces that cannot be continuously deformed into one another are distinguished by computable algebra.

Definition

Algebraic topology is the study of topological spaces by means of algebraic invariants — most importantly homotopy groups, homology, and cohomology — that are preserved by continuous deformation and that turn topological problems into computations in algebra.

Scope

This area covers the functorial invariants that classify spaces up to homotopy: the fundamental group and higher homotopy groups, covering space theory, singular and simplicial homology, cohomology with its cup-product ring structure, and the machinery of exact sequences and CW complexes used to compute them. It emphasizes the translation of topological questions into algebra and excludes the point-set foundations (general topology) and the smooth or metric refinements treated in differential and Riemannian geometry.

Sub-topics

Core questions

How can algebraic invariants distinguish spaces that are not homeomorphic or not homotopy equivalent?
Which invariants are computable, and how do exact sequences and CW structures make them so?
How do homology and cohomology differ, and what extra structure (products, duality) does cohomology carry?
What is the relationship between the easily defined fundamental group and the much subtler higher homotopy groups?

Key concepts

Homotopy and homotopy equivalence of maps and spaces
Fundamental group and covering spaces
Singular and simplicial homology
Cohomology, cup products, and Poincaré duality
CW complexes and functoriality of invariants

Clinical relevance

Algebraic topology supplies obstruction and classification tools used throughout geometry and analysis — fixed-point theorems, the classification of surfaces and vector bundles, index theory, and characteristic classes — and its categorical and homological language pervades modern algebra and mathematical physics.

History

The subject originated in Poincaré's Analysis Situs (1895), which introduced homology and the fundamental group; Emmy Noether's recasting of homology in group-theoretic terms in the 1920s and the mid-century development of category theory and homological algebra turned it into the functorial discipline taught today.

Key figures

Henri Poincaré
Emmy Noether
Allen Hatcher

Seminal works

hatcher2002
bredon1993

Frequently asked questions

What does it mean to attach an algebraic invariant to a space?: An invariant is a functor assigning to each space a group or ring and to each continuous map a homomorphism, in a way that homotopic maps induce the same homomorphism — so homotopy-equivalent spaces get isomorphic invariants.
Why are higher homotopy groups so much harder than homology?: Homotopy groups are highly sensitive and resist computation — even the homotopy groups of spheres are largely unknown — whereas homology satisfies excision and long exact sequences that make it systematically computable.