2.2.1 Koszul复合与分辨

文档摘要

2.2.1 Koszul复合与分辨我们来直面一个在代数几何、交换代数与计算同调中反复叩击核心的构造：Koszul复合体（Koszul complex）。它不是教科书里静止的箭头与模的堆叠，而是一台精密运转的“代数引擎”——当多项式环 $ R = k[x1,\dots,xn] $ 遭遇一个由 $ r $ 个元素 $ f1,\dots,fr \in R $ 生成的理想 $ I = (f1,\dots,fr) $，Koszul复合体便悄然启动，以一种近乎本能的方式，为 $ R/I $ 提供一个由自由 $ R $-模构成的、有限长度的、显式可算的极小自由分解（minimal free resolution）——前提是 $ f1,\dots,fr $ 构成一个正则序列（regular