Schemes — Mathematics Knowledge System

Overview

Schemes are the central objects of modern algebraic geometry, introduced by Grothendieck in the late 1950s to provide a unified framework for studying algebraic varieties over arbitrary fields and rings — not just algebraically closed fields. A scheme is a locally ringed space locally isomorphic to the spectrum of a commutative ring. This generality allows techniques from number theory and commutative algebra to be applied geometrically, and underlies the proof of the Weil conjectures, the Langlands program, and modern arithmetic geometry.

Intuition

An affine variety over C is determined by its coordinate ring — the ring of regular functions. A scheme generalizes this: any commutative ring R gives a geometric space Spec(R), whose points are prime ideals of R. The topology (Zariski topology) and a structure sheaf (assigning rings of fractions to open sets) make Spec(R) a locally ringed space. General schemes are obtained by gluing affine pieces, exactly as manifolds are obtained by gluing coordinate patches.

Formal Definition

Definition

Let R be a commutative ring. The spectrum Spec(R) is the set of prime ideals of R, equipped with the Zariski topology (closed sets are V(I) = {p : I \subseteq p} for ideals I \subseteq R) and the structure sheaf O_{Spec(R)} (assigning to D(f) = Spec(R) \ V(f) the localization R[f^{-1}]). A scheme is a locally ringed space (X, O_X) that is locally isomorphic to some Spec(R).

\mathrm{Spec}(R) = \{\mathfrak{p} \subseteq R : \mathfrak{p} \text{ prime}\}

The spectrum: set of prime ideals of R

spectrum

V(I) = \{\mathfrak{p} \in \mathrm{Spec}(R) : I \subseteq \mathfrak{p}\} \quad (\text{Zariski closed sets})

Zariski closed sets: vanishing loci of ideals

zariski-closed

\mathcal{O}_{\mathrm{Spec}(R)}(D(f)) = R[f^{-1}] \quad (D(f) = \mathrm{Spec}(R) \setminus V(f))

Structure sheaf: regular functions on the basic open D(f) are the localization

structure-sheaf

\mathcal{O}_{X,x} = \varinjlim_{U \ni x} \mathcal{O}_X(U) \cong R_{\mathfrak{p}} \quad (\text{for } x = \mathfrak{p} \in \mathrm{Spec}(R))

Stalk at a point x = p is the localization R_p (a local ring)

local-ring

Notation

Notation	Meaning
$\mathrm{Spec}(R)$	Affine scheme associated to ring R
$\mathcal{O}_X$	Structure sheaf of scheme X
$\mathcal{O}_{X,x}$	Local ring (stalk) at point x
$\mathfrak{m}_x$	Maximal ideal of the local ring at x
$\kappa(x) = \mathcal{O}_{X,x}/\mathfrak{m}_x$	Residue field at point x
$X \times_S Y$	Fiber product of schemes over a base scheme S
$\Gamma(X, \mathcal{F})$	Global sections of a sheaf F on X

Properties

Reduced scheme

A scheme X is reduced if every local ring \mathcal{O}_{X,x} has no nilpotents. Equivalently, the structure sheaf has no nilpotent sections.

Condition: Reduced schemes correspond to classical varieties (no 'fuzzy' structure).

Integral scheme

A scheme X is integral if it is both reduced and irreducible (nonempty and not a union of two proper closed subschemes). Affine integral schemes correspond to integral domains.

Fiber product

The category of schemes has all fiber products: for morphisms f: X \to S and g: Y \to S, the fiber product X \times_S Y exists as a scheme and represents the functor T \mapsto X(T) \times_{S(T)} Y(T).

Theorems

Theorem 1: Equivalence: Affine Schemes and Commutative Rings

The functor R \mapsto \mathrm{Spec}(R) gives a contravariant equivalence of categories between the category of commutative rings and the category of affine schemes: \mathrm{AffSch} \simeq \mathrm{CRing}^{\mathrm{op}}.

Theorem 2: Chevalley's Theorem on Constructible Sets

If f: X \to Y is a morphism of finite type between Noetherian schemes, then the image of any constructible subset of X is constructible in Y.

Theorem 3: Cohomology and Base Change

For a proper flat morphism f: X \to S of Noetherian schemes and a coherent sheaf F on X, the formation of derived direct images Rf_*(F) commutes with base change: for any g: T \to S, g^* Rf_*(F) \cong Rf'_*(g'^* F).

