Definition 63.14.1. Let $\Lambda$ be a finite ring, $X$ a projective curve over a finite field $k$ and $K \in D_{ctf}(X, \Lambda )$ (for instance $K = \underline\Lambda$). There is a canonical map $c_ K : \pi _ X^{-1}K \to K$, and its base change $c_ K|_{X_{\bar k}}$ induces an action denoted $\pi _ X^*$ on the perfect complex $R\Gamma (X_{\bar k}, K|_{X_{\bar k}})$. The global Lefschetz number of $K$ is the trace $\text{Tr}(\pi _ X^* |_{R\Gamma (X_{\bar k}, K)})$ of that action. It is an element of $\Lambda ^\natural$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).