Lemma 87.14.4. Let $S$ be a scheme. Let $f : X' \to X$ be a morphism of algebraic spaces over $S$. Let $T \subset |X|$ be a closed subset and let $T' = |f|^{-1}(T) \subset |X'|$. Then

$\xymatrix{ X'_{/T'} \ar[r] \ar[d] & X' \ar[d]^ f \\ X_{/T} \ar[r] & X }$

is a cartesian diagram of sheaves. In particular, the morphism $X'_{/T'} \to X_{/T}$ is representable by algebraic spaces.

Proof. Namely, suppose that $Y \to X$ is a morphism from a scheme into $X$ such that $|Y|$ maps into $T$. Then $Y \times _ X X' \to X$ is a morphism of algebraic spaces such that $|Y \times _ X X'|$ maps into $T'$. Hence the functor $Y \times _{X_{/T}} X'_{/T'}$ is represented by $Y \times _ X X'$ and we see that the lemma holds. $\square$

There are also:

• 4 comment(s) on Section 87.14: Completion along a closed subset

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