仿射概形 $\mathrm{Spec}(R)$

阶段6 · 层论与概形 | 难度: 🔴 高阶

📋 前置知识

仿射概形（affine scheme）$\mathrm{Spec}(R)$ 是 Grothendieck 代数几何的基本构建块。它把一个交换环 $R$ 变成一个带有结构层的拓扑空间——不仅有"点"（素理想），还有"函数"（结构层的截面 = 局部化）。这比古典代数几何的仿射簇更一般：它允许非约化结构（幂零元）、非代数闭域、甚至 $\mathbb{Z}$ 上的"算术几何"。

"仿射概形 = 环的几何化身。环同态 ↔ 空间的态射。"

1. $\mathrm{Spec}(R)$ 作为拓扑空间

$\mathrm{Spec}(R)$ 的定义

设 $R$ 为交换环（含单位元）。$\mathrm{Spec}(R)$ 的点集为 $R$ 的所有素理想： $$ \mathrm{Spec}(R) = \{\mathfrak{p} \subset R \mid \mathfrak{p} \text{ 是素理想}\}. $$

Zariski 拓扑的闭集为 $$ V(I) = \{\mathfrak{p} \in \mathrm{Spec}(R) \mid I \subseteq \mathfrak{p}\}, \quad I \subseteq R \text{ 为理想}, $$ 开集为 $D(f) = \mathrm{Spec}(R) \setminus V(f) = \{\mathfrak{p} \mid f \notin \mathfrak{p}\}$，它们构成拓扑基。

关键观察：$\mathrm{Spec}(R)$ 的点不只是极大理想（对应古典的"点"），还包含非极大的素理想——它们是"一般点"（generic points），对应子簇。例如 $\mathrm{Spec}(k[x])$ 中 $(0)$ 对应整条仿射直线的"一般点"。

图解 1：$\mathrm{Spec}(\mathbb{Z})$ 完整图解

$\textcolor{5d6d7e}{\mathrm{Spec}(\mathbb{Z})}$：算术的"仿射直线"——一般点 + 闭点（素数）
$\textcolor{8e44ad}{(0)}$
一般点（generic point）
$\textcolor{8e44ad}{\overline{\{(0)\}} = \mathrm{Spec}(\mathbb{Z})}$
$\textcolor{3a7bc8}{(2)}$
$\textcolor{3a7bc8}{(3)}$
$\textcolor{3a7bc8}{(5)}$
$\textcolor{3a7bc8}{(7)}$
$\textcolor{3a7bc8}{(11)}$
$\textcolor{3a7bc8}{(13)}$
$\textcolor{5d6d7e}{\cdots}$
闭点 = 极大理想 $\textcolor{3a7bc8}{(p)}$，$\textcolor{3a7bc8}{p}$ 素数
剩余域：$\textcolor{5d6d7e}{\kappa((p)) = \mathbb{Z}/(p) = \mathbb{F}_p}$
剩余域：$\textcolor{5d6d7e}{\kappa((0)) = \mathrm{Frac}(\mathbb{Z}) = \mathbb{Q}}$
开集 $\textcolor{e67e22}{D(6) = \mathrm{Spec}(\mathbb{Z}) \setminus \{(2),(3)\}}$
= "去掉被 6 整除的素数所在点"

图解 2：$\mathrm{Spec}(k[x])$ — 仿射直线的概形版本

$\textcolor{5d6d7e}{\mathrm{Spec}(k[x])}$：一般点 $\textcolor{5d6d7e}{(0)}$ 的闭包 = 整条直线；闭点 $\textcolor{5d6d7e}{(x-a)}$ 对应古典点 $\textcolor{5d6d7e}{a}$
$\textcolor{8e44ad}{(0)}$
一般点：$\textcolor{8e44ad}{\overline{\{(0)\}} = \mathbb{A}^1}$
$\textcolor{27ae60}{(x+1)}$
$\textcolor{27ae60}{(x)}$
$\textcolor{27ae60}{(x-1)}$
$\textcolor{27ae60}{(x-2)}$
$\textcolor{5d6d7e}{\cdots}$
闭点 $\textcolor{27ae60}{(x-a)}$ ↔ 古典点 $\textcolor{27ae60}{a \in k}$
茎：$\textcolor{5d6d7e}{\mathcal{O}_{(x-a)} = k[x]_{(x-a)}}$（在 $\textcolor{5d6d7e}{a}$ 处的局部环）；$\textcolor{5d6d7e}{\mathcal{O}_{(0)} = k(x)}$（函数域）

2. 结构层 $\mathcal{O}_{\mathrm{Spec}(R)}$

结构层的构造

在基本开集 $D(f)$ 上定义： $$ \mathcal{O}(D(f)) \;:=\; R_f \;=\; R\bigl[\tfrac{1}{f}\bigr], $$ 即 $R$ 关于 $f$ 的局部化。特别地 $\mathcal{O}(\mathrm{Spec}(R)) = R_1 = R$（全局截面 = 原始环）。

茎：$\mathcal{O}_{\mathrm{Spec}(R), \mathfrak{p}} = R_\mathfrak{p}$（$R$ 关于 $\mathfrak{p}$ 的局部化）。这是一个局部环，验证了 $\mathrm{Spec}(R)$ 是局部环化空间。

