Paper 3, Section II, I
In this question, all varieties are over an algebraically closed field of characteristic zero.
What does it mean for a projective variety to be smooth? Give an example of a smooth affine variety whose projective closure is not smooth.
What is the genus of a smooth projective curve? Let be the hypersurface . Prove that contains a smooth curve of genus
Let be an irreducible curve of degree 2 . Prove that is isomorphic to .
We define a generalized conic in to be the vanishing locus of a non-zero homogeneous quadratic polynomial in 3 variables. Show that there is a bijection between the set of generalized conics in and the projective space , which maps the conic to the point whose coordinates are the coefficients of .
(i) Let be the subset of conics that consist of unions of two distinct lines. Prove that is not Zariski closed, and calculate its dimension.
(ii) Let be the homogeneous ideal of polynomials vanishing on . Determine generators for the ideal .