Wiki. “重言丛” [重言丛]SimplicialCat $\mathbb P^1$ 上的重言丛 $\mathbb P^1$ 上的重言丛 $\mathcal O(-1)$ 恰好是一个点对应的理想层, 有短正合列 $$ 0\to \mathcal O(-1) \to \mathcal O \to\mathcal O_p\to 0. $$ 见除子.