Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-16/5/i/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 16 5 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Let be the structure map, a projective morphism. Let be the union of the two rational points and . The homogeneous polynomial defines this effective Cartier divisor and gives the exact sequence of coherent sheavesThe twisting sheaf on projective space has no nonzero global sections: the chart calculation of Question 3(iv) now requires , again impossible for nonzero polynomials. We also have and .
The direct image sheaf under is the module of global sections on the one-point scheme. Consequently the induced sequence isIts last nonzero map has cokernel isomorphic to , since has the diagonal as its kernel. Thus the induced sequence is not exact at , proving that projective direct image need not preserve surjections.
New to topics? Read the docs here!