Algebraic variety

Basic definitions and examples

At the most concrete level, an affine algebraic variety in n variables is the set of solutions in a chosen field (for example the complex numbers) to a finite family of polynomial equations. Classical examples include lines and conic sections in the plane, plane curves such as elliptic curves, and higher-dimensional analogues like surfaces. Projective varieties arise when the equations are homogeneous and solutions are considered up to scalar multiples; projective space compactifies affine space and is essential for studying global properties. Elementary introductions and visual examples are available via introductory material and illustrations.

Key concepts and structure

Several central ideas organize the theory:

• Zariski topology: closed sets are zero loci of polynomial families, giving a very coarse topology tailored to algebraic questions.
• Coordinate ring: the ring of polynomial functions restricted to a variety; algebraic properties of this ring reflect geometric features.
• Irreducibility: a variety is often required to be irreducible, meaning it cannot be written as the union of two proper closed subsets. When reducible sets arise they are sometimes called algebraic sets or schemes, depending on context.
• Singularities: points where the variety fails to be locally like affine space. Smooth varieties are the analogue of manifolds in algebraic geometry, while singular ones require special techniques.

Algebra–geometry correspondence

A distinctive feature of the subject is the tight correspondence between geometric sets and algebraic objects. The fundamental theorem of algebra historically tied equations to roots in the complex plane; in higher dimensions Hilbert’s Nullstellensatz gives a precise link between ideals in a polynomial ring and affine algebraic sets. Through this bridge one translates geometric questions into questions about rings and ideals, and vice versa. For algebraic formulations and proofs consult algebraic sources and surveys such as textbook accounts.

History and development

Roots of the theory appear in the study of plane curves and elimination theory in the 19th century; later developments introduced modern language and generality. In the 20th century the concept of a variety was broadened and finally encapsulated in the language of schemes, which allow a unified treatment of varieties over arbitrary fields and of arithmetic phenomena. Historical expositions and timelines may be found at historical references and academic notes.

Uses, examples and distinctions

Algebraic varieties are central in many mathematical areas: number theory (rational points on varieties), complex geometry (complex algebraic varieties), topology (via cohomology theories), and applied fields such as coding theory or robotics where polynomial constraints appear. Important distinctions include affine vs projective varieties, reducible vs irreducible, and smooth vs singular. Further reading and computational tools are available through resources at computational guides, advanced surveys, and introductions to scheme-theoretic generalizations at modern texts and lecture notes.