(i) Let k be an algebraically closed field, and let I be an ideal in k[x0,…,xn]. Define what it means for I to be homogeneous.
Now let Z⊆An+1 be a Zariski closed subvariety invariant under k∗=k−{0}; that is, if z∈Z and λ∈k∗, then λz∈Z. Show that I(Z) is a homogeneous ideal.
(ii) Let f∈k[x1,…,xn−1], and let Γ={(x,f(x))∣x∈An−1}⊆An be the graph of f.
Let Γˉ be the closure of Γ in Pn.
Write, in terms of f, the homogeneous equations defining Γˉ.
Assume that k is an algebraically closed field of characteristic zero. Now suppose n=3 and f(x,y)=y3−x2∈k[x,y]. Find the singular points of the projective surface Γˉ.