在代数几何学中, 可逆层是在赋环空间"X"上的一个凝聚层"S"，使得 "S"关于"O"-模上的张量积存在一个逆元素"T"。这是拓扑意义上的线丛在代数几何学中的类比。 可逆层也被等价定义为秩为1的局部自由层。可逆层在研究代数簇时起到了重要的作用。
定义.可逆层被定义为在赋环空间formula_1上的一个凝聚层"S"，使得 "S"关于"O"-模上的张量积存在一个逆元素"T" 。这相当于说，我们有这里，空间"X"的环层formula_3是张量积运算下的单位元。可逆层的重要例子来源于对