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[0] fppf, \linebreak[0] {\acute{e}tale}, \linebreak[0] smooth, \linebreak[0] 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
Comments (0)