Valuative criterion
In mathematics, specifically algebraic geometry, the valuative criteria are a collection of results that make it possible to decide whether a morphism of algebraic varieties, or more generally schemes, is universally closed, separated, or proper.
01Statement of the valuative criteria
Recall that a valuation ring A is a domain, so if K is the field of fractions of A, then Spec K is the generic point of Spec A.
Let X and Y be schemes, and let f : X → Y be a morphism of schemes. Then the following are equivalent:
- f is separated (resp. universally closed, resp. proper)
- f is quasi-separated (resp. quasi-compact, resp. of finite type and quasi-separated) and for every valuation ring A, if Y' = Spec A and X' denotes the generic point of Y' , then for every morphism Y' → Y and every morphism X' → X which lifts the generic point, then there exists at most one (resp. at least one, resp. exactly one) lift Y' → X.
The lifting condition is equivalent to specifying that the natural morphism
is injective (resp. surjective, resp. bijective).
Furthermore, in the special case when Y is (locally) Noetherian, it suffices to check the case that A is a discrete valuation ring.
Sources and credits
This article is adapted from the Wikipedia article “Valuative criterion”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.