Schemes — Spec, Proj, and Morphisms — Mathematics

⚡ Key Takeaways

Schemes are locally ringed spaces locally isomorphic to the spectrum $\operatorname{Spec} A$ of a commutative ring. The affine spectrum $\operatorname{Spec}$ and the homogeneous spectrum $\operatorname{Proj}$ produce the local affine and projective models; morphisms of schemes are morphisms of locally ringed spaces, glued from ring homomorphisms. Applies to: algebraic geometry, arithmetic geometry, deformation theory, moduli problems. Who/when: Alexander Grothendieck and the Paris school, Éléments de géométrie algébrique (1960–1967), building on Serre's FAC (1955).

💡 The Core Insight

Geometry should be reconstructed from its ring of functions. For an affine variety the coordinate ring determines everything; Grothendieck's leap is to take any commutative ring $A$ , declare its prime ideals to be points, and recover functions by localization. The value of a "function" $f \in A$ at a point $\mathfrak{p}$ is its image in the residue field $\kappa(\mathfrak{p})$ , so functions can vanish, be nilpotent, or have different residue fields at different points. Gluing $\operatorname{Spec}$ 's along open sets gives schemes; a morphism is then completely determined by, and dual to, ring maps — geometry and algebra become two views of one category.

DefinitionThe Prime Spectrum as a Space

Let $A$ be a commutative ring with $1$ . The prime spectrum $\operatorname{Spec} A$ is the set of prime ideals $\mathfrak{p} \subsetneq A$ . For an ideal $I \subseteq A$ define the vanishing locus

1

\quad V(I) = \{\,\mathfrak{p} \in \operatorname{Spec} A : I \subseteq \mathfrak{p}\,\}.

Derivation hint: a prime $\mathfrak{p}$ "lies on" $V(I)$ iff every element of $I$ maps to $0$ in $\kappa(\mathfrak{p})$ , i.e. $I \subseteq \mathfrak{p}$ ; check $V(I)\cup V(J)=V(IJ)$ and $\bigcap_\alpha V(I_\alpha)=V(\sum_\alpha I_\alpha)$ . The sets $V(I)$ are the closed sets of the Zariski topology. A basis of opens is given by the distinguished opens $D(f) = \operatorname{Spec} A \setminus V(f) = \{\mathfrak{p}: f \notin \mathfrak{p}\}$ for $f \in A$ .

DefinitionThe Structure Sheaf

The structure sheaf $\mathcal{O}_X$ on $X = \operatorname{Spec} A$ is the unique sheaf of rings with

2

\quad \mathcal{O}_X(D(f)) = A_f = A[f^{-1}], \qquad \mathcal{O}_{X,\mathfrak{p}} = A_\mathfrak{p}.

Derivation hint: define $\mathcal{O}_X(U)$ for general open $U$ as compatible families of fractions $s:U\to\coprod_\mathfrak{p} A_\mathfrak{p}$ locally of the form $a/g$ ; verify the sheaf axioms and that on $D(f)$ this recovers $A_f$ via the localization–covering correspondence. The pair $(X,\mathcal{O}_X)$ is a locally ringed space because each stalk $A_\mathfrak{p}$ is local with maximal ideal $\mathfrak{p}A_\mathfrak{p}$ . The residue field at $\mathfrak{p}$ is

3

\quad \kappa(\mathfrak{p}) = A_\mathfrak{p}/\mathfrak{p}A_\mathfrak{p} = \operatorname{Frac}(A/\mathfrak{p}).

Derivation hint: $A_\mathfrak{p}/\mathfrak{p}A_\mathfrak{p}$ is the localization of the domain $A/\mathfrak{p}$ at its zero ideal, which is by definition its fraction field.

DefinitionAffine Scheme and Scheme

An affine scheme is a locally ringed space isomorphic to $(\operatorname{Spec} A, \mathcal{O}_{\operatorname{Spec} A})$ for some ring $A$ . A scheme is a locally ringed space $(X,\mathcal{O}_X)$ admitting an open cover $\{U_i\}$ with each $(U_i,\mathcal{O}_X|_{U_i})$ an affine scheme. The global sections functor and $\operatorname{Spec}$ form an adjunction; on affines they invert one another:

4

\quad \operatorname{Hom}_{\mathbf{Sch}}(X,\operatorname{Spec} A) \;\cong\; \operatorname{Hom}_{\mathbf{CRing}}(A,\Gamma(X,\mathcal{O}_X)).

Derivation hint: a scheme map to $\operatorname{Spec} A$ is determined by where the generators of $A$ go as global functions; conversely a ring map $A\to\Gamma(X,\mathcal O_X)$ assembles, on each affine chart, into local maps by the universal property of localization.

