概念

仿射簇

零点集与坐标环的对应是代数几何的基本字典，希尔伯特零点定理断言「几何为空的理想恰为平凡理想」。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

仿射簇代数几何

01定义

仿射簇是多项式方程组

f_1=\cdots=f_k=0

在

\mathbb{A}^n

中的零点集。坐标环

k[V]=k[x_1,\dots,x_n]/I(V)

把几何完全翻译为代数；希尔伯特零点定理保证「几何 ↔ 代数」的字典在代数闭域上是完美的。

仿射簇 V(f)：多项式 f 的零点集本身就是几何对象

簇 $V$ ↔ 理想 $I(V)$ ，点 ↔ 极大理想，子簇 ↔ 素理想，态射 ↔ 环同态——几何问题全部翻译为交换代数。

$I(V(J))=\sqrt{J}$ ：一个多项式在 $V(J)$ 上处处为零，当且仅当它的某个幂属于 $J$ ——字典的「完备性」保证。

坐标环的 Krull 维数即簇的几何维数；Jacobian 矩阵的秩刻画光滑点与奇点，奇点理论是代数几何的核心课题之一。

V(J)=\{p\in\mathbb{A}^n\mid f(p)=0,\ \forall f\in J\}

I(V(J))=\sqrt{J}\quad(\text{零点定理})

笛卡尔、费马引入坐标后，曲线即方程；19 世纪黎曼、克莱布施用代数曲线研究复分析；希尔伯特 1890 年代的代数定理为「代数化」奠基，20 世纪韦伊将其引向抽象域。

机器人运动学的位形约束是多项式方程组；编码理论的代数几何码（Goppa 码）支撑深空通信；统计学的代数统计用簇描述参数模型。

仿射簇 V(f)：平面代数曲线多项式 f(x,y)=0 的零点集：圆 / 双曲线 / 椭圆曲线

曲线类型0