Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-113/3/i/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 113 3 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Let be the function field of the integral scheme and choose a nonzero rational section of a line bundle . Choose an open trivializing cover with generators for the invertible sheaf . On each nonempty , write with . If on an overlap, then , so is a regular unit. Consequently the local rational functions define a Cartier divisor .
The divisor line bundle restricts to . Define its local isomorphism from by . On an overlap,so the maps glue. HenceThe rational section maps to the rational function , which also fixes the sign convention for . Choosing a different nonzero rational section changes by a principal Cartier divisor, so its linear equivalence of Cartier divisors class is unchanged. No projectivity or Noetherian hypothesis is required.
New to topics? Read the docs here!