Lemma 37.59.1. Let $X \to S$ be a finite type morphism of affine schemes. Let $E$ be an object of $D(\mathcal{O}_ X)$. Let $m \in \mathbf{Z}$. The following are equivalent
for some closed immersion $i : X \to \mathbf{A}^ n_ S$ the object $Ri_*E$ of $D(\mathcal{O}_{\mathbf{A}^ n_ S})$ is $m$-pseudo-coherent, and
for all closed immersions $i : X \to \mathbf{A}^ n_ S$ the object $Ri_*E$ of $D(\mathcal{O}_{\mathbf{A}^ n_ S})$ is $m$-pseudo-coherent.
Proof. Say $S = \mathop{\mathrm{Spec}}(R)$ and $X = \mathop{\mathrm{Spec}}(A)$. Let $i$ correspond to the surjection $\alpha : R[x_1, \ldots , x_ n] \to A$ and let $X \to \mathbf{A}^ m_ S$ correspond to $\beta : R[y_1, \ldots , y_ m] \to A$. Choose $f_ j \in R[x_1, \ldots , x_ n]$ with $\alpha (f_ j) = \beta (y_ j)$ and $g_ i \in R[y_1, \ldots , y_ m]$ with $\beta (g_ i) = \alpha (x_ i)$. Then we get a commutative diagram
corresponding to the commutative diagram of closed immersions
Thus it suffices to show that under a closed immersion
an object $E$ of $D(\mathcal{O}_{\mathbf{A}^ m_ S})$ is $m$-pseudo-coherent if and only if $Rf_*E$ is $m$-pseudo-coherent. This follows from Derived Categories of Schemes, Lemma 36.12.5 and the fact that $f_*\mathcal{O}_{\mathbf{A}^ m_ S}$ is a pseudo-coherent $\mathcal{O}_{\mathbf{A}^{n + m}_ S}$-module. The pseudo-coherence of $f_*\mathcal{O}_{\mathbf{A}^ m_ S}$ is straightforward to prove directly, but it also follows from Derived Categories of Schemes, Lemma 36.10.2 and More on Algebra, Lemma 15.81.3. $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)