為什麼一個環竟該是一個空間
本級第一篇抽象地建起了局部環空間：一個帶環層、其莖（stalk）為局部環的拓樸空間。現在我們從純代數整車整車地製造它們。古典代數幾何的教訓是：代數閉域 k 上的一個簇，由它的座標環——多項式模去該簇的方程——所掌握。零點定理把這一情形下的字典說得精確：簇的點對應於座標環的極大理想。格羅滕迪克的一招是：丟掉 k、丟掉約化性、丟掉有限生成，並對「任一」交換環 R 問這個問題：哪個空間以 R 為其函數？
第一個直覺——以極大理想為點——幾乎可行，卻在映射之下崩潰。若 phi: R -> S 是一個環同態，你會希望它把 S 的極大理想拉回成 R 的極大理想，好讓環的映射在相反方向誘導出空間的映射。它做不到：極大理想的原像未必極大。誠實的例子是包含 Z -> Q；Q 的極大理想 (0) 拉回到 Z 中的 (0)，那是素的卻「不」極大。相對地，素理想在任何同態之下都拉回成素理想。僅僅這一條穩健性，就是我們把問題從極大改為素的緣故。
作為拓樸空間的 Spec R
定義 R 的譜，記作 Spec R，為 R 所有素理想 p 的集合。我們以查里斯基拓樸賦予它拓樸，該拓樸由它的閉集指定：對 R 的任一理想 I，集合 V(I) = { Spec R 中的 p：I 含於 p } 被宣告為閉，而這些恰是全部閉集。等價地，對單一元素 f，基本「開」集 D(f) = { p：f 不在 p 中 } 是 f 為「非零」之處，而這些 D(f) 構成拓樸的一組基底。把 V(I) 想成「I 中諸函數的共同零點軌跡」——它是譜版本的零點集，只是以素理想代替了點。
畫面就在此處變得鮮活。R 的元素表現得像 Spec R 上的函數：給定 R 中的 f 與一點 p，「f 在 p 的值」是 f 在剩餘域 kappa(p) = Frac(R/p)（整環 R/p 的分式域）中的像。所以 f「在 p 消失」恰當 f 落在 p 中——與上面的 D(f) 嚴絲合縫。這幅畫面附贈兩個警告。其一，f 的值活在一個逐點「改變」的域裡；沒有單一的標靶。其二，一個元素可以非零卻在每點都消失：在 R = k[x]/(x^2) 中，函數 x 不是零，卻落在唯一的素理想 (x) 中，故它處處消失。冪零元對拓樸不可見，在環裡卻活著。
兩個小小算過的譜為一切定錨。Spec Z 對每個質數有一個點——極大理想 (2)、(3)、(5)、...——外加單一的非閉點 (0)，即泛點，其閉包是整個 Spec Z。Spec C[x] 看起來像複直線：對每個 C 中的 a 有一個閉點 (x - a)，同樣再加一個泛點 (0)。而剩餘域告訴你身處哪一種點：在 (x - a) 處它是 C（古典點），在 (0) 處它是 C(x)，有理函數域（泛點一次望盡整條直線）。一個空間，兩種風味的點，全由素理想記帳。
結構層：把函數黏到譜上
光有空間還不是幾何對象；我們需要它的函數，按第一篇所要求的組織成一個層。結構層 O_{Spec R} 是把每個開集指派為其上有定義之函數的環的層。釘住它最乾淨的方式是藉它在基本開集 D(f) 上的值：我們設 O(D(f)) = R_f，即把 f 變為可逆的 R 的局部化。在 f 處局部化恰是「允許 1/f 作為函數」，而這在 f 不消失的集合 D(f) 上正當合法。在整個空間 D(1) = Spec R 上，截面就是 R 本身，找回了「環 R 是 Spec R 上的整體函數」這句口號。
- 在每個基本開集 D(f) 上，宣告截面為局部化 R_f = R[1/f]。這是說：在 f 可逆的區域上，合法的函數是分母可含 f 之冪的比值。
- 驗核重疊處相容：若 D(g) 含於 D(f)，則 g 一旦在 f 之後也變可逆，給出自然的限制映射 R_f -> R_g。這些映射在三重重疊上吻合，故這份資料在基底上是一個道地的預層。
- 藉層條件擴張到「所有」開集：一般開集 U 上的截面是一族在基本開集覆蓋上相容的截面，黏合而成。這是被逼出來的——層公理由 O 在 D(f) 上的值唯一地決定 O(U)。
- 計算在素理想 p 的莖：它是局部環 R_p，即 R 在素理想 p 處的局部化（把 p 之外的一切變為可逆）。它唯一的極大理想是 p R_p，故每個莖都是局部環——而這正是使 Spec R 成為「局部」環空間之故。
步驟 4 中的莖計算是回報，值得慢慢一看。在一點 p，莖 O_p 是局部環 R_p，其極大理想是在 p 消失的函數的集合，其剩餘域 R_p / p R_p 就是先前的 kappa(p)。於是第一篇的抽象要求——每個莖都是局部環——自動被滿足，且帶具體內容：「p 附近函數的芽，模去那些在 p 消失者，給出在 p 的值」。結構層不是附加擰上去的選擇；它由局部化的代數所逼出，正是那同一個局部化，早已支配了哪些函數在哪個開集上被允許。
仿射概形與那個偉大的等價
把兩半捆在一起。仿射概形是某交換環 R 的局部環空間 (Spec R, O_{Spec R})，而仿射概形之間的態射是它們之間局部環空間的態射。最後這句要緊：一個態射是一個連續映射 f 連同一個拉回函數的層映射 f#，「且」f# 必須尊重局部結構——它把在目標點消失的芽送到在源點消失的芽。這個局部性條件並非自動，它恰恰排除了病態的映射，使下一個定理變得乾淨。
現在來到使整個構造值回票價的定理：函子 R |-> Spec R 是交換環與仿射概形之間的一個反變等價。具體地說，從 Spec S 到 Spec R 的仿射概形態射之集合，與從 R 到 S 的環同態之集合有自然的雙射——箭頭反轉，無所失亦無所增。一個環映射 phi: R -> S 字面上「就是」一個空間映射 Spec S -> Spec R（拉回素理想），而兩邊取回的整體函數恰好重現 R 與 S。代數與幾何在此不僅是類比；它們是同一個範疇被往兩個方向讀。
The affine dictionary (R, S commutative rings):
ALGEBRA GEOMETRY
---------------------------------- --------------------------------------
commutative ring R <-> affine scheme Spec R
prime ideal p of R <-> point of Spec R
maximal ideal <-> closed point
the zero ideal (if R a domain) <-> generic point
ideal I <-> closed subset V(I)
localization R_f <-> sections over the open D(f)
localization R_p <-> stalk at the point p
nilpotent element <-> function invisible to topology
ring map phi : R -> S <-> morphism Spec S -> Spec R (REVERSED)
tiny examples:
Spec Z : one point per prime (2),(3),(5),... + generic point (0)
Spec k : a single point (k any field)
Spec k[x] : a line of closed points (x-a) + generic point (0)
Spec k[e]/(e^2) : one point, but a FAT one (a tangent direction's worth of data)抽象換來了什麼，以及它接下來去哪
問一句這整套機器是否值得，是公道的，畢竟在代數閉域上一個簇已經做了不少事。它以三個具體方式值回票價。其一，冪零元變得合法：對偶數 Spec k[e]/(e^2) 是帶著一份切向量資訊的單一點，於是「無窮小增厚」與切空間成了誠實的幾何對象，而非揮手帶過。其二，算術加入幾何：Spec Z 是一個道地的空間，而 Z 上的概形讓你能在整數上做幾何，是通往算術幾何的橋。其三，不再需要基底域，於是模 p 約化、混合特徵、以及在某基底上的族，全都活在一個框架裡。
誠實面對我們所建之物的界限。一個仿射概形只是「局部」模型——正如單一圖卡是流形的局部模型，但沒有緊流形是單一圖卡。射影空間 CP^n 是斷然非仿射的最乾淨例子：它唯一的整體函數是常數，故它整體截面的環只是基底域，根本不可能記住整個空間。前路正是卷一的圖卡與圖冊所預示的：沿開集把仿射概形黏起來建出一般概形，其局部環結構使黏合自動成立。
那個黏合恰恰是本級的第三篇，那裡概形與態射得到完整的定義，而函子點觀點再一次重塑一切。眼下且握住核心畫面：一個交換環 R 在查里斯基拓樸下成為素理想的空間 Spec R，局部化 R_f 與 R_p 組裝成一個莖為局部環的結構層，而所得的仿射概形無損地存住 R。接下來的每個概形都由黏合這些零件而建成，正如每個流形都由黏合歐氏圖卡而建成——同樣的直覺，新的範疇。