三角范畴增强的唯一性

本文包含了关于三角范畴DG增强唯一性的一般性结果。作为推论，我们得到了拟射影概形上无界拟凝聚层范畴、完美复形三角范畴以及有界凝聚层导出范畴的此类唯一性。如果概形是射影的，我们还证明了完美复形三角范畴和有界凝聚层导出范畴的强唯一性。这些结果直接表明，从射影概形上的有界凝聚层导出范畴和完美复形三角范畴出发的完全忠实函子可以用乘积上的对象来表示。