Lemma 77.10.1 (0CWP)—The Stacks project

Lemma 77.10.1. Let $S$ be the spectrum of a henselian local ring with closed point $s$ . Let $X \to S$ be a morphism of algebraic spaces which is locally of finite type. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$ -module. Let $E \subset |X_ s|$ be a subset. There exists a closed subscheme $Z \subset S$ with the following property: for any morphism of pointed schemes $(T, t) \to (S, s)$ the following are equivalent

$\mathcal{F}_ T$ is flat over $T$ at all points of $|X_ t|$ which map to a point of $E \subset |X_ s|$ , and
$\mathop{\mathrm{Spec}}(\mathcal{O}_{T, t}) \to S$ factors through $Z$ .

Moreover, if $X \to S$ is locally of finite presentation, $\mathcal{F}$ is of finite presentation, and $E \subset |X_ s|$ is closed and quasi-compact, then $Z \to S$ is of finite presentation.

Proof. Choose a scheme $U$ and an étale morphism $\varphi : U \to X$ . Let $E' \subset |U_ s|$ be the inverse image of $E$ . If $E' \to E$ is surjective, then condition (1) is equivalent to: $(\varphi ^*\mathcal{F})_ T$ is flat over $T$ at all points of $|U_ t|$ which map to a point of $E' \subset |U_ t|$ . Choosing $\varphi$ to be surjective, we reduced to the case of schemes which is More on Flatness, Lemma 38.24.3. If $E$ is closed and quasi-compact, then we may choose $U$ to be affine such that $E' \to E$ is surjective. Then $E'$ is closed and quasi-compact and the final statement follows from the final statement of More on Flatness, Lemma 38.24.3. $\square$

The Stacks project

Comments (0)

Post a comment