Wiki. “Koszul 复形” [Koszul复形]
Wiki. “Koszul 复形” [Koszul复形]
对于光滑概形 $X$ 上秩为 $r$ 的局部自由层 $F$ 的截面 $s$ 的零点集 $Y$, 有长正合列 $$ 0\to \bigwedge^r F^\vee\to\cdots\to F^\vee \to\mathcal O_X\to\mathcal O_Y\to 0. $$ 换言之, 有 $\mathcal O_Y$ 的消解 $(\bigwedge^\bullet F^\vee [1])\to\mathcal O_Y$.