Lemma 37.40.5. Let $f : X \to S$ be a morphism of schemes. Let $s \in S$. Let $x_1, \ldots , x_ n \in X_ s$. Assume that

$f$ is locally of finite type,

$f$ is separated, and

$x_1, \ldots , x_ n$ are pairwise distinct isolated points of $X_ s$.

Then there exists an étale neighbourhood $(U, u) \to (S, s)$ and a decomposition

into open and closed subschemes such that the morphisms $V_{i, j} \to U$ are finite, the fibres of $V_{i, j} \to U$ over $u$ are singletons $\{ v_{i, j}\} $, each $v_{i, j}$ maps to $x_ i$, $\kappa (u) \subset \kappa (v_{i, j})$ is purely inseparable, and the fibre of $W \to U$ over $u$ contains no points mapping to any of the $x_ i$.

## Comments (0)

There are also: