Lemma 37.59.5. 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}$. Let $X = \bigcup U_ i$ be a standard affine open covering. The following are equivalent
Proof. The implication (2) $\Rightarrow $ (1) is Lemma 37.59.4. Assume (1). Say $S = \mathop{\mathrm{Spec}}(R)$ and $X = \mathop{\mathrm{Spec}}(A)$ and $U_ i = D(f_ i)$. Write $1 = \sum f_ ig_ i$ in $A$. Consider the surjections
\[ R[x_ i, y_ i, z_ i] \to R[x_ i, y_ i, z_ i]/(\sum y_ iz_ i - 1) \to A. \]
which sends $y_ i$ to $f_ i$ and $z_ i$ to $g_ i$. Note that $R[x_ i, y_ i, z_ i]/(\sum y_ iz_ i - 1)$ is pseudo-coherent as an $R[x_ i, y_ i, z_ i]$-module. Thus it suffices to prove that the pushforward of $E$ to $T = \mathop{\mathrm{Spec}}(R[x_ i, y_ i, z_ i]/(\sum y_ iz_ i - 1))$ is $m$-pseudo-coherent, see Derived Categories of Schemes, Lemma 36.12.5. For each $i_0$ it suffices to prove the restriction of this pushforward to $W_{i_0} = \mathop{\mathrm{Spec}}(R[x_ i, y_ i, z_ i, 1/y_{i_0}]/(\sum y_ iz_ i - 1))$ is $m$-pseudo-coherent. Note that there is a commutative diagram
\[ \xymatrix{ X \ar[d] & U_{i_0} \ar[l] \ar[d] \\ T & W_{i_0} \ar[l] } \]
which implies that the pushforward of $E$ to $T$ restricted to $W_{i_0}$ is the pushforward of $E|_{U_{i_0}}$ to $W_{i_0}$. Since $R[x_ i, y_ i, z_ i, 1/y_{i_0}]/(\sum y_ iz_ i - 1)$ is isomorphic to a polynomial ring over $R$ this proves what we want. $\square$
Post a comment
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)