多项式环 $k[x_1,\ldots,x_n]$ — 代数几何字典的第一页

阶段2 · 环论与域论 · 第3章 ★ 整个课程的关键桥梁 | 预计学习时间: 5小时 | 难度: 🟠 进阶+

📋 前置知识

从中学起我们就用方程描述图形：$y = x^2$ 是抛物线，$x^2 + y^2 = 1$ 是单位圆。这种"用方程画图"的直觉，正是代数几何的起点。本章将给这套直觉一个严格的代数装置——多项式环 $k[x_1,\ldots,x_n]$ 及其理想——并第一次正式打开代数 ↔ 几何字典的封面：

理想 $I$   $\xrightleftharpoons[I(\cdot)]{V(\cdot)}$   零点集 $V(I)$ — 几何对象

这是代数几何的核心字典。本章只展示"小学生版"，下一阶段起将逐步严格化，最终在 Phase 9 由 Hilbert 零点定理 给出精确的双射。

"几何 = 代数被画出来了。"——Bernhard Riemann

1. 单变量多项式环 $k[x]$

$k[x]$ —— 单变量多项式环

设 $k$ 是域。$k$ 上的单变量多项式环定义为

$$ k[x] = \Bigl\{\,a_0 + a_1 x + a_2 x^2 + \cdots + a_d x^d \;\Big|\; a_i\in k, d\ge 0\,\Bigr\}, $$

以普通加法、乘法构成交换环。次数 $\deg f$、首项系数、最高项次幂都有明确定义。

$k[x]$ 是欧氏整环 → PID → UFD

$k$ 是域时，$k[x]$ 具有带余除法：

$$ \forall f, g\in k[x], g\ne 0,\ \exists !\,q, r:\ f = qg + r,\ \deg r < \deg g. $$

由此推出：

  1. $k[x]$ 是PID（每个理想都是主理想）；
  2. 每个非零非单位元唯一分解为不可约多项式之积（UFD，模差一个单位）；
  3. 不可约元 = 素元；非零素理想 = 极大理想 = $(f)$ 其中 $f$ 不可约。

例 1：$\mathbb{R}[x]$ vs $\mathbb{C}[x]$

所以 $\mathbb{C}[x]$ 的极大理想 $\leftrightarrow$ $\mathbb{C}$ 的点：$(x - \alpha)\leftrightarrow\alpha$。这是"点 ↔ 极大理想"最干净的版本。

2. 多变量多项式环 $k[x_1,\ldots,x_n]$

多变量多项式环

$k[x_1,\ldots,x_n]$ 是所有 $n$ 元多项式 $f = \sum c_{i_1\ldots i_n} x_1^{i_1}\cdots x_n^{i_n}$ 构成的交换环。它不再是 PID（$n\ge 2$），但仍是UFD。

Hilbert 基本定理（Hilbert's Basis Theorem）

$k[x_1,\ldots,x_n]$ 是Noetherian（诺特）环：每个理想都是有限生成的。

直观地：再复杂的代数方程组，本质上都可由有限多个方程描述。这是代数几何能"用算法做"的根基。

例 2：$k[x, y]$ 中非主的理想

$(x, y) = \{xf + yg : f, g\in k[x, y]\}$ = 所有常数项为 $0$ 的二元多项式。

反证：若 $(x, y) = (h)$ 是主的，则 $x = h\cdot a, y = h\cdot b$，由次数分析 $h$ 是非零常数，但 $(h) = k[x, y]$ 与 $(x, y)$ 是真理想矛盾。

所以 $k[x, y]$不是 PID。这是从 $n = 1$ 到 $n\ge 2$ 第一个本质区别。

3. ★ 理想 ↔ 零点集 — 字典的第一页

$V(\cdot)$：从代数到几何

对理想 $I\subseteq k[x_1,\ldots,x_n]$，定义其零点集（仿射簇）

$$ V(I) \;=\; \bigl\{\,(a_1,\ldots,a_n)\in k^n \;\big|\; f(a_1,\ldots,a_n) = 0,\ \forall f\in I\,\bigr\}. $$

因 $I$ 由有限多个 $f_1,\ldots,f_r$ 生成（Hilbert），故 $V(I) = V(f_1,\ldots,f_r)$ = 方程组的共同解集。

$I(\cdot)$：从几何到代数

对子集 $S\subseteq k^n$，定义

$$ I(S) \;=\; \bigl\{\,f\in k[x_1,\ldots,x_n] \;\big|\; f(P) = 0,\ \forall P\in S\,\bigr\}. $$

$I(S)$ 总是一个理想（验证吸收性质）。它是"在 $S$ 上恒为零的所有多项式"。

