Theorem 63.20.4. Let $X/k$ be as above, let $\Lambda$ be a finite ring with $\# \Lambda \in k^*$ and $K\in D_{ctf}(X, \Lambda )$. Then $R\Gamma _ c(X_{\bar k}, K)\in D_{perf}(\Lambda )$ and

$\sum _{x\in X(k)}\text{Tr}\left(\pi _ x |_{K_{\bar x}}\right) = \text{Tr}\left(\pi _ X^* |_{R\Gamma _ c(X_{\bar k}, K )}\right).$

Proof. Note that we have already proved this (REFERENCE) when $\dim X \leq 1$. The general case follows easily from that case together with the proper base change theorem. $\square$

There are also:

• 2 comment(s) on Section 63.20: Cohomological interpretation

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).