Namespaces
Variants
Actions

Difference between revisions of "Affine variety"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 12: Line 12:
  
 
====Comments====
 
====Comments====
Frequently the name "varietyvariety" means a reduced and irreducible scheme of finite type over an algebraically closed field.
+
Frequently the name "varietyvariety" means a reduced and irreducible scheme of finite type over an algebraically closed field.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> I.R. Shafarevich,   "Basic algebraic geometry" , Springer (1977) (Translated from Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR></table>

Revision as of 21:49, 30 March 2012

affine algebraic variety

A generalization of the concept of an affine algebraic set. An affine variety is a reduced affine scheme of finite type over a field , i.e. , where is a commutative -algebra of finite type without nilpotent elements. The affine variety , where is the ring of polynomials over , is called affine space over and is denoted by . An affine scheme is an affine variety if and only if it is isomorphic to a reduced closed subscheme of an affine space. Each system of generators of a -algebra defines a surjective homomorphism , defined by the formula . Let be the algebraic closure of . The subset of the set consisting of the common zeros of all the polynomials of the ideal is an affine algebraic set over . The coordinate ring of such an affine algebraic set is isomorphic to the ring . Each affine algebraic set over in turn defines an algebraic variety , where is the coordinate ring of . The set of points of an affine variety is in a one-to-one correspondence with the irreducible subvarieties of the corresponding affine algebraic set.

To each affine variety a functor on the category of -algebras is assigned. It is defined by the correspondence:

If (respectively, if ), the elements of the set (respectively, ) are called geometric (respectively, rational) points of . The set is in a bijective correspondence with the set of maximal ideals of the ring , and with the set of points of an algebraic set whose coordinate ring is isomorphic to . The spectral topology in the space induces on the everywhere-dense subset a topology which corresponds to the Zariski topology on .


Comments

Frequently the name "varietyvariety" means a reduced and irreducible scheme of finite type over an algebraically closed field.

References

[a1] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001
How to Cite This Entry:
Affine variety. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Affine_variety&oldid=23743
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article