Solution

ID: past-exam-of-the-introduction-to-schemes-course-of-the-university-of-oxford/2023/2/a/i/solution

For every valuation ring with fraction field , consider compatible morphisms of schemes
An extension is a morphism of schemes satisfying and . The valuative criterion for universal closedness states
Equivalently, 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][ref]

New to topics? Read the docs here!