Lemma 37.26.3. Let $f : X \to Y$ be a morphism of schemes. Let

$n_{X/Y} : Y \to \{ 0, 1, 2, 3, \ldots , \infty \}$

be the function which associates to $y \in Y$ the number of irreducible components of $(X_ y)_ K$ where $K$ is a separably closed extension of $\kappa (y)$. This is well defined and if $g : Y' \to Y$ is a morphism then

$n_{X'/Y'} = n_{X/Y} \circ g$

where $X' \to Y'$ is the base change of $f$.

Proof. Suppose that $y' \in Y'$ has image $y \in Y$. Suppose $K \supset \kappa (y)$ and $K' \supset \kappa (y')$ are separably closed extensions. Then we may choose a commutative diagram

$\xymatrix{ K \ar[r] & K'' & K' \ar[l] \\ \kappa (y) \ar[u] \ar[rr] & & \kappa (y') \ar[u] }$

of fields. The result follows as the morphisms of schemes

$\xymatrix{ (X'_{y'})_{K'} & (X'_{y'})_{K''} = (X_ y)_{K''} \ar[l] \ar[r] & (X_ y)_ K }$

induce bijections between irreducible components, see Varieties, Lemma 33.8.7. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).