Lemma 110.64.1. There exists a ring $R$, a distinguished triangle $(K, L, M, \alpha , \beta , \gamma )$ in the homotopy category $K(R)$, and an endomorphism $(a, b, c)$ of this distinguished triangle, such that $K$, $L$, $M$ are perfect complexes and $\text{Tr}_ K(a) + \text{Tr}_ M(c) \not= \text{Tr}_ L(b)$.
Proof. Consider the example above. The map $\gamma : C^\bullet \to A^\bullet [1]$ is given by multiplication by $\epsilon $ in degree $0$, see Derived Categories, Definition 13.10.1. Hence it is also true that
\[ \xymatrix{ C^\bullet \ar[d] \ar[r]_\gamma & A^\bullet [1] \ar[d] \\ C^\bullet \ar[r]^\gamma & A^\bullet [1] } \]
commutes in $K(R)$ as $\epsilon (1 + \epsilon ) = \epsilon $. Thus we indeed have a morphism of distinguished triangles. $\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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)