赋环空间
赋环空间在数学上系指一个拓扑空间配上一个交换环层,其中特别重要的一类是局部赋环空间。此概念在现代的代数几何学占重要角色。
- 一个赋环空间是一组数据
,其中
为一拓扑空间而
是其上的交换环层。
- 若
在每一点的茎都是局部环,则称之局部赋环空间。
全体赋环空间构成一个范畴,到
的态射是一组
,其中
是连续映射,
是环层的态射(
定义为
)。
局部赋环空间亦成一范畴,其态射除上述要求外,还须满足:对每一点,
在茎上诱导的自然态射
必须是局部的(若
是局部环,环同态
满足
,则称φ为局部的)。