Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-16/5/i/solution

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 sheaves
The 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 is
Its 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!