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

$X$ is locally Noetherian,

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

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

$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$

## Comments (0)