Lemma 76.56.2. In Situation 76.56.1, assume $X$ is Noetherian. Then for any coherent $\mathcal{O}_ X$-module $\mathcal{F}$ there exist $r \geq 0$, integers $n_1, \ldots , n_ r \geq 0$, and a surjection
of $\mathcal{O}_ X$-modules.
Proof. Denote $\omega _{Y/X}$ the coherent $\mathcal{O}_ Y$-module such that there is an isomorphism
of $\pi _*\mathcal{O}_ Y$-modules, see Morphisms of Spaces, Lemma 67.20.10 and Descent on Spaces, Lemma 74.6.6. The canonical map $\mathcal{O}_ X \to \pi _*\mathcal{O}_ Y$ produces a canonical map
Since $V$ is Noetherian affine we may choose sections
generating the coherent module $\pi ^*\mathcal{F} \otimes _{\mathcal{O}_ X} \omega _{Y/X}$ over $V$. By Cohomology of Spaces, Lemma 69.13.4 we can choose integers $n_ i \geq 0$ such that $s_ i$ extends to a map $s_ i' : \mathcal{I}^{n_ i} \to \pi ^*\mathcal{F} \otimes _{\mathcal{O}_ Y} \omega _{Y/X}$. Pushing to $X$ we obtain maps
where the equality sign is Cohomology of Spaces, Lemma 69.4.3. To finish the proof we will show that the sum of these maps is surjective.
Let $x \in |X|$ be a point of $X$. Let $v \in |V|$ be a point mapping to $x$. We may choose an étale neighbourhood $(U, u) \to (X, x)$ such that
(disjoint union of algebraic spaces) such that $W \to U$ is an isomorphism and such that the unique point $w \in W$ lying over $u$ maps to $v$ in $V \subset Y$. To see this is true use Lemma 76.33.2 and Étale Morphisms, Lemma 41.18.1. After shrinking $U$ further if necessary we may assume $W$ maps into $V \subset Y$ by the projection. Since the formation of $\omega _{Y/X}$ commutes with étale localization we see that
We have $(\pi |_ W)_*\omega _{W/U} = \mathcal{O}_ U$ and this isomorphism is given by the trace map $\text{Tr}_\pi |_ U$ restricted to the first summand in the decomposition above. Since $W$ maps into $V$ we see that $\mathcal{I}^{n_ i}|_ W = \mathcal{O}_ W$. Hence
Chasing diagrams the reader sees (details omitted) that $\sigma _ i|_ U$ on the summand $\mathcal{O}_ U$ is the map $\mathcal{O}_ U \to \mathcal{F}$ corresponding to the section
Since the sections $s_ i$ generate the module $\pi ^*\mathcal{F} \otimes _{\mathcal{O}_ Y} \omega _{Y/X}$ over $V$ and since $W$ maps into $V$ we conclude that the restriction of $\bigoplus \sigma _ i$ to $U$ is surjective. Since $x$ was an arbitrary point the proof is complete. $\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)