Lemma 37.38.4. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$ be a point with image $s \in S$. Assume
$f$ is smooth at $x$,
the residue field extension $\kappa (x)/\kappa (s)$ is separable, and
$x$ is not a generic point of $X_ s$.
Then there exists an affine open neighbourhood $U \subset X$ of $x$ and an effective Cartier divisor $D \subset U$ containing $x$ such that $D \to S$ is smooth.
Proof.
Write $k = \kappa (s)$ and $R = \mathcal{O}_{X_ s, x}$. Denote $\mathfrak m$ the maximal ideal of $R$ and $\kappa = R/\mathfrak m$ so that $\kappa = \kappa (x)$. As formation of modules of differentials commutes with localization (see Algebra, Lemma 10.131.8) we have $\Omega _{X_ s/s, x} = \Omega _{R/k}$. By assumption (2) and Algebra, Lemma 10.140.4 the map
\[ \text{d} : \mathfrak m/\mathfrak m^2 \longrightarrow \Omega _{R/k} \otimes _ R \kappa (\mathfrak m) \]
is injective. Assumption (3) implies that $\mathfrak m/\mathfrak m^2 \not= 0$. Thus there exists an element $\overline{h} \in \mathfrak m$ such that $\text{d}\overline{h}$ is nonzero. Choose a lift $h \in \mathcal{O}_{X, x}$ of $\overline{h}$ and apply Lemma 37.38.1.
$\square$
Comments (0)