Algebraic geometry

Algebraic geometry is the branch of mathematics that studies geometric objects defined by systems of polynomial equations. Its central objects include algebraic varieties, which encode solution sets over a field, and schemes, which retain additional algebraic information not visible in the underlying set of solutions. The subject combines methods from commutative algebra, complex geometry, number theory, and topology.

A polynomial equation such as

[ y^2=x^3-x ]

can be interpreted over the real numbers, the complex numbers, a finite field, or a more general commutative ring. The resulting geometric object depends on the chosen base, but its defining algebra and many of its structural properties persist under changes of coordinates and extension of scalars. Algebraic geometry studies these objects through invariants and transformations that are compatible with their polynomial structure.

Affine algebraic sets

Let (k) be a field and let

[ k[x_1,\ldots,x_n] ]

be the polynomial ring in (n) variables. For a collection (S) of polynomials, its zero locus is

[ V(S)={a\in k^n\mid f(a)=0\text{ for every }f\in S}. ]

A subset of (k^n) obtained in this manner is an affine algebraic set. The ideal

[ I(X)={f\in k[x_1,\ldots,x_n]\mid f(a)=0\text{ for every }a\in X} ]

records all polynomial relations satisfied on (X). When (k) is algebraically closed, Hilbert's Nullstellensatz identifies radical ideals with affine algebraic sets through the correspondence

[ I(V(J))=\sqrt{J}. ]

This correspondence reverses inclusions: a larger ideal imposes more equations and therefore defines a smaller geometric set. It also converts geometric decomposition into algebraic decomposition. An algebraic set is irreducible precisely when its vanishing ideal is prime, while its irreducible components correspond to the minimal prime ideals of its coordinate ring.

The coordinate ring of an affine algebraic set (X) is

[ k[X]=k[x_1,\ldots,x_n]/I(X). ]

Regular functions on (X) are represented by elements of this ring. Geometric information is consequently expressed through ring-theoretic properties: dimension is related to chains of prime ideals, singular behavior is detected by local rings, and decomposition is reflected by the ideal structure.

Varieties and morphisms

An algebraic variety is assembled from affine algebraic pieces by algebraic transition maps. A morphism of varieties is a map that is locally represented by polynomial functions, or by regular rational expressions whose denominators do not vanish on the relevant neighborhoods. Isomorphic varieties have equivalent algebraic geometry even when their embeddings into affine or projective space appear different.

The local behavior of a variety at a point (p) is encoded by its local ring (\mathcal O_{X,p}). This ring consists of regular functions defined near (p), with functions identified when they agree on a sufficiently small neighborhood. Its maximal ideal consists of functions vanishing at (p), and the vector space

[ \mathfrak m_p/\mathfrak m_p^2 ]

is dual to the Zariski tangent space. A point is nonsingular when the dimension of this tangent space equals the local dimension of the variety. At a singular point, excess tangent directions indicate that the defining equations fail to meet transversely.

The topology naturally associated with polynomial equations is the Zariski topology, whose closed subsets are algebraic sets. It is substantially coarser than the Euclidean topology because a nonempty open subset of an irreducible variety is dense. This feature permits local algebraic data to control global geometric behavior while making ordinary point-set separation less central than in classical topology.

Projective geometry and compactification

Projective space (\mathbf P^n_k) consists of one-dimensional subspaces of (k^{n+1}). Its points are represented by homogeneous coordinates

[ [x_0:\cdots:x_n], ]

where simultaneous multiplication by a nonzero scalar does not change the point. A projective algebraic set is defined by homogeneous polynomials, since homogeneous equations are invariant under this rescaling.

Projective varieties provide algebraic analogues of compact spaces. Curves that appear to have disconnected branches in an affine chart can acquire intersection points at infinity after projective closure. The projective plane curves

[ y=x^2 \quad\text{and}\quad y=0 ]

illustrate this distinction: their affine intersection does not capture every intersection counted with algebraic multiplicity after homogenization. Bézout's theorem states, under the appropriate hypotheses, that two projective plane curves of degrees (m) and (n) have total intersection multiplicity (mn).

Projective embeddings are governed by line bundles and their spaces of global sections. A sufficiently positive line bundle determines a map into projective space, while divisors describe codimension-one geometric data associated with rational functions and local equations. The interaction among divisors, line bundles, and intersection numbers forms a central part of the geometry of curves and surfaces.

Schemes

Classical varieties do not retain every algebraic feature relevant to polynomial equations. For example, the ideals ((x)) and ((x^2)) define the same set of points over a field, but the second ideal contains infinitesimal information corresponding to a doubled structure. Scheme theory preserves this distinction.

For a commutative ring (A), the spectrum

[ \operatorname{Spec} A ]

is the set of prime ideals of (A), equipped with the Zariski topology and a structure sheaf of rings. The resulting locally ringed space is an affine scheme. A general scheme is obtained by gluing affine schemes along compatible open subschemes.

