Lemma 64.11.2 (03TL)—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.11: Filtrations and perfect complexes
Lemma 64.11.2 (cite)

previous lemma

numberstags

history
statistics

Lemma 64.11.2. Let $P \in \text{Fil}^ f(\text{Mod}_\Lambda )$ be filtered finite projective, and $f : P \to P$ an endomorphism in $\text{Fil}^ f(\text{Mod}_\Lambda )$ . Then

$\text{Tr}(f|_ P) = \sum \nolimits _ p \text{Tr}(f|_{\text{gr}^ p(P)}).$

Proof. Omitted. $\square$

Comments (0)

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