在仿射几何中，"簇" = 多项式方程组的零点集。在射影空间中，由于齐次坐标的多义性，普通多项式不再适用——只有齐次多项式（homogeneous polynomial）的零点集才是良定义的。本章建立射影代数集、仿射锥、射影闭包三个核心概念，把仿射代数几何的整套工具搬上射影舞台。
"射影簇 = 仿射簇 + 它丢失的所有无穷远点。"
1. 齐次多项式与齐次理想
齐次多项式（Homogeneous Polynomial）
多项式 $f \in k[x_0, x_1, \ldots, x_n]$ 称为$d$ 次齐次的，如果它的每个单项式总次数都恰好等于 $d$。等价地： $$ f(\lambda x_0, \lambda x_1, \ldots, \lambda x_n) \;=\; \lambda^d \, f(x_0, x_1, \ldots, x_n) \qquad \forall \lambda \in k. $$
例
- $f = x_0^2 + x_1 x_2 - 3 x_2^2$ 是 2 次齐次。
- $f = x_0 + x_1^2$ 不是齐次（混合了 1 次和 2 次单项式）。
- $f = x_0^3 - x_1^3$ 是 3 次齐次。
关键观察：虽然 $f([x_0:\cdots:x_n])$ 不是良定义的值（缩放 $\lambda$ 会乘上 $\lambda^d$），但"$f$ 等不等于 0"是良定义的，因为 $$ f(\lambda x) = \lambda^d f(x), \qquad \lambda^d \neq 0 \Longleftrightarrow f(\lambda x) = 0 \Leftrightarrow f(x) = 0. $$ 这正是齐次多项式可以"在 $\mathbb{P}^n$ 上取零点"的代数理由。
齐次理想（Homogeneous Ideal）
理想 $I \subseteq k[x_0, \ldots, x_n]$ 称为齐次的，如果它由齐次元素生成。等价地：对每个 $f \in I$，把 $f$ 拆成各次齐次分量 $f = f_{(0)} + f_{(1)} + \cdots$ 后，每个 $f_{(d)} \in I$。
2. 射影代数集 $V_+(I)$
射影零点集
设 $S \subset k[x_0, \ldots, x_n]$
是一族齐次多项式。其射影零点集定义为 $$ V_+(S) \;=\;
\bigl\{ [x_0 : \cdots : x_n] \in \mathbb{P}^n \;\big|\;
f(x_0,\ldots,x_n) = 0,\ \forall f \in S \bigr\}. $$ 形如 $V_+(I)$
的子集（$I$ 是齐次理想）称为射影代数集（projective
algebraic set）。
一个不可约的射影代数集称为射影簇（projective
variety）。
常见射影簇
- 射影直线 $V_+(a x_0 + b x_1 + c x_2) \subset \mathbb{P}^2$（一次齐次）。
- 射影圆锥曲线 $V_+(x_0 x_2 - x_1^2) \subset \mathbb{P}^2$（2 次齐次）——对应仿射抛物线 $y = x^2$ 的射影闭包。
- 椭圆曲线（Weierstrass 形式） $V_+(y^2 z - x^3 - a x z^2 - b z^3) \subset \mathbb{P}^2$（3 次齐次）。
- Veronese 曲线、Segre 嵌入等都是经典的高维射影簇。
图解 1：射影闭包——双曲线在无穷远处合二为一
双曲线的射影闭包细节
仿射方程 $xy = 1$ 用 $x = x_1/x_0$, $y = x_2/x_0$ 代入并清分母得 $x_1
x_2 = x_0^2$。
检查无穷远（$x_0 = 0$）：$x_1 x_2 = 0$，故 $x_1 = 0$ 或 $x_2 =
0$。结合 $x_0 = 0$ 与"非全零"得到两个无穷远点：$[0:1:0]$ 和
$[0:0:1]$。
结论：仿射双曲线的两支，被两个无穷远点连接成一条整体光滑闭曲线。
3. 齐次化（Homogenization）与去齐次化（Dehomogenization）
两种翻译
固定仿射片 $U_0 = \{x_0 = 1\} \cong \mathbb{A}^n$，坐标 $(y_1, \ldots, y_n) = (x_1/x_0, \ldots, x_n/x_0)$。
- 齐次化 $f \mapsto f^h$：仿射 $\to$ 射影。$$ f^h(x_0, x_1, \ldots, x_n) \;=\; x_0^{\deg f} \cdot f\Bigl(\tfrac{x_1}{x_0}, \ldots, \tfrac{x_n}{x_0}\Bigr). $$
- 去齐次化 $F \mapsto F_*$：射影 $\to$ 仿射。$$ F_*(y_1, \ldots, y_n) \;=\; F(1, y_1, \ldots, y_n). $$
齐次化实例
- $f = y - x^2$（抛物线，$\deg = 2$）→ $f^h = x_0^2 (y_2/x_0) - x_0^2 (x_1/x_0)^2 = x_0 x_2 - x_1^2$。
- $f = y^2 - x^3 - a x - b$（椭圆曲线 Weierstrass，$\deg = 3$）→ $f^h = x_2^2 x_0 - x_1^3 - a x_1 x_0^2 - b x_0^3$。
射影闭包（Projective Closure）
仿射簇 $V \subset \mathbb{A}^n$ 的射影闭包 $\overline{V} \subset \mathbb{P}^n$ 是把 $V$ 视作 $\mathbb{P}^n$ 子集后取 Zariski 闭包。代数上：把 $I(V)$ 的每个生成元齐次化，但更准确地说，要取所有元素 $f \in I(V)$ 的 $f^h$ 生成的理想（仅生成元齐次化可能不够）。
图解 2：齐次理想 → 射影代数集
4. 仿射锥 $C(V)$
射影簇的仿射锥
设 $V \subseteq \mathbb{P}^n$ 是齐次理想 $I$ 的零点集 $V_+(I)$。它的仿射锥（affine cone）定义为 $$ C(V) \;=\; V(I) \;\subseteq\; \mathbb{A}^{n+1}. $$ 也就是把 $I$ 看作 $k[x_0, \ldots, x_n]$ 的普通理想，取它在 $\mathbb{A}^{n+1}$ 中的零点集。
几何上：$C(V)$ 是 $\mathbb{A}^{n+1}$ 中由过原点、方向位于 $V$的所有直线组成的集合。它是一个真正"锥形"的代数集——所以叫"锥"。
关系直观如下： $$ C(V) \setminus \{0\} \;\xrightarrow{\;\;\pi\;\;}\; V \subseteq \mathbb{P}^n, \qquad (x_0, \ldots, x_n) \;\mapsto\; [x_0 : \cdots : x_n]. $$ $\pi$ 把锥上一条过原点的直线"压成"射影空间的一个点。
图解 3：射影簇 ↔ 仿射锥（射线族）
5. 仿射 ↔ 射影：完整字典
仿射-射影对应总览
| 仿射端 | 射影端 | 桥梁 |
|---|---|---|
| $f \in k[y_1,\ldots,y_n]$ | $f^h \in k[x_0,\ldots,x_n]$ 齐次 | 齐次化 $f^h = x_0^d f(\tfrac{x_1}{x_0},\ldots)$ |
| 仿射簇 $V \subset \mathbb{A}^n$ | 射影闭包 $\overline{V} \subset \mathbb{P}^n$ | 取 Zariski 闭包 |
| $V \cap U_0$（仿射切片） | $V_+(I)$ 在 $U_0$ 内的部分 | 去齐次化 $F \mapsto F(1, y_1, \ldots, y_n)$ |
| $V(I) \subset \mathbb{A}^{n+1}$（仿射锥） | $V_+(I) \subset \mathbb{P}^n$（射影簇） | $\pi$：去原点 + 商除 $k^\times$ |
| 坐标环 $k[V] = k[y_1,\ldots,y_n]/I$ | 齐次坐标环 $S(V) = k[x_0,\ldots,x_n]/I$ | $S(V)$ 带分次结构 |
6. 经典射影簇画廊
射影直线 $V_+(a x_0 + b x_1 + c x_2)$
$\mathbb{P}^2$ 中的"射影直线"——它在每一仿射片上都化为一条仿射直线 + 一个无穷远点。两条射影直线必然相交于一点（平行 = 在无穷远直线上相交），这是射影几何最干净的结论之一。
圆锥曲线 $V_+(Q)$，$Q$ 二次齐次
$Q(x_0, x_1, x_2)$ 是 2 次齐次 $\Rightarrow$ 对称矩阵 $A_Q$ 唯一确定 $Q$。在 $\mathbb{C}$ 上，所有非退化圆锥曲线（$\det A_Q \neq 0$）在射影线性变换下同构。椭圆 / 抛物线 / 双曲线的"差异"是仿射现象，进入 $\mathbb{P}^2$ 后它们变成了同一种射影簇！
三次曲线（Phase 11 高潮）
$\mathbb{P}^2$ 中度数 3 的光滑曲线 = 椭圆曲线（elliptic curve）。这是数论、密码学（ECC）、Wiles 证明费马大定理的核心对象。它的 Weierstrass 形式 $y^2 z = x^3 + a x z^2 + b z^3$ 我们将在下一章配合 Bezout 定理详细展开。
7. 生活实例：阴影与光锥
想象一盏灯（原点 $O$）和地面上的一个图案 $V$（射影簇）。从灯射出经过 $V$ 各点的光线汇成光锥——这就是仿射锥 $C(V)$。
- 地面图案 $V$ = 射影簇本体；
- 光锥 $C(V)$ = 仿射锥；
- "换灯位置 / 换屏幕"= 选择不同仿射片 $U_i$；
- 影子在不同墙上看起来"形状不同"（椭圆/抛物/双曲）——但本质上是同一道光锥。
8. 练习
练习 1（齐次化）
齐次化以下仿射多项式（变量 $x_0$ 引入）： (a) $f = x^2 + y^2 - 1$； (b) $f = y - x^3 - 2x + 1$； (c) $f = x^2 y + x y^2 - x - y$。
答案
(a) $f^h = x_1^2 + x_2^2 - x_0^2$；(b) $f^h = x_2 x_0^2 - x_1^3 - 2 x_1 x_0^2 + x_0^3$；(c) $f^h = x_1^2 x_2 + x_1 x_2^2 - x_1 x_0^2 - x_2 x_0^2$。
练习 2（射影闭包的无穷远点）
求抛物线 $y = x^2$ 在 $\mathbb{P}^2$ 中的射影闭包，以及它的无穷远点。
提示
齐次化得 $x_0 x_2 = x_1^2$。设 $x_0 = 0$ 得 $x_1 = 0$，故唯一无穷远点 $[0 : 0 : 1]$。这解释了"抛物线在无穷远处只有一个收口"。
练习 3（仿射锥）
在 $\mathbb{P}^2$ 中，$V = V_+(x_0 x_2 - x_1^2)$。写出它的仿射锥 $C(V) \subset \mathbb{A}^3$，并说明 $C(V)$ 是一个常见的二次曲面。
答案
$C(V) = V(x_0 x_2 - x_1^2) \subset \mathbb{A}^3$，这是一个圆锥面（更确切地说，它是一个二次锥）。在合适坐标下相当于 $z^2 = x^2 + y^2$ 的等价。
练习 4（圆锥曲线的射影统一）
说明：椭圆 $x^2/a^2 + y^2/b^2 = 1$、抛物线 $y = x^2$、双曲线 $xy = 1$ 在 $\mathbb{C}$ 上的射影闭包都同构于 $V_+(x_0 x_2 - x_1^2) \subset \mathbb{P}^2_\mathbb{C}$。提示：把每条曲线化为同一个 2 次齐次形式 $Q$，再做合适的射影线性变换。
练习 5（齐次理想是否齐次）
判断 $I = (x^2 + xy, y^3)$ 是否是 $k[x, y]$ 的齐次理想？$I = (x^2 + y, y^3)$ 呢？
提示
第一个是（生成元各自齐次）；第二个不是（$x^2 + y$ 包含 2 次和 1 次两个不同次数的分量）。