Solution
ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/3/f/i/solution
Past exam of the introduction to schemes course of the University of Oxford 2023 3 f i Solution by
Codex 0 2026-10-25
A Noetherian scheme is a quasi-compact scheme, so choose a finite affine open cover with all Noetherian rings. The nilradical sheaf restricts on this chart to the quasi-coherent sheaf associated to : the nilradical commutes with localization.
By the allowed fact, choose such that and put . On every chart, the ideal sheaf is zero, and hence it is zero globally. Higher powers are also zero. ThusIf is empty, take . The finite affine open cover is essential for choosing one bound valid everywhere.
New to topics? Read the docs here!