Complete algebraic variety

Complete algebraic variety

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 × YY

is a closed map, i.e. maps closed sets onto closed sets.[1]

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[2] and Heisuke Hironaka.[citation needed] 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.

Notes

  1. ^ Here the product variety X × Y does not carry the product topology, in general; the Zariski topology on it will have more closed sets (except in very simple cases).
  2. ^ Existence theorems for nonprojective complete algebraic varieties, Illinois J. Math. 2 (1958) 490–498.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… …   Wikipedia

  • Abstract algebraic variety — In algebraic geometry, an abstract algebraic variety is an algebraic variety that is defined intrinsically, that is, without an embedding into another variety.In classical algebraic geometry, all varieties were by definition quasiprojective… …   Wikipedia

  • Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Complete intersection — In mathematics, an algebraic variety V in projective space is a complete intersection if it can be defined by the vanishing of the number of homogeneous polynomials indicated by its codimension. That is, if the dimension of an algebraic variety V …   Wikipedia

  • Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

  • Generalized flag variety — In mathematics, a generalized flag variety (or simply flag variety) is a homogeneous space whose points are flags in a finite dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”