Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-4/2/solution

Use homogeneous coordinates . Multiplication by these degree-one sections defines the sheaf morphism
On , 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 basis
Indeed 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 . Then
The twisting sheaf on projective space frame changes by , hence
For , 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 gives
The left side is the tensor product of copies of , and . Consequently
It 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!