Paper 3, Section II, H

Algebraic Geometry
Part II, 2016

(a) Let XX be an affine variety. Define the tangent space of XX at a point PP. Say what it means for the variety to be singular at PP.

Define the dimension of XX in terms of (i) the tangent spaces of XX, and (ii) Krull dimension.

(b) Consider the ideal II generated by the set {y,y2x3+xy3}k[x,y]\left\{y, y^{2}-x^{3}+x y^{3}\right\} \subseteq k[x, y]. What is Z(I)A2?Z(I) \subseteq \mathbb{A}^{2} ?

Using the generators of the ideal, calculate the tangent space of a point in Z(I)Z(I). What has gone wrong? [A complete argument is not necessary.]

(c) Calculate the dimension of the tangent space at each point pXp \in X for X=X= Z(xy2,xzw)A4Z\left(x-y^{2}, x-z w\right) \subseteq \mathbb{A}^{4}, and determine the location of the singularities of X.X .