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
is a closed map (i.e. maps closed sets onto closed sets).[a] This can be seen as an analogue of compactness in algebraic geometry: a topological space X 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.
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).
^Zariski, Oscar (1958). "Introduction to the Problem of Minimal Models in the Theory of Algebraic Surfaces". American Journal of Mathematics. 80: 146–184. doi:10.2307/2372827. JSTOR 2372827.
^ abNagata, Masayoshi (1958). "Existence theorems for nonprojective complete algebraic varieties". Illinois J. Math. 2: 490–498. doi:10.1215/ijm/1255454111.
^Hironaka, Heisuke (1960). On the theory of birational blowing-up (thesis). Harvard University.
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...
some partially ordered set Complete variety, an algebraic variety that satisfies an analog of compactness Complete orthonormal basis—see Orthonormal basis#Incomplete...
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as...
geometry, a Fano variety, introduced by Gino Fano in (Fano 1934, 1942), is an algebraic variety that generalizes certain aspects of complete intersections...
Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying that there...
Variety show, also known as variety arts or variety entertainment, is entertainment made up of a variety of acts including musical performances, sketch...
A Complete Unknown is an upcoming American biographical drama film film directed by James Mangold and written by Mangold and Jay Cocks, based on the 2015...
the variety of complete flags in a vector space V over a field F, which is a flag variety for the special linear group over F. Other flag varieties arise...
spaces. Some authors call a proper variety over a field k a completevariety. For example, every projective variety over a field k is proper over k. A...
complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law...
that field is 0. The conditions on a norm variety V are that V is irreducible and a non-singular completevariety. Further it should have dimension d equal...
"Second Variety" is a science fiction novelette by American writer Philip K. Dick, first published in Space Science Fiction magazine, in May 1953. Set...
theorem, not every complex analytic variety is a complex algebraic variety. Completevariety Complex analytic variety Parshin, Alexei N., and Igor Rostislavovich...
non-singular completevariety V over a field of characteristic zero, the connected component of the identity in the Picard scheme is an abelian variety called...
semi-ampleness is a kind of "nonnegativity". More strongly, a line bundle on a completevariety X is very ample if it has enough sections to give a closed immersion...
spectrum of R. abelian 1. An abelian variety is a complete group variety. For example, consider the complex variety C n / Z 2 n {\displaystyle \mathbb {C}...
Picard group of C, hence an abelian variety. The Jacobian variety is named after Carl Gustav Jacobi, who proved the complete version of the Abel–Jacobi theorem...
The Royal Variety Performance is a televised variety show held annually in the United Kingdom to raise money for the Royal Variety Charity (of which King...
Varieties of Arabic (or dialects or vernacular languages) are the linguistic systems that Arabic speakers speak natively. Arabic is a Semitic language...
Completer or Malanstraube is a white Swiss wine grape variety grown primarily in eastern Switzerland around Graubünden. The Completer vine was once domesticated...
functions of two arguments; complete elliptic integrals are functions of a single argument. These arguments are expressed in a variety of different but equivalent...
failure of the scheme Spec(Z) to be a completevariety. Note that other techniques exist for constructing a complete space extending Spec ( Z ) {\displaystyle...