可逆層
数学において，可逆層（かぎゃくそう，）とは，環付き空間 上の連接層 であって， 加群のテンソル積に関して逆元 が存在するものである．可逆層は直線束という位相的な概念の代数幾何学における対応物である．との相互作用のため，代数多様体の研究で中心的な役割を果たす．