Statement 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 and separated, resp. of finite type) 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).
Read more about this topic: Valuative Criterion
Famous quotes containing the words statement of, statement and/or criteria:
“I think, therefore I am is the statement of an intellectual who underrates toothaches.”
—Milan Kundera (b. 1929)
“If we do take statements to be the primary bearers of truth, there seems to be a very simple answer to the question, what is it for them to be true: for a statement to be true is for things to be as they are stated to be.”
—J.L. (John Langshaw)
“There are ... two minimum conditions necessary and sufficient for the existence of a legal system. On the one hand those rules of behavior which are valid according to the system’s ultimate criteria of validity must be generally obeyed, and on the other hand, its rules of recognition specifying the criteria of legal validity and its rules of change and adjudication must be effectively accepted as common public standards of official behavior by its officials.”
—H.L.A. (Herbert Lionel Adolphus)