Английская Википедия:Complete variety

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description

In mathematics, in particular in algebraic geometry, a complete algebraic variety is an algebraic variety Шаблон:Mvar, such that for any variety Шаблон:Mvar the projection morphism

<math>X \times Y \to Y</math>

is a closed map (i.e. maps closed sets onto closed sets).Шаблон:Efn This can be seen as an analogue of compactness in algebraic geometry: a topological space Шаблон:Mvar is compact if and only if the above projection map is closed with respect to topological products.

The image of a complete variety is closed and is a complete variety. A closed subvariety of a complete variety is complete.

A complex variety is complete if and only if it is compact as a complex-analytic variety.

The most common example of a complete variety is a projective variety, but there do exist complete non-projective varieties in dimensions 2 and higher. While any complete nonsingular surface is projective,[1] there exist nonsingular complete varieties in dimension 3 and higher which are not projective.[2] The first examples of non-projective complete varieties were given by Masayoshi Nagata[2] and Heisuke Hironaka.[3] An affine space of positive dimension is not complete.

The morphism taking a complete variety to a point is a proper morphism, in the sense of scheme theory. An intuitive justification of "complete", in the sense of "no missing points", can be given on the basis of the valuative criterion of properness, which goes back to Claude Chevalley.

See also

Notes

Шаблон:Notelist

References

Шаблон:Reflist

Sources

Шаблон:Refbegin

Шаблон:Refend