非正与正dg代数之间的反变Koszul对偶

局部有限非正微分分次（dg）代数的Koszul对偶是局部有限正dg代数。然而，局部有限正dg代数的Koszul对偶不一定是局部有限的。我们刻画了那些其Koszul对偶为局部有限的局部有限正dg代数。此外，我们证明了Koszul对偶函子诱导了完美导出范畴与完美赋值导出范畴之间的反变等价。作为Koszul对偶的一个应用，我们建立了一个ST-对应。我们还证明，在某些假设下，每个协变有限有界心都是长度心，并且Smalø对称性的三角化类比成立。