The Stacks project

Lemma 15.75.2. Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $\mathcal{P}$ be a class of $R$-modules. Let $K \in D(R)$ and let $E^\bullet $ be a complex of $R/I$-modules representing $K \otimes _ R^\mathbf {L} R/I$. Assume

  1. each $P \in \mathcal{P}$ is a projective $R$-module,

  2. $P_1 \in \mathcal{P}$ and $P_1 \oplus P_2 \in \mathcal{P}$ if and only if $P_1, P_2 \in \mathcal{P}$,

  3. if $f : P_1 \to P_2$, $P_1, P_2 \in \mathcal{P}$ is surjective modulo $I$, then $f$ is surjective,

  4. $E^\bullet $ is bounded above and $E^ i$ is of the form $P/IP$ for $P \in \mathcal{P}$, and

  5. $K$ can be represented by a bounded above complex whose terms are in $\mathcal{P}$.

Then there exists a bounded above complex $P^\bullet $ whose terms are in $\mathcal{P}$ with $P^\bullet /IP^\bullet $ isomorphic to $E^\bullet $ and representing $K$ in $D(R)$.

Proof. By assumption (5) we can represent $K$ by a bounded above complex $K^\bullet $ whose terms are in $\mathcal{P}$. Then $K \otimes _ R^\mathbf {L} R/I$ is represented by $K^\bullet /IK^\bullet $. Since $E^\bullet $ is a bounded above complex of projective $R/I$-modules by (4), we can choose a quasi-isomorphism $\delta : E^\bullet \to K^\bullet /IK^\bullet $ (Derived Categories, Lemma 13.19.8). Let $C^\bullet $ be cone on $\delta $ (Derived Categories, Definition 13.9.1). The module $C^ i$ is the direct sum $K^ i/IK^ i \oplus E^{i + 1}$ hence is of the form $P/IP$ for some $P \in \mathcal{P}$ as (2) says in particular that $\mathcal{P}$ is preserved under taking sums. Since $C^\bullet $ is acyclic, we can apply Lemma 15.75.1 and find a acyclic lift $A^\bullet $ of $C^\bullet $. The complex $A^\bullet $ is bounded above and has terms in $\mathcal{P}$. In

\[ \xymatrix{ K^\bullet \ar@{..>}[r] \ar[d] & A^\bullet \ar[d] \\ K^\bullet /IK^\bullet \ar[r] & C^\bullet \ar[r] & E^\bullet [1] } \]

we can find the dotted arrow making the diagram commute by Derived Categories, Lemma 13.19.6. We will show below that it follows from (1), (2), (3) that $K^ i \to A^ i$ is the inclusion of a direct summand for every $i$. By property (2) we see that $P^ i = \mathop{\mathrm{Coker}}(K^ i \to A^ i)$ is in $\mathcal{P}$. Thus we can take $P^\bullet = \mathop{\mathrm{Coker}}(K^\bullet \to A^\bullet )[-1]$ to conclude.

To finish the proof we have to show the following: Let $f : P_1 \to P_2$, $P_1, P_2 \in \mathcal{P}$ and $P_1/IP_1 \to P_2/IP_2$ is split injective with cokernel of the form $P_3/IP_3$ for some $P_3 \in \mathcal{P}$, then $f$ is split injective. Write $E_ i = P_ i/IP_ i$. Then $E_2 = E_1 \oplus E_3$. Since $P_2$ is projective we can choose a map $g : P_2 \to P_3$ lifting the map $E_2 \to E_3$. By condition (3) the map $g$ is surjective, hence split as $P_3$ is projective. Set $P_1' = \mathop{\mathrm{Ker}}(g)$ and choose a splitting $P_2 = P'_1 \oplus P_3$. Then $P'_1 \in \mathcal{P}$ by (2). We do not know that $g \circ f = 0$, but we can consider the map

\[ P_1 \xrightarrow {f} P_2 \xrightarrow {projection} P'_1 \]

The composition modulo $I$ is an isomorphism. Since $P'_1$ is projective we can split $P_1 = T \oplus P'_1$. If $T = 0$, then we are done, because then $P_2 \to P'_1$ is a splitting of $f$. We see that $T \in \mathcal{P}$ by (2). Calculating modulo $I$ we see that $T/IT = 0$. Since $0 \in \mathcal{P}$ (as the summand of any $P$ in $\mathcal{P}$) we see the map $0 \to T$ is surjective and we conclude that $T = 0$ as desired. $\square$

Comments (0)

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BCA. Beware of the difference between the letter 'O' and the digit '0'.