Wiki. “理想层” [理想层]
Wiki. “理想层” [理想层]
理想层是环的理想的全局类比. 一个几何对象的理想层和它的子空间有密切的关系.
定义
设 $(X,A)$ 为赋环空间, 则 $A$ 本身可视为 $A$-模, 它的子 $A$-模就称为理想层.
例
设 $Z$ 是局部 Noether 概形 $X$ 的闭子概形, 在 $Z$ 上消失的正则函数层 $I_{Z/X}$ 是 $\mathcal O_X$ 的理想层, 它是 $X$ 上的凝聚层.
理想层是环的理想的全局类比. 一个几何对象的理想层和它的子空间有密切的关系.
设 $(X,A)$ 为赋环空间, 则 $A$ 本身可视为 $A$-模, 它的子 $A$-模就称为理想层.
设 $Z$ 是局部 Noether 概形 $X$ 的闭子概形, 在 $Z$ 上消失的正则函数层 $I_{Z/X}$ 是 $\mathcal O_X$ 的理想层, 它是 $X$ 上的凝聚层.