Affine varieties are the building blocks of algebraic geometry, defined by polynomial equations over algebraically closed fields. They represent geometric objects like lines, curves, and surfaces, forming a bridge between algebra and geometry.
Understanding affine varieties is crucial for grasping more complex concepts in algebraic geometry. We'll explore their definition, examples, and key properties, including the and the correspondence between varieties and ideals.
Affine varieties and algebraic sets
Definition of affine varieties
Top images from around the web for Definition of affine varieties
Identifying the Degree and Leading Coefficient of Polynomials | College Algebra View original
Is this image relevant?
Degenerate Affine Flag Varieties and Quiver Grassmannians | Algebras and Representation Theory View original
Is this image relevant?
Graphs of Polynomial Functions | Intermediate Algebra View original
Is this image relevant?
Identifying the Degree and Leading Coefficient of Polynomials | College Algebra View original
Is this image relevant?
Degenerate Affine Flag Varieties and Quiver Grassmannians | Algebras and Representation Theory View original
Is this image relevant?
1 of 3
Top images from around the web for Definition of affine varieties
Identifying the Degree and Leading Coefficient of Polynomials | College Algebra View original
Is this image relevant?
Degenerate Affine Flag Varieties and Quiver Grassmannians | Algebras and Representation Theory View original
Is this image relevant?
Graphs of Polynomial Functions | Intermediate Algebra View original
Is this image relevant?
Identifying the Degree and Leading Coefficient of Polynomials | College Algebra View original
Is this image relevant?
Degenerate Affine Flag Varieties and Quiver Grassmannians | Algebras and Representation Theory View original
Is this image relevant?
1 of 3
An is the set of solutions of a system of polynomial equations in n variables over an algebraically closed field k
The algebraic set of an affine variety V is the set of all points (x1,…,xn) in kn that satisfy the polynomial equations defining V
For example, the algebraic set of the affine variety defined by the equation x2+y2=1 over the field of complex numbers is the unit circle in the complex plane
An affine variety V is irreducible if it cannot be written as the union of two proper subvarieties
Equivalently, the I(V) is a prime ideal
Zariski topology and ideals
The ideal I(V) of an affine variety V is the set of all polynomials f(x1,…,xn) that vanish on V, meaning f(a1,…,an)=0 for all points (a1,…,an) in V
For instance, the ideal of the affine variety defined by x2+y2=1 is the ideal generated by the polynomial x2+y2−1
The Zariski topology on kn is defined by taking the closed sets to be the affine varieties (algebraic sets)
In this topology, the closure of a set is the smallest affine variety containing it
The Zariski topology is coarser than the usual Euclidean topology on kn
Examples of affine varieties
Affine varieties in low dimensions
In the affine plane ( 2), examples of affine varieties include lines, parabolas, ellipses, and hyperbolas
The line y=mx+b is an affine variety defined by the linear equation y−mx−b=0
The parabola y=x2 is an affine variety defined by the quadratic equation y−x2=0
In 3-dimensional affine space, examples include planes, spheres, ellipsoids, and cubic surfaces
The plane ax+by+cz+d=0 is an affine variety defined by a linear equation
The sphere x2+y2+z2=r2 is an affine variety defined by a quadratic equation
Trivial and compound affine varieties
The empty set and the entire affine space kn are both trivial examples of affine varieties in any dimension n
The intersection of two affine varieties is always an affine variety
For example, the intersection of the plane z=0 and the sphere x2+y2+z2=1 is the unit circle in the xy-plane
The union of two affine varieties is an affine variety if and only if one is contained in the other
Ideals and affine varieties
Correspondence between affine varieties and radical ideals
There is a one-to-one correspondence (bijection) between affine varieties in kn and radical ideals in the polynomial ring k[x1,…,xn]
Given an affine variety V, its ideal I(V) is always a radical ideal
Conversely, given any radical ideal I in k[x1,…,xn], the set V(I) of points where all polynomials in I vanish is an affine variety
The correspondence V↦I(V) and I↦V(I) are inclusion-reversing
If V1⊆V2 then I(V2)⊆I(V1)
If I1⊆I2 then V(I2)⊆V(I1)
Hilbert's Nullstellensatz
states that if k is algebraically closed, the correspondence between affine varieties and radical ideals is a bijection
In other words, every radical ideal is the ideal of some affine variety, and every affine variety is the zero set of some radical ideal
This fundamental theorem establishes a deep connection between algebraic geometry and commutative algebra
Dimension and degree of affine varieties
Dimension of affine varieties
The dimension of an affine variety V is the Krull dimension of its k[V]=k[x1,…,xn]/I(V), which is the supremum of the lengths of chains of prime ideals in k[V]
Intuitively, the dimension measures the number of independent directions in which V extends
The dimension of V is equal to the number of independent variables in a set of equations defining V, after eliminating redundant variables
For example, the parabola y=x2 has dimension 1, since it can be described by a single independent variable x
Degree of affine varieties
If V is an affine variety of dimension d in kn, then almost all linear subspaces of kn of codimension d intersect V in a finite number of points, called the degree of V
The degree measures the size or complexity of V
For instance, a line has degree 1, a quadratic curve has degree 2, and a cubic surface has degree 3
The degree of V is equal to the leading coefficient of the Hilbert polynomial of k[V], which describes the dimension of the vector space of polynomials on V of a given degree
The Hilbert polynomial encodes important information about the structure of V and its coordinate ring