Valuative criterion

Last updated

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 : XY 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.

Related Research Articles

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .

In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphismf from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X. The latter condition can be formalized by saying that is surjective.

In algebraic geometry, a finite morphism between two affine varieties is a dense regular map which induces isomorphic inclusion between their coordinate rings, such that is integral over . This definition can be extended to the quasi-projective varieties, such that a regular map between quasiprojective varieties is finite if any point has an affine neighbourhood V such that is affine and is a finite map.

In algebraic geometry, a branch of mathematics, a morphism f : XY of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions:

In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology.

In algebraic geometry, an algebraic variety or scheme X is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety X (understood to be irreducible) is normal if and only if the ring O(X) of regular functions on X is an integrally closed domain. A variety X over a field is normal if and only if every finite birational morphism from any variety Y to X is an isomorphism.

In algebraic geometry, an étale morphism is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.

In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes.

In algebraic geometry, a morphism between schemes is said to be smooth if

In commutative algebra, a quasi-excellent ring is a Noetherian commutative ring that behaves well with respect to the operation of completion, and is called an excellent ring if it is also universally catenary. Excellent rings are one answer to the problem of finding a natural class of "well-behaved" rings containing most of the rings that occur in number theory and algebraic geometry. At one time it seemed that the class of Noetherian rings might be an answer to this problem, but Masayoshi Nagata and others found several strange counterexamples showing that in general Noetherian rings need not be well-behaved: for example, a normal Noetherian local ring need not be analytically normal.

In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles.

In algebraic geometry and commutative algebra, a ring homomorphism is called formally smooth if it satisfies the following infinitesimal lifting property:

This is a glossary of algebraic geometry.

In algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of -modules. It is quasi-coherent if it is so as a module.

In mathematics, specifically in algebraic geometry, the fiber product of schemes is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an algebraic variety over one field determines a variety over a bigger field, or the pullback of a family of varieties, or a fiber of a family of varieties. Base change is a closely related notion.

In algebraic geometry, an unramified morphism is a morphism of schemes such that (a) it is locally of finite presentation and (b) for each and , we have that

  1. The residue field is a separable algebraic extension of .
  2. where and are maximal ideals of the local rings.

References

  1. EGA II, proposition 7.2.3 and théorème 7.3.8.
  2. Stacks Project, tags 01KA, 01KY, and 0BX4.