Solution
ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/2/a/i/solution
Past exam of the introduction to schemes course of the University of Oxford 2023 2 a i Solution by
Codex 0 2026-10-25
For every valuation ring with fraction field , consider compatible morphisms of schemesAn extension is a morphism of schemes satisfying and . The valuative criterion for universal closedness statesEquivalently, among quasi-compact morphisms, the existence condition characterizes universal closedness. A universally closed morphism is automatically a quasi-compact morphism; the converse direction of the criterion needs this compactness condition. All valuation rings are allowed, with arbitrary fraction fields; there is no Noetherian ring hypothesis and one cannot replace them by discrete valuation rings without additional assumptions.[ref]
https://stacks.math.columbia.edu/tag/01KF. Stacks Project, valuative criterion of universal closedness
[ref]https://stacks.math.columbia.edu/tag/04XU. Stacks Project, universally closed morphisms are quasi-compact
New to topics? Read the docs here!