Lemma 38.12.7. Let $f : X \to S$ be of finite presentation. Let $s \in S$. If $X$ is flat over $S$ at all points of $X_ s$, then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of schemes

with $g$ étale, $X_ s \subset g(X')$, such that $X'$, $S'$ are affine, and such that $\Gamma (X', \mathcal{O}_{X'})$ is a projective $\Gamma (S', \mathcal{O}_{S'})$-module.

## Comments (0)