The Stacks project

Proof. A formal argument, which we omit, shows that it suffices to prove (1).

Let $M$ be an $I$-power torsion $A$-module. Choose an embedding $M \to J$ into an injective $A$-module. Then $J[I^\infty ]$ is an injective $A$-module, see Lemma 47.3.9, and we obtain an embedding $M \to J[I^\infty ]$. Thus every $I$-power torsion module has an injective resolution $M \to J^\bullet$ with $J^ n$ also $I$-power torsion. It follows that $R\Gamma _ I(M) = M$ (this is not a triviality and this is not true in general if $A$ is not Noetherian). Next, suppose that $K \in D_{I^\infty \text{-torsion}}^+(A)$. Then the spectral sequence

(Derived Categories, Lemma 13.21.3) converges and above we have seen that only the terms with $q = 0$ are nonzero. Thus we see that $R\Gamma _ I(K) \to K$ is an isomorphism.

Suppose $K$ is an arbitrary object of $D_{I^\infty \text{-torsion}}(A)$. We have

by Lemma 47.8.2. Choose $f_1, \ldots , f_ r \in A$ generating $I$. Let $K_ n^\bullet = K(A, f_1^ n, \ldots , f_ r^ n)$ be the Koszul complex with terms in degrees $-r, \ldots , 0$. Since the pro-objects $\{ A/I^ n\}$ and $\{ K_ n^\bullet \}$ in $D(A)$ are the same by More on Algebra, Lemma 15.94.1, we see that

Pick any complex $K^\bullet$ of $A$-modules representing $K$. Since $K_ n^\bullet$ is a finite complex of finite free modules we see that

where $(K_ n^\bullet )^\vee$ is the dual of the complex $K_ n^\bullet$. See More on Algebra, Lemma 15.73.2. As $(K_ n^\bullet )^\vee$ is a complex of finite free $A$-modules sitting in degrees $0, \ldots , r$ we see that the terms of the complex $\text{Tot}((K_ n^\bullet )^\vee \otimes _ A K^\bullet )$ are the same as the terms of the complex $\text{Tot}((K_ n^\bullet )^\vee \otimes _ A \tau _{\geq q - r - 2} K^\bullet )$ in degrees $q - 1$ and higher. Hence we see that

for all $n$. It follows that

Thus we see that the map $R\Gamma _ I(K) \to K$ is an isomorphism. $\square$