Theorem 63.14.3 (Lefschetz Trace Formula). Let $X$ be a projective curve over a finite field $k$, $\Lambda $ a finite ring and $K \in D_{ctf}(X, \Lambda )$. Then the global and local Lefschetz numbers of $K$ are equal, i.e.,

in $\Lambda ^\natural $.

## Comments (0)