仿射概形的核心等式

$$ \Gamma(\mathrm{Spec}(R),\, \mathcal{O}) \;=\; R. $$ 全局截面 = 原始环。这意味着"空间的函数"和"代数的元素"完全对应。

图解 3：结构层的截面 = 局部化

开集 → 局部化：$\textcolor{5d6d7e}{\mathcal{O}(D(f)) = R_f}$，全局 $\textcolor{5d6d7e}{\mathcal{O}(\mathrm{Spec}(R)) = R}$
$\textcolor{3a7bc8}{\mathrm{Spec}(R)}$
$\textcolor{e67e22}{D(f)}$
$\textcolor{c0392b}{f \in \mathfrak{p}}$
$\textcolor{27ae60}{f \notin \mathfrak{q}}$
代数侧：截面 = 局部化
$\textcolor{4a90d9}{\mathcal{O}(\mathrm{Spec}(R)) = R}$（全局截面）
$\textcolor{e67e22}{\mathcal{O}(D(f)) = R_f = R[1/f]}$
$\textcolor{c0392b}{\mathcal{O}_\mathfrak{p} = R_\mathfrak{p}}$（茎 = 局部化）
限制（允许除以 $\textcolor{5d6d7e}{f}$）
取余极限到茎

3. 仿射概形的态射 = 环同态

仿射概形范畴的反等价

函子 $\mathrm{Spec}: \mathbf{CRing}^{\mathrm{op}} \to \mathbf{AffSch}$ 是范畴等价： $$ \mathrm{Hom}_{\mathbf{AffSch}}(\mathrm{Spec}(S),\, \mathrm{Spec}(R)) \;\cong\; \mathrm{Hom}_{\mathbf{Ring}}(R, S). $$ 即：仿射概形之间的态射完全由反方向的环同态 $\varphi: R \to S$ 决定（素理想的原像是素理想）。

例：$\mathrm{Spec}(\mathbb{Z}[i])$ → $\mathrm{Spec}(\mathbb{Z})$

包含同态 $\mathbb{Z} \hookrightarrow \mathbb{Z}[i]$ 诱导态射 $\mathrm{Spec}(\mathbb{Z}[i]) \to \mathrm{Spec}(\mathbb{Z})$。几何上：高斯整数环的"空间"覆盖在整数的"空间"上——素数 $p$ 在 $\mathbb{Z}[i]$ 中可能分裂 $(p = \pi\bar\pi)$、保持惰性 $(p)$、或分歧 $(2 = -i(1+i)^2)$。这就是算术几何的起点。

4. 更多例子

例：$\mathrm{Spec}(k[x,y]/(xy))$ — 坐标轴的并

$k[x,y]/(xy)$ 的几何：$xy = 0$ 的零点集是 $x$-轴与 $y$-轴的并。$\mathrm{Spec}(k[x,y]/(xy))$ 有一般点、两条轴的一般点 $(x)$, $(y)$、以及交汇的闭点 $(x,y)$。结构层在原点的茎不是整环——原点是奇点。

例：$\mathrm{Spec}(k[\varepsilon]/(\varepsilon^2))$ — "胖点"

对偶数环 $k[\varepsilon]/(\varepsilon^2)$（$\varepsilon$ 是幂零元）。$\mathrm{Spec}$ 只有一个素理想 $(\varepsilon)$，所以底空间只有一个点！但结构层"记住"了幂零元 $\varepsilon$：它是一个"带方向的胖点"，包含了切向量信息。这在变形理论（deformation theory）中至关重要。

5. 练习

练习 1：画出 $\mathrm{Spec}(\mathbb{Z}/(12))$

列出 $\mathbb{Z}/(12)$ 的所有素理想，画出 Zariski 拓扑的特化关系图。

提示

$12 = 2^2 \cdot 3$，素理想为 $(\bar 2)$ 和 $(\bar 3)$。这是一个两点空间（离散拓扑），但环有幂零元 $\bar 2$（$\bar 2^2 = \bar 4 \neq 0$ 但 $\bar 2^3 = \bar 8 \neq 0$... 实际 $\bar 4 \neq 0$）。

练习 2：$D(f) \cong \mathrm{Spec}(R_f)$

证明：基本开集 $D(f)$ 配上限制的结构层，本身也是仿射概形 $\mathrm{Spec}(R_f)$。

练习 3：态射的几何化

环同态 $k[x] \to k[x,y]/(y^2 - x)$（包含 $x \mapsto x$）诱导怎样的概形态射？几何上它表示什么？

提示

这是抛物线 $y^2 = x$ 到仿射直线的投影：$(x,y) \mapsto x$。概形态射将曲线"投影"到坐标轴，一般纤维有 2 个点（$y = \pm\sqrt{x}$），在 $x=0$ 处纤维退化为一个"胖点"。

练习 4：$\mathrm{Spec}$ 与经典簇的比较

设 $k$ 代数闭。比较 $\mathrm{Spec}(k[x,y]/(y^2-x^3))$ 与古典仿射簇 $V(y^2-x^3) \subset \mathbb{A}^2$。它们的"点"有什么不同？