Hilbert 零点定理 · 几何版

阶段5 · 仿射代数几何 · 第3章 | 预计学习时间: 4 小时 | 难度: 🔴 高阶

📋 前置知识

在阶段4第04章我们见过 Hilbert 零点定理的代数表述：$I(V(J)) = \sqrt{J}$。这一章我们换一副眼镜，从纯几何的视角重新审视这条定理——它告诉我们一件惊人的事：仿射簇与它的坐标环（或它的素谱）在范畴层面上完全等同。这是整个代数几何的第一原理。

Nullstellensatz 不只是一条定理，它是一份身份证明：仿射簇与有限生成既约 $k$-代数互为另一面。

1. $V$ 与 $I$ 的 Galois 连接

$V(\cdot)$ 与 $I(\cdot)$ 在两个偏序集之间架起桥梁：

Galois 连接（伴随）

设 $k$ 任意域。考虑两个偏序集（按"包含"排序）：

则 $V: \mathcal{I} \to \mathcal{S}^{op}$ 与 $I: \mathcal{S}^{op} \to \mathcal{I}$ 构成一对反序 Galois 连接： $$ J \subseteq I(X) \iff X \subseteq V(J). $$

其闭包算子分别为 $J \mapsto I(V(J))$ 与 $X \mapsto V(I(X))$，二者的"不动点"分别是根理想和代数集。

2. 几何版 Nullstellensatz：等价范畴

仿射代数集 ↔ 既约 $k$-代数（$k$ 代数闭）

下列范畴的等价（反变）成立：

$$ \{\text{仿射代数集 / k}\} \;\overset{\sim}{\longleftrightarrow}\; \{\text{有限生成、既约 $k$-代数}\}^{op} $$

对象层面：$X \leftrightarrow k[X]$。

箭头层面：正则映射 $\varphi: X \to Y$ 唯一对应 $k$-代数同态 $\varphi^*: k[Y] \to k[X]$。

限制到不可约的情形

下列等价（反变）成立：

$$ \{\text{仿射簇 / k}\} \;\overset{\sim}{\longleftrightarrow}\; \{\text{有限生成 $k$-代数 + 整环}\}^{op}. $$

这把"不可约"翻译为"整环（domain）"。

这两条定理是 Nullstellensatz 的范畴论概括：原本只是"理想 ↔ 闭集"的对偶，现在升格为整个范畴的等价——仿射代数几何 = 有限生成既约代数学。

图解 1：完整的代数 ↔ 几何字典（几何化版本）

代数 ⟷ 几何 字典
$\textcolor{5d6d7e}{k}$ 代数闭 · 仿射情形 · 与每行附带几何示意
代数对象
字典条目
几何对象（带图）
$\textcolor{1e5fa8}{k[x_1,\ldots,x_n]}$
"全部多项式"
$\textcolor{a02d22}{\overset{V}{\rightleftarrows}}$
$\textcolor{1d7a45}{\mathbb{A}^2}$（整个平面）
根理想 $\textcolor{1e5fa8}{I = \sqrt{I}}$
如 $\textcolor{1e5fa8}{(xy)}$
1 : 1
$\textcolor{1d7a45}{V(xy)}$ = 两轴并
素理想 $\textcolor{1e5fa8}{\mathfrak{p}}$
如 $\textcolor{1e5fa8}{(y-x^2)}$
1 : 1
$\textcolor{1d7a45}{V(y-x^2)}$ 抛物线（不可约）
极大理想 $\textcolor{b85c10}{\mathfrak{m}_p = (x_1-a_1,\ldots,x_n-a_n)}$
如 $\textcolor{b85c10}{(x-1, y-2)}$
弱 Nullstellensatz
点 $\textcolor{b85c10}{(1, 2) \in \mathbb{A}^2}$
$\textcolor{a02d22}{I_1 \subseteq I_2}$（更大的理想）
⇌ 反序 ⇌
$\textcolor{a02d22}{V(I_1) \supseteq V(I_2)}$（更小的零点集）
商环 $\textcolor{1e5fa8}{k[X]/J}$
闭嵌入
子簇 $\textcolor{1d7a45}{V(J) \hookrightarrow X}$
张量积 $\textcolor{1e5fa8}{k[X] \otimes_k k[Y]}$
积簇
笛卡儿积 $\textcolor{1d7a45}{X \times Y}$
一句话总结：仿射代数几何 = 把"代数运算"翻译成"几何操作"的双语词典——商环对应子簇、张量积对应笛卡儿积、局部化对应开子集……