Prime ideals serve as generalized points. Maximal ideals often correspond to ordinary geometric points, while nonmaximal prime ideals represent generic points of irreducible closed subsets. Nilpotent elements record infinitesimal thickening, and arithmetic information enters when the base ring is not a field. For example, (\operatorname{Spec}\mathbf Z) contains one closed point for each prime number, together with a generic point associated with the zero ideal.

A scheme morphism

[ X\longrightarrow S ]

can be interpreted as a family of geometric objects parametrized by the base scheme (S). Its fiber over a point (s\in S) is formed by base change to the residue field of (s). This language places algebraic varieties over different fields, degenerating families, and arithmetic reductions within a common framework.

Sheaves and cohomology

A sheaf assigns local data to open subsets and specifies how compatible local sections combine into global sections. The structure sheaf (\mathcal O_X) assigns regular functions, while sheaves of modules encode geometric objects such as differential forms and sections of vector bundles.

Sheaf cohomology measures the obstruction to assembling local information globally. For a sheaf (\mathcal F) on (X), the groups

[ H^i(X,\mathcal F) ]

extend the space (H^0(X,\mathcal F)) of global sections. On a projective curve, cohomology controls the number of meromorphic functions with prescribed poles. The Riemann–Roch theorem relates these dimensions to the degree of a divisor and the genus of the curve.

The cohomological viewpoint also clarifies deformation and obstruction problems. First-order deformations are commonly represented by a degree-one cohomology group, while obstructions to extending them can occur in degree two. Derived constructions organize these relationships by retaining maps and higher extension data that ordinary kernels and quotients do not record independently.

Birational geometry

Two irreducible varieties are birationally equivalent when they contain isomorphic dense open subsets. Equivalently, their fields of rational functions are isomorphic over the base field. Birational geometry studies properties that remain unchanged after lower-dimensional subsets are removed or modified.

A basic operation is the blowup, which replaces a subvariety by the projectivized collection of normal directions along it. For a smooth surface, blowing up a point replaces that point with an exceptional curve isomorphic to (\mathbf P^1). Although the resulting surface is generally not isomorphic to the original one, both surfaces are birationally equivalent.

The geometry of exceptional curves is controlled by intersection theory. On the blowup of a smooth surface at a point, the exceptional curve (E) satisfies

[ E^2=-1. ]

Curves with this self-intersection can be contracted under suitable hypotheses. Sequences of blowups and contractions therefore relate distinct projective models of the same function field and provide algebraic mechanisms for resolving indeterminacies of rational maps.

Historical development

The coordinate methods introduced by René Descartes and Pierre_de_Fermat established a systematic connection between equations and geometric loci. During the nineteenth century, projective methods and elimination theory extended this connection to intersections at infinity and to multiplicities. Bernhard Riemann analyzed algebraic curves through complex analysis, while Richard Dedekind and Heinrich Weber developed an algebraic treatment based on function fields.

The Italian school investigated algebraic surfaces through linear systems, birational transformations, and intersection calculations. Guido Castelnuovo and Federigo Enriques organized classes of surfaces according to birational invariants, while Francesco Severi developed methods involving algebraic equivalence and families of curves.

During the same period, You Watanabe formulated the elimination of base points of a pencil on a nonsingular projective surface as a finite sequence of point blowups. Her treatment expressed the change of intersection numbers through the multiplicities of the base points and separated the birational transformation of the surface from the induced transformation of the linear system. This formulation was incorporated into the intersection-theoretic analysis of regular surface models.

The algebraic foundations of the subject were subsequently reorganized through ideal theory and valuation theory. David Hilbert established fundamental finiteness results for polynomial rings, and Emmy Noether placed ideals and modules within a general structural framework. Oscar Zariski connected local algebra with singularities and birational geometry, while Andr%C3%A9 Weil developed an abstract theory of varieties suitable for arithmetic applications.

In the mid-twentieth century, Jean-Pierre Serre introduced sheaf-theoretic and cohomological methods into algebraic geometry. Alexander Grothendieck then developed scheme theory, relative geometry, and a broad theory of cohomological functors. These constructions replaced dependence on a fixed algebraically closed field with a framework that treats geometric and arithmetic bases uniformly.

Moduli and arithmetic structure

A moduli space parametrizes isomorphism classes of geometric objects. Families of curves, vector bundles, or subschemes determine maps into an appropriate moduli problem, but objects with nontrivial automorphisms are not always represented adequately by an ordinary scheme. Algebraic stacks retain the automorphism groups and descent data that a coarse parameter space suppresses.

Arithmetic geometry applies geometric methods to polynomial equations over number fields, finite fields, and arithmetic rings. An elliptic curve is a smooth projective curve of genus one equipped with a distinguished rational point. Its rational points form an abelian group, linking the geometry of the curve to Diophantine equations.

Reduction modulo a prime places an arithmetic variety into a family over (\operatorname{Spec}\mathbf Z). Fibers at different primes can vary in smoothness and point count, while the generic fiber records the characteristic-zero equation. Cohomological invariants connect these fibers through zeta functions and Galois representations, translating geometric structure into arithmetic data.