Solution

ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/3/b/solution

Suppose, to the contrary, that for every quasi-coherent sheaf . Since is a quasi-compact scheme, part (a) makes it an affine scheme.
Every affine scheme is a separated scheme: its diagonal morphism over is induced by the surjective ring homomorphism , , so it is a closed immersion. This contradicts the assumption that is not a separated scheme. Therefore
In fact, the version of the Serre criterion for affineness using ideals shows that may be chosen to be a quasi-coherent sheaf of ideals. This argument does not use a comparison with Čech cohomology on the nonseparated scheme.

New to topics? Read the docs here!