Spec and the Zariski Topology

Core Idea

The prime spectrum Spec R of a commutative ring R, equipped with the Zariski topology and the structure sheaf O_X, is an affine scheme -- the fundamental geometric object in modern algebraic geometry. Closed sets correspond to radical ideals via V(I) = {P in Spec R : P ⊇ I}, and the distinguished open sets D(f) = {P : f not in P} form a basis. The structure sheaf assigns to each open set U the ring of "functions regular on U," with stalks O_{X,P} = R_P (the localization at P). This construction transforms commutative algebra into geometry, with ring homomorphisms becoming continuous maps and localization becoming restriction to open sets.

Explainer

The prime spectrum Spec R of a commutative ring R is the set of all prime ideals of R, equipped with the Zariski topology. The closed sets are V(I) = {P in Spec R : P ⊇ I} for ideals I of R, and V establishes an inclusion-reversing bijection between radical ideals of R and closed subsets of Spec R. The open sets D(f) = Spec R \\ V(f) = {P : f not in P} for elements f in R form a basis of the topology. The resulting topological space is generally not Hausdorff -- in fact, the closure of a point P is V(P), so a point is closed if and only if P is a maximal ideal. Non-maximal primes have non-trivial closures and serve as "generic points" of irreducible closed subsets.

The topology alone loses too much information -- many non-isomorphic rings can have homeomorphic spectra. The essential additional datum is the structure sheaf O_X, which assigns to each open set U a ring O_X(U) of "regular functions on U." On the basic open sets, O_X(D(f)) = R_f (the localization of R inverting f). The stalk at a point P is O_{X,P} = R_P, the localization at P, which is a local ring. The pair (Spec R, O_X) is a locally ringed space called an affine scheme, and the category of affine schemes is contravariantly equivalent to the category of commutative rings. This equivalence -- Grothendieck's fundamental insight -- means every theorem in commutative algebra has a geometric translation and vice versa.

Ring-theoretic properties translate into geometric properties of Spec R through this dictionary. R is a domain if and only if Spec R is irreducible (when R is reduced). R is Noetherian if and only if Spec R is a Noetherian topological space (every descending chain of closed sets stabilizes). The Krull dimension of R equals the topological dimension of Spec R (the supremum of lengths of chains of irreducible closed subsets). Localization at a prime P corresponds to passing to the local ring at P -- "zooming in" on the point P. The residue field R_P/PR_P at P is the "function field" at that point.

The Zariski topology has peculiar properties from the viewpoint of general topology -- it is almost never Hausdorff, and it is quasi-compact (every open cover has a finite subcover) by a direct argument using the fact that D(f) sets form a basis. But for algebraic geometry, these properties are features, not bugs. The non-Hausdorff nature allows generic points, which encode the function field of an irreducible variety. Quasi-compactness is the scheme-theoretic analogue of "affine varieties are determined by finitely many equations." The construction generalizes: gluing affine schemes along open subsets produces general schemes, and the entire edifice of modern algebraic geometry -- coherent sheaves, cohomology, moduli spaces -- is built on this foundation of Spec, the Zariski topology, and the structure sheaf.