Lemma 57.9.2. Let $R$ be a ring. Let $X$, $Y$ be quasi-compact and quasi-separated schemes over $R$ having the resolution property. For any finite type quasi-coherent $\mathcal{O}_{X \times _ R Y}$-module $\mathcal{F}$ there exist a surjection $\mathcal{E} \boxtimes \mathcal{G} \to \mathcal{F}$ where $\mathcal{E}$ is a finite locally free $\mathcal{O}_ X$-module and $\mathcal{G}$ is a finite locally free $\mathcal{O}_ Y$-module.
Proof. Follows from Lemma 57.9.1 by a limit argument. We urge the reader to skip the proof. Since $X \times _ R Y$ is a closed subscheme of $X \times _\mathbf {Z} Y$ it is harmless if we replace $R$ by $\mathbf{Z}$. We can write $\mathcal{F}$ as the quotient of a finitely presented $\mathcal{O}_{X \times _ R Y}$-module by Properties, Lemma 28.22.8. Hence we may assume $\mathcal{F}$ is of finite presentation. Next we can write $X = \mathop{\mathrm{lim}}\nolimits X_ i$ with $X_ i$ of finite presentation over $\mathbf{Z}$ and similarly $Y = \mathop{\mathrm{lim}}\nolimits Y_ j$, see Limits, Proposition 32.5.4. Then $\mathcal{F}$ will descend to $\mathcal{F}_{ij}$ on some $X_ i \times _ R Y_ j$ (Limits, Lemma 32.10.2) and so does the property of having the resolution property (Derived Categories of Schemes, Lemma 36.36.9). Then we apply Lemma 57.9.1 to $\mathcal{F}_{ij}$ and we pullback. $\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)