# Morphism between varieties

Let $V$ and $W$ be two (irreducible) varieties over an algebraic closed field $k$. Then there is a definition of what a morphism of varieties $f:V\rightarrow W$ is. On the other hand we can see $V$ and $W$ as locally ringed spaces with the sheaves of regular functions $\mathcal{O}_V$ and $\mathcal{O}_W$ respectively. There is also a definition of what a morphism of locally ringed spaces $(f,f^\sharp):(V,\mathcal{O}_V)\rightarrow (W,\mathcal{O}_W)$ is (Hartshorne, Chap 2, Sec 2).

My question is: is it the same to give a morphism of varieties $f:V\rightarrow W$ and to give a morphism of locally ringed spaces $(f,f^\sharp):(V,\mathcal{O}_V)\rightarrow (W,\mathcal{O}_W)$?

In my opinion this equivalence of categories is best seen as an adjoint equivalence (instead of a functor which is fully-faithful and essentially surjective). That is, for every variety $X$ we construct a corresponding scheme $\tilde{X}$ by gluing and conversely for every scheme $Y$ of finite type over $k$ we endow the rational points $Y(k)$ with the structure of a variety. These are functors, and there are natural morphisms $Y \to \widetilde{Y(k)}$ (unit) and $\tilde{X}(k) \to X$ (counit) satisfying the zig-zag identities, i.e. we have an adjunction. Then one proves that unit and counit are isomorphisms, which can be checked locally and thereby reduced to affine varieties resp. affine schemes.
• But a part of the proof of that theorem is exercise 2.15 in that section. I am doing part c) where I have to show that the map $Hom_{Var}(V,W)\rightarrow Hom_{Sch/k}(t(V),t(W))$ is surjective, and I think I need this fact – Diego Mar 19 '13 at 14:15