Lemma 35.15.2. Let $\mathcal{P}$ be a property of schemes. Let $\tau \in \{ fpqc, \linebreak[0] fppf, \linebreak[0] {\acute{e}tale}, \linebreak[0] smooth, \linebreak[0] syntomic\}$. Assume that

1. the property is local in the Zariski topology,

2. for any morphism of affine schemes $S' \to S$ which is flat, flat of finite presentation, étale, smooth or syntomic depending on whether $\tau$ is fpqc, fppf, étale, smooth, or syntomic, property $\mathcal{P}$ holds for $S'$ if property $\mathcal{P}$ holds for $S$, and

3. for any surjective morphism of affine schemes $S' \to S$ which is flat, flat of finite presentation, étale, smooth or syntomic depending on whether $\tau$ is fpqc, fppf, étale, smooth, or syntomic, property $\mathcal{P}$ holds for $S$ if property $\mathcal{P}$ holds for $S'$.

Then $\mathcal{P}$ is $\tau$ local on the base.

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