交换诺特环导出范畴的部分逆幽灵引理

本文给出一种判别交换诺特环的有界导出范畴中稠密子范畴之间包含关系的条件。更确切地说，对于交换诺特环$R$以及具有有限生成同调的$R$-模复形$M$和$N$，我们证明$N$属于由$M$生成的稠密子范畴，当且仅当对每个$R$的素理想$\mathfrak{p}$，$N_\mathfrak{p}$相对于$M_\mathfrak{p}$的幽灵指标有限。为此，我们建立了具有诺特同调的非负分次DG代数的有界导出范畴上的一个“逆余幽灵引理”。