Theorem 64.20.4 (03V3)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 3: Topics in Scheme Theory
Chapter 64: The Trace Formula
Section 64.20: Cohomological interpretation
Theorem 64.20.4 (cite)

previous remark
next theorem

numberstags

history
statistics
1 tag refers to this tag

Theorem 64.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$

Comments (0)

There are also:

2 comment(s) on Section 64.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).

Comments (0)

Post a comment