Lemma 67.13.9. Let $S$ be a scheme. Let $f : Y \to X$ be a morphism of algebraic spaces over $S$. Let $x \in |X|$ be a point. Assume

1. $|f|(|Y|)$ is contained in $\{ x\} \subset |X|$,

2. $Y$ is reduced, and

3. $X$ is locally Noetherian.

Then $f$ factors through the residual space $Z_ x$ of $X$ at $x$.

Proof. Preliminary remark: since $Z_ x \to X$ is a monomorphism, it suffices to find a surjective étale morphism $Y' \to Y$ such that $Y' \to X$ factors through $Z_ x$. A remark here is that $Y'$ is reduced as well.

Let $U$ be an affine scheme and let $U \to X$ be an étale morphism such that $x$ is in the image of $|U| \to |X|$. Since $X$ is locally Noetherian, $U$ is a Noetherian affine scheme. By assumption (1) we see that $Y' = U \times _ X Y \to Y$ is surjective as well as étale. Denote $E \subset |U|$ the set of points mapping to $x$. There are no nontrivial specializations between the elements of $E$, see Lemma 67.7.2. The morphism $Y' \to U$ maps $|Y'|$ into $E$. By our construction of $Z_ x$ in the proof of Lemma 67.13.5 we know that $\coprod _{u \in E} u \to X$ factors through $Z_ x$. Hence it suffices to prove that $Y' \to U$ factors through $\coprod _{u \in E} u \to X$. After replacing $Y'$ by an étale covering by a scheme (which we are allowed by our preliminary remark), this follows from Morphisms, Lemma 29.57.2. $\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).
{"ft_lang_label":"__label__en","ft_lang_prob":0.8621944,"math_prob":0.99986374,"size":1361,"snap":"2022-40-2023-06","text_gpt3_token_len":460,"char_repetition_ratio":0.11790715,"word_repetition_ratio":0.031007752,"special_character_ratio":0.3387215,"punctuation_ratio":0.11513158,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999945,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-02-04T18:25:08Z\",\"WARC-Record-ID\":\"<urn:uuid:13b3088b-996b-41e4-b183-11a91257db85>\",\"Content-Length\":\"15339\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:2e143de1-0032-46d4-8bdd-e02943113465>\",\"WARC-Concurrent-To\":\"<urn:uuid:4ca0b94b-7bc9-4e0b-bb3f-7b709c35f233>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0H1S\",\"WARC-Payload-Digest\":\"sha1:KQJ6M54XN42AYS5BTMAFSGTWHFFE3NXA\",\"WARC-Block-Digest\":\"sha1:Q4KHPQY7GKRHE4PFAUAFF7Q6WVI2MMPT\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764500151.93_warc_CC-MAIN-20230204173912-20230204203912-00417.warc.gz\"}"}