Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-16/2/a/solution

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 sequence
gives 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!