scheme theory

scheme theory
Name	Scheme theory
Field	Algebraic geometry
Introduced	1960s
Key figures	Alexander Grothendieck, Jean-Pierre Serre, Oscar Zariski, André Weil, David Mumford

scheme theory

Scheme theory is the foundational framework of modern Algebraic Geometry developed to generalize classical Algebraic Varietys and to unify arithmetic and geometric methods. Initiated in the 1960s by Alexander Grothendieck within the context of the Séminaire de Géométrie Algébrique, it extended ideas from Oscar Zariski's topology, André Weil's foundations, and Jean-Pierre Serre's coherent cohomology to provide a flexible language connecting Number Theory, Complex Geometry, and Representation Theory. Scheme-theoretic methods underlie major results such as the proof of the Weil Conjectures and developments around the Modularity Theorem and Langlands Program.

Introduction

Scheme theory replaces classical coordinate rings with locally ringed spaces defined from prime ideals and gluing techniques pioneered in the work of Oscar Zariski, formalized by Alexander Grothendieck and collaborators including Jean-Louis Verdier and Pierre Deligne. The notion of a scheme simultaneously generalizes affine schemes built from Commutative Rings, projective schemes related to Homogeneous Coordinate Rings, and arithmetic schemes like Spec Z which link geometric intuition to Prime Number arithmetic and Galois Theory. The machinery of schemes enabled breakthroughs by Grothendieck such as the development of Étalé Cohomology, contributions to the proof of the Weil Conjectures by Pierre Deligne, and structural advances used in Arithmetic Geometry and the proof of Fermat's Last Theorem by Andrew Wiles.

Basic Definitions and Examples

A scheme is a locally ringed space obtained by gluing affine schemes of the form Spec R for a Commutative Ring R; affine examples include Spec Z, Spec k[x], and spectra of Discrete Valuation Rings. Classical projective varieties embed into projective schemes constructed via Proj of a graded ring, relating to constructions in the work of David Mumford and applications in Moduli Problems such as the Moduli of Curves studied by Deligne–Mumford. Other examples include formal schemes appearing in p-adic Hodge Theory developed by Jean-Marc Fontaine and rigid analytic spaces linked to John Tate; schemes also encode Elliptic Curves used in Cryptography and Diophantine Geometry.

Morphisms and Fibered Products

Morphisms of schemes generalize homomorphisms of rings and maps of varieties and include important classes like closed immersions, open immersions, finite morphisms, and flat morphisms studied in the work of Grothendieck and Alexander Grothendieck's school. The category of schemes admits fibered products (pullbacks), enabling base change techniques essential to the study of families such as elliptic surfaces appearing in Shioda–Tate theory and degenerations considered by Kazuya Kato and Masaki Kashiwara. Properties of morphisms are central in formulations of the Riemann–Roch Theorem for schemes developed with contributions from Grothendieck, Friedrich Hirzebruch, and Jean-Pierre Serre and are crucial in descent theory used by Pierre Deligne and Jacob Lurie in higher categorical generalizations.

Properties and Local Structure

Local properties of schemes such as irreducibility, reducedness, normality, regularity, and Cohen–Macaulay conditions connect to classical results by Oscar Zariski and modern criteria like Serre's conditions (S_n and R_n) used by Jean-Pierre Serre; singularity theory for schemes involves concepts studied by Shigeru Mukai and Heisuke Hironaka's resolution of singularities for varieties over fields of characteristic zero. The notion of tangent spaces and smoothness relates to the infinitesimal methods of Grothendieck and to deformation theory developed further by Michael Artin and Barry Mazur, while properness and separatedness generalize compactness and Hausdorff properties familiar from Topology and were formalized in the milieu of the Éléments de Géométrie Algébrique.

Cohomology and Sheaves on Schemes

Cohomology theories for schemes, notably coherent cohomology and Étale Cohomology, were developed by Jean-Pierre Serre, Alexander Grothendieck, and Pierre Deligne to study global properties and arithmetic phenomena; coherent duality and the formalism of derived functors link to the development of Derived Categorys by Grothendieck and Alexander Beilinson. Sheaf-theoretic tools such as quasi-coherent sheaves, locally free sheaves, and line bundles underpin the study of divisors and intersection theory advanced by William Fulton and Jean-Pierre Serre, while cohomological vanishing theorems like Kodaira-type results have analogues in the scheme-theoretic setting used in the work of Oscar Zariski and David Mumford for projective schemes.

Special Classes of Schemes

Important classes include Noetherian schemes that incorporate classical varieties studied by Igor Shafarevich and Enrico Bombieri, Dedekind schemes such as spectra of rings of integers in number fields central to algebraic number theory by Richard Dedekind and Emil Artin, and arithmetic schemes like Spec Z central to Class Field Theory and Iwasawa Theory. Other special types are smooth projective schemes used in the proof of the Weil Conjectures by Pierre Deligne, moduli schemes and stacks developed by Deligne–Mumford and Michael Artin, and schemes with additional structure such as group schemes studied by Michel Demazure and Alexander Grothendieck for applications to Abelian Variety theory and Shimura Variety research by Goro Shimura and Yoshida.

Applications and Connections to Other Areas

Scheme theory connects deeply to Number Theory via arithmetic schemes and Galois representations central to the Langlands Program and to results like the Modularity Theorem proved by Andrew Wiles and Richard Taylor. In mathematical physics, schemes and derived enhancements inform aspects of Mirror Symmetry and string-theoretic moduli problems involving contributions from Maxim Kontsevich and Edward Witten. Schemes underpin modern treatments of Representation Theory through geometric representation theory as in the work of George Lusztig and Joseph Bernstein, influence Algebraic Topology via motivic homotopy theory developed by Fabien Morel and Vladimir Voevodsky, and provide the language for computational approaches in Computer Algebra systems used by researchers in Cryptography and computational arithmetic geometry.

Category:Algebraic geometry