Gorenstein 代数诱导的无界阶梯

Gorenstein 三角矩阵代数 $A$ 的导出范畴 $D({\rm Mod}A)$ 允许一个无界阶梯；并且该阶梯限制到 $D^-({\rm Mod})$ {\rm(}resp. $D^b({\rm Mod})$, $D^b({\rm mod})$, $K^b({\rm proj})${\rm)}。带有 Serre 函子的三角范畴左重合嵌入一个周期为 $1$ 的阶梯中；作为应用，$A$ 的奇点范畴允许一个周期为 $1$ 的阶梯。