Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-113/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 113 3 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
The sheaf of nonzero rational functions on an irreducible variety is a flasque sheaf. Indeed, its sections on any nonempty open subset are : irreducibility makes nonempty open subsets connected and makes any two of them meet, so locally constant rational-function values must agree. Restrictions between such opens are identities; restriction to the empty set is also surjective. The preliminary argument therefore givesApply the long exact sequence in sheaf cohomology to the short exact sequence of sheaves of multiplicative abelian groupsIts relevant part isPart (b) identifies the first map with the principal divisor map . Exactness therefore identifies its cokernel with . Combining this with part (a) givesThe connecting map sends a divisor to the class of the unit ratios of its local rational representatives; these are precisely the transition data of the associated line bundle, up to the usual choice of inverse transition convention.
New to topics? Read the docs here!