The Stacks project

110.24 Taking scheme theoretic images

Let $k$ be a field. Let $t$ be a variable. Let $Y = \mathop{\mathrm{Spec}}(k[t])$ and $X = \coprod _{n \geq 1} \mathop{\mathrm{Spec}}(k[t]/(t^ n))$. Denote $f : X \to Y$ the morphism using the closed immersion $\mathop{\mathrm{Spec}}(k[t]/(t^ n)) \to \mathop{\mathrm{Spec}}(k[t])$ for each $n \geq 1$. In this case we have

1. The scheme theoretic image (Morphisms, Definition 29.6.2) of $f$ is $Y$. On the other hand, the image of $f$ is the closed point $t = 0$ in $Y$. Thus the underlying closed subset of the scheme theoretic image of $f$ is not equal to the closure of the image of $f$.

2. The formation of the scheme theoretic image does not commute with restriction to the open subscheme $V = \mathop{\mathrm{Spec}}(k[t, 1/t]) \subset Y$. Namely, the preimage of $V$ in $X$ is empty and hence the scheme theoretic image of $f|_{f^{-1}(V)} : f^{-1}(V) \to V$ is the empty scheme. This is not equal to $Y \cap V$.

You can type your comment here, use the preview option to see what it will look like. If your comment is on a lemma, please leave your comment on the page of the lemma. Same with remarks, propositions, theorems, etc.

​