The Stacks project

Proof. Locally on $X$ there exists a strictly perfect complex $\mathcal{E}^\bullet $ such that $H^ i(E)$ is isomorphic to $H^ i(\mathcal{E}^\bullet )$ for $i > m$ and $H^ m(E)$ is a quotient of $H^ m(\mathcal{E}^\bullet )$. The sheaves $\mathcal{E}^ i$ are direct summands of finite free modules, hence quasi-coherent. The lemma follows. $\square$

Proof. It is immediate from the definitions that if $M^\bullet $ is $m$-pseudo-coherent, so is $E$. To prove the converse, assume $E$ is $m$-pseudo-coherent. As $X = \mathop{\mathrm{Spec}}(A)$ is quasi-compact with a basis for the topology given by standard opens, we can find a standard open covering $X = D(f_1) \cup \ldots \cup D(f_ n)$ and strictly perfect complexes $\mathcal{E}_ i^\bullet $ on $D(f_ i)$ and maps $\alpha _ i : \mathcal{E}_ i^\bullet \to E|_{U_ i}$ inducing isomorphisms on $H^ j$ for $j > m$ and surjections on $H^ m$. By Cohomology, Lemma 20.46.8 after refining the open covering we may assume $\alpha _ i$ is given by a map of complexes $\mathcal{E}_ i^\bullet \to \widetilde{M^\bullet }|_{U_ i}$ for each $i$. By Modules, Lemma 17.14.6 the terms $\mathcal{E}_ i^ n$ are finite locally free modules. Hence after refining the open covering we may assume each $\mathcal{E}_ i^ n$ is a finite free $\mathcal{O}_{U_ i}$-module. From the definition it follows that $M^\bullet _{f_ i}$ is an $m$-pseudo-coherent complex of $A_{f_ i}$-modules. We conclude by applying More on Algebra, Lemma 15.64.14.

The case “pseudo-coherent” follows from the fact that $E$ is pseudo-coherent if and only if $E$ is $m$-pseudo-coherent for all $m$ (by definition) and the same is true for $M^\bullet $ by More on Algebra, Lemma 15.64.5. $\square$

Proof. As $X$ is quasi-compact we see that in both (1) and (2) the object $E$ is bounded above. Thus the question is local on $X$ and we may assume $X$ is affine. Say $X = \mathop{\mathrm{Spec}}(A)$ for some Noetherian ring $A$. In this case $E$ corresponds to a complex of $A$-modules $M^\bullet $ by Lemma 36.3.5. By Lemma 36.10.2 we see that $E$ is $m$-pseudo-coherent if and only if $M^\bullet $ is $m$-pseudo-coherent. On the other hand, $H^ i(E)$ is coherent if and only if $H^ i(M^\bullet )$ is a finite $A$-module (Properties, Lemma 28.16.1). Thus the result follows from More on Algebra, Lemma 15.64.17. $\square$

Proof. Part (2) follows trivially from part (1). In the proof of (1) we will use the equivalence $D(A) = D_\mathit{QCoh}(X)$ of Lemma 36.3.5 without further mention. Assume $M^\bullet $ has tor amplitude in $[a, b]$. Then $K^\bullet $ is isomorphic in $D(A)$ to a complex $K^\bullet $ of flat $A$-modules with $K^ i = 0$ for $i \not\in [a, b]$, see More on Algebra, Lemma 15.66.3. Then $E$ is isomorphic to $\widetilde{K^\bullet }$. Since each $\widetilde{K^ i}$ is a flat $\mathcal{O}_ X$-module, we see that $E$ has tor amplitude in $[a, b]$ by Cohomology, Lemma 20.48.3.

Assume that $E$ has tor amplitude in $[a, b]$. Then $E$ is bounded whence $M^\bullet $ is in $K^-(A)$. Thus we may replace $M^\bullet $ by a bounded above complex of $A$-modules. We may even choose a projective resolution and assume that $M^\bullet $ is a bounded above complex of free $A$-modules. Then for any $A$-module $N$ we have

in $D(\mathcal{O}_ X)$. Thus the vanishing of cohomology sheaves of the left hand side implies $M^\bullet $ has tor amplitude in $[a, b]$. $\square$

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.48.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$

Proof. It is clear that (1) implies (2). Assume (2). Let $U \subset X$ be an affine open. As $X$ is quasi-separated the morphism $j : U \to X$ is quasi-compact and separated, hence $j_*$ transforms quasi-coherent modules into quasi-coherent modules (Schemes, Lemma 26.24.1). Thus the functor $\mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ U)$ is essentially surjective. It follows that condition (2) implies the vanishing of $H^ i(E|_ U \otimes _{\mathcal{O}_ U}^\mathbf {L} \mathcal{G})$ for $i \not\in [a, b]$ for all quasi-coherent $\mathcal{O}_ U$-modules $\mathcal{G}$. Write $U = \mathop{\mathrm{Spec}}(A)$ and let $M^\bullet $ be the complex of $A$-modules corresponding to $E|_ U$ by Lemma 36.3.5. We have just shown that $M^\bullet \otimes _ A^\mathbf {L} N$ has vanishing cohomology groups outside the range $[a, b]$, in other words $M^\bullet $ has tor amplitude in $[a, b]$. By Lemma 36.10.4 we conclude that $E|_ U$ has tor amplitude in $[a, b]$. This proves the lemma. $\square$

Proof. This is a logical consequence of Lemmas 36.10.2 and 36.10.4, Cohomology, Lemma 20.49.5, and More on Algebra, Lemma 15.74.2. $\square$

Proof. The construction of the internal hom in the derived category of $\mathcal{O}_ X$ commutes with localization (see Cohomology, Section 20.42). Hence to prove (1) and (2) we may replace $X$ by an affine open. By Lemmas 36.3.5, 36.10.2, and 36.10.7 in order to prove (1) and (2) it suffices to prove (3).

Part (3) follows from the computation of the internal hom of Cohomology, Lemma 20.46.11 by representing $K$ by a bounded above (resp. finite) complex of finite projective $A$-modules and $L$ by a bounded below (resp. arbitrary) complex of $A$-modules.

To prove (4) recall that on any ringed space the $n$th cohomology sheaf of $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (A, B)$ is the sheaf associated to the presheaf

See Cohomology, Section 20.42. On the other hand, the restriction of $\widetilde{K}$ to a principal open $D(f)$ is the image of $K \otimes _ A A_ f$ and similarly for $L$. Hence (4) follows from the equivalence of categories of Lemma 36.3.5. $\square$

Proof. Lemma 36.10.8 reduces cases (1) and (3) to the affine case which is treated in More on Algebra, Lemma 15.98.3. (You also have to use Lemmas 36.10.2, 36.10.7, and 36.10.4 to do the translation into algebra.) If $K$ is perfect but no other assumptions are made, then we do not know that either side of the arrow is in $D_\mathit{QCoh}(\mathcal{O}_ X)$ but the result is still true because we can work locally and reduce to the case that $K$ is a finite complex of finite free modules in which case it is clear. $\square$