Lemma 56.10.1. Let $R$ be a Noetherian ring. Let $X$, $Y$ be finite type schemes over $R$ having the resolution property. For any 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.**
Let $U \subset X$ and $V \subset Y$ be affine open subschemes. Let $\mathcal{I} \subset \mathcal{O}_ X$ be the ideal sheaf of the reduced induced closed subscheme structure on $X \setminus U$. Similarly, let $\mathcal{I}' \subset \mathcal{O}_ Y$ be the ideal sheaf of the reduced induced closed subscheme structure on $Y \setminus V$. Then the ideal sheaf

satisfies $V(\mathcal{J}) = X \times _ R Y \setminus U \times _ R V$. For any section $s \in \mathcal{F}(U \times _ R V)$ we can find an integer $n > 0$ and a map $\mathcal{J}^ n \to \mathcal{F}$ whose restriction to $U \times _ R V$ gives $s$, see Cohomology of Schemes, Lemma 30.10.4. By assumption we can choose surjections $\mathcal{E} \to \mathcal{I}$ and $\mathcal{G} \to \mathcal{I}'$. These produce corresponding surjections

and hence a map $\mathcal{E}^{\otimes n} \boxtimes \mathcal{G}^{\otimes n} \to \mathcal{F}$ whose image contains the section $s$ over $U \times _ R V$. Since we can cover $X \times _ R Y$ by a finite number of affine opens of the form $U \times _ R V$ and since $\mathcal{F}|_{U \times _ R V}$ is generated by finitely many sections (Properties, Lemma 28.16.1) we conclude that there exists a surjection

where $\mathcal{E}_ j$ is finite locally free on $X$ and $\mathcal{G}_ j$ is finite locally free on $Y$. Setting $\mathcal{E} = \bigoplus \mathcal{E}_ j^{\otimes n_ j}$ and $\mathcal{G} = \bigoplus \mathcal{G}_ j^{\otimes n_ j}$ we conclude that the lemma is true. $\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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)