Spec (ring)

Spec (ring)
Name	Spec (ring)
Type	Scheme
Field	Algebraic geometry

Spec (ring) is the prime spectrum construction that associates to a commutative ring with unity a topological space of prime ideals together with a canonical structure sheaf, yielding an affine scheme. The construction is foundational in the work of Alexander Grothendieck, underpins the bridge between commutative algebra and Algebraic Geometry, and appears in the formalism of the Zariski topology, the theory of schemes, and the study of morphisms between affine objects.

Definition and Basic Properties

For a commutative ring R, one defines the set Spec(R) as the set of all prime ideals of R. The underlying topological space is equipped with the Zariski topology: closed sets are V(I) = { p ∈ Spec(R) | I ⊆ p } for ideals I of R. This construction is functorial in that a ring homomorphism φ: R → S induces a continuous map Spec(φ): Spec(S) → Spec(R) sending q ↦ φ^{-1}(q), reflecting classical correspondences such as those appearing in the Nullstellensatz and the duality between affine varieties and coordinate rings studied by David Hilbert and Emmy Noether. Basic properties include that Spec(R) is quasi-compact, points correspond to prime ideals, and distinguished open subsets D(f) = { p | f ∉ p } form a basis; these opens link to localizations R_f and to constructions used by Jean-Pierre Serre and Grothendieck.

Examples and Computations

Classical examples illuminate behavior: for a field k, Spec(k) is a single point corresponding to the zero ideal; this example relates to work by Évariste Galois via residue fields. For the ring of integers Z, Spec(Z) contains the generic point (0) and closed points (p) for each prime number p, reflecting arithmetic phenomena studied by Carl Friedrich Gauss and Bernhard Riemann in number theory. Polynomial rings k[x] give Spec(k[x]) identified with the affine line A^1_k, connecting to André Weil and the development of algebraic curves by Alexander Grothendieck and Jean-Pierre Serre. More intricate computations include Spec(k[x,y]) with irreducible subvarieties, Spec(R/I) for quotient rings, and behavior under finite product R × S yielding Spec(R × S) ≅ Spec(R) ⊔ Spec(S), a disjoint union phenomenon used in constructions by Oscar Zariski and Pierre Samuel.

Topology and Structure Sheaf

The space Spec(R) carries the structure sheaf O_Spec(R) defined by O_Spec(R)(D(f)) = R_f, the localization at powers of f. Stalks at a point p are the localizations R_p, local rings central to the study of singularities and regularity conditions investigated by Heisuke Hironaka and David Mumford. The scheme (Spec(R), O_Spec(R)) is an affine scheme and represents the functor Hom_Rings(R, -) in the category of schemes, a representability fact fundamental to the topos-theoretic perspectives of Grothendieck and the categorical treatments by Saunders Mac Lane and Samuel Eilenberg. The structure sheaf makes Spec(R) into a locally ringed space, and conditions like reducedness, integrality, and Noetherian property of R translate into corresponding geometric properties of Spec(R) studied by Oscar Zariski and Masayoshi Nagata.

Morphisms and Functoriality

A ring homomorphism φ: R → S induces a morphism of schemes Spec(S) → Spec(R) which is continuous and compatible with structure sheaves, giving contravariance between Rings and AffineSchemes. Properties of φ reflect geometric features: integral extensions correspond to surjective maps on spectra with specializations studied in texts by Jean-Pierre Serre; flat maps correspond to open mapping behavior in families examined by Alexander Grothendieck; étale morphisms relate to smoothness and covering spaces in the work of Grothendieck and Jean Giraud. Base change, fiber products, and adjunctions manifest on spectra: Spec commutes with finite limits leading to product decompositions connected to results of Alexander Grothendieck and categorical foundations by Mac Lane.

Prime Ideals and Special Points

Points of Spec(R) correspond to prime ideals; maximal ideals give closed points when R is Jacobson, a condition explored by Max Noether and Emmy Noether. The generic point corresponds to the zero ideal in an integral domain and encodes the function field, a perspective central to birational geometry developed by Federigo Enriques and Oscar Zariski. Specializations and generalizations in the topological sense correspond to ideal inclusion chains, a combinatorial structure that plays a role in valuation theory by Alexander Ostrowski and in decomposition theorems by Krull. The spectrum also hosts important loci: the nilradical corresponds to the intersection of all primes, and prime spectra stratify schemes via associated primes, minimal primes, and embedded primes studied in depth by Miles Reid and Melvin Hochster.

Applications and Connections to Algebraic Geometry

Spec(R) provides the local-to-global paradigm for schemes, serving as building blocks for general schemes via gluing affine spectra, an approach pioneered by Grothendieck and synthesized in the EGA and SGA seminars with collaborators such as Jean-Pierre Serre and Michael Artin. It underlies constructions in arithmetic geometry such as arithmetic schemes like Spec(Z), moduli problems approached through representable functors by David Mumford and Pierre Deligne, and cohomological theories like étale cohomology developed by Grothendieck and Jean-Louis Verdier. Connections extend to deformation theory by Alexander Grothendieck and Pierre Deligne, intersection theory by William Fulton, and to modern developments in derived algebraic geometry by Jacob Lurie and Bertrand Toën that generalize the affine spectrum to structured ring spectra and simplicial rings.

Category:Algebraic geometry