标签：#代数几何学

可逆层

在代数几何学中, 可逆层是在赋环空间X上的一个凝聚层S，使得 S关于OX-模上的张量积存在一个逆元素T。这是拓扑意义上的线丛在代数几何学中的类比。 可逆层也被等价定义为秩为1的局部自由层。可逆层在研究代数簇时起到了重要的作用。 定义 可逆层被定义为在赋环空间(X,\mathcal{O}_X)上的一个凝聚层S，使得 S关于OX-模上的张量积存在一个逆元素T 。这相当于说，我们有 :S \otimes T\ \cong \mathcal{O…