Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-89/4/i/solution

Use the polynomial graded ring , as in the PDF; the doubled brackets in the converted TeX are an OCR error. Let denote the homogeneous defining ideal. The four cubic coordinates in the proposed map never vanish simultaneously on , since and already have that property. Substitution makes each generator of zero, so they define a morphism into the generic fibre.
The two standard opens and cover . Indeed, a homogeneous prime containing contains by , and then contains by . Such a prime contains the irrelevant ideal and gives no point of Proj.
On put , , . Over , where is invertible, the equations give
Thus the generic-fibre chart is exactly . The proposed map restricts to this isomorphism with . On put . The equations give
so this chart is , and the map has . On the overlap . These are the standard two charts of the projective line, proving the scheme-level isomorphism
Equivalently, rescaling by gives the usual twisted cubic. The chart proof also shows that the extra cubic relation introduces no additional generic-fibre scheme structure.

New to topics? Read the docs here!