Lemma 36.46.8. Let $f : X \to S$ be a morphism of schemes. Assume

$f$ is proper, flat, and of finite presentation, and

the geometric fibres of $f$ are reduced.

Then the function $n_{X/S} : S \to \mathbf{Z}$ counting the numbers of geometric connected components of fibres of $f$ is locally constant.

**Proof.**
By Lemma 36.46.7 the function $n_{X/S}$ is lower semincontinuous. For $s \in S$ consider the $\kappa (s)$-algebra

\[ A = H^0(X_ s, \mathcal{O}_{X_ s}) \]

By Varieties, Lemma 32.9.3 and the fact that $X_ s$ is geometrically reduced $A$ is finite product of finite separable extensions of $\kappa (s)$. Hence $A \otimes _{\kappa (s)} \kappa (\overline{s})$ is a product of $\beta _0(s) = \dim _{\kappa (s)} H^0(E \otimes ^\mathbf {L} \kappa (s))$ copies of $\kappa (\overline{s})$. Thus $X_{\overline{s}}$ has $\beta _0(s) = \dim _{\kappa (s)} A$ connected components. In other words, we have $n_{X/S} = \beta _0$ as functions on $S$. Thus $n_{X/S}$ is upper semi-continuous by Derived Categories of Schemes, Lemma 35.28.1. This finishes the proof.
$\square$

## Comments (2)

Comment #2798 by BB on

Comment #2901 by Johan on