Lemma 38.5.8. Let $X \to S$ be a finite type morphism of schemes. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$-module. Let $s \in S$ be a point. There exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and étale morphisms $h_ i : Y_ i \to X_{S'}$, $i = 1, \ldots , n$ such that for each $i$ there exists a complete dévissage of $\mathcal{F}_ i/Y_ i/S'$ over $s'$, where $\mathcal{F}_ i$ is the pullback of $\mathcal{F}$ to $Y_ i$ and such that $X_ s = (X_{S'})_{s'} \subset \bigcup h_ i(Y_ i)$.
Proof. For every point $x \in X_ s$ we can find a diagram
of pointed schemes such that the horizontal arrows are elementary étale neighbourhoods and such that $g^*\mathcal{F}/X'/S'$ has a complete dévissage at $x'$. As $X \to S$ is of finite type the fibre $X_ s$ is quasi-compact, and since each $g : X' \to X$ as above is open we can cover $X_ s$ by a finite union of $g(X'_{s'})$. Thus we can find a finite family of such diagrams
such that $X_ s = \bigcup g_ i(X'_ i)$. Set $S' = S'_1 \times _ S \ldots \times _ S S'_ n$ and let $Y_ i = X_ i \times _{S'_ i} S'$ be the base change of $X'_ i$ to $S'$. By Lemma 38.5.3 we see that the pullback of $\mathcal{F}$ to $Y_ i$ has a complete dévissage over $s$ and we win. $\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)