Definition 64.10.1. We denote by $K_{perf}(\Lambda )$ the category whose objects are bounded complexes of finite projective $\Lambda $-modules, and whose morphisms are morphisms of complexes up to homotopy. The functor $K_{perf}(\Lambda )\to D(\Lambda )$ is fully faithful (Derived Categories, Lemma 13.19.8). Denote $D_{perf}(\Lambda )$ its essential image. An object of $D(\Lambda )$ is called *perfect* if it is in $D_{perf}(\Lambda )$.

## 64.10 Perfectness

Let $\Lambda $ be a (possibly noncommutative) ring, $\text{Mod}_{\Lambda }$ the category of left $\Lambda $-modules, $K(\Lambda ) = K(\text{Mod}_\Lambda )$ its homotopy category, and $D(\Lambda )= D(\text{Mod}_\Lambda )$ the derived category.

Proposition 64.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 (0)