TOPICS
Search

Subvariety


A subset of an algebraic variety which is itself a variety. Every variety is a subvariety of itself; other subvarieties are called proper subvarieties.

A sphere of the three-dimensional Euclidean space R^3 is an algebraic variety since it is defined by a polynomial equation. For example,

 x^2+y^2+z^2-1=0
(1)

defines the sphere of radius 1 centered at the origin. Its intersection with the xy-plane is a circle given by the system of polynomial equations:

x^2+y^2+z^2-1=0
(2)
z=0
(3)

Hence the circle is itself an algebraic variety, and a subvariety of the sphere, and of the plane as well.

Whenever some new independent equations are added to the equations defining a certain variety, the resulting variety will be smaller, since its points will be subject to more conditions than before. In the language of ring theory, this means that, while the sphere is the zero set of all polynomials of the ideal <x^2+y^2+z^2-1> of R[x,y,z], every subvariety of it will be defined by a larger ideal; this is the case for <x^2+y^2+z^2-1,z>, which is the defining ideal of the circle.

In general, given a field K, if V(I) is the affine variety of K^n defined by the ideal I of K[x_1,...,x_n], and J is an ideal containing I, then V(J) (if it is nonempty) is a subvariety of V(I). If K is an algebraically closed field, it follows from Hilbert's Nullstellensatz that V(J) subset= V(I) iff sqrt(I) subset= sqrt(J); in this case, V(J) is a proper subvariety of V(I) iff sqrt(I)!=sqrt(J). The same applies to projective algebraic varieties and homogeneous ideals.


See also

Algebraic Variety, Dimension

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

Cite this as:

Barile, Margherita. "Subvariety." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Subvariety.html

Subject classifications