**Algebraic varieties** are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.^{ [1] }^{:58}

- Overview and definitions
- Affine varieties
- Projective varieties and quasi-projective varieties
- Abstract varieties
- Examples
- Subvariety
- Affine variety
- Projective variety
- Non-affine and non-projective example
- Basic results
- Isomorphism of algebraic varieties
- Discussion and generalizations
- Algebraic manifolds
- See also
- Footnotes
- References

Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called **algebraic sets**. Other conventions do not require irreducibility.

The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined by the set of its roots (a geometric object) in the complex plane. Generalizing this result, Hilbert's Nullstellensatz provides a fundamental correspondence between ideals of polynomial rings and algebraic sets. Using the *Nullstellensatz* and related results, mathematicians have established a strong correspondence between questions on algebraic sets and questions of ring theory. This correspondence is a defining feature of algebraic geometry.

Many algebraic varieties are manifolds, but an algebraic variety may have singular points while a manifold cannot. Algebraic varieties can be characterized by their dimension. Algebraic varieties of dimension one are called algebraic curves and algebraic varieties of dimension two are called algebraic surfaces.

In the context of modern scheme theory, an algebraic variety over a field is an integral (irreducible and reduced) scheme over that field whose structure morphism is separated and of finite type.

An *affine variety* over an algebraically closed field is conceptually the easiest type of variety to define, which will be done in this section. Next, one can define projective and quasi-projective varieties in a similar way. The most general definition of a variety is obtained by patching together smaller quasi-projective varieties. It is not obvious that one can construct genuinely new examples of varieties in this way, but Nagata gave an example of such a new variety in the 1950s.

For an algebraically closed field *K* and a natural number *n*, let **A**^{n} be affine *n*-space over *K*. The polynomials *f* in the ring *K*[*x*_{1}, ..., *x _{n}*] can be viewed as

A subset *V* of **A**^{n} is called an **affine algebraic set** if *V* = *Z*(*S*) for some *S*.^{ [1] }^{:2} A nonempty affine algebraic set *V* is called **irreducible** if it cannot be written as the union of two proper algebraic subsets.^{ [1] }^{:3} An irreducible affine algebraic set is also called an **affine variety**.^{ [1] }^{:3} (Many authors use the phrase *affine variety* to refer to any affine algebraic set, irreducible or not^{ [note 1] })

Affine varieties can be given a natural topology by declaring the closed sets to be precisely the affine algebraic sets. This topology is called the Zariski topology.^{ [1] }^{:2}

Given a subset *V* of **A**^{n}, we define *I*(*V*) to be the ideal of all polynomial functions vanishing on *V*:

For any affine algebraic set *V*, the **coordinate ring** or **structure ring** of *V* is the quotient of the polynomial ring by this ideal.^{ [1] }^{:4}

Let k be an algebraically closed field and let **P**^{n} be the projective *n*-space over k. Let *f* in *k*[*x*_{0}, ..., *x _{n}*] be a homogeneous polynomial of degree

A subset *V* of **P**^{n} is called a **projective algebraic set** if *V* = *Z*(*S*) for some *S*.^{ [1] }^{:9} An irreducible projective algebraic set is called a **projective variety**.^{ [1] }^{:10}

Projective varieties are also equipped with the Zariski topology by declaring all algebraic sets to be closed.

Given a subset *V* of **P**^{n}, let *I*(*V*) be the ideal generated by all homogeneous polynomials vanishing on *V*. For any projective algebraic set *V*, the ** coordinate ring ** of *V* is the quotient of the polynomial ring by this ideal.^{ [1] }^{:10}

A ** quasi-projective variety ** is a Zariski open subset of a projective variety. Notice that every affine variety is quasi-projective.^{ [2] } Notice also that the complement of an algebraic set in an affine variety is a quasi-projective variety; in the context of affine varieties, such a quasi-projective variety is usually not called a variety but a constructible set.

