Lemma 38.23.4. Let $f:X\to S$ be a morphism of schemes which is of finite presentation, flat, and pure. Let $Y$ be a closed subscheme of $X$. Let $F=f_*Y$ be the Weil restriction functor of $Y$ along $f$, defined by

$F : (\mathit{Sch}/S)^{opp} \to \textit{Sets}, \quad T \mapsto \left\{ \begin{matrix} \{ *\} & \text{if} & Y_ T\to X_ T \text{ is an isomorphism, } \\ \emptyset & \text{else.} & \end{matrix} \right.$

Then $F$ is representable by a closed immersion $Z\to S$. Moreover $Z\to S$ is of finite presentation if $Y\to S$ is.

Proof. Let $\mathcal{I}$ be the ideal sheaf defining $Y$ in $X$ and let $u:\mathcal{O}_ X\to \mathcal{O}_ X/\mathcal{I}$ be the surjection. Then for an $S$-scheme $T$, the closed immersion $Y_ T\to X_ T$ is an isomorphism if and only if $u_ T$ is an isomorphism. Hence the result follows from Theorem 38.23.3. $\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).