Lemma 38.4.3. Let $f : X \to S$ be morphism of schemes which is locally of finite type. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$-module. Let $x \in X$ with image $s = f(x)$ in $S$. Then there exists a commutative diagram of pointed schemes

such that $(S', s') \to (S, s)$ and $(X', x') \to (X, x)$ are elementary étale neighbourhoods, and such that $g^*\mathcal{F}/X'/S'$ has a one step dévissage at $x'$.

## Comments (0)