Polynomial zeros became geometry's modern language
Algebraic geometry turns systems of polynomial equations into shapes—curves, surfaces, and higher varieties—then studies those shapes with commutative algebra. Twentieth-century abstraction even enlarged what counts as a "point," helping tools from number theory prove Fermat's Last Theorem.
Classically the subject studies zeros of polynomials in several variables. An algebraic variety is the geometric face of such a solution set: lines, circles, ellipses, hyperbolas, elliptic curves, lemniscates, and Cassini ovals are familiar plane examples. A plane point lies on a curve when its coordinates satisfy the polynomial. Questions range from singular and inflection points to topology and relations between different equations. Mainstream work often focuses on complex points, or more generally points over an algebraically closed field; arithmetic geometry instead works over rationals, number fields, finite fields, and p-adics.
Affine n-space over a field k forgets the vector-space baggage of kⁿ once coordinates are chosen. Regular functions are polynomial maps into the line; their ring is the coordinate ring. For a set S of polynomials, the vanishing set V(S) collects points where every member of S is zero—an algebraic set. From a subset U one builds the ideal I(U) of polynomials vanishing on U. The Zariski topology declares algebraic sets closed. Hilbert's Nullstellensatz ties I(V(S)) to the radical of the ideal generated by S, and Hilbert's basis theorem says polynomial ideals are finitely generated. Irreducible algebraic sets—those not unions of two smaller ones—are the varieties; equivalently, they arise as vanishing sets of prime ideals.
Twentieth-century work stressed intrinsic properties independent of a particular embedding in ambient space. Grothendieck's schemes extend points from maximal ideals (classical points via the Nullstellensatz) to all prime ideals, so a "point" may be an ordinary location or a whole subvariety. Sheaf methods then parallel differential and analytic geometry, and the same language bridges complex geometry with algebraic number theory. Wiles's proof of Fermat's Last Theorem is often cited as a showcase. Alongside theory, computational algebraic geometry designs algorithms for explicitly given varieties, while singularity theory zooms in on the places where varieties fail to be smooth.
Source: Algebraic geometry
