The valuative criterion of properness EGA II, 7.3.8 (numdam). It has been found by Chevalley.
Théorème (7.3.8). — Soient Y un préschéma (resp. un préschéma localement noethérien), un morphisme quasi-compact séparé (resp. de type fini). Les conditions suivantes sont équivalentes :
a) f est universellement fermé (resp. propre).
b) Pour tout -schéma de la forme , où est un anneau de valuation (resp. anneau de valuation discrète) de corps des fractions , l’application canonique
correspondant à l’injection canonique , est surjective (resp. bijective).
In other words, the class of proper morphisms satisfies the unique right lifting property with respect to the class of morphisms formally dual to the injections of valuation rings into their fields of fractions.
There is a pattern-terminological reinterpretation in Kontsevich-Rosenberg, Noncommutative spaces, 6.8.1:
Let be the family of canonical injections of valuation rings to their fields of fractions, and let be its image in the category of functors . Consider schemes as covariant presheaves on . Then a morphism of schemes is separated iff it is formally -unramified, universally closed iff it is formally -smooth and proper iff it is formally -étale (in the sense of KR 6.3).
Last revised on April 30, 2011 at 16:27:05. See the history of this page for a list of all contributions to it.