Lemma 38.12.8. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $x \in X$ with image $s \in S$. Assume that

$f$ is locally of finite presentation,

$\mathcal{F}$ is of finite type, and

$\mathcal{F}$ is flat at $x$ over $S$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of pointed schemes

such that $X' \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$ is étale, $\kappa (x) = \kappa (x')$, the scheme $X'$ is affine of finite presentation over $\mathcal{O}_{S', s'}$, the sheaf $g^*\mathcal{F}$ is of finite presentation over $\mathcal{O}_{X'}$, and such that $\Gamma (X', g^*\mathcal{F})$ is a free $\mathcal{O}_{S', s'}$-module.

## Comments (0)