Wiki. 理想层 [理想层]

理想层是环层的理想. 环化空间的理想层对应闭子空间.

定义

设 $(X,A)$ 为环化空间, 则 $A$ 作为 $A$-模的子 $A$-模称为理想层.

例

设 $Z$ 是局部 Noether 概形 $X$ 的闭子概形, 在 $Z$ 上消失的正则函数层 $I_{Z/X}$ 是 $\mathcal O_X$ 的理想层, 它是 $X$ 上的凝聚层.

另见切丛, 法丛.