Worked Examples

The prime ideals of Z are: the zero ideal (0) (corresponding to the generic point) and the ideals (p) for each prime p (corresponding to the closed points).
$\mathrm{Spec}(\mathbb{Z}) = \{(0), (2), (3), (5), (7), \ldots\}$
The generic point (0) is the unique point whose closure is all of Spec(Z). Each closed point (p) has residue field Z/(p) = F_p.
$\kappa((p)) = \mathbb{Z}/(p) = \mathbb{F}_p, \quad \kappa((0)) = \mathbb{Q}$
The Zariski topology: closed sets are finite sets of closed points (plus possibly the generic point). Spec(Z) is irreducible (the generic point is dense), so it is an integral scheme — the 'arithmetic line' that unifes geometry over all primes simultaneously.
A morphism Spec(F_p) -> Spec(Z) corresponds to the ring map Z -> F_p (reducing mod p). A scheme over Spec(Z) is an arithmetic scheme, simultaneously encoding geometry over Q (via the generic fiber) and over each F_p (via the special fibers).

Answer: Spec(Z) has one point (p) for each prime p (closed, residue field F_p) and one generic point (0) (residue field Q). It is the 'arithmetic line': the base of arithmetic geometry, with every number field scheme living over it.

Practice Problems

Difficulty 9/10

What is the functor of points of a scheme X, and why is it useful for defining schemes over a base?

Difficulty 10/10

Prove that the category of quasi-coherent sheaves on Spec(R) is equivalent to the category of R-modules.

Difficulty 9/10

Describe the fiber product Spec(A) x_{Spec(R)} Spec(B) and relate it to tensor products.

Common Mistakes

Common Mistake

Thinking that points of a scheme are the same as classical points of a variety.

The points of Spec(R) are all prime ideals, including the generic point (0) (for an integral domain). Classical points correspond only to maximal ideals. Non-maximal primes are 'generic points' of subvarieties — a feature unique to scheme theory that enables specialization arguments.

Common Mistake

Forgetting that the structure sheaf is part of the data of a scheme, not just a topological space.

A scheme is a locally ringed space (X, O_X), not just X. Two schemes can have the same underlying topological space but different structure sheaves (e.g., Spec(k[x]/(x^2)) has the same underlying space as Spec(k) but a different structure sheaf capturing nilpotent structure).

Historical Background

Classical algebraic geometry (Weil, Zariski, van der Waerden) studied varieties over algebraically closed fields. Serre's FAC (1955) introduced sheaves into algebraic geometry. Grothendieck's EGA (Éléments de Géométrie Algébrique, 1960-1967, with Dieudonné) systematically developed scheme theory, enabling algebraic geometry over arbitrary rings. This framework was essential for Deligne's proof of the Weil conjectures (1974) and for Faltings' proof of the Mordell conjecture (1983).

1955
Serre's FAC introduces coherent sheaves on algebraic varieties
Jean-Pierre Serre
1957
Grothendieck defines schemes and the functor of points
Alexander Grothendieck
1960
EGA begins systematic development of scheme theory
Alexander Grothendieck, Jean Dieudonné
1974
Deligne proves the Weil conjectures using étale cohomology of schemes
Pierre Deligne

Summary

A scheme is a locally ringed space locally isomorphic to Spec(R) for a commutative ring R; schemes generalize algebraic varieties to arbitrary rings.
Spec(R) has as points the prime ideals of R, with the Zariski topology (closed sets = vanishing of ideals) and structure sheaf (sections = localizations).
The functor R |-> Spec(R) gives a contravariant equivalence between commutative rings and affine schemes.
Fiber products X x_S Y always exist in the category of schemes, corresponding to tensor products for affine schemes.
Scheme theory enables arithmetic geometry: number-theoretic problems over Z or Z_p are geometric problems over Spec(Z) or Spec(Z_p).

References

BookHartshorne, R. Algebraic Geometry. Springer-Verlag, 1977.
BookGrothendieck, A. & Dieudonné, J. Éléments de Géométrie Algébrique (EGA). IHES, 1960-1967.
BookVakil, R. The Rising Sea: Foundations of Algebraic Geometry. 2023. Available at math.stanford.edu/~vakil/.