Lemma 87.25.3. Let $S$ be a scheme. Let $f : X \to Y$ and $g : Z \to Y$ be morphisms of algebraic spaces. Let $T \subset |X|$ be closed. Assume that

1. $X$ is locally Noetherian,

2. $g$ is a monomorphism and locally of finite type,

3. $f|_{X \setminus T} : X \setminus T \to Y$ factors through $g$, and

4. $f_{/T} : X_{/T} \to Y$ factors through $g$,

then $f$ factors through $g$.

Proof. Consider the fibre product $E = X \times _ Y Z \to X$. By assumption the open immersion $X \setminus T \to X$ factors through $E$ and any morphism $\varphi : X' \to X$ with $|\varphi |(|X'|) \subset T$ factors through $E$ as well, see Formal Spaces, Section 86.14. By More on Morphisms of Spaces, Lemma 75.20.3 this implies that $E \to X$ is étale at every point of $E$ mapping to a point of $T$. Hence $E \to X$ is an étale monomorphism, hence an open immersion (Morphisms of Spaces, Lemma 66.51.2). Then it follows that $E = X$ since our assumptions imply that $|X| = |E|$. $\square$

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