更新时间:2024-05-21 12:20
常数层是代数几何中的一个概念。
设X为拓扑空间,A是阿贝尔群。赋予A离散拓扑,并对于X中所有开集U,令是U到A的所有连续映射的群。用通常的限制映射,即得到层,称为常数层。
等价定义为满足FU为1,且对所有U≠∅,都对应同一阿贝尔群A,且对∅≠U⊂V,iUV=1A。
如果U是一个开集,而且其连通分支是开的,则是一些A的直积,每个因子对应于U的每个连通分支。