The Stacks project

Proof. This proof is a variant of the proof of Algebra, Lemma 10.145.4 in the language of schemes. By Morphisms, Lemma 29.20.6 the morphism $f$ is quasi-finite at each of the points $x_ i$. Hence $\kappa (s) \subset \kappa (x_ i)$ is finite for each $i$ (Morphisms, Lemma 29.20.5). For each $i$, let $\kappa (s) \subset L_ i \subset \kappa (x_ i)$ be the subfield such that $L_ i/\kappa (s)$ is separable, and $\kappa (x_ i)/L_ i$ is purely inseparable. Choose a finite Galois extension $L/\kappa (s)$ such that there exist $\kappa (s)$-embeddings $L_ i \to L$ for $i = 1, \ldots , n$. Choose an étale neighbourhood $(U, u) \to (S, s)$ such that $L \cong \kappa (u)$ as $\kappa (s)$-extensions (Lemma 37.35.2).

Let $y_{i, j}$, $j = 1, \ldots , m_ i$ be the points of $X_ U$ lying over $x_ i \in X$ and $u \in U$. By Schemes, Lemma 26.17.5 these points $y_{i, j}$ correspond exactly to the primes in the rings $\kappa (u) \otimes _{\kappa (s)} \kappa (x_ i)$. This also explains why there are finitely many; in fact $m_ i = [L_ i : \kappa (s)]$ but we do not need this. By our choice of $L$ (and elementary field theory) we see that $\kappa (u) \subset \kappa (y_{i, j})$ is finite purely inseparable for each pair $i, j$. Also, by Morphisms, Lemma 29.20.13 for example, the morphism $X_ U \to U$ is quasi-finite at the points $y_{i, j}$ for all $i, j$.

Apply Lemma 37.41.2 to the morphism $X_ U \to U$, the point $u \in U$ and the points $y_{i, j} \in (X_ U)_ u$. This gives an étale neighbourhood $(U', u') \to (U, u)$ with $\kappa (u) = \kappa (u')$ and opens $V_{i, j} \subset X_{U'}$ with the properties (i), (ii), and (iii) of that lemma. We claim that the étale neighbourhood $(U', u') \to (S, s)$ and the opens $V_{i, j} \subset X_{U'}$ are a solution to the problem posed by the lemma. We omit the verifications. $\square$