Lemma 37.46.4. Let $h : Y \to S$ be a morphism of schemes. Let $s \in S$ be a point. Let $T \subset Y_ s$ be an open subscheme. Assume

$h$ is of finite presentation,

$h$ is normal, and

$T$ is geometrically irreducible over $\kappa (s)$.

Then we can find an affine elementary étale neighbourhood $(S', s') \to (S, s)$ and a quasi-compact open $V \subset Y_{S'}$ such that

all fibres of $V \to S'$ are geometrically integral,

$V_{s'} = T \times _ s s'$.

**Proof.**
Apply Lemma 37.46.2 to find an affine elementary étale neighbourhood $(S', s') \to (S, s)$ and a quasi-compact open $V \subset Y_{S'}$ such that all fibres of $V \to S'$ are geometrically connected and $V_{s'} = T \times _ s s'$. As $V$ is an open of the base change of $h$ all fibres of $V \to S'$ are geometrically normal, see Lemma 37.20.2. In particular, they are geometrically reduced. To finish the proof we have to show they are geometrically irreducible. But, if $t \in S'$ then $V_ t$ is of finite type over $\kappa (t)$ and hence $V_ t \times _{\kappa (t)} \overline{\kappa (t)}$ is of finite type over $\overline{\kappa (t)}$ hence Noetherian. By choice of $S' \to S$ the scheme $V_ t \times _{\kappa (t)} \overline{\kappa (t)}$ is connected. Hence $V_ t \times _{\kappa (t)} \overline{\kappa (t)}$ is irreducible by Properties, Lemma 28.7.6 and we win.
$\square$

## Comments (0)