TheoremSpec is an Anti-equivalence

The functor

5

\quad \operatorname{Spec}: \mathbf{CRing}^{\mathrm{op}} \longrightarrow \mathbf{AffSch}, \qquad A \mapsto \operatorname{Spec} A,

is an equivalence of categories, with quasi-inverse the global sections functor $\Gamma$ . A ring homomorphism $\varphi: A \to B$ induces $\operatorname{Spec}\varphi : \operatorname{Spec} B \to \operatorname{Spec} A$ , $\mathfrak{q}\mapsto \varphi^{-1}(\mathfrak{q})$ , continuous and a morphism of locally ringed spaces. Derivation hint: the contraction $\varphi^{-1}(\mathfrak q)$ of a prime is prime; functoriality and the local-homomorphism condition follow from $\varphi^{-1}(\mathfrak q)A_{\varphi^{-1}(\mathfrak q)} \subseteq$ preimage of $\mathfrak q B_{\mathfrak q}$ .

DefinitionProj of a Graded Ring

Let $S = \bigoplus_{d\ge 0} S_d$ be a $\mathbb{Z}_{\ge 0}$ -graded ring with irrelevant ideal $S_+ = \bigoplus_{d>0} S_d$ . The homogeneous spectrum

6

\quad \operatorname{Proj} S = \{\,\mathfrak{p} \subset S \text{ homogeneous prime}: S_+ \not\subseteq \mathfrak{p}\,\}.

Derivation hint: discard $\mathfrak p \supseteq S_+$ because these correspond to the "vertex" of the affine cone; a prime is homogeneous iff it is generated by its homogeneous components. It is covered by affines $D_+(f) \cong \operatorname{Spec}\big( (S_f)_0 \big)$ for homogeneous $f \in S_+$ , where $(S_f)_0$ is the degree-zero part of the localization. For $S = A[x_0,\dots,x_n]$ this yields projective $n$ -space $\mathbb{P}^n_A = \operatorname{Proj} A[x_0,\dots,x_n]$ .

ProofSpec is a Sheaf and a Locally Ringed Space

Step 1 — Topology. From [1], $V(0)=X$ , $V(A)=\varnothing$ , $V(I)\cup V(J)=V(I\cap J)=V(IJ)$ , and $\bigcap_\alpha V(I_\alpha) = V(\sum_\alpha I_\alpha)$ . Hence the $V(I)$ are closed sets of a topology. The $D(f)$ form a basis since $V(I) = \bigcap_{f\in I} V(f)$ , so its complement is $\bigcup_{f\in I} D(f)$ .

Step 2 — $D(f)\subseteq D(g)$ criterion. $D(f)\subseteq D(g)$ iff $f \in \sqrt{(g)}$ , iff $f^n = g h$ for some $n,h$ , which is exactly when $g$ becomes a unit in $A_f$ . This gives canonical restriction maps $A_g \to A_f$ and makes the assignment $D(f)\mapsto A_f$ a presheaf on the basis.

Step 3 — Sheaf on the basis. A cover $D(f) = \bigcup_i D(g_i)$ corresponds to $f \in \sqrt{(g_i)_i}$ , i.e. some power $f^N \in (g_i)$ . The sheaf gluing for $A_f$ over $\{A_{g_i}\}$ reduces to an exact sequence

7

\quad 0 \to A_f \to \prod_i A_{g_i} \to \prod_{i,j} A_{g_ig_j},

Derivation hint: this is the localized form of faithfully flat descent / a partition-of-unity argument: write $1=\sum_i a_i g_i^{m}$ in $A_f$ to patch local fractions, and use injectivity of $A_f \to \prod A_{g_i}$ to glue uniquely. which is exact, so the presheaf on distinguished opens is a sheaf and extends uniquely to $\mathcal{O}_X$ .

Step 4 — Stalks. $\mathcal{O}_{X,\mathfrak{p}} = \varinjlim_{f\notin\mathfrak p} A_f = A_\mathfrak{p}$ , a local ring; thus $(X,\mathcal{O}_X)$ is a locally ringed space.

Step 5 — Morphisms are local. A ring map $\varphi:A\to B$ pulls back primes and, on stalks, gives $A_{\varphi^{-1}(\mathfrak q)} \to B_\mathfrak{q}$ sending the maximal ideal into the maximal ideal — a local homomorphism. This is the extra condition distinguishing scheme morphisms among arbitrary morphisms of ringed spaces. $\blacksquare$

∎

mathematician · Alexander Grothendieck | 1928–2014

