可逆层是环空间上的一类结构层。当X是代数簇或解析空间时，可逆层与线丛之间有着一个一一对应的关系。此外可逆层与除子之间也有一个很好的对应关系，这使得可逆层成为代数几何中的一个重要研究工具。

可逆层是带环空间（ringed spaces）(X, 𝒪𝗑)上𝒪𝗑模的秩1的局部自由层。

等价定义为：局部同构于层𝒪𝗑的𝒪𝗑模层。X上的可逆层关于𝒪𝗑上的张量乘法运算可在同构意义构成一个阿贝尓群。这个群称为空间X的皮卡群，记为PicX。层𝒵在这个群里的逆元是与𝒵对偶的层 。当(X,𝒪𝗑)是概形（尤其是代数簇）或是解析空间时，一个𝒪𝗑模层为可逆层，当且仅当它同构于X上某个代数（相应地，解析）线丛的正则（相应地，解析）截面的层。

概形上的可逆层与除子有密切的联系。X上的每个卡吉耶除子D都可联系一个可逆层𝒪𝗑(D)，从而定义一个单同态 ，这里 是X上的卡吉耶除子类群。对于整概形X，这个同态是同构。

在射影概形X上可以定义塞尔扭可逆层（Serre twisted invertible sheaf）𝒪𝗑(1)=𝒪(1)。实际上如果给出了概形X到射影空间PN内到一个嵌入，则𝒪𝗑(1)对应与超平面截面的类。在kᴺ+1+1 作用在𝒪𝗑(n)上。特别当 是域k上的射影空间时，层𝒪𝗑(1)是kᴺ+1上的线形函数的层在自然映射kᴺ+1 可等同于截面空间𝚪(ℙᴺ,𝒪(1))的一个基。

设𝒵是概形X上的可逆层， 是𝒵的截面，这些截面在任何一点x∈X处的值在𝒪𝗑上生成𝒵𝗑。存在唯一态射 使得 ，这里 是ℙᴺ(k)里的齐次坐标。

如果存在嵌入 使得 ，就称X上的可逆层𝒵是极丰富的（very ample）。

如果存在正整数n使得𝒵n是极丰富的，就称X上的可逆层𝒵为丰富的（ample）。

k上的诺特概形X的可逆层𝒵是丰富的，当且仅当对于X上的每个凝聚层𝒥，存在整数n0>0使得当n≥n0时层𝒥⊗𝒵n由它的整体截面生成。

如果除子D对应X上的一个丰富可逆层𝒵，就称D为丰富除子（ample divisor）。设X是代数闭域k上的真光滑概形，则X上卡吉耶除子D为丰富的当且仅当对每个闭整子概形Y≤X，相交指数 取正值，这里r=dimY。

极丰富和丰富可逆层的概念也可被转移到解析空间的情形。