Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-113/3/b/solution

Restriction sends a Weil divisor on to the sum of its components meeting . Every prime divisor on has a codimension-one closure in the Noetherian scheme , so the induced map is surjective.
If the class of restricts to zero, then for some . The divisor is supported on , hence is an integral combination of . Conversely, every such combination restricts to zero. Therefore
where the first map sends the th basis vector to , is exact.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!