Wiki. 可逆线性范畴层 [可逆线性范畴层]

观念

可逆线性范畴层是概形上可逆层 (秩为 $1$ 的局部自由 $\mathcal{O}_X$-模) 的范畴化, 是特殊的高阶拟凝聚层, 由 Gestalt $\mathbf{B}^n\mathbb G_m$ 分类.

定义

概形 $X$ 上的可逆线性 $n$-范畴层是高阶拟凝聚层的范畴 $(n+1)\mathsf{QCoh}(X)$ 的可逆对象, 也即由 $\mathbb G_m$-控制的 $n$-束.