Paper 3, Section II, I

Algebraic Geometry
Part II, 2021

In this question, all varieties are over an algebraically closed field kk of characteristic zero.

What does it mean for a projective variety to be smooth? Give an example of a smooth affine variety XAknX \subset \mathbb{A}_{k}^{n} whose projective closure XˉPkn\bar{X} \subset \mathbb{P}_{k}^{n} is not smooth.

What is the genus of a smooth projective curve? Let XPk4X \subset \mathbb{P}_{k}^{4} be the hypersurface V(X03+X13+X23+X33+X43)V\left(X_{0}^{3}+X_{1}^{3}+X_{2}^{3}+X_{3}^{3}+X_{4}^{3}\right). Prove that XX contains a smooth curve of genus 1.1 .

Let CPk2C \subset \mathbb{P}_{k}^{2} be an irreducible curve of degree 2 . Prove that CC is isomorphic to Pk1\mathbb{P}_{k}^{1}.

We define a generalized conic in Pk2\mathbb{P}_{k}^{2} 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 Pk2\mathbb{P}_{k}^{2} and the projective space Pk5\mathbb{P}_{k}^{5}, which maps the conic V(f)V(f) to the point whose coordinates are the coefficients of ff.

(i) Let RPk5R^{\circ} \subset \mathbb{P}_{k}^{5} be the subset of conics that consist of unions of two distinct lines. Prove that RR^{\circ} is not Zariski closed, and calculate its dimension.

(ii) Let II be the homogeneous ideal of polynomials vanishing on RR^{\circ}. Determine generators for the ideal II.