3. 极大理想 ↔ 点 — 第一条精确字典条目

最关键的字典条目（弱 Nullstellensatz 几何版）

设 $X \subseteq \mathbb{A}^n_k$ 是仿射代数集，$k$ 代数闭。则 $$ \text{$X$ 的点} \;\overset{1:1}{\longleftrightarrow}\; \text{$k[X]$ 的极大理想}, $$ 通过 $p \mapsto \mathfrak{m}_p = \{f \in k[X]: f(p) = 0\}$。

反过来：每个极大理想 $\mathfrak{m}$ 给出商域 $k[X]/\mathfrak{m} \cong k$，对应一个"求值映射"$\mathrm{ev}: k[X] \to k$，即一个点。

图解 2：极大理想就是"在点 $p$ 处消失的所有函数"

点 $\textcolor{5d6d7e}{p}$ 上聚拢着所有在该处消失的多项式，它们组成极大理想 $\textcolor{5d6d7e}{\mathfrak{m}_p}$
$\textcolor{1e5fa8}{\mathbb{A}^2_{\mathbb{C}}}$（仿射平面）
$\textcolor{b85c10}{p = (1, 2)}$
$\textcolor{1d7a45}{f_1 = (y-2)^2 + (x-1)}$
$\textcolor{6b3d8a}{f_2 = y - 2x}$
极大理想 $\textcolor{b85c10}{\mathfrak{m}_p = (x-1,\, y-2)}$
{ 在点 $\textcolor{5d6d7e}{p}$ 处消失的多项式 }
$\textcolor{1e5fa8}{x - 1 \in \mathfrak{m}_p}$（在 $\textcolor{1e5fa8}{x=1}$ 时为 0）
$\textcolor{1e5fa8}{y - 2 \in \mathfrak{m}_p}$（在 $\textcolor{1e5fa8}{y=2}$ 时为 0）
$\textcolor{1d7a45}{(y-2)^2 + (x-1) \in \mathfrak{m}_p}$
$\textcolor{6b3d8a}{y - 2x \in \mathfrak{m}_p}$（$\textcolor{6b3d8a}{2 - 2\cdot 1 = 0}$ ✓）
⋮（无穷多）
所有满足 $\textcolor{a02d22}{f(1,2)=0}$ 的多项式都属于此理想
商环 $\textcolor{a02d22}{k[x,y]/\mathfrak{m}_p \cong \mathbb{C}}$
"把点 $\textcolor{6b3d8a}{p}$ 装进一个理想里" — 这就是从几何到代数的精确翻译；反过来，给定理想就能反推出点

4. 根理想的几何意义：消除"重数"

强 Nullstellensatz 的几何重述

对于 $X \subseteq \mathbb{A}^n_k$ 中的理想 $J \subseteq k[X]$： $$ I_X(V_X(J)) = \sqrt{J}. $$ 即：取 $J$ 的零点子集，再取该子集的理想 = 取 $J$ 的根理想。

几何理解：$\sqrt{J}$ 是"遗忘了重数"的 $J$。例如 $J = (x^2)$ 的零点是 $\{0\}$（一个点），但点是"带重数 2"的（"双重根"）。$\sqrt{J} = (x)$ 把这个重数信息丢掉了——只留下"光秃秃的零点集"。

图解 3：根理想 = "无重数版本"——古典代数几何看不见重数

$\textcolor{5d6d7e}{V(x^2) = V(x) = \{0\}}$ — 几何看不出重数；$\textcolor{5d6d7e}{\sqrt{(x^2)}=(x)}$ — 代数把重数擦除
$\textcolor{1e5fa8}{J = (x^2) \subset k[x]}$
代数信息：
$\textcolor{1e5fa8}{x^2}$ 在 $\textcolor{1e5fa8}{0}$ 处双重消失
"双重根" / 重数 2
$\textcolor{1e5fa8}{V(\cdot)}$
几何：
看不见重数
$\textcolor{1d7a45}{V(J) = \{0\}}$
几何对象：
单纯一个点
"重数信息丢失"
$\textcolor{1e5fa8}{I(\cdot)}$
$\textcolor{6b3d8a}{\sqrt{J} = (x)}$
代数对象：
单根 $\textcolor{6b3d8a}{(x)}$
"擦掉重数后的代数信息"
古典代数几何只看代数集（=根理想），看不见重数；概形（scheme）会把 $\textcolor{a02d22}{(x^2)}$ 与 $\textcolor{a02d22}{(x)}$ 视为不同的对象，重新引入重数信息。

5. 素理想 ↔ 不可约子簇

素谱 $\mathrm{Spec}$ 与不可约簇

设 $X$ 是仿射代数集，$k$ 代数闭。则 $$ \{X \text{ 的不可约闭子集}\} \;\overset{1:1}{\longleftrightarrow}\; \{k[X] \text{ 的素理想}\}. $$ 通过 $Z \mapsto I(Z)$ 与 $\mathfrak{p} \mapsto V(\mathfrak{p})$。

把这点和"极大理想 ↔ 点"结合，便得到完整的多层结构图：

这就是 Grothendieck 后来定义 $\mathrm{Spec}(R)$ 时把所有素理想都视为点的动机——经典代数几何只看极大理想（"闭点"），但还藏着一群泛型点（generic points）等待发掘。

6. 应用：维数、Krull 维数

Krull 维数（Krull Dimension）

环 $R$ 的 Krull 维数是其素理想链 $$ \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_d $$ 的最大长度 $d$。

通过 Nullstellensatz：$\dim X = \dim k[X]$。例如 $\dim \mathbb{A}^n = n$，$\dim$ 抛物线 $= 1$，$\dim$ 单点 $= 0$。素理想链长度 = 不可约子簇链长度——这是代数 = 几何的又一例。维数细节将在本阶段第04章展开。

7. 生活实例：地图与地名册

把仿射簇 $X$ 想象成一座城市：

8. 练习

练习 1（极大理想 ↔ 点）

设 $X = V(y - x^2) \subset \mathbb{A}^2_{\mathbb{C}}$。点 $(2, 4) \in X$ 对应的极大理想 $\mathfrak{m} \subset k[X]$ 是什么？写出在 $k[X] = k[x,y]/(y-x^2)$ 里它的两个生成元。

提示

$\mathfrak{m} = (\bar{x}-2,\ \bar{y}-4) = (\bar{x}-2)$（因为 $\bar{y}-4 = \bar{x}^2 - 4 = (\bar{x}-2)(\bar{x}+2) \in (\bar{x}-2)$）。所以 $\mathfrak{m}$ 实际由 $\bar{x}-2$ 一个元素生成——"曲线上一点的理想是主理想"。

练习 2（Galois 连接验证）

验证 $V(I(X)) = \overline{X}$（Zariski 闭包）。这是 Galois 连接的"闭包公式"。

练习 3（具体翻译）

把以下几何对象翻译成 $\mathbb{C}[x,y,z]$ 中的（根）理想：

  1. $z$-轴；
  2. 原点 $\{0\}$；
  3. 圆柱面 $V(x^2+y^2-1)$；
  4. 圆柱面与 $z$-轴的并。

练习 4（实数为何不行？）

在 $\mathbb{R}[x]$ 中，$(x^2+1)$ 是极大理想（$\mathbb{R}[x]/(x^2+1) \cong \mathbb{C}$ 是域），但它不对应 $\mathbb{R}$ 里的任何点。这违反"极大理想 ↔ 点"——为什么？答：$\mathbb{R}$ 不是代数闭！这正是 Nullstellensatz 必须代数闭的原因。

练习 5（深度学习联想）

一个网络在参数空间上"完美拟合训练集" 形成一个代数集 $X = V(\text{训练损失})$。它通常可约（含多个分支）—对应不同的"等价的最优解"。Nullstellensatz 视角下：每个分支是一个不可约子簇，对应一个素理想。SGD "随机选择"一个分支登陆——可否用素理想链描述训练动力学？