Wiki. “闭子概形” [闭子概形]

闭子概形 $\iota \colon Y\to X$ 给出正合列 $$ 0\to\mathcal I_{Y/X} \to \mathcal O_X \to \iota_* \mathcal O_Y \to 0. $$ 其中 $\iota_*\mathcal O_Y$ 又记作 $\mathcal O|_Y$.

当 $Y$ 是 $X$ 的除子时, 理想层 $\mathcal I_{Y/X}$ 是 $\mathcal O_X(-Y)$.

相关概念

概形