Affine scheme

Affine scheme
Name	Affine scheme
Field	Algebraic geometry
Introduced	1960s
Creators	Alexander Grothendieck, Jean-Pierre Serre

Affine scheme

An affine scheme is a foundational object in modern algebraic geometry introduced by Alexander Grothendieck and developed in the context of the Séminaire de Géométrie Algébrique and EGA. It provides a bridge between commutative algebra and geometric intuition by associating a topological space equipped with a sheaf to a commutative ring, thereby connecting constructions related to Pierre Deligne, Jean-Pierre Serre, David Mumford, Grothendieck and institutions such as the Institut des Hautes Études Scientifiques and the École Normale Supérieure. Affine schemes underpin many advances made at centers like the Courant Institute, Harvard University Department of Mathematics, Princeton University Department of Mathematics, and research by scholars including Michael Artin, Barry Mazur, Nicholas Katz, and Jean-Louis Verdier.

Definition

An affine scheme is the spectrum construction Spec of a commutative ring with unit: given a ring R one forms the topological space Spec R of prime ideals and equips it with the structure sheaf O_{Spec R} to obtain an object of the category of schemes articulated in the work of Alexander Grothendieck and formalized in Éléments de géométrie algébrique (EGA). The definition relies on the interplay between foundational results by Emmy Noether on ideals, David Hilbert's Nullstellensatz in the guise used by Oscar Zariski, and categorical formulations influenced by Saunders Mac Lane and Samuel Eilenberg at institutions such as Columbia University and Massachusetts Institute of Technology. In practice, Spec R represents the contravariant functor Hom_Ring(R, -) central to representability discussions by researchers like Grothendieck and Michael Artin.

Examples

Classical examples include affine n-space Spec k[x_1,...,x_n] over a field k, a construction used by André Weil, Emil Artin, and Oscar Zariski in the study of varieties. The prime spectrum of the integers Spec Z, studied by Bernhard Riemann's successors and in the context of Algebraic number theory by Richard Dedekind and Emil Artin, is a basic arithmetic example. Other examples arise from coordinate rings of affine curves considered by Alexander Grothendieck's contemporaries such as Jean-Pierre Serre and David Mumford, as well as local spectra like Spec R_m for a maximal ideal m used in the work of Oscar Zariski and Heisuke Hironaka. Affine schemes occur in constructions by Pierre Deligne and Gerhard Hochschild and are central to moduli problems treated by Nicholas Katz, Barry Mazur, and groups at Institute for Advanced Study.

Structure Sheaf and Coordinate Ring

The structure sheaf O_{Spec R} assigns to each distinguished open D(f) the localization R_f; this localization technique is rooted in commutative algebra advanced by Emmy Noether, David Hilbert, and later formalized in texts by Jean-Pierre Serre and Hermann Weyl. The coordinate ring R of an affine scheme recovers global functions via Γ(Spec R, O_{Spec R}) ≅ R, a fact exploited in cohomological vanishing theorems by Jean-Pierre Serre and in duality theories pursued by Alexander Grothendieck and Robin Hartshorne at institutions like Harvard University and University of Cambridge. The glue between the topology and algebra uses distinguished opens D(f) and localization maps central to techniques developed by Masayoshi Nagata and Heisuke Hironaka.

Morphisms and Functoriality

Morphisms between affine schemes correspond contravariantly to ring homomorphisms: a map Spec S → Spec R is equivalent to a ring map R → S. This adjunction underlies representability criteria and Yoneda-style perspectives emphasized by Grothendieck and Saunders Mac Lane. Functorial behavior of Spec appears in descent theory treated by Jean-Pierre Serre, Alexander Grothendieck, and Grothendieck's school in SGA seminars, and in deformation theory influenced by Michael Artin and Pierre Deligne. Morphisms factor through immersions, finite morphisms, and flat maps; these classes were systematized by Oscar Zariski and refined by Heisuke Hironaka, Gerhard Hochschild, and Robin Hartshorne.

Properties and Characterizations

Affine schemes are characterized by Serre's criterion for affineness, cohomology vanishing results, and equivalences between quasi-coherent sheaves and modules over the coordinate ring—a correspondence developed by Jean-Pierre Serre and expanded in EGA and SGA by Grothendieck and collaborators including Pierre Deligne and Jean-Louis Verdier. Affine schemes are stable under fiber products and base change, properties studied by Alexander Grothendieck and used in work by Nicholas Katz and Barry Mazur on arithmetic geometry. Notions like reducedness, irreducibility, integrality, and normality for affine schemes echo classical algebraic geometry as in the works of David Mumford, Oscar Zariski, and Masayoshi Nagata and interact with resolution techniques pioneered by Heisuke Hironaka.

Applications and Connections to Algebraic Geometry

Affine schemes form the local building blocks of general schemes, a viewpoint that influenced the development of modern moduli theory by Michael Artin and Pierre Deligne and arithmetic geometry pursued by Andrew Wiles, Richard Taylor, and Jean-Pierre Serre. They are essential in the formulation of intersection theory developed by William Fulton and in the study of sheaf cohomology central to Grothendieck's duality and Alexander Grothendieck's program linking schemes to motives pursued by Pierre Deligne and Alexander Beilinson. Applications extend to the proof of Fermat's Last Theorem via modular curves studied by Andrew Wiles and to the theory of schemes over Spec Z used in Algebraic number theory by Richard Dedekind and Emil Artin. Affine schemes also serve as testing grounds in deformation theory researched by Michael Artin and in computational approaches influenced by Bernd Sturmfels and David Eisenbud.

Category:Algebraic geometry