Lemma 15.64.2. Let $R$ be a ring and $m \in \mathbf{Z}$. Let $(K^\bullet , L^\bullet , M^\bullet , f, g, h)$ be a distinguished triangle in $D(R)$.

1. If $K^\bullet$ is $(m + 1)$-pseudo-coherent and $L^\bullet$ is $m$-pseudo-coherent then $M^\bullet$ is $m$-pseudo-coherent.

2. If $K^\bullet , M^\bullet$ are $m$-pseudo-coherent, then $L^\bullet$ is $m$-pseudo-coherent.

3. If $L^\bullet$ is $(m + 1)$-pseudo-coherent and $M^\bullet$ is $m$-pseudo-coherent, then $K^\bullet$ is $(m + 1)$-pseudo-coherent.

Proof. Proof of (1). Choose $\alpha : P^\bullet \to K^\bullet$ with $P^\bullet$ a bounded complex of finite free modules such that $H^ i(\alpha )$ is an isomorphism for $i > m + 1$ and surjective for $i = m + 1$. We may replace $P^\bullet$ by $\sigma _{\geq m + 1}P^\bullet$ and hence we may assume that $P^ i = 0$ for $i < m + 1$. Choose $\beta : E^\bullet \to L^\bullet$ with $E^\bullet$ a bounded complex of finite free modules such that $H^ i(\beta )$ is an isomorphism for $i > m$ and surjective for $i = m$. By Derived Categories, Lemma 13.19.11 we can find a map $\gamma : P^\bullet \to E^\bullet$ such that the diagram

$\xymatrix{ K^\bullet \ar[r] & L^\bullet \\ P^\bullet \ar[u] \ar[r]^\gamma & E^\bullet \ar[u]_\beta }$

is commutative in $D(R)$. The cone $C(\gamma )^\bullet$ is a bounded complex of finite free $R$-modules, and the commutativity of the diagram implies that there exists a morphism of distinguished triangles

$(P^\bullet , E^\bullet , C(\gamma )^\bullet ) \longrightarrow (K^\bullet , L^\bullet , M^\bullet ).$

It follows from the induced map on long exact cohomology sequences and Homology, Lemmas 12.5.19 and 12.5.20 that $C(\gamma )^\bullet \to M^\bullet$ induces an isomorphism on cohomology in degrees $> m$ and a surjection in degree $m$. Hence $M^\bullet$ is $m$-pseudo-coherent.

Assertions (2) and (3) follow from (1) by rotating the distinguished triangle. $\square$

Comment #7850 by nkym on

Two alphas in the proof, one from P to K and the other from P to E.

There are also:

• 8 comment(s) on Section 15.64: Pseudo-coherent modules, I

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