遗传代数的导出范畴的奇点范畴是导出范畴

我们证明了对于无圈箭图的路径代数$A$，导出范畴$\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$的奇点范畴三角等价于$\underline{\mathsf{mod}}\,A$的函子范畴的导出范畴，即$\mathsf{D}_{\rm sg}(\mathsf{D}^{\rm b}(\mathsf{mod}\,A))\simeq \mathsf{D}^{\rm b}(\mathsf{mod}(\underline{\mathsf{mod}}\,A))$。这推广了Iyama-Oppermann关于Dynkin箭图路径代数$A$的结果。一个重要步骤是建立重复代数的Happel三角等价的函子范畴类似物。