The Stacks project

Situation 47.13.6. Let $R \to A$ be a ring map. We will give an alternative construction of $R\mathop{\mathrm{Hom}}\nolimits (A, -)$ which will stand us in good stead later in this chapter. Namely, suppose we have a differential graded algebra $(E, d)$ over $R$ and a quasi-isomorphism $E \to A$ where we view $A$ as a differential graded algebra over $R$ with zero differential. Then we have commutative diagrams

\[ \vcenter { \xymatrix{ D(E, \text{d}) \ar[rd] & & D(A) \ar[ll] \ar[ld] \\ & D(R) } } \quad \text{and}\quad \vcenter { \xymatrix{ D(E, \text{d}) \ar[rr]_{- \otimes _ E^\mathbf {L} A} & & D(A) \\ & D(R) \ar[lu]^{- \otimes _ R^\mathbf {L} E} \ar[ru]_{- \otimes _ R^\mathbf {L} A} } } \]

where the horizontal arrows are equivalences of categories (Differential Graded Algebra, Lemma 22.37.1). It is clear that the first diagram commutes. The second diagram commutes because the first one does and our functors are their left adjoints (Differential Graded Algebra, Example 22.33.6) or because we have $E \otimes ^\mathbf {L}_ E A = E \otimes _ E A$ and we can use Differential Graded Algebra, Lemma 22.34.1.

Comments (0)

Post a comment

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BZB. Beware of the difference between the letter 'O' and the digit '0'.