In classical algebraic geometry, all varieties were by definition quasi-projective varieties, meaning that they were open subvarieties of closed subvarieties of projective space. For example, in Chapter 1 of Hartshorne a *variety* over an algebraically closed field is defined to be a quasi-projective variety,^{ [1] }^{:15} but from Chapter 2 onwards, the term **variety** (also called an **abstract variety**) refers to a more general object, which locally is a quasi-projective variety, but when viewed as a whole is not necessarily quasi-projective; i.e. it might not have an embedding into projective space.^{ [1] }^{:105} So classically the definition of an algebraic variety required an embedding into projective space, and this embedding was used to define the topology on the variety and the regular functions on the variety. The disadvantage of such a definition is that not all varieties come with natural embeddings into projective space. For example, under this definition, the product **P**^{1} × **P**^{1} is not a variety until it is embedded into the projective space; this is usually done by the Segre embedding. However, any variety that admits one embedding into projective space admits many others by composing the embedding with the Veronese embedding. Consequently, many notions that should be intrinsic, such as the concept of a regular function, are not obviously so.

The earliest successful attempt to define an algebraic variety abstractly, without an embedding, was made by André Weil. In his * Foundations of Algebraic Geometry *, Weil defined an abstract algebraic variety using valuations. Claude Chevalley made a definition of a scheme, which served a similar purpose, but was more general. However, Alexander Grothendieck's definition of a scheme is more general still and has received the most widespread acceptance. In Grothendieck's language, an abstract algebraic variety is usually defined to be an integral, separated scheme of finite type over an algebraically closed field,^{ [note 2] } although some authors drop the irreducibility or the reducedness or the separateness condition or allow the underlying field to be not algebraically closed.^{ [note 3] } Classical algebraic varieties are the quasiprojective integral separated finite type schemes over an algebraically closed field.

One of the earliest examples of a non-quasiprojective algebraic variety were given by Nagata.^{ [3] } Nagata's example was not complete (the analog of compactness), but soon afterwards he found an algebraic surface that was complete and non-projective.^{ [4] } Since then other examples have been found.

A **subvariety** is a subset of a variety that is itself a variety (with respect to the structure induced from the ambient variety). For example, every open subset of a variety is a variety. See also closed immersion.

Hilbert's Nullstellensatz says that closed subvarieties of an affine or projective variety are in one-to-one correspondence with the prime ideals or homogeneous prime ideals of the coordinate ring of the variety.

Let *k* = **C**, and **A**^{2} be the two-dimensional affine space over **C**. Polynomials in the ring **C**[*x*, *y*] can be viewed as complex valued functions on **A**^{2} by evaluating at the points in **A**^{2}. Let subset *S* of **C**[*x*, *y*] contain a single element *f* (*x*, *y*):

The zero-locus of *f* (*x*, *y*) is the set of points in **A**^{2} on which this function vanishes: it is the set of all pairs of complex numbers (*x*, *y*) such that *y* = 1 − *x*. This is called a line in the affine plane. (In the **classical topology** coming from the topology on the complex numbers, a complex line is a real manifold of dimension two.) This is the set *Z*( *f* ):

Thus the subset *V* = *Z*( *f* ) of **A**^{2} is an algebraic set. The set *V* is not empty. It is irreducible, as it cannot be written as the union of two proper algebraic subsets. Thus it is an affine algebraic variety.

Let *k* = **C**, and **A**^{2} be the two-dimensional affine space over **C**. Polynomials in the ring **C**[*x*, *y*] can be viewed as complex valued functions on **A**^{2} by evaluating at the points in **A**^{2}. Let subset *S* of **C**[*x*, *y*] contain a single element *g*(*x*, *y*):

The zero-locus of *g*(*x*, *y*) is the set of points in **A**^{2} on which this function vanishes, that is the set of points (*x*,*y*) such that *x*^{2} + *y*^{2} = 1. As *g*(*x*, *y*) is an absolutely irreducible polynomial, this is an algebraic variety. The set of its real points (that is the points for which *x* and *y* are real numbers), is known as the unit circle; this name is also often given to the whole variety.

The following example is neither a hypersurface, nor a linear space, nor a single point. Let **A**^{3} be the three-dimensional affine space over **C**. The set of points (*x*, *x*^{2}, *x*^{3}) for *x* in **C** is an algebraic variety, and more precisely an algebraic curve that is not contained in any plane.^{ [note 4] } It is the twisted cubic shown in the above figure. It may be defined by the equations

