Paper 1, Section II, H

Algebraic Geometry
Part II, 2016

Let kk be an algebraically closed field.

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

(b) Let f:A1A3f: \mathbb{A}^{1} \rightarrow \mathbb{A}^{3} be the map given by

f(t)=(t,t2,t3)f(t)=\left(t, t^{2}, t^{3}\right)

Show that ff is a morphism. Show that the image of ff is a closed subvariety of A3\mathbb{A}^{3} and determine its ideal.

(c) Let g:P1×P1×P1P7g: \mathbb{P}^{1} \times \mathbb{P}^{1} \times \mathbb{P}^{1} \rightarrow \mathbb{P}^{7} be the map given by

g((s1,t1),(s2,t2),(s3,t3))=(s1s2s3,s1s2t3,s1t2s3,s1t2t3,t1s2s3,t1s2t3,t1t2s3,t1t2t3).g\left(\left(s_{1}, t_{1}\right),\left(s_{2}, t_{2}\right),\left(s_{3}, t_{3}\right)\right)=\left(s_{1} s_{2} s_{3}, s_{1} s_{2} t_{3}, s_{1} t_{2} s_{3}, s_{1} t_{2} t_{3}, t_{1} s_{2} s_{3}, t_{1} s_{2} t_{3}, t_{1} t_{2} s_{3}, t_{1} t_{2} t_{3}\right) .

Show that the image of gg is a closed subvariety of P7\mathbb{P}^{7}.