In mathematics, in particular in algebraic geometry, a complete algebraic variety is an algebraic variety X, such that for any variety Y the projection morphism
- X × Y → Y
is a closed map, i.e. maps closed sets onto closed sets.
The most common example of a complete variety is a projective variety, but there do exist complete and non-projective varieties in dimensions 2 and higher. The first examples of non-projective complete varieties were given by Masayoshi Nagata and Heisuke Hironaka. 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.
Famous quotes containing the words complete and/or variety:
“I see advertisements for active young men, as if activity were the whole of a young man’s capital. Yet I have been surprised when one has with confidence proposed to me, a grown man, to embark in some enterprise of his, as if I had absolutely nothing to do, my life having been a complete failure hitherto. What a doubtful compliment this to pay me!”
—Henry David Thoreau (1817–1862)
“The measure discriminates definitely against products which make up what has been universally considered a program of safe farming. The bill upholds as ideals of American farming the men who grow cotton, corn, rice, swine, tobacco, or wheat and nothing else. These are to be given special favors at the expense of the farmer who has toiled for years to build up a constructive farming enterprise to include a variety of crops and livestock.”
—Calvin Coolidge (1872–1933)