Definition 64.14.2. With $\Lambda , X, k, K$ as in Definition 64.14.1. Since $K\in D_{ctf}(X, \Lambda )$, for any geometric point $\bar x$ of $X$, the complex $K_{\bar x}$ is a perfect complex (in $D_{perf}(\Lambda )$). As we have seen in Section 64.3, the Frobenius $\pi _ X$ acts on $K_{\bar x}$. The *local Lefschetz number* of $K$ is the sum

which is again an element of $\Lambda ^\natural $.

## Comments (2)

Comment #8300 by Xiaolong Liu on

Comment #8926 by Stacks project on