Grothendieck recast algebraic geometry on the foundation of schemes between 1958 and 1970, mostly through the Éléments de géométrie algébrique (EGA), written with Jean Dieudonné, and the seminars SGA. His insight that every commutative ring is the ring of functions on a geometric object dissolved the boundary between geometry and arithmetic, enabling the relative viewpoint (everything is a morphism over a base), representable functors, and the machinery later used to prove the Weil conjectures. He emphasized working with the functor of points $T \mapsto \operatorname{Hom}(T,X)$ and the systematic use of base change, sheaf cohomology, and nilpotent thickenings. His program reorganized the entire field around universal properties rather than coordinates.

🧠 Intuition

Think of $\operatorname{Spec} A$ as the set of "ways to evaluate" elements of $A$ . Each prime $\mathfrak{p}$ gives a homomorphism $A \to \kappa(\mathfrak{p})$ , and $f\in A$ becomes a "function" whose value at $\mathfrak{p}$ is its image $f(\mathfrak{p}) \in \kappa(\mathfrak{p})$ — but the target field changes from point to point. Closed points behave like ordinary points; the generic point $(0)$ of an irreducible scheme lies in every nonempty open and represents "the whole component at once," so a property holding at the generic point holds on a dense open. Nilpotents are functions that are everywhere zero as values yet nonzero in the ring — fuzz that records multiplicity (a double point is $\operatorname{Spec} k[\epsilon]/(\epsilon^2)$ ). $\operatorname{Proj}$ glues affine charts the way $\mathbb{P}^n$ is built from $\mathbb{A}^n$ charts $x_i \neq 0$ , where the gluing data is exactly "rescale by ratios of coordinates," matched by degree-zero localizations.

Figure

Spec ℤ as an arithmetic curve: closed points are primes, the generic point (0) is dense

ExampleSpec of a non-domain: a disconnected union

Given: $A = \mathbb{Z}/6\mathbb{Z}$ . Find $\operatorname{Spec} A$ and its topology.

Steps: 1. By the Chinese Remainder Theorem $\mathbb{Z}/6 \cong \mathbb{Z}/2 \times \mathbb{Z}/3$ . 2. Primes of a product $R_1\times R_2$ are $\mathfrak{p}_1\times R_2$ and $R_1\times\mathfrak{p}_2$ . Here $\mathbb{Z}/2,\mathbb{Z}/3$ are fields, so each has the single prime $(0)$ . 3. Thus $\operatorname{Spec}(\mathbb{Z}/6) = \{(2)/(6),\ (3)/(6)\}$ — two points. 4. The idempotents $e=(1,0),\,1-e=(0,1)$ split the space; both points are open and closed. 5. Residue fields: $\kappa((2)) = \mathbb{F}_2$ , $\kappa((3)) = \mathbb{F}_3$ .

Answer:

