Lemma 87.33.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $T \subset |X|$ be a closed subset such that $X \setminus T \to X$ is quasi-compact. Let $R$ be a complete local Noetherian $S$-algebra. Then an adic morphism $p : \text{Spf}(R) \to X_{/T}$ corresponds to a unique morphism $g : \mathop{\mathrm{Spec}}(R) \to X$ such that $g^{-1}(T) = \{ \mathfrak m_ R\} $.

**Proof.**
The statement makes sense because $X_{/T}$ is adic* by Lemma 87.20.8 (and hence we're allowed to use the terminology adic for morphisms, see Definition 87.23.2). Let $p$ be given. By Lemma 87.33.3 we get a unique morphism $g : \mathop{\mathrm{Spec}}(R) \to X$ corresponding to the composition $\text{Spf}(R) \to X_{/T} \to X$. Let $Z \subset X$ be the reduced induced closed subspace structure on $T$. The incusion morphism $Z \to X$ corresponds to a morphism $Z \to X_{/T}$. Since $p$ is adic it is representable by algebraic spaces and we find

is an algebraic space endowed with a closed immersion to $\text{Spf}(R)$. (Equality holds because $X_{/T} \to X$ is a monomorphism.) Thus this fibre product is equal to $\mathop{\mathrm{Spec}}(R/J)$ for some ideal $J \subset R$ which contains $\mathfrak m_ R^{n_0}$ for some $n_0 \geq 1$. This implies that $\mathop{\mathrm{Spec}}(R) \times _ X Z$ is a closed subscheme of $\mathop{\mathrm{Spec}}(R)$, say $\mathop{\mathrm{Spec}}(R) \times _ X Z = \mathop{\mathrm{Spec}}(R/I)$, whose intersection with $\mathop{\mathrm{Spec}}(R/\mathfrak m_ R^ n)$ for $n \geq n_0$ is equal to $\mathop{\mathrm{Spec}}(R/J)$. In algebraic terms this says $I + \mathfrak m_ R^ n = J + \mathfrak m_ R^ n = J$ for all $n \geq n_0$. By Krull's intersection theorem this implies $I = J$ and we conclude. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)

There are also: