Affine transformation

Lore & Background

An affine transformation can be represented as the composition of a linear transformation and a translation. Unlike a purely linear transformation, it need not preserve the origin of the affine space; thus every linear transformation is affine, but not every affine transformation is linear. Examples include translation, scaling, homothety, similarity, reflection, rotation, hyperbolic rotation, shear mapping, and compositions thereof.

Reader's Guide

Affine transformations are significant because they form the foundation of affine geometry, which studies properties invariant under these transformations, such as parallelism and ratios of collinear distances. They generalize linear transformations by allowing translations, making them essential in computer graphics, image processing, and robotics for modeling movements and deformations. In projective geometry, affine transformations are projective transformations that leave the hyperplane at infinity invariant. The concept extends to affine maps between different affine spaces over the same field, defined via a linear map between associated vector spaces. For affine spaces of dimension at least two, a semiaffine transformation is a bijection preserving affine subspaces and parallelism; these conditions are not independent, and if the field has at least three elements, the first condition simplifies to being a collineation (mapping lines to lines).

Did You Know?

• An affine transformation preserves ratios of distances between points lying on a straight line.
• Examples of affine transformations include translation, scaling, homothety, similarity, reflection, rotation, hyperbolic rotation, and shear mapping.

The Geometry of Polynomial Zeros

Algebraic geometry sits at the intersection of abstract algebra and spatial reasoning, using tools from commutative algebra to tackle problems that are fundamentally about shapes and positions. At its classical heart, the discipline asks a deceptively simple question: where do multiple polynomial equations vanish simultaneously? The answers form what mathematicians call algebraic varieties—geometric objects that encode the full solution set of a polynomial system. In the plane, these varieties produce the familiar curves: lines, circles, parabolas, ellipses, hyperbolas, and more exotic shapes like elliptic curves and Cassini ovals. A point belongs to such a curve precisely when its coordinates satisfy the defining polynomial. Beyond identifying points, the field probes deeper structural features—singularities where the curve pinches or crosses itself, inflection points where curvature shifts, and points at infinity that capture asymptotic behavior. Even more sophisticated inquiries examine the topology of a curve and how two curves defined by different equations might be related. The subject thus begins with the concrete act of solving equations and climbs toward understanding the intrinsic nature of the entire solution landscape.

A Discipline That Splintered

The twentieth century saw algebraic geometry fracture into several distinct but interconnected subfields, each focused on a different class of coordinate fields or a different methodological emphasis. The mainstream branch concentrates on varieties whose points carry coordinates in an algebraically closed field, with the complex numbers serving as the prototypical setting. Real algebraic geometry narrows the lens to varieties defined over the real numbers, capturing the shapes one can actually draw on a page. Diophantine geometry, and its broader parent arithmetic geometry, studies varieties over fields that are not algebraically closed—rational numbers, number fields, finite fields, function fields, and p-adic fields—thereby linking geometry to the deep questions of algebraic number theory. Singularity theory, while a broader discipline, devotes a substantial portion of its energy to classifying and understanding the singular points of algebraic varieties. Finally, computational algebraic geometry emerged alongside the rise of digital computers, blending algorithm design and software engineering with the theoretical study of explicitly presented varieties. Each subarea inherits the shared vocabulary of polynomial equations and vanishing sets, yet pursues its own set of central questions and techniques.

Schemes, Sheaves, and Fermat

One of the most consequential shifts in twentieth-century algebraic geometry was the move toward intrinsic, coordinate-free descriptions of varieties, paralleling similar revolutions in topology and differential geometry. The crowning achievement of this abstract program is Grothendieck's theory of schemes, which deploys sheaf theory to study algebraic varieties much as one studies differential or analytic manifolds. The key conceptual leap lies in extending what counts as a point. In classical algebraic geometry, a point of an affine variety corresponds—via Hilbert's Nullstellensatz—to a maximal ideal of the coordinate ring. In the scheme-theoretic framework, the points of the corresponding affine scheme are all prime ideals of that ring, meaning a single point can represent either an ordinary geometric point or an entire sub-variety. This broadened perspective unifies the language of classical complex algebraic geometry with the tools of algebraic number theory. The practical power of this unification became vividly apparent when Andrew Wiles proved Fermat's Last Theorem, a conjecture that had resisted solution for centuries, using precisely the kind of scheme-theoretic and arithmetic-geometric machinery this framework provides.

Affine Space and Regular Functions

Before one can speak of varieties, one must fix the ambient space in which they live. Starting from a field k—historically the complex numbers, though many results extend to any algebraically closed field—mathematicians consider the affine n-space, denoted Aⁿ(k) or simply Aⁿ when the field is understood. A subtle but important notational choice underlies this: rather than writing kⁿ, which evokes a vector space with its linear structure, the notation Aⁿ(k) signals that one deliberately forgets the vector-space apparatus and retains only the coordinate-free geometric content. Once a coordinate system is chosen, Aⁿ(k) can be identified with kⁿ, but the emphasis remains on the geometric object rather than the algebraic one. A function from Aⁿ to the affine line A¹ is called polynomial, or regular, if it can be expressed as a polynomial in the coordinate variables with coefficients in k. Crucially, the property of being regular does not depend on which coordinate system one happens to have selected, making it a genuine geometric invariant rather than an artifact of a particular chart. This coordinate-independence is what allows the theory to speak intrinsically about the space itself.