The Stacks project

Proof. Choose a finite affine open covering $X = U_1 \cup \ldots \cup U_ n$. For each $i$ we can choose a closed immersion $U_ i \to \mathbf{A}^{d_ i}_ S$. Set $U_{i, 0} = S_0 \times _ S U_ i$. For each $i$ the complex $E_0|_{U_{i, 0}}$ has tor amplitude in $[a_ i, b_ i]$ for some $a_ i, b_ i \in \mathbf{Z}$. Let $x \in X$ be a point. We will show that the tor amplitude of $E_ x$ over $R$ is in $[a_ i - d_ i, b_ i]$ for some $i$. This will finish the proof as the tor amplitude can be read off from the stalks by Cohomology, Lemma 20.48.5.

Since $f$ is proper $f(\overline{\{ x\} })$ is a closed subset of $S$. Since $I$ is contained in the Jacobson radical, we see that $f(\overline{\{ x\} })$ meeting the closed subset $S_0 \subset S$. Hence there is a specialization $x \leadsto x_0$ with $x_0 \in X_0$. Pick an $i$ with $x_0 \in U_ i$, so $x_0 \in U_{i, 0}$. We will fix $i$ for the rest of the proof. Write $U_ i = \mathop{\mathrm{Spec}}(A)$. Then $A$ is a flat, finitely presented $R$-algebra which is a quotient of a polynomial $R$-algebra in $d_ i$-variables. The restriction $E|_{U_ i}$ corresponds (by Derived Categories of Schemes, Lemma 36.3.5 and 36.10.2) to a pseudo-coherent object $K$ of $D(A)$. Observe that $E_0$ corresponds to $K \otimes _ A^\mathbf {L} A/IA$. Let $\mathfrak q \subset \mathfrak q_0 \subset A$ be the prime ideals corresponding to $x \leadsto x_0$. Then $E_ x = K_{\mathfrak q}$ and $K_{\mathfrak q}$ is a localization of $K_{\mathfrak q_0}$. Hence it suffices to show that $K_{\mathfrak q_0}$ has tor amplitude in $[a_ i - d_ i, b_ i]$ as a complex of $R$-modules. Let $I \subset \mathfrak p_0 \subset R$ be the prime ideal corresponding to $f(x_0)$. Then we have

the second equality because $R \to A$ is flat. By our choice of $a_ i, b_ i$ this complex has cohomology only in degrees in the interval $[a_ i, b_ i]$. Thus we may finally apply More on Algebra, Lemma 15.83.9 to $R \to A$, $\mathfrak q_0$, $\mathfrak p_0$ and $K$ to conclude. $\square$