Affine geometry

Lore & Background

After Felix Klein's Erlangen program, affine geometry was recognized as a generalization of Euclidean geometry.

Reader's Guide

Affine geometry is significant because it provides a framework for studying geometric properties that are invariant under affine transformations, which are mappings that preserve collinearity and parallelism. This makes it a key tool in fields such as computer graphics, where transformations like scaling and shearing are common, and in physics, where it underlies the structure of space-time in special relativity. The development of affine geometry through both synthetic and linear algebra approaches allows for flexible applications, from axiomatic foundations to vector space models. Its role in Felix Klein's Erlangen program highlights its importance as a generalization of Euclidean geometry, and its use by Hermann Weyl in the early 20th century demonstrates its relevance to modern mathematical physics. The concept of forgetting the metric also extends to the theory of manifolds via affine connections, showing its deep influence on differential geometry.

Did You Know?

• Playfair's axiom is fundamental in affine geometry: given a line L and a point P not on L, there is exactly one line parallel to L through P.
• Affine geometry can be developed from linear algebra by considering an affine space as a set of points with translations forming a vector space, effectively forgetting the origin.
• The affine version of Pappus's hexagon theorem states that if points A, B, C are on one line and A', B', C' on another, and if AB' is parallel to A'B and BC' is parallel to B'C, then AC' is parallel to A'C.

The Geometry of Polynomial Zeros

Algebraic geometry at its heart asks a deceptively simple question: what shapes emerge when you demand that several polynomial equations hold simultaneously? The classical answer lives in the vanishing sets of polynomial collections — every point in space whose coordinates satisfy the given equations. A sphere of radius one in three-dimensional space, for instance, is nothing more than the locus where x² + y² + z² − 1 equals zero. Add a second equation like x + y + z = 0, and the sphere is sliced into a slanted circle. In the plane, the most celebrated members of this family are lines, circles, parabolas, ellipses, hyperbolas, cubic curves such as elliptic curves, and quartic curves including lemniscates and Cassini ovals. A point belongs to one of these curves precisely when its coordinates satisfy the defining polynomial. The classical agenda then probes special locations — singular points, inflection points, points at infinity — and, at a deeper level, the topology of the curve and how curves arising from different equations relate to one another.

A Discipline That Multiplied

The twentieth century saw algebraic geometry fracture into a constellation of specialized subfields, each fixing a different kind of point or a different toolkit. The mainstream tradition concentrates on complex points of algebraic varieties and, more broadly, on points whose coordinates live in an algebraically closed field. Real algebraic geometry narrows the lens to varieties defined over the real numbers. Diophantine geometry, later broadened into arithmetic geometry, studies varieties over fields that are deliberately not algebraically closed — the rational numbers, number fields, finite fields, function fields, and p-adic fields — bringing the subject into direct conversation with algebraic number theory. Singularity theory dedicates a substantial portion of its effort to classifying and understanding the singularities that appear on algebraic varieties. Finally, computational algebraic geometry emerged at the crossroads of algebraic geometry and computer algebra, driven by the rise of digital computing, and focuses on designing algorithms and building software to investigate the properties of explicitly given varieties.

From Points to Schemes

A quiet revolution reshaped algebraic geometry in the twentieth century: the shift from coordinate-dependent descriptions to an abstract, intrinsic framework that mirrors the language of topology, differential geometry, and complex analysis. The crowning achievement of this shift is Grothendieck's scheme theory, which deploys sheaf theory to study algebraic varieties in a manner strikingly analogous to how sheaves are used on differential and analytic manifolds. The key conceptual move is an extension of what counts as a point. In classical algebraic geometry, Hilbert's Nullstellensatz lets one identify a point of an affine variety with a maximal ideal of the coordinate ring. In the corresponding affine scheme, however, the points are all prime ideals of that ring, meaning a single point can be either an ordinary geometric point or an entire sub-variety. This broadened vocabulary unifies the tools of classical algebraic geometry — traditionally centered on complex points — with those of algebraic number theory. Andrew Wiles's proof of Fermat's Last Theorem stands as a landmark demonstration of the power this unified approach can unleash.

Affine Space and the Language of Regular Functions

Before any variety can be studied, one must fix the ambient space in which it lives. The starting datum is a field k — historically the complex numbers, though many results extend to any algebraically closed field. Over k one considers the affine space of dimension n, written An(k) or simply An when the field is understood. Choosing a coordinate system lets one identify An(k) with the set kn, but the notation deliberately discards the vector-space structure that kn carries; the emphasis is on the geometric rather than the linear content. A function from An to the affine line A1 is called polynomial, or regular, when it can be expressed as a polynomial p in the variables x1 through xn with coefficients in k, so that evaluating p at the coordinates of any point M yields the function's value. Crucially, whether a function is regular does not depend on which coordinate system one happens to have chosen. This coordinate-free character of regular functions is what makes the affine space a natural geometric object rather than a mere set of tuples, and it sets the stage for defining algebraic varieties as the common zero sets of collections of such functions.