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]

Articles by others on the same topic (0)

There are currently no matching articles.