This section is the analogue of Differential Graded Algebra, Section 22.37.
Lemma 24.30.1. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. If $\varphi : \mathcal{A} \to \mathcal{B}$ is a homomorphism of differential graded $\mathcal{O}$-algebras which induces an isomorphism on cohomology sheaves, then is an equivalence of categories.
\[ D(\mathcal{A}, \text{d}) \longrightarrow D(\mathcal{B}, \text{d}), \quad \mathcal{M} \longmapsto \mathcal{M} \otimes _\mathcal {A}^\mathbf {L} \mathcal{B} \]
Proof. Recall that the restriction functor
is a right adjoint to
See Section 24.17. Since restriction sends quasi-isomorphisms to quasi-isomorphisms, we see that it trivially has a left derived extension (given by restriction). This functor will be right adjoint to $- \otimes _\mathcal {A}^\mathbf {L} \mathcal{B}$ by Derived Categories, Lemma 13.30.1. The adjunction map
is an isomorphism in $D(\mathcal{A}, \text{d})$ by our assumption that $\mathcal{A} \to \mathcal{B}$ is a quasi-isomorphism of (left) differential graded $\mathcal{A}$-modules. In particular, the functor of the lemma is fully faithful, see Categories, Lemma 4.24.4. It is clear that the kernel of the restriction functor $D(\mathcal{B}, \text{d}) \to D(\mathcal{A}, \text{d})$ is zero. Thus we conclude by Derived Categories, Lemma 13.7.2. $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)