Divisor line bundle 2026-10-05
On an integral scheme, for a Cartier divisor locally represented by , its divisor line bundle is the subsheaf of rational functions locally equal to . Unit ratios glue these free rank-one modules. Given a nonzero rational section of a line bundle , the maps identify that invertible sheaf with . Replacing by a nonzero rational multiple changes by a principal Cartier divisor.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 113 3 i Solution 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.