The irreducibility of this algebraic set needs a proof. One approach in this case is to check that the projection (*x*, *y*, *z*) → (*x*, *y*) is injective on the set of the solutions and that its image is an irreducible plane curve.

For more difficult examples, a similar proof may always be given, but may imply a difficult computation: first a Gröbner basis computation to compute the dimension, followed by a random linear change of variables (not always needed); then a Gröbner basis computation for another monomial ordering to compute the projection and to prove that it is generically injective and that its image is a hypersurface, and finally a polynomial factorization to prove the irreducibility of the image.

A projective variety is a closed subvariety of a projective space. That is, it is the zero locus of a set of homogeneous polynomials that generate a prime ideal.

A plane projective curve is the zero locus of an irreducible homogeneous polynomial in three indeterminates. The projective line **P**^{1} is an example of a projective curve; it can be viewed as the curve in the projective plane **P**^{2} = {[*x*, *y*, *z*]} defined by *x* = 0. For another example, first consider the affine cubic curve

in the 2-dimensional affine space (over a field of characteristic not two). It has the associated cubic homogeneous polynomial equation:

which defines a curve in **P**^{2} called an elliptic curve. The curve has genus one (genus formula); in particular, it is not isomorphic to the projective line **P**^{1}, which has genus zero. Using genus to distinguish curves is very basic: in fact, the genus is the first invariant one uses to classify curves (see also the construction of moduli of algebraic curves).