$V$ 与 $I$ 是反序对应

★ 图解 1：理想 ↔ 曲线 — 字典的"封面图"

代数（左）：$\textcolor{3a7bc8}{k[x, y]}$ 的理想
几何（右）：$\textcolor{e67e22}{\mathbb{A}^2}$ 中的曲线
$\textcolor{e67e22}{V}$
$\textcolor{3a7bc8}{I}$
$\textcolor{1e5fa8}{I = (y - x^2)}$
生成元一个 → 主理想，
素 ⇒ 不可约曲线
抛物线 $\textcolor{e67e22}{y = x^2}$
$\textcolor{1e5fa8}{I = (x^2 + y^2 - 1)}$
在 $\textcolor{5d6d7e}{\mathbb{R}[x,y]}$ 中素，
在 $\textcolor{5d6d7e}{\mathbb{C}[x,y]}$ 中亦素
单位圆 $\textcolor{e67e22}{x^2 + y^2 = 1}$
$\textcolor{1e5fa8}{I = (xy)}$
不素（$\textcolor{5d6d7e}{x\cdot y\in I}$ 但 $\textcolor{5d6d7e}{x, y\notin I}$） →
曲线可约，两条分支
两条坐标轴 = $\textcolor{e67e22}{V(x)\cup V(y)}$
$\textcolor{5d6d7e}{V(xy)}$ 可约
理想越大 ⇨ 零点集越小　·　素理想 ↔ 不可约簇　·　极大理想 ↔ 点

图解 2：尖点曲线 $y^2 = x^3$ vs 光滑椭圆曲线

尖点 (cusp) ↔ 局部环 $\textcolor{5d6d7e}{\mathfrak{m}/\mathfrak{m}^2}$ 维度反常　·　奇异 vs 正则
$\textcolor{e74c3c}{y^2 = x^3}$（尖点 cusp 在 $\textcolor{e74c3c}{O}$）
↘ cusp $\textcolor{e74c3c}{O}$
在 $\textcolor{5d6d7e}{O = (0,0)}$ 处切线退化为一条："两枝合一"。
$\textcolor{5d6d7e}{I = (y^2 - x^3)}$ 仍是素的（曲线不可约），但奇异。
$\textcolor{27ae60}{y^2 = x^3 - x}$（光滑椭圆曲线）
在每个点切线唯一明确：处处光滑。
这是椭圆曲线密码 ECC 的"运动场"。

图解 3：平面曲线画廊 — 一首"方程的诗"

四条曲线 / 四个理想 / 一套对应
$\textcolor{2c3e50}{y = x^2}$
理想 $\textcolor{5d6d7e}{(y - x^2)}$
$\textcolor{2c3e50}{x^2 + y^2 = 1}$
理想 $\textcolor{5d6d7e}{(x^2 + y^2 - 1)}$
$\textcolor{2c3e50}{y^2 = x^3 - x}$
理想 $\textcolor{5d6d7e}{(y^2 - x^3 + x)}$
$\textcolor{2c3e50}{xy = 1}$
理想 $\textcolor{5d6d7e}{(xy - 1)}$
这些理想都是主且素的——对应曲线全是不可约的。这一族曲线将贯穿你将来的整个代数几何旅程。

4. 不可约多项式 ↔ 不可约曲线

主理想 $(f)\subseteq k[x, y]$ 何时素？

$(f)$ 是素理想 $\iff f$ 不可约。

对应几何：$V(f)$不可约（不能写成两条曲线的并）$\iff f$ 不可约。

例：$V(xy) = V(x)\cup V(y)$ 可约；$V(y - x^2)$ 不可约。

图解 4：$k[x, y]$ 的素理想格 ↔ 几何维度

素理想链 = 几何中"包含链" — 高度 ↔ 余维度
代数：$\textcolor{3a7bc8}{k[x, y]}$ 的素理想链
$\textcolor{1e5fa8}{(0)}$   (素，高度 0)
$\textcolor{1e5fa8}{(f)}$，$\textcolor{1e5fa8}{f}$ 不可约 (素，高度 1)
$\textcolor{8a6500}{(x - a, y - b)}$   (极大，高度 2)
几何：$\textcolor{e67e22}{\mathbb{A}^2}$ 中的子簇
整个平面 $\textcolor{b85c10}{\mathbb{A}^2}$   (维度 2)
曲线 $\textcolor{b85c10}{V(f)}$   (维度 1)
点 $\textcolor{b85c10}{(a, b)}$   (维度 0)
维度公式：$\textcolor{8e44ad}{\dim V = \dim R - \mathrm{ht}(\mathfrak{p})}$，其中 $\textcolor{8e44ad}{V = V(\mathfrak{p})}$，$\textcolor{8e44ad}{R = k[x_1,\ldots,x_n]}$。
在 $\textcolor{8e44ad}{k[x, y]}$（$\textcolor{8e44ad}{\dim = 2}$）中：高度 0 ↔ 平面；高度 1 ↔ 曲线；高度 2 ↔ 点。

5. 通往 Hilbert 零点定理（Phase 9 预告）

Hilbert 零点定理（Nullstellensatz, 预告版）

设 $k$ 是代数闭域（如 $\mathbb{C}$），$I\subseteq k[x_1,\ldots,x_n]$ 理想。则

$$ \boxed{\quad I(V(I)) \;=\; \sqrt{I} \;:=\; \{f : f^m\in I \text{ 某 } m\}\quad} $$

特别地：

这是代数 ↔ 几何字典的精确版本。本课程将在 Phase 9 给出完整证明，那时我们已具备 Noether 正规化、积分扩张、Jacobson 环等全套工具。

6. 生活实例：方程描述图形 — 一切的开端

从笛卡尔的解析几何开始（1637 年），我们就知道方程能画图。代数几何把这一直觉走到极致：任何方程组都决定一个几何对象；反过来，任何几何对象都可以"被方程组刻画"。本章只是把这种朴素直觉装进交换环的精确框架——这是一切的开端。

当你下次在 GPS 屏上看到地图、在 CAD 软件里设计零件、在游戏中操纵一个三维曲面——背后都是方程描述的几何。代数几何不是"高深莫测的纯数学"，它就是形状的语言。

7. 练习

练习 1（$V$ 与 $I$ 的初步计算）

在 $\mathbb{R}[x, y]$ 中：（a）求 $V(x^2 + y^2)$；（b）求 $V(x^2 + y^2)$ 在 $\mathbb{C}[x, y]$ 中的零点集。

提示

（a）$\mathbb{R}^2$ 中 $V(x^2 + y^2) = \{(0,0)\}$ —— 仅一点；但 $\sqrt{(x^2 + y^2)} = (x, y)\ne (x^2 + y^2)$ 当 $k = \mathbb{R}$ 时，零点定理失效。
（b）在 $\mathbb{C}^2$ 中 $x^2 + y^2 = (x + iy)(x - iy)$，故 $V = V(x + iy)\cup V(x - iy)$，是两条复直线之并。

练习 2（抛物线坐标环）

证明：$k[x, y]/(y - x^2)\cong k[x]$。给出明确的同构。

提示

定义 $\varphi: k[x, y]\to k[x]$，$\varphi(x) = x, \varphi(y) = x^2$。这是满同态，核 $\supseteq (y - x^2)$。反向用带余除法对 $y$ 除以 $y - x^2$ 可证核 $= (y - x^2)$，由基本定理给出同构。

练习 3（$xy$ 的几何意义）

解释为何 $V(xy)\subsetneq V(x^2 y)$ 在集合上相等但理想不相等。这预示了什么？

提示

$V(xy) = V(x^2 y) = \{x = 0\}\cup\{y = 0\}$；但 $(xy)\ne (x^2 y)$，因为 $xy\notin (x^2 y)$。根理想消除了这种"重数"差异：$\sqrt{(x^2 y)} = (xy)$。这是为何 Nullstellensatz 必须出现"根号"的本源。

练习 4（点对应极大理想）

证明：对 $\mathbb{C}^n$ 的点 $P = (a_1,\ldots,a_n)$，$I(\{P\}) = (x_1 - a_1,\ldots,x_n - a_n)$ 是 $\mathbb{C}[x_1,\ldots,x_n]$ 的极大理想，且 $\mathbb{C}[x]/I(\{P\})\cong\mathbb{C}$。

提示

用赋值同态 $\mathrm{ev}_P: \mathbb{C}[x_1,\ldots,x_n]\to\mathbb{C}$，$f\mapsto f(P)$。它是满的，核 $= (x_1 - a_1,\ldots,x_n - a_n)$。由基本定理商 $\cong \mathbb{C}$，是域，故核极大。

练习 5（尖点的奇异性）

对曲线 $C: y^2 - x^3 = 0$，在原点 $O$ 处计算 $\nabla F$（$F = y^2 - x^3$）。结果是什么？这与"$O$ 是奇异点"的关系？

提示

$\nabla F = (-3x^2, 2y)$。在 $O$ 处 $\nabla F(O) = (0, 0)$。梯度消失 = 雅可比标准失效 = 切线退化 = 奇异点的定义。对比椭圆曲线 $y^2 = x^3 - x$：$\nabla F = (-3x^2 + 1, 2y)$，在曲线上无处同时为零。