Lemma 64.7.4. Let $\mathcal{P}$ be a property of germs of schemes which is étale local, see Descent, Definition 35.18.1. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $x \in |X|$ be a point of $X$. Consider étale morphisms $a : U \to X$ where $U$ is a scheme. The following are equivalent

for any $U \to X$ as above and $u \in U$ with $a(u) = x$ we have $\mathcal{P}(U, u)$, and

for some $U \to X$ as above and $u \in U$ with $a(u) = x$ we have $\mathcal{P}(U, u)$.

If $X$ is representable, then this is equivalent to $\mathcal{P}(X, x)$.

## Comments (0)