109.23 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$.

Comment #6729 by Wei Chen on

There is a misprint in the last sentence, $X\cap U$ should be $Y\cap U$ instead.

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