Projective direct image need not preserve surjections
ID: projective-direct-image-need-not-preserve-surjections
For , let consist of and infinity. Its ideal sheaf is , giving an exact coherent sequence . The map on global sections is the diagonal , which is not surjective. Since direct image to the point is global sections, projectivity does not make direct image right exact.
New to topics? Read the docs here!