Lemma 40.6.4. Let $S$ be a scheme. Let $(U, R, s, t, c)$ be a groupoid over $S$. Let $\tau \in \{ Zariski, \linebreak fppf, \linebreak {\acute{e}tale}, \linebreak smooth, \linebreak syntomic\}$1. Let $\mathcal{P}$ be a property of morphisms of schemes which is $\tau$-local on the target (Descent, Definition 35.22.1). Assume $\{ s : R \to U\}$ and $\{ t : R \to U\}$ are coverings for the $\tau$-topology. Let $W \subset U$ be the maximal open subscheme such that $s|_{s^{-1}(W)} : s^{-1}(W) \to W$ has property $\mathcal{P}$. Then $W$ is $R$-invariant, see Groupoids, Definition 39.19.1.

Proof. The existence and properties of the open $W \subset U$ are described in Descent, Lemma 35.22.3. In Diagram (40.3.0.1) let $W_1 \subset R$ be the maximal open subscheme over which the morphism $\text{pr}_1 : R \times _{s, U, t} R \to R$ has property $\mathcal{P}$. It follows from the aforementioned Descent, Lemma 35.22.3 and the assumption that $\{ s : R \to U\}$ and $\{ t : R \to U\}$ are coverings for the $\tau$-topology that $t^{-1}(W) = W_1 = s^{-1}(W)$ as desired. $\square$

 The fact that $fpqc$ is missing is not a typo.

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