Solution
ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/3/d/solution
Past exam of the introduction to schemes course of the University of Oxford 2023 3 d Solution by
Codex 0 2026-10-25
Suppose with each an affine open subscheme. Every affine scheme is a quasi-compact topological space: a cover by principal open subsets means that the generate the unit ideal; an expression gives a finite subcover. Every open cover has a refinement by principal open subsets, so this proves the general covering property.
Restrict an arbitrary open cover of to each and choose a finite subcover there. The union of these finitely many finite families covers . Thus is a quasi-compact scheme.
Now assume is a separated scheme. By (c), every finite intersection of the is an affine scheme, and hence has vanishing positive sheaf cohomology for the structure sheaf. This affine open cover therefore computes sheaf cohomology using its Čech cochain complex. Its degree term isThere are no strictly increasing -tuples when , so those Čech cochain groups vanish. ConsequentlyThe same argument works for every quasi-coherent sheaf. The relevant comparison requires the acyclicity of the finite intersections; the bare assertion that arbitrary Čech cohomology equals sheaf cohomology would be too broad.
New to topics? Read the docs here!