Solomon Lefschetz wanted to count the fixed point set of a continuous map.
Fix a ground field $k$. Given a continuous map $f \colon X\to X$ of topological space, its Lefschetz number $\Lambda(X,f)$ is the alternating sum of the traces
of the endomorphisms of the ordinary cohomology groups with coefficients in the ground field $k$.
One sometimes also talks of the Lefschetz number of the induced endomorphism of the chain/cochain complexes, see algebraic Lefschetz formula.
For $f = id$ the identity? map, the Lefschetz trace reduces to the Euler characteristic.
The Lefschetz fixed point theorem says that if the Lefschetz number is non-zero, then $f$ has at least one fixed point.
The existence of a Lefschetz formula holds more general in Weil cohomology theories (by definition) and hence notably in ℓ-adic étale cohomology. This fact serves to prove the Weil conjectures.
(…)
follows from existence of
good cycle map?
(…)
The original article is
Reviews include
See also
Minhyong Kim, A Lefschetz trace formula for equivariant cohomology, Annales scientifiques de l’École Normale Supérieure, Sér. 4, 28 no. 6 (1995), p. 669-688, numdam, MR97d:55012
Atiyah, Bott, … (cf. Atiyah-Bott fixed point formula)
For étale cohomology of schemes:
For algebraic stacks: