Remark 36.18.4 (Uniqueness of dga). Let $X$ be a quasi-compact and quasi-separated scheme over a ring $R$. By the construction of the proof of Theorem 36.18.2 there exists a differential graded algebra $(A, \text{d})$ over $R$ such that $D_\mathit{QCoh}(X)$ is $R$-linearly equivalent to $D(A, \text{d})$ as a triangulated category. One may ask: how unique is $(A, \text{d})$? The answer is (only) slightly better than just saying that $(A, \text{d})$ is well defined up to derived equivalence. Namely, suppose that $(B, \text{d})$ is a second such pair. Then we have
and
for some K-injective complexes $K^\bullet $ and $L^\bullet $ of $\mathcal{O}_ X$-modules corresponding to perfect generators of $D_\mathit{QCoh}(\mathcal{O}_ X)$. Set
Then $\Omega $ is a differential graded $B^{opp} \otimes _ R A$-module and $\Omega '$ is a differential graded $A^{opp} \otimes _ R B$-module. Moreover, the equivalence
is given by the functor $- \otimes _ A^\mathbf {L} \Omega '$ and similarly for the quasi-inverse. Thus we are in the situation of Differential Graded Algebra, Remark 22.37.10. If we ever need this remark we will provide a precise statement with a detailed proof here.
Comments (0)