Paper 1, Section II, G

Algebraic Geometry
Part II, 2009

Define what is meant by a rational map from a projective variety VPnV \subset \mathbb{P}^{n} to Pm\mathbb{P}^{m}. What is a regular point of a rational map?

Consider the rational map ϕ:P2P2\phi: \mathbb{P}^{2}-\rightarrow \mathbb{P}^{2} given by

(X0:X1:X2)(X1X2:X0X2:X0X1)\left(X_{0}: X_{1}: X_{2}\right) \mapsto\left(X_{1} X_{2}: X_{0} X_{2}: X_{0} X_{1}\right)

Show that ϕ\phi is not regular at the points (1:0:0),(0:1:0),(0:0:1)(1: 0: 0),(0: 1: 0),(0: 0: 1) and that it is regular elsewhere, and that it is a birational map from P2\mathbb{P}^{2} to itself.

Let VP2V \subset \mathbb{P}^{2} be the plane curve given by the vanishing of the polynomial X02X13+X12X23+X22X03X_{0}^{2} X_{1}^{3}+X_{1}^{2} X_{2}^{3}+X_{2}^{2} X_{0}^{3} over a field of characteristic zero. Show that VV is irreducible, and that ϕ\phi determines a birational equivalence between VV and a nonsingular plane quartic.