Toward algebraic topology and homotopy

Can a loop drawn around the middle of an annulus be shrunk to a point without leaving the annulus? A similar loop in a disc can be shrunk. The missing region matters, but a picture is only the beginning of an argument. Algebraic topology turns families of paths and their deformations into algebraic objects that can prove such distinctions. Winding around a circle produces an integer; composing loops becomes an algebraic operation.

There are two levels of comparison to keep apart. A homeomorphism identifies spaces through continuous inverse maps. A homotopy equivalence preserves a looser kind of information: an annulus can retract onto a circle, even though the two are not homeomorphic. This flexibility is productive. A complicated space may have a simpler model on which calculations are possible. The challenge is to know what information survives the simplification and what the intended question actually asks.

Calculate before abstracting

Start with Allen Hatcher's Algebraic Topology, freely available as a complete author-hosted book. Read the opening discussion of homotopy and cell complexes in Chapter 0, then §1.1 on the fundamental group. The calculation for the circle, Theorem 1.7, is a first milestone worth reconstructing carefully. Draw the covering map from the real line to the circle and explain why the endpoint of a lifted loop records its winding number.

The preparation is point-set topology and elementary algebra. You need continuity, compactness, products and quotient spaces, alongside groups, homomorphisms and normal subgroups. Test your readiness by constructing a torus as a quotient of a square and explaining how a map defined on the square descends to that quotient. If the quotient topology is usable and group presentations are familiar, begin the algebraic route directly. If either is new, repair that specific gap before treating a diagram as a proof.

Repair the space constructions

For a slower entry focused on spaces, choose Hatcher's Notes on Introductory Point-Set Topology. Chapters 1–3 develop continuity, connectedness and compactness; Chapter 4 constructs quotient spaces and surfaces. This is a genuine alternative starting point when the space constructions are the difficulty. Work through the identified edges of a polygon until you can explain the topology near an edge or a vertex, rather than only recognize the resulting surface.

For readers who already have examples and want a compact path toward homotopy theory, choose J. Peter May's A Concise Course in Algebraic Topology. Its early chapters connect fundamental groups, categorical language and covering spaces. Chapters 6–11 develop cofibrations, fibrations, higher homotopy groups and CW complexes. The pace makes it useful as an alternative for someone comfortable filling in arguments, or as a second account after a first course.

From loops to chains

Homology introduces another useful simplification: cycles are compared modulo boundaries. Start with a small cell complex and write its boundary maps before trying to memorize general theorems. May's Chapters 12–14 connect the algebra of chain complexes with cellular homology and exact sequences. Ask what an attaching map contributes to a calculation; counting cells alone does not recover every homology group.

The familiar slogan that homology counts holes is helpful only until it replaces the definitions. Algebraic invariants can distinguish spaces, but matching invariants do not automatically classify them. Keep this limitation visible when moving from groups to homology and cohomology. The next branches include cohomology products, bundles and characteristic classes, obstruction theory, or stable homotopy. Category theory and homological algebra become valuable through these constructions; higher categorical language is a later choice tied to particular problems, not an entrance requirement.

Suggest an edit · Report a correction

Original introduction: CC BY-SA 4.0.