Solution

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

The direct image sheaf is defined on an open set by
Restrictions are those of , and the sheaf gluing axiom follows by taking inverse images of an open cover. The morphism of ringed spaces supplies . Thus acts on by , making a sheaf of modules over . This definition uses no quasi-coherence.

New to topics? Read the docs here!