Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-113/3/ii/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 113 3 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Take the hyperplane divisor . On its local equation is , a non-zero-divisor; on it is the unit one. Thus it is an effective Cartier divisor. On overlaps, is a unit.
The divisor line bundle is locally generated by . Map this generator to the local generator of the twisting sheaf on projective space . On overlaps both generators transform by , so the maps glue and giveFor the hyperplane is empty and this is the zero Cartier divisor; the conclusion still holds.
New to topics? Read the docs here!