Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 16 5 i Solution 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.