Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-89/4/i/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 89 4 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 giveThus the generic-fibre chart is exactly . The proposed map restricts to this isomorphism with . On put . The equations giveso this chart is , and the map has . On the overlap . These are the standard two charts of the projective line, proving the scheme-level isomorphismEquivalently, 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!