Proposition 63.10.2. Let $K\in D_{perf}(\Lambda )$ and $f\in \text{End}_{D(\Lambda )}(K)$. Then the trace $\text{Tr}(f)\in \Lambda ^\natural $ is well defined.

**Proof.**
We will use Derived Categories, Lemma 13.19.8 without further mention in this proof. Let $P^\bullet $ be a bounded complex of finite projective $\Lambda $-modules and let $\alpha : P^\bullet \to K$ be an isomorphism in $D(\Lambda )$. Then $\alpha ^{-1}\circ f\circ \alpha $ corresponds to a morphism of complexes $f^\bullet : P^\bullet \to P^\bullet $ well defined up to homotopy. Set

Given $P^\bullet $ and $\alpha $, this is independent of the choice of $f^\bullet $. Namely, any other choice is of the form $\tilde{f}^\bullet = f^\bullet + dh +hd$ for some $h^ i : P^ i \to P^{i-1}(i\in \mathbf{Z})$. But

and so $\sum _ i (-1)^ i \text{Tr} ((dh+hd)|_{P^ i})=0$. Furthermore, this is independent of the choice of $(P^\bullet , \alpha )$: suppose $(Q^\bullet , \beta )$ is another choice. The compositions

are representable by morphisms of complexes $\gamma _1^\bullet $ and $\gamma _2^\bullet $ respectively, such that $\gamma _1^\bullet \circ \gamma _2^\bullet $ is homotopic to the identity. Thus, the morphism of complexes $\gamma _2^\bullet \circ f^\bullet \circ \gamma _1^\bullet : Q^\bullet \to Q^\bullet $ represents the morphism $\beta ^{-1}\circ f\circ \beta $ in $D(\Lambda )$. Now

by the fact that $\gamma _1^\bullet \circ \gamma _2^\bullet $ is homotopic to the identity and the independence of the choice of $f^\bullet $ we saw above. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #164 by Pieter Belmans on

Comment #166 by Johan on