Homeomorphism onto a closed subset of a scheme that isn't a closed immersion - MathOverflow

Homeomorphism onto a closed subset of a scheme that isn't a closed immersion

2010-02-14T05:36:39Z

More precisely, is there a map of schemes $X$ --> $Y$ such that $f$ gives a homeomorphism between $X$ and a closed subset of $Y$, but the corresponding map on sheaves is not surjective?

Answer by Emerton for Homeomorphism onto a closed subset of a scheme that isn't a closed immersion

2010-02-14T05:49:47Z

Yes, for example if $K \subset L$ is an inclusion fields, then the induced map Spec $L \to $ Spec $K$ is a homeomorphism (both source and target are single points), but the induced map on sheaves is the given inclusion of $K$ into $L$, which is surjective only if $K = L$.

For another example, let $X'\to Y$ be a closed immersion of schemes over ${\bar{\mathbb F}}_p$, and let $X \to X'$ be the relative Frobenius morphism. Then $X\to X'$ is a homeomorphism on underlying topological spaces but is not an isomorphism of schemes, and so the composite $X\to Y$ is a closed embedding on underlying spaces but not a closed immersion of schemes.

As one last example, let $X'$ be the cuspidal cubic given by $y^2 = x^3$ in the affine plane $Y$ (over $\mathbb C$, say), and let $X$ be the normalization of $X'$ (which is just the affine line). Then $X \to X'$ is a homeomorphism on underlying spaces, but is not an isomorphism of schemes. The composite $X \to Y$ is thus not a closed immersion, but induces a closed embedding of underlying topological spaces.

Answer by Rebecca Bellovin for Homeomorphism onto a closed subset of a scheme that isn't a closed immersion

2010-02-14T05:50:37Z

Here's an example: Consider the morphism $f:\text{Spec} k[\varepsilon]/(\varepsilon^2)\rightarrow \text{Spec} k$ corresponding to the inclusion $k\hookrightarrow k[\varepsilon]/(\varepsilon^2)$. More generally, you can get lots of examples from non-reducedness.