# 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)$?

Yes, this is the fully-faithfulness part of the well-known equivalence of categories between classical varieties and varieties in scheme theory. See Hartshorne II.2.6 or Görtz-Wedhorn 3.37.

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
• Ok, once again this shows that one should not read Hartshorne for the foundations ... I have added another reference. Of course you can also find this in any other complete introduction to AG. – Martin Brandenburg Mar 19 '13 at 14:24
• Many thanks Martin! – Diego Mar 19 '13 at 14:29