Affine Algebraic Varieties

Affine algebraic varieties form one of the fundamental objects of study in algebraic geometry, which is the branch of mathematics that bridges abstract algebra with geometry. These varieties are geometric objects defined as the zero sets of systems of polynomial equations in an affine space. Understanding affine algebraic varieties provides a cornerstone for grasping more general concepts in algebraic geometry.

Definition and Basic Concepts

Let k be a field and let k be its algebraic closure. The algebraic closure of a field is a larger field that contains all roots of all non-zero polynomials with coefficients in the original field.

We define the affine n-space over k, denoted as A^n(k), as the set of all n-tuples of elements from k:

A^n(k) = {(a, a, ..., a) : each a k}

Given a set F of polynomials in k[x, x, ..., x], the zero set (or zero locus) of F in A^n(k) is defined as:

Z(F) = {(a, a, ..., a) A^n(k) : f(a, a, ..., a) = 0 for all f F}

An affine algebraic set is any subset of A^n(k) that can be written as Z(F) for some set F of polynomials. When k is algebraically closed and the set F generates a radical ideal, we obtain what is called an affine algebraic variety.

The Connection Between Ideals and Varieties

There is a profound relationship between affine algebraic varieties and ideals in polynomial rings, which is at the heart of algebraic geometry.

Given any subset X A^n(k), we can define the ideal of polynomials vanishing on X:

I(X) = {f k[x, x, ..., x] : f(a, a, ..., a) = 0 for all (a, a, ..., a) X}

This establishes a contravariant correspondence between algebraic sets and ideals:

For any ideal J, we have J I(Z(J))
For any algebraic set X, we have X = Z(I(X))
Z(Z Z) = Z(I(Z) I(Z))
Z(I + I) = Z(I) Z(I)

Hilbert's Nullstellensatz (Zero Locus Theorem) is a fundamental result that makes this correspondence precise when k is algebraically closed. It states that:

I(Z(J)) = J

where J is the radical ideal generated by all f such that some power of f belongs to J.

Examples of Affine Algebraic Varieties

Lines: The zero set of a linear polynomial ax + by + c = 0 in A(k) defines a line.

Circles: The zero set of x + y - 1 = 0 in defines a unit circle.

Parabolas: The zero set of y - x = 0 in A(k) defines a parabola.

Hypersurfaces: The zero set of a single irreducible polynomial in A(k) is called a hypersurface.

Torus: The real affine variety defined by (x + y + z + R - r) - 4R(x + y) = 0 for appropriate constants R > r > 0 is a torus.

The Coordinate Ring

For an affine algebraic variety V, we define its coordinate ring as the quotient ring:

k[V] = k[x, x, ..., x]/I(V)

The coordinate ring is a fundamental object associated to a variety. It consists of polynomial functions on V, where two polynomials are considered the same if they have the same values at all points of V.

The coordinate ring has important properties:

It is a finitely generated k-algebra (generated by the images of x, x, ..., x)
It is an integral domain if and only if V is irreducible (cannot be expressed as a union of two proper subvarieties)
It captures many geometric properties of the variety V

Morphisms and Rational Maps

A morphism from one affine variety V A to another W A is a function : V W given by (p) = ((p), (p), ..., (p)) where each is a polynomial in the coordinates of p.

Rational maps are more general than morphisms. A rational map from V to W is an equivalence class of pairs (U, ) where U is a non-empty open subset of V, : U W is a morphism, and two pairs (U, ) and (U, ) are equivalent if and agree on U U.

Dimension of Affine Varieties

The dimension of an affine variety is a fundamental invariant that measures its size or complexity. There are several equivalent definitions:

Krull dimension: The length of the longest chain of distinct prime ideals in the coordinate ring k[V]
Geometric dimension: The maximum dimension of a smooth manifold contained in V
Transcendence degree: The transcendence degree of the field of fractions of k[V] over k

For example:

A point has dimension 0
A curve has dimension 1
A surface has dimension 2
The affine space A has dimension n

Singular and Nonsingular Points

A point p on an affine variety V is nonsingular (or smooth) if the dimension of the tangent space at p equals the dimension of V. Otherwise, p is singular.

For a variety V defined by ideal I(V) = f, f, ..., f in A(k), the tangent space at a point p can be computed using the Jacobian matrix:

J(p) = [f/x(p)] (the matrix with entries as partial derivatives evaluated at p)

The dimension of the tangent space at p is n - rank(J(p)). A point p is nonsingular if and only if:

rank(J(p)) = n - dim(V)

Decomposition into Irreducible Components

Every affine algebraic variety V can be uniquely expressed as a finite union of irreducible components V V ... V, where no component is contained in the union of the others. This decomposition corresponds to the prime factorization of the ideal I(V) into primary components.

The irreducible components are the maximal irreducible subsets of V. Understanding this decomposition is crucial for analyzing the structure of more complicated varieties.

Applications and Significance

Affine algebraic varieties have applications across mathematics and beyond:

Number theory: Diophantine equations can be studied as varieties over number fields
String theory Certain varieties called Calabi-Yau manifolds are important in string compactifications
Robotics Configuration spaces of mechanical systems can often be modeled as varieties
Computer vision Structure from motion problems can be formulated as problems on varieties
Control theory State spaces of certain systems can be described as varieties

Further Directions

From affine varieties, one can build more general structures:

Projective varieties By adding "points at infinity" to affine varieties
Schemes Grothendieck's generalization that allows for nilpotent elements and broader base rings
Abstract algebraic varieties Gluing together affine varieties to form more general objects

These generalizations form the basis of modern algebraic geometry, which has deep connections with number theory, topology, complex analysis, and representation theory.

```

Reference Files For Affine Algebraic Varieties

Screenshoot