Lemma 37.28.2. Let $f : X \to Y$ be a morphism of schemes. Let $g : Y' \to Y$ be any morphism, and denote $f' : X' \to Y'$ the base change of $f$. Then

\begin{align*} \{ y' \in Y' \mid X'_{y'}\text{ is geometrically connected}\} \\ = g^{-1}(\{ y \in Y \mid X_ y\text{ is geometrically connected}\} ). \end{align*}

Proof. This comes down to the statement that for $y' \in Y'$ with image $y \in Y$ the fibre $X'_{y'} = X_ y \times _ y y'$ is geometrically connected over $\kappa (y')$ if and only if $X_ y$ is geometrically connected over $\kappa (y)$. This follows from Varieties, Lemma 33.7.3. $\square$

There are also:

• 2 comment(s) on Section 37.28: Connected components of fibres

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).