2.2 多项式环与同调代数 第二章:基础代数工具 2.2 多项式环与同调代数:从构造性直觉到不变量的深层呼吸 当我们站在代数几何的山脊线上回望,会发现整座学科大厦并非凭空拔地而起,而是由一组精巧咬合的“代数齿轮”所驱动——其中最基础、也最富张力的一对,正是多项式环与同调代数。前者是几何对象的代数化身:仿射簇 $X \subseteq \mathbb{A}^nk$ 由理想 $I(X) \subset k[x1,\dots,xn]$ 刻画,其坐标环 $k[X] = k[x1,\dots,xn]/I(X)$ 承载全部正则函数信息;后者则不是一种“计算技巧”,而是一种结构性的呼吸方式——它不满足于问“这个模是什么”,而执意追问:“它如何被更简单的对象组装?它在何种意义上‘失败’了自由性?