Algebraic variety

Algebraic geometry is a branch of mathematics that studies the relationship between algebraic equations and geometric shapes. The central objects in this field are called algebraic varieties. An algebraic variety is a collection of points that satisfy a system of polynomial equations. These equations act as the rules that define the shape. By finding the "zero-locus," or the set of points where these polynomials equal zero, mathematicians can visualize abstract algebra as physical or spatial structures.

To understand how these varieties are built, we must look at the different ways they are defined. An affine variety is often the simplest starting point. It exists within an affine space, which is a space defined by a coordinate system. For a set of polynomials to define an affine variety, the resulting set of points must be irreducible. Irreducibility means the shape cannot be broken down into the union of two smaller, separate algebraic sets. If a shape can be split into smaller parts, it is called an algebraic set rather than a variety. Some mathematicians use the term "variety" for any algebraic set, but many prefer the stricter rule of irreducibility.

There are several specific types of varieties based on their geometric context. Projective varieties are defined using homogeneous polynomials in a projective space. These polynomials have a special property where scaling the input coordinates does not change whether the function equals zero. A quasi-projective variety is a subset of a projective variety that is specifically a Zariski open subset. This means it is a piece of a larger variety that excludes certain closed parts. In modern math, we can even create complex varieties by "patching" together smaller quasi-projective pieces. In the 1950s, the mathematician Nagata proved that this method could create entirely new varieties that were not just simple pieces of projective space.

Geometry and algebra are linked by several fundamental mathematical theorems. The fundamental theorem of algebra connects a single variable polynomial to its roots in the complex plane. This shows that an algebraic object, the polynomial, determines a geometric object, the set of roots. A much deeper connection is provided by Hilbert's Nullstellensatz. This theorem establishes a correspondence between the ideals of polynomial rings and algebraic sets. Because of this, mathematicians can solve difficult geometric problems by using the tools of ring theory. This deep link is the defining feature of algebraic geometry.

We can categorize varieties by their dimension, which describes their size and complexity. A variety with a dimension of one is called an algebraic curve. A famous example of a curve is the twisted cubic, which is defined by specific equations and does not lie within a single flat plane.

A variety with a dimension of two is known as an algebraic surface. An example of a surface is the unit circle when viewed as a variety in a complex plane.

While many varieties are differentiable manifolds, they differ in one key way. An algebraic variety may contain singular points, which are sharp or pinched spots, whereas a manifold cannot.

History shows how the definition of varieties has evolved from classical to modern views. In classical algebraic geometry, every variety was required to have an embedding into a projective space. This was useful because it provided a clear way to define the topology and functions of the shape. However, this definition was limiting because not all varieties have a natural way to fit into projective space. Early attempts to define varieties abstractly were made by André Weil using valuations. Later, Claude Chevalley introduced the concept of a scheme to provide a more general framework. Eventually, Alexander Grothendieck developed a definition of schemes that is now the most widely accepted in mathematics.

Algebraic varieties appear in many advanced mathematical systems. For instance, the general linear group is an example of a linear algebraic group. This group consists of all invertible $n \times n$ matrices, and it forms an affine variety. This occurs because the condition for a matrix to be invertible is based on the determinant, which is a polynomial. Beyond simple shapes, varieties help us understand the structure of complex spaces. They connect the study of continuous shapes with the rigid rules of polynomial algebra, allowing us to explore the deep architecture of mathematical space.