Scheme (algebraic)

Scheme (algebraic)
Name	Scheme (algebraic)
Field	Algebraic geometry
Introduced by	Alexander Grothendieck
Introduced in	1960s

Scheme (algebraic) is a central object in modern Algebraic geometry that unifies varieties, Spec-based affine objects, and arithmetic geometry frameworks such as Diophantine equation studies. Originating in the work of Alexander Grothendieck within the context of the Séminaire de Géométrie Algébrique, schemes provide a flexible language for translating geometric intuition into algebraic terms and for connecting questions in Number theory, Arithmetic geometry, and Topology.

Introduction

A scheme is a locally ringed space obtained by gluing spectra of commutative rings, generalizing classical constructs like Algebraic variety and Affine variety. The scheme formalism underpins major developments such as the proof of the Weil conjectures, the formulation of étale cohomology, and the foundations of Moduli space theory used by researchers associated with institutions like Institut des Hautes Études Scientifiques and events like the International Congress of Mathematicians.

Definitions and basic examples

The basic building block is the spectrum construction: for a commutative ring R one forms Spec R, the set of prime ideals with the Zariski topology and a structure sheaf. Standard examples include affine schemes like Spec of a polynomial ring over fields such as Fields studied by Emmy Noether and David Hilbert; projective schemes obtained via Proj of graded rings as in work related to Oscar Zariski; and spectra of Dedekind domains central to Algebraic number theory problems investigated by figures like Carl Friedrich Gauss and Ernst Kummer. Schemes also include nilpotent-thickened examples like Infinitesimal neighborhoods appearing in deformation theory developed by authors connected to Pierre Deligne and Grothendieck.

Morphisms and functorial properties

Morphisms of schemes generalize polynomial maps between varieties and correspond contravariantly to ring homomorphisms between coordinate rings, echoing dualities studied in the tradition of Emmy Noether and David Hilbert. Important classes of morphisms include open immersions, closed immersions, finite morphisms, and smooth morphisms used in the study of Étale morphisms and Smooth morphisms. Functorial perspectives, such as the functor of points, relate schemes to representable functors and moduli problems central to constructions used by researchers at Courant Institute and in projects associated with Institut des Hautes Études Scientifiques.

Local and global structure (affine schemes, sheaves, spectra)

Locally, schemes look like spectra of rings; globally, they are glued by sheaves of rings. The structure sheaf assigns to each open set a ring of functions, an idea building on notions from Sheaf theory developed by contributors like Jean Leray and Henri Cartan. Affine schemes are those isomorphic to Spec R and serve as charts in the same way that coordinate patches do in differential geometry as studied at institutions such as Princeton University and Massachusetts Institute of Technology. The spectrum encodes both topological and algebraic information, linking concepts appearing in Birational geometry and Intersection theory.

Properties and classes of schemes (separated, proper, regular, Noetherian, reduced)

Scheme-theoretic properties mirror classical geometric notions: separatedness generalizes the Hausdorff condition, properness generalizes compactness and is pivotal in results like Mordell conjecture proofs; regular and smooth conditions relate to singularity theory explored by mathematicians including John Milnor and Oscar Zariski. Noetherian schemes, built from Noetherian rings, provide finiteness conditions used in many structural theorems studied at places such as Harvard University and University of Cambridge. Reduced schemes exclude nilpotents and appear in comparisons with nonreduced infinitesimal schemes used in deformation theory by authors around Institut des Hautes Études Scientifiques.

Constructions (fiber products, base change, gluing, completion)

Schemes admit categorical constructions essential across many areas: fiber products (pullbacks) enable the formation of universal families and are used in moduli problems including those in Moduli of curves research associated with figures at European Mathematical Society conferences. Base change techniques relate arithmetic schemes over Spec of rings like Z to geometric fibers, crucial in proofs involving Frobenius endomorphism and reductions modulo primes studied in Algebraic number theory. Gluing along open immersions constructs global schemes from affines, while completions and formal schemes, as in formal geometry used by Nicholas Katz and Barry Mazur, handle local analytic or adic limits.

Cohomology and applications in algebraic geometry and number theory

Cohomological tools for schemes—sheaf cohomology, Čech cohomology, and derived functor techniques—drive major theorems: Grothendieck’s duality, the theory of perverse sheaves developed by researchers at institutions like Institut des Hautes Études Scientifiques and universities such as University of Bonn, and étale cohomology which was decisive in the proof of the Weil conjectures by Pierre Deligne. Applications include the study of rational points on curves (influencing work related to Faltings' theorem), L-functions and Galois representations central to the Langlands program, and arithmetic duality theorems invoked in Iwasawa theory and the arithmetic of schemes over Spec Z.

Category:Algebraic geometry