Algebraic Geometry: Varieties, Schemes, and Polynomial Equations
Introduction
Algebraic geometry is the study of geometric objects defined by polynomial equations. It occupies a central position in modern mathematics, drawing on and contributing to algebra, number theory, topology, and analysis. The subject’s fundamental objects are algebraic varieties — solution sets of polynomial systems — and the deeper and more general schemes that extend the variety concept.
The roots of algebraic geometry extend back to the ancient Greeks, who studied conic sections as curves defined by quadratic equations. Descartes’s introduction of coordinate geometry in the seventeenth century made the systematic study of algebraic curves possible. The nineteenth century saw explosive growth: Riemann’s work on Riemann surfaces, the Italian school of algebraic geometry, and the development of invariant theory. The modern era, beginning with Zariski, Weil, and especially Grothendieck in the mid-twentieth century, transformed the subject into its current abstract and powerful form.
Affine Varieties
An affine algebraic variety is the set of common zeros of a collection of polynomials in n variables over an algebraically closed field k. The affine space Aⁿ(k) is the set of all n-tuples of elements of k. A variety V(I) ⊆ Aⁿ is defined by an ideal I ⊆ k[x₁, …, xₙ].
The Nullstellensatz
Hilbert’s Nullstellensatz is the fundamental theorem of algebraic geometry. It relates ideals of the polynomial ring to varieties: for an algebraically closed field, I(V(J)) = √J, the radical of J. This theorem establishes the precise correspondence between algebraic sets and radical ideals.
The Zariski topology on affine space has closed sets defined by vanishing of polynomials. This topology is much coarser than the Euclidean topology but carries essential geometric information. Irreducible varieties correspond to prime ideals, connecting algebraic geometry to ring theory.
Projective Varieties
Projective space Pⁿ(k) consists of lines through the origin in A^(n+1)(k), parametrized by homogeneous coordinates [x₀ : x₁ : … : xₙ] not all zero, with scaling equivalence. Projective varieties are defined by homogeneous polynomial equations.
Advantages of Projective Geometry
Projective varieties are compact in the Zariski topology, which resolves many technical issues. Bezout’s theorem, which states that two projective curves of degrees d and e intersect in exactly d·e points counting multiplicities, holds in projective space but fails in affine space.
The relationship between affine and projective varieties is fundamental. Every affine variety can be embedded in a projective variety by adding points at infinity. The projective closure provides a natural compactification.
Schemes
Schemes, introduced by Grothendieck in the 1960s, generalize varieties by allowing non-algebraically closed fields and nilpotent elements in the coordinate ring. A scheme is a locally ringed space locally isomorphic to the spectrum of a commutative ring.
Affine Schemes
The spectrum Spec R of a commutative ring R consists of all prime ideals of R, equipped with the Zariski topology and a sheaf of rings. For polynomial rings over algebraically closed fields, the closed points of Spec correspond to classical varieties, but the scheme also includes generic points corresponding to irreducible subvarieties.
Scheme theory allows the use of algebraic methods in geometric contexts and geometric intuition in algebraic contexts. The fiber product of schemes generalizes the Cartesian product of varieties and enables base change — a crucial technique for studying how geometric objects vary with parameters.
Sheaves and Cohomology
A sheaf on a topological space assigns algebraic data to open sets in a way that allows gluing. The structure sheaf of a scheme assigns the ring of regular functions to each open set. Sheaves provide the language for describing local-to-global phenomena.
Sheaf Cohomology
Sheaf cohomology measures the obstruction to gluing local sections into global sections. The cohomology groups Hⁱ(X, F) are vector spaces (or modules) associated to a sheaf F on X. Serre’s theorems establish finiteness and vanishing of coherent sheaf cohomology on projective varieties.
The Euler characteristic of a sheaf is the alternating sum of its cohomology dimensions. The Riemann-Roch theorem computes the Euler characteristic of line bundles on curves, connecting sheaf cohomology to the genus of the curve and the degree of the bundle. This theorem generalizes to higher dimensions through the Hirzebruch-Riemann-Roch theorem and the Grothendieck-Riemann-Roch theorem.
Algebraic Curves
Algebraic curves are one-dimensional algebraic varieties. They are the most classical objects of algebraic geometry and remain the subject of active research. Every smooth projective curve is a compact Riemann surface, connecting algebraic geometry to complex analysis.
Genus and Moduli
The genus of a curve is a topological invariant that measures the number of holes in the associated Riemann surface. Genus 0 curves are rational — parametrizable by rational functions. Genus 1 curves are elliptic curves, which have a group structure and are central to number theory and cryptography. Curves of genus at least 2 are of general type.
The moduli space M_g of curves of genus g parametrizes all isomorphism classes of smooth projective curves of genus g. This space is itself an algebraic variety (more precisely, an algebraic stack) whose geometry reflects the structure of families of curves.
K-Theory and Intersection Theory
Algebraic K-theory associates groups to rings and schemes that capture deep structural information. K₀ of a scheme measures vector bundles, while higher K-groups encode more refined invariants. The Grothendieck-Riemann-Roch theorem relates K-theory to Chow groups and Chern classes.
Intersection theory studies how subvarieties intersect. The Chow ring of a smooth projective variety encodes algebraic cycles up to rational equivalence, with intersection product reflecting geometric intersection. The moving lemma ensures that cycles can be deformed to intersect properly.
Chern Classes
Chern classes are cohomological invariants of vector bundles that measure twisting. The total Chern class of a vector bundle is a fundamental invariant used throughout algebraic geometry and topology. The Hirzebruch-Riemann-Roch theorem expresses the Euler characteristic of a vector bundle in terms of Chern classes and the Todd class of the tangent bundle.
The theory of Chern classes connects algebraic geometry to topology and differential geometry. In complex differential geometry, Chern classes appear in the formulation of the Calabi conjecture and its proof by Yau.
Connections to Number Theory
Arithmetic algebraic geometry studies varieties defined over number fields and finite fields. The Weil conjectures, proved by Deligne, describe the number of points of varieties over finite fields in terms of the topology of the corresponding complex variety. These conjectures established deep connections between algebraic geometry and number theory.
Elliptic Curves and Fermat’s Last Theorem
Elliptic curves over Q are the subject of the modularity theorem, which states that every elliptic curve over Q is modular — associated to a modular form. Wiles’s proof of Fermat’s Last Theorem established the modularity theorem for semistable elliptic curves, a landmark achievement.
The Langlands program proposes sweeping generalizations of these connections between number theory, representation theory, and algebraic geometry. For more on the algebraic foundations, see abstract algebra.
Toric Varieties
Toric varieties are algebraic varieties that contain an algebraic torus as a dense open subset and admit an action of the torus extending the group operation. These varieties are completely described by combinatorial data — fans of convex rational polyhedral cones — making them an ideal testing ground for algebraic geometry.
The construction of a toric variety from a fan provides a comprehensive dictionary between combinatorial geometry and algebraic geometry. The torus-invariant divisors correspond to rays of the fan. The intersection theory of toric varieties reduces to counting lattice points in polytopes. The cohomology ring is determined by the fan combinatorics.
Applications of Toric Geometry
Toric varieties appear throughout mathematics in many different contexts. In symplectic geometry, toric varieties correspond to moment polytopes of torus actions. In integer programming, optimization problems over polytopes reduce to problems on toric varieties. In string theory, toric Calabi-Yau manifolds provide computationally tractable examples.
The mirror symmetry conjecture, one of the most active and dynamic areas of research in algebraic geometry, was first understood in the context of toric varieties. The Gross-Siebert program uses tropical geometry to study mirror symmetry through the combinatorics of toric degenerations.
What is an algebraic variety? An algebraic variety is the set of solutions to a system of polynomial equations. Affine varieties live in affine space; projective varieties live in projective space.
What is a scheme? A scheme is a generalization of an algebraic variety that allows nilpotent functions and works over arbitrary rings instead of just algebraically closed fields.
What is the Nullstellensatz? Hilbert’s Nullstellensatz establishes the fundamental correspondence between radical ideals and algebraic sets, showing that the geometry of varieties is equivalent to the algebra of radical ideals.
How is algebraic geometry used in cryptography? Elliptic curve cryptography uses the group structure of elliptic curves over finite fields. The difficulty of the discrete logarithm problem on these curves provides security.
Ring Theory Guide — Complex Analysis Guide — Abstract Algebra Guide