Let *V* be a finite-dimensional vector space. The Grassmannian variety *G _{n}*(

where *b _{i}* are any set of linearly independent vectors in

The Grassmannian variety comes with a natural vector bundle (or locally free sheaf in other terminology) called the tautological bundle, which is important in the study of characteristic classes such as Chern classes.

An algebraic variety can be neither affine nor projective. To give an example, let *X* = **P**^{1} × **A**^{1} and *p*: *X* → **A**^{1} the projection. It is an algebraic variety since it is a product of varieties. It is not affine since **P**^{1} is a closed subvariety of *X* (as the zero locus of *p*), but an affine variety cannot contain a projective variety of positive dimension as a closed subvariety. It is not projective either, since there is a nonconstant regular function on *X*; namely, *p*.

Another example of a non-affine non-projective variety is *X* = **A**^{2} − (0, 0) (cf. * Morphism of varieties § Examples *.)

- An affine algebraic set
*V*is a variety if and only if*I*(*V*) is a prime ideal; equivalently,*V*is a variety if and only if its coordinate ring is an integral domain.^{ [5] }^{:52}^{ [1] }^{:4} - Every nonempty affine algebraic set may be written uniquely as a finite union of algebraic varieties (where none of the varieties in the decomposition is a subvariety of any other).
^{ [1] }^{:5} - The
**dimension**of a variety may be defined in various equivalent ways. See Dimension of an algebraic variety for details. - A product of finitely many algebraic varieties (over an algebraically closed field) is an algebraic variety.

Let *V*_{1}, *V*_{2} be algebraic varieties. We say *V*_{1} and *V*_{2} are isomorphic, and write *V*_{1} ≅ *V*_{2}, if there are regular maps *φ* : *V*_{1} → *V*_{2} and *ψ* : *V*_{2} → *V*_{1} such that the compositions *ψ* ∘ *φ* and *φ* ∘ *ψ* are the identity maps on *V*_{1} and *V*_{2} respectively.

This section includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations .(March 2013) (Learn how and when to remove this template message) |

The basic definitions and facts above enable one to do classical algebraic geometry. To be able to do more — for example, to deal with varieties over fields that are not algebraically closed — some foundational changes are required. The modern notion of a variety is considerably more abstract than the one above, though equivalent in the case of varieties over algebraically closed fields. An *abstract algebraic variety* is a particular kind of scheme; the generalization to schemes on the geometric side enables an extension of the correspondence described above to a wider class of rings. A scheme is a locally ringed space such that every point has a neighbourhood that, as a locally ringed space, is isomorphic to a spectrum of a ring. Basically, a variety over k is a scheme whose structure sheaf is a sheaf of k-algebras with the property that the rings *R* that occur above are all integral domains and are all finitely generated k-algebras, that is to say, they are quotients of polynomial algebras by prime ideals.

This definition works over any field k. It allows you to glue affine varieties (along common open sets) without worrying whether the resulting object can be put into some projective space. This also leads to difficulties since one can introduce somewhat pathological objects, e.g. an affine line with zero doubled. Such objects are usually not considered varieties, and are eliminated by requiring the schemes underlying a variety to be *separated*. (Strictly speaking, there is also a third condition, namely, that one needs only finitely many affine patches in the definition above.)

Some modern researchers also remove the restriction on a variety having integral domain affine charts, and when speaking of a variety only require that the affine charts have trivial nilradical.

A complete variety is a variety such that any map from an open subset of a nonsingular curve into it can be extended uniquely to the whole curve. Every projective variety is complete, but not vice versa.

These varieties have been called "varieties in the sense of Serre", since Serre's foundational paper FAC on sheaf cohomology was written for them. They remain typical objects to start studying in algebraic geometry, even if more general objects are also used in an auxiliary way.

One way that leads to generalizations is to allow reducible algebraic sets (and fields k that aren't algebraically closed), so the rings *R* may not be integral domains. A more significant modification is to allow nilpotents in the sheaf of rings, that is, rings which are not **reduced**. This is one of several generalizations of classical algebraic geometry that are built into Grothendieck's theory of schemes.

Allowing nilpotent elements in rings is related to keeping track of "multiplicities" in algebraic geometry. For example, the closed subscheme of the affine line defined by *x*^{2} = 0 is different from the subscheme defined by *x* = 0 (the origin). More generally, the fiber of a morphism of schemes *X* → *Y* at a point of *Y* may be non-reduced, even if *X* and *Y* are reduced. Geometrically, this says that fibers of good mappings may have nontrivial "infinitesimal" structure.

There are further generalizations called algebraic spaces and stacks.

An algebraic manifold is an algebraic variety that is also an *m*-dimensional manifold, and hence every sufficiently small local patch is isomorphic to *k ^{m}*. Equivalently, the variety is smooth (free from singular points). When k is the real numbers,

- Variety (disambiguation) — listing also several mathematical meanings
- Function field of an algebraic variety
- Birational geometry
- Abelian variety
- Motive (algebraic geometry)
- Analytic variety
- Zariski–Riemann space
- Semi-algebraic set

- ↑ Hartshorne, p.xv, notes that his choice is not conventional; see for example, Harris, p.3
- ↑ Hartshorne 1976 , pp. 104–105
- ↑ Liu, Qing.
*Algebraic Geometry and Arithmetic Curves*, p. 55 Definition 2.3.47, and p. 88 Example 3.2.3 - ↑ Harris, p.9; that it is irreducible is stated as an exercise in Hartshorne p.7

**Algebraic geometry** is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros.

In algebra and algebraic geometry, the **spectrum** of a commutative ring *R*, denoted by , is the set of all prime ideals of *R*. It is commonly augmented with the Zariski topology and with a structure sheaf, turning it into a locally ringed space. A locally ringed space of this form is called an **affine scheme**.

In mathematics, **complex geometry** is the study of complex manifolds, complex algebraic varieties, and functions of several complex variables. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In algebraic geometry and commutative algebra, the **Zariski topology** is a topology on algebraic varieties, introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring a topological space, called the spectrum of the ring.

In mathematics and specifically in algebraic geometry, the **dimension** of an algebraic variety may be defined in various equivalent ways.

In mathematics, an **affine algebraic plane curve** is the zero set of a polynomial in two variables. A **projective algebraic plane curve** is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation *h*(*x*, *y*, *t*) = 0 can be restricted to the affine algebraic plane curve of equation *h*(*x*, *y*, 1) = 0. These two operations are each inverse to the other; therefore, the phrase **algebraic plane curve** is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In algebraic geometry, an **affine variety**, or **affine algebraic variety**, over an algebraically closed field *k* is the zero-locus in the affine space *k*^{n} of some finite family of polynomials of *n* variables with coefficients in *k* that generate a prime ideal. If the condition of generating a prime ideal is removed, such a set is called an (affine) **algebraic set**. A Zariski open subvariety of an affine variety is called a quasi-affine variety.

In algebraic geometry, a **projective variety** over an algebraically closed field *k* is a subset of some projective *n*-space over *k* that is the zero-locus of some finite family of homogeneous polynomials of *n* + 1 variables with coefficients in *k*, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In mathematics, a **scheme** is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, **birational geometry** is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.

In geometry, a **hypersurface** is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension *n* − 1, which is embedded in an ambient space of dimension *n*, generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally, and sometimes globally.

In mathematics, particularly in the field of algebraic geometry, a **Chow variety** is an algebraic variety whose points correspond to effective algebraic cycles of fixed dimension and degree on a given projective space. More precisely, the Chow variety is the fine moduli variety parametrizing all effective algebraic cycles of dimension and degree in .

In algebraic geometry, an algebraic variety or scheme *X* is **normal** if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety *X* is normal if and only if the ring *O*(*X*) of regular functions on *X* is an integrally closed domain. A variety *X* over a field is normal if and only if every finite birational morphism from any variety *Y* to *X* is an isomorphism.

In mathematics, **intersection theory** is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form.

In mathematics, a **surface** is a generalization of a plane, which is not necessarily flat – that is, the curvature is not necessarily zero. This is analogous to a curve generalizing a straight line. There are many more precise definitions, depending on the context and the mathematical tools that are used to analyze the surface.

Affine geometry, broadly speaking, is the study of the geometrical properties of lines, planes, and their higher dimensional analogs, in which a notion of "parallel" is retained, but no metrical notions of distance or angle are. Affine spaces differ from linear spaces in that they do not have a distinguished choice of origin. So, in the words of Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps." Accordingly, a **complex affine space**, that is an affine space over the complex numbers, is like a complex vector space, but without a distinguished point to serve as the origin.

In mathematics, the **field of definition** of an algebraic variety *V* is essentially the smallest field to which the coefficients of the polynomials defining *V* can belong. Given polynomials, with coefficients in a field *K*, it may not be obvious whether there is a smaller field *k*, and other polynomials defined over *k*, which still define *V*.

In mathematics, the **multiplicity** of a member of a multiset is the number of times it appears in the multiset. For example, the number of times a given polynomial equation has a root at a given point is the multiplicity of that root.

In algebraic geometry, a **morphism** between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a **regular map**. A morphism from an algebraic variety to the affine line is also called a **regular function**. A regular map whose inverse is also regular is called **biregular**, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well.

This is a **glossary of algebraic geometry**.

- 1 2 3 4 5 6 7 8 9 10 11 12 13 Hartshorne, Robin (1977).
*Algebraic Geometry*. Springer-Verlag. ISBN 0-387-90244-9. - ↑ Hartshorne, Exercise I.2.9, p.12
- ↑ Nagata, Masayoshi (1956), "On the imbedding problem of abstract varieties in projective varieties",
*Memoirs of the College of Science, University of Kyoto. Series A: Mathematics*,**30**: 71–82, MR 0088035 - ↑ Nagata, Masayoshi (1957), "On the imbeddings of abstract surfaces in projective varieties",
*Memoirs of the College of Science, University of Kyoto. Series A: Mathematics*,**30**: 231–235, MR 0094358 - ↑ Harris, Joe (1992).
*Algebraic Geometry - A first course*. Springer-Verlag. ISBN 0-387-97716-3.

- Cox, David; John Little; Don O'Shea (1997).
*Ideals, Varieties, and Algorithms*(second ed.). Springer-Verlag. ISBN 0-387-94680-2. - Eisenbud, David (1999).
*Commutative Algebra with a View Toward Algebraic Geometry*. Springer-Verlag. ISBN 0-387-94269-6. - Milne, James S. (2008). "Algebraic Geometry" . Retrieved 2009-09-01.

*This article incorporates material from Isomorphism of varieties on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.*

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.