\boxed{\operatorname{Spec}(\mathbb{Z}/6) = \{\mathrm{pt}_{\mathbb{F}_2}\}\ \sqcup\ \{\mathrm{pt}_{\mathbb{F}_3}\}, \quad \dim = 0,\ \#\text{points}=2.}

ExampleProj of a polynomial ring: the projective line

Given: $S = k[x_0,x_1]$ , $\deg x_i = 1$ , $k$ a field. Describe $\mathbb{P}^1_k = \operatorname{Proj} S$ .

Steps: 1. Irrelevant ideal $S_+=(x_0,x_1)$ . Standard cover by $D_+(x_0), D_+(x_1)$ . 2. $D_+(x_0) = \operatorname{Spec}\big((S_{x_0})_0\big)$ . Degree-zero elements of $k[x_0,x_1,x_0^{-1}]$ are polynomials in $t = x_1/x_0$ , so $(S_{x_0})_0 = k[t] = \operatorname{Spec}\mathbb{A}^1_k$ . 3. Likewise $D_+(x_1) = \operatorname{Spec} k[u]$ , $u = x_0/x_1$ . 4. Overlap $D_+(x_0x_1)$ : the gluing identifies $u = t^{-1}$ on the locus $t\neq 0$ . 5. Closed points: $[a_0:a_1]$ with residue field $k$ (if $k$ algebraically closed), plus the generic point $(0)$ .

Answer:

\boxed{\mathbb{P}^1_k = \operatorname{Spec} k[t]\ \cup_{t \mapsto u^{-1}}\ \operatorname{Spec} k[u], \quad \dim = 1,\ \#\text{charts}=2.}

⚠️ Common mistake

Points of $\operatorname{Spec} A$ are NOT just maximal ideals. Every prime is a point, so non-closed (generic) points exist. The Zariski topology is not Hausdorff: distinct points need not be separated, and the generic point is dense. Also, $\Gamma(\operatorname{Spec} A,\mathcal O)=A$ exactly, but for a general scheme global sections can be tiny (e.g. $\Gamma(\mathbb{P}^n_k,\mathcal O)=k$ ) — you cannot recover the scheme from its global functions alone. Finally, a morphism of schemes is not merely a continuous map plus any ring maps on opens; the homomorphisms on stalks must be local homomorphisms.

CounterexampleContinuous + ringed map that is NOT a morphism of schemes

Take $X=\operatorname{Spec} K$ ( $K$ a field, one point with residue field $K$ ) and $Y=\operatorname{Spec} R$ where $R$ is a DVR with maximal ideal $\mathfrak m$ , fraction field $K$ , residue field $k$ . The inclusion $R\hookrightarrow K$ induces a scheme morphism sending the point of $X$ to the generic point $(0)$ of $Y$ . If instead one tried to send $X$ to the closed point $\mathfrak m$ while pulling back along $R \to K$ , the induced stalk map $R_\mathfrak{m}=R \to K$ would have to send $\mathfrak m$ into $0$ — but $\mathfrak m \mapsto \mathfrak m K = K$ , which is not contained in the maximal ideal $(0)$ of $K$ . The locality of the stalk homomorphism fails, so this is not a valid morphism of locally ringed spaces. This shows why the locality axiom is essential and not automatic.

connection

$\operatorname{Spec}$ and $\operatorname{Proj}$ provide the affine and projective building blocks for all of Scheme Theory and feed directly into Quasi-coherent Sheaves, where modules over $A$ become sheaves $\widetilde{M}$ on $\operatorname{Spec} A$ and graded modules over $S$ become sheaves on $\operatorname{Proj} S$ (yielding the twisting sheaves $\mathcal O(n)$ ). The functorial perspective links to Representable Functors and the Functor of Points via [4] and the Yoneda Lemma. Properties of morphisms — separated, proper, flat, smooth, étale — are studied in Morphisms of Schemes and are the inputs to Sheaf Cohomology and Intersection Theory. The special case $\operatorname{Spec}\mathbb{Z}$ and its function-field analogues underlie Arithmetic Geometry and the Weil Conjectures.

🔬 Where this appears

⏳ History

- 1882 — Dedekind & Weber: algebraic function fields treated geometrically; primes of a ring as "points," a conceptual ancestor of

\operatorname{Spec}

.

- 1930s–40s — Krull, van der Waerden, Zariski: valuation theory, the Zariski topology, and generic points sharpen the local algebra of varieties.

- 1946 — Weil, Foundations: abstract varieties via gluing, setting the stage for relative geometry.

- 1955 — Serre, FAC: Faisceaux algébriques cohérents introduces coherent sheaves and sheaf cohomology on varieties using the Zariski topology.

- 1956 — Chevalley & others: notions of "scheme" over a field circulate; Cartier and Chevalley formulate early prime-spectrum spaces.

- 1958 — Grothendieck (Edinburgh ICM): announces the program reorganizing geometry around

\operatorname{Spec}

of arbitrary rings.

- 1960–1967 — EGA (Grothendieck–Dieudonné): the definitive treatment of schemes, morphisms,

\operatorname{Proj}

, cohomology, and the relative point of view.

- 1960s — SGA seminars: étale cohomology, descent, fundamental groups — tools that resolved the Weil conjectures (Deligne, 1974).

- 1977 — Hartshorne, Algebraic Geometry: the standard graduate text crystallizing scheme theory for generations of students.

open-problem

Scheme theory is foundationally complete, yet conceptual extensions remain active. Derived and spectral algebraic geometry (Lurie, Toën–Vezzosi) replace commutative rings by simplicial/connective ring spectra so that $\operatorname{Spec}$ records higher homotopical data, essential for cotangent complexes and virtual fundamental classes; the right " $\operatorname{Proj}$ " and intersection theory in this setting are still being developed. Non-commutative geometry seeks a $\operatorname{Spec}$ for non-commutative rings where prime ideals are too few to topologize usefully. In arithmetic, the search for the field with one element $\mathbb{F}_1$ and a geometry under $\operatorname{Spec}\mathbb{Z}$ aims to realize a curve-over-a-field analogue that would attack the Riemann Hypothesis; competing frameworks (Connes–Consani, Borger's $\lambda$ -rings, Durov) have not yet converged. Effective bounds and decidability for natural schematic questions (e.g. existence of rational points, the Hilbert scheme's components) remain genuinely open.

Schemes — Spec, Proj, and Morphisms

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also