The Lefschetz Fixed Point Theorem

Core Idea

The Lefschetz fixed point theorem generalizes the Brouwer fixed point theorem from disks to arbitrary compact polyhedra. For a continuous map f : X -> X on a compact triangulable space, the Lefschetz number L(f) = sum(-1)^n tr(f_* : H_n(X; Q) -> H_n(X; Q)) is defined as the alternating sum of traces of the induced maps on rational homology. If L(f) != 0, then f has at least one fixed point. The Brouwer theorem is the special case X = D^n, where L(f) = 1 for any f (since D^n is contractible).

Explainer

The Lefschetz fixed point theorem is a far-reaching generalization of the Brouwer fixed point theorem. Where Brouwer applies only to the disk (or more generally, convex compact sets), the Lefschetz theorem works for any compact triangulable space X and gives a numerical criterion for the existence of fixed points. The key quantity is the Lefschetz number L(f) = sum_{n >= 0} (-1)^n tr(f_{*,n}), where f_{*,n} : H_n(X; Q) -> H_n(X; Q) is the induced map on rational homology and tr denotes the trace of the linear map.

The theorem states: if L(f) != 0, then f has at least one fixed point. The contrapositive — if f is fixed-point-free, then L(f) = 0 — is often more useful for showing that certain maps MUST have fixed points. The converse is false: L(f) = 0 does not guarantee that f is fixed-point-free (translations on the torus have L = 0 but the identity is the only fixed-point-free map with L = 0 up to homotopy considerations).

Recovery of Brouwer's theorem: for X = D^n (the closed disk), H_0(D^n; Q) = Q and H_k(D^n; Q) = 0 for k > 0. Any map f : D^n -> D^n induces f_* = id on H_0 (since D^n is connected), so L(f) = tr(id) = 1 != 0. Therefore every continuous self-map of the disk has a fixed point — Brouwer's theorem.

For maps of spheres f : S^n -> S^n with degree d: H_0 = Q (trace 1), H_n = Q (trace d), all others zero. So L(f) = 1 + (-1)^n d. For n even: L(f) = 1 + d, which is zero only when d = -1. For n odd: L(f) = 1 - d, which is zero only when d = 1. The antipodal map on S^{2k} has degree (-1)^{2k+1} = -1, giving L = 0, consistent with the antipodal map being fixed-point-free. The antipodal map on S^{2k+1} has degree (-1)^{2k+2} = 1, giving L = 0 as well — and indeed the antipodal map on odd spheres is homotopic to the identity via rotation and need not have a fixed point (though it happens to be fixed-point-free).

The proof of the Lefschetz theorem uses the simplicial approximation of f and a careful count of coincidences between the map and the identity on each simplex. The trace of f_* on homology, by the Hopf trace formula, equals an alternating sum of "local fixed point indices" whenever the fixed points are isolated — the Lefschetz number is a global algebraic count of fixed points, with each fixed point weighted by a local index. When this algebraic count is nonzero, there must be at least one genuine fixed point. The theorem connects beautifully to the Euler characteristic (L(id) = chi(X)), to degree theory (via the trace on top homology), and to the Atiyah-Bott fixed point theorem in differential geometry (a smooth generalization using the Dolbeault complex). It is one of the most satisfying results in algebraic topology, demonstrating how global topological information (the traces on homology) constrains the local behavior (existence of fixed points) of continuous maps.