algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
A formula for the number of fixed points of continuous endo-maps of topological spaces.
(Lefschetz number)
Given a continuous endomorphism $f \colon X\to X$ of a topological space, its Lefschetz number is the alternating sum of the traces
of the linear endomorphisms on the rational cohomology groups with coefficients given by pullback in cohomology .
One sometimes also speaks of the Lefschetz number of the induced endomorphism of the chain/cochain complexes, see algebraic Lefschetz formula.
(Lefschetz fixed point theorem)
If $X$ is a compact polyhedron (a finite simplicial complex) and if the Lefschetz number (Def. ) is non-zero, then $f$ has at least one fixed point. I
a good cycle map,
the Künneth formula,
(see Milne, section 25).
The Lefschetz formula holds more generally in Weil cohomology theories (by definition) and hence notably in ℓ-adic étale cohomology. This fact serves to prove the Weil conjectures.
(Euler characteristic)
For $f = id$ is the identity map, the Lefschetz number (Def. ) reduces to the Euler characteristic of $X$ (see this Def.):
(fixed point theorem for contractible polyhedra)
If $X$ is compact polyhedron which is contractible then all its cohomology groups in positive degree vanish, $H^{\geq 1}(X; k) \,=\, 0$, while $H^0(X; k) \,=\, k$. This implies that the Lefschetz number (Def. ) of every endo-map $f$ is $\Lambda(X,f) \,=\, 1$.
Therefore, for contactible compact polyhedral $X$ the Lefschetz fixed point theorem (Prop. ) says that every map $f \colon X\to X$ has a fixed point.
In the further special case that $X = D^n$ is a disk/ball, this is also the statement of Brouwer's fixed point theorem.
(fixed point theorem for homeomorphisms of n-spheres)
For $n \in \mathbb{N}$, the n-sphere has ordinary cohomology, in particular, rational cohomology, concentrated in degrees 0 and $n$:
Any map $f \,\colon\, S^n \to S^n$ necessarily induces the identity on $H^0(S^n;\mathbb{Q})$ and is multiplication by the degree $d(f)$ on $H^n(S^n; \mathbb{Q})$.
Therefore the Lefschetz number of $f$ (Def. ) is
and so the Lefschetz fixed point theorem (Prop. ) in this case implies that sufficient conditions for $f$ to have a fixed point is that
$f$ is not a homeomorphism (its degree is different from $\pm 1$);
$f$ is a homeomorphism and
The last case means equivalently that a homeomorphism $f \,\colon\, S^n \to S^n$ is guaranteed to have a fixed point if
or
This plays a role in the classification of free transformation group actions on n-spheres, see at group actions on spheres the section Free actions by finite groups.
For example, the antipodal reflection action of $\mathbb{Z}/2$ on $S^n$ is orientation reversing for even $n$ and orientation preserving for odd $n$ and hence always has vanishing Lefschetz number. Indeed, this action is manifestly fixed-point free. But the Lefschetz fixed point theorem implies that this is the only case, in that there can be no orientation-preserving free action of $\mathbb{Z}/2$ on an even-dimensional sphere, and no orientation-reversing free action of $\mathbb{Z}/2$ on an odd-dimensional sphere.
The original article is
Review:
Edgar Lin, An overview and proof of the Lefschetz fixed-point theorem (pdf, pdf)
Online Springer Enc. of Math. (eom): Lefschetz number (Rudyak), Lefschetz formula (Iskovskikh)
For étale cohomology of schemes:
For algebraic stacks:
Last revised on November 13, 2022 at 04:57:15. See the history of this page for a list of all contributions to it.