Lemma 63.11.1 (Additivity). Let $K\in DF_{\text{perf}}(\Lambda )$ and $f\in \text{End}_{DF}(K)$. Then

$\text{Tr}(f|_ K) = \sum \nolimits _{p\in \mathbf{Z}} \text{Tr}(f|_{\text{gr}^ p K}).$

Proof. By Proposition 63.10.2, we may assume we have a bounded complex $P^\bullet$ of filtered finite projectives of $\text{Fil}^ f(\text{Mod}_\Lambda )$ and a map $f^\bullet : P^\bullet \to P^\bullet$ in $\text{Comp}(\text{Fil}^ f(\text{Mod}_\Lambda ))$. So the lemma follows from the following result, which proof is left to the reader. $\square$

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