The Stacks project

Proof. We have $\mathcal{P}(f) = \mathcal{P}_1(f) \wedge \mathcal{P}_2(f) \wedge \mathcal{P}_3(f)$ where $\mathcal{P}_1(f)=$“the fibres of $f$ are locally Noetherian”, $\mathcal{P}_2(f)=$“$f$ is flat”, and $\mathcal{P}_3(f)=$“the fibres of $f$ are geometrically regular”. We have already seen that $\mathcal{P}_1$ and $\mathcal{P}_2$ are local in the fppf topology on the source and the target, see Lemma 37.20.4, and Descent, Lemmas 35.23.15 and 35.27.1. Thus we have to deal with $\mathcal{P}_3$.

Let $f : X \to Y$ be a morphism of schemes. Let $\{ \varphi _ i : Y_ i \to Y\} _{i \in I}$ be an fpqc covering of $Y$. Denote $f_ i : X_ i \to Y_ i$ the base change of $f$ by $\varphi _ i$. Let $i \in I$ and let $y_ i \in Y_ i$ be a point. Set $y = \varphi _ i(y_ i)$. Note that

Hence in this situation we have that $X_ y$ is geometrically regular if and only if $X_{i, y_ i}$ is geometrically regular, see Varieties, Lemma 33.12.4. This fact implies $\mathcal{P}_3$ is fpqc local on the target.

Let $\{ X_ i \to X\} $ be a smooth covering of $X$. Let $y \in Y$. In this case $\{ X_{i, y} \to X_ y\} $ is a smooth covering of the fibre. Hence the locality of $\mathcal{P}_3$ for the smooth topology on the source follows from Descent, Lemma 35.18.4. Combining the above the lemma follows. $\square$