Paper 1, Section II, F

Algebraic Geometry
Part II, 2015

Let kk be an algebraically closed field.

(i) Let XX and YY be affine varieties defined over kk. Given a map f:XYf: X \rightarrow Y, define what it means for ff to be a morphism of affine varieties.

(ii) With X,YX, Y still affine varieties over kk, show that there is a one-to-one correspondence between Hom(X,Y)\operatorname{Hom}(X, Y), the set of morphisms between XX and YY, and Hom(A(Y),A(X))\operatorname{Hom}(A(Y), A(X)), the set of kk-algebra homomorphisms between A(Y)A(Y) and A(X)A(X).

(iii) Let f:A2A4f: \mathbb{A}^{2} \rightarrow \mathbb{A}^{4} be given by f(t,u)=(u,t,t2,tu)f(t, u)=\left(u, t, t^{2}, t u\right). Show that the image of ff is an affine variety XX, and find a set of generators for I(X)I(X).