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.

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:[1][2]

  1. f is separated (resp. universally closed, resp. proper)
  2. 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.

gollark: This way it wouldn't affect GalactiCRAFT™™™.
gollark: ```category_fallupoutofworld { # Players above this height will get a freezing effect applied to them that slowly obscures their view D:freezingHeight=2000.0 # Players above this height will slowly lose air and take damage if they run out, similar to drowning D:noAirHeight=2500.0 # Players above this height will take rapid damage similar to falling out of the bottom of the world. D:bloodBoilHeight=3000.0 # Damage taken each tick while blood is boiling. 4 would be the same as falling out of the bottom of the world D:bloodBoilDamage=4.0 # Players above this height instantly die D:instantDeathHeight=4000.0}```in `UpAndDownAndAllAround.cfg`.<@!202992030685724675>
gollark: Oh, and I actually was in creative when I died...
gollark: Possibly, but I want to be able to continue using rockets in survival.
gollark: Otherwise your blood will boil as you go up too far.

References

  1. EGA II, proposition 7.2.3 and théorème 7.3.8.
  2. Stacks Project, tags 01KA, 01KY, and 0BX4.
  • Grothendieck, Alexandre; Jean Dieudonné (1961). "Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : II. Étude globale élémentaire de quelques classes de morphismes". Publications Mathématiques de l'IHÉS. 8: 5–222. doi:10.1007/bf02699291.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.