Lemma 15.91.17 (091Z)—The Stacks project

Lemma 15.91.17. In Situation 15.91.15. Let $K \in D(A)$ . The following are equivalent

$K$ is derived complete with respect to $I$ , and
the canonical map $K \to R\mathop{\mathrm{lim}}\nolimits (K \otimes _ A^\mathbf {L} K_ n^\bullet )$ is an isomorphism of $D(A)$ .

Proof. If (2) holds, then $K$ is derived complete with respect to $I$ by Lemma 15.91.16. Conversely, assume that $K$ is derived complete with respect to $I$ . Consider the filtrations

$K_ n^\bullet \supset \sigma _{\geq -r + 1}K_ n^\bullet \supset \sigma _{\geq -r + 2}K_ n^\bullet \supset \ldots \supset \sigma _{\geq -1}K_ n^\bullet \supset \sigma _{\geq 0}K_ n^\bullet = A$

by stupid truncations (Homology, Section 12.15). Because the construction $R\mathop{\mathrm{lim}}\nolimits (K \otimes E)$ is exact in the second variable (Lemma 15.87.11) we see that it suffices to show

$R\mathop{\mathrm{lim}}\nolimits \left( K \otimes _ A^\mathbf {L} (\sigma _{\geq p}K_ n^\bullet / \sigma _{\geq p + 1}K_ n^\bullet ) \right) = 0$

for $p < 0$ . The explicit description of the Koszul complexes above shows that

$R\mathop{\mathrm{lim}}\nolimits \left( K \otimes _ A^\mathbf {L} (\sigma _{\geq p}K_ n^\bullet / \sigma _{\geq p + 1}K_ n^\bullet ) \right) = \bigoplus \nolimits _{i_1, \ldots , i_{-p}} T(K, f_{i_1}\ldots f_{i_{-p}})$

which is zero for $p < 0$ by assumption on $K$ . $\square$

The Stacks project

Comments (0)

Post a comment