Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 4 3 Solution Created 2026-10-03 Updated 2026-10-14
The identification with means that is a smooth plane conic. An arbitrary singular or nonreduced conic over an algebraically closed field cannot be identified with the projective line, so this is a necessary qualification implicit in the requested description.
Choose an equation for and a degree-two equation whose restriction to defines . Its homogeneous ideal in is . These equations form a regular sequence: is a non-zero-divisor in the polynomial ring, and modulo the ring is a polynomial ring in three variables, in which the nonzero quadratic is again a non-zero-divisor. The generator classes therefore form a basis of the conormal sheaf, with their grading shifts:One can verify the absence of relations from the two-generator Koszul complex: a relation between is a multiple of , whose coefficients become zero modulo . This is the normal sheaf of a projective complete intersection calculation. Dualizing the conormal sheaf gives
These twists are restrictions from , not intrinsic degree-one twists on . A line in the plane cuts the degree-two curve in two points counted with multiplicity, so the degree of a line bundle is two. The Picard group of the projective line then givesEquivalently, the degree-two Veronese embedding pulls each linear coordinate back to a quadratic. Thus the normal bundle of a smooth plane conic isThe same splitting follows from the normal sequence for the two embeddings:Its outer terms are and . The extension group class lies in , by the preceding Čech cohomology calculation, so the sequence splits. Both methods distinguish the ambient twist from the intrinsic degree on the curve.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 113 1 b Solution Created 2026-09-28 Updated 2026-10-03
The even-degree subring is the second Veronese subringwhere have degree one in the regraded ring. The canonical invariance of the Proj construction under passage to a Veronese subring givesOn homogeneous points this is the degree-two Veronese embeddingIt is an isomorphism onto the closed subschemeThus the quotient homomorphism supplies the requested closed immersion of into the projective plane.