Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-4/2/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 4 2 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use homogeneous coordinates . Multiplication by these degree-one sections defines the sheaf morphismOn , write , with , and let be the standard vector in component using the local line bundle frame of . Then , so is surjective since . Its kernel is a locally free sheaf with basisIndeed any vector in the kernel is uniquely a sum of these vectors, by solving for its -th component.
The Kähler differential sheaf has basis on , since this chart is a polynomial affine scheme. Define the local map . To check that these isomorphisms glue, on put and . ThenThe twisting sheaf on projective space frame changes by , henceFor , use , and ; the same formula applies. Thus the differential and kernel frames have identical transition matrices. We obtain the cotangent form of the Euler sequence:This construction works over any field, including positive characteristic.
The Kähler differential sheaf has rank . Taking determinant line bundles in this locally split short exact sequence of sheaves givesThe left side is the tensor product of copies of , and . ConsequentlyIt is the canonical bundle of projective space. The determinant identity can also be seen directly by taking the wedge of the kernel basis followed by a lift of the quotient basis; changing that lift by a kernel vector leaves the wedge unchanged.
New to topics? Read the docs here!