**Proof.**
Consider a prime $\mathfrak q \subset A$ lying over $\mathfrak p \subset R$. Let $x \in X$ and $s = f(x) \in S$ be the corresponding points. Then $(f^{-1}\mathcal{O}_ S)_ x = \mathcal{O}_{S, s} = R_\mathfrak p$ and $E_ x = M^\bullet _\mathfrak q$. Keeping this in mind we can see the equivalence as follows.

If $M^\bullet $ has tor amplitude in $[a, b]$ as a complex of $R$-modules, then the same is true for the localization of $M^\bullet $ at any prime of $A$. Then we conclude by Cohomology, Lemma 20.46.5 that $E$ has tor amplitude in $[a, b]$ as a complex of sheaves of $f^{-1}\mathcal{O}_ S$-modules. Conversely, assume that $E$ has tor amplitude in $[a, b]$ as an object of $D(f^{-1}\mathcal{O}_ S)$. We conclude (using the last cited lemma) that $M^\bullet _\mathfrak q$ has tor amplitude in $[a, b]$ as a complex of $R_\mathfrak p$-modules for every prime $\mathfrak q \subset A$ lying over $\mathfrak p \subset R$. By More on Algebra, Lemma 15.66.15 we find that $M^\bullet $ has tor amplitude in $[a, b]$ as a complex of $R$-modules. This finishes the proof of (1).

Since $X$ is quasi-compact, if $E$ locally has finite tor dimension as a complex of $f^{-1}\mathcal{O}_ S$-modules, then actually $E$ has tor amplitude in $[a, b]$ for some $a, b$ as a complex of $f^{-1}\mathcal{O}_ S$-modules. Thus (2) follows from (1).
$\square$

## Comments (0)