Lefschetz Fixed Point Theorem

Algebraic Topology · Axiom Academy

LESSON Lefschetz Fixed Point Theorem A powerful bridge between algebraic and geometric topology using homology For a continuous map f: X → X on a compact space, the Lefschetz number is an algebraic invariant that tracks how f acts on homology groups. Let f: X → X be a continuous map. The induced homomorphisms on homology are f * : H n (X) → H n (X) for each dimension n . The Lefschetz number is the alternating sum of traces: Each tr(f * ) is the trace of the linear map induced by f on the n -th homology group. The alternating sum reflects the topological structure of the space. 2. The Lefschetz Fixed Point Theorem The theorem provides a powerful criterion for the existence of fixed points based purely on algebraic data. Theorem (Lefschetz Fixed Point) Let f: X → X be a continuous map on a compact triangulable space. If the Lefschetz number satisfies: then f has at least one fixed point, i.e., there exists x ∈ X such that f(x) = x . Key Insight: If the algebraic invariant L(f) is non-zero, then no matter how f deforms the space geometrically, it must leave at least one point fixed. This is a topological obstruction detected by homology. 3. Connection to Euler Characteristic The Lefschetz number has a beautiful relationship with the Euler characteristic, revealing deep topological structure. For the identity map id: X → X , each induced map id * : H n → H n is also the identity, so:

This is the written version of the interactive lesson above. See the full Algebraic Topology course.