The Stacks project

Proof. Choose a free resolution $F_\bullet \to M$. Then $\widetilde{F}_\bullet $ is a flat resolution of $\widetilde{M}$. Hence $Lp^*\widetilde{M}$ is given by the complex $p^*\widetilde{F}_\bullet $. Thus $Lp^*\widetilde{M}(q)$ is given by the complex $p^*\widetilde{F}_\bullet (q)$. Since $p^*\widetilde{F}_ i(q)$ are right acyclic for $\Gamma (X, -)$ by our choice of $q \geq q(A, I)$ and since we have $\Gamma (X, p^*\widetilde{F}_ i(q)) = I^ qF_ i$ by our choice of $q \geq q(A, I)$, we get that $R\Gamma (X, Lp^*\widetilde{M}(q))$ is given by the complex with terms $I^ qF_ i$ by Derived Categories of Schemes, Lemma 36.4.3. The result follows as the complex $I^ qF_\bullet $ computes $M \otimes _ A^\mathbf {L} I^ q$ by definition. $\square$