Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-16/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 16 2 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
For , the assertion is the assumed vanishing for coherent ideal sheaves. For , project onto the last component. Its image is a coherent ideal sheaf, and its kernel is a coherent sheaf contained in . Here images and kernels are coherent because a variety is Noetherian. The short exact sequencegives an exact segment in the long exact sequence in sheaf cohomology. The outer terms vanish by mathematical induction and the hypothesis, so the middle term vanishes. This is ideal-sheaf vanishing for a coherent submodule of a trivial bundle.
New to topics? Read the docs here!