The Stacks project

Proof. Let us define a transformation of functors

To do this, let $M$ be a differential graded $A$-module with property (P). According to the construction of the functor $- \otimes _ A^\mathbf {L} N''$ of the proof of Lemma 22.33.2 the plain tensor product $M \otimes _ A N''$ represents $M \otimes _ A^\mathbf {L} N''$ in $D(C, \text{d})$. Then we write

The module $M \otimes _ A N$ represents $M \otimes _ A^\mathbf {L} N$ in $D(B, \text{d})$. Choose a quasi-isomorphism $Q \to M \otimes _ A N$ where $Q$ is a differential graded $B$-module with property (P). Then $Q \otimes _ B N'$ represents $(M \otimes _ A^\mathbf {L} N) \otimes _ B^\mathbf {L} N'$ in $D(C, \text{d})$. Thus we can define our map via

The construction of this map is functorial in $M$ and compatible with distinguished triangles and direct sums; we omit the details. Consider the property $T$ of objects $M$ of $D(A, \text{d})$ expressing that this map is an isomorphism. Then

1. if $T$ holds for $M_ i$ then $T$ holds for $\bigoplus M_ i$,

2. if $T$ holds for $2$-out-of-$3$ in a distinguished triangle, then it holds for the third, and

3. $T$ holds for $A[k]$ because here we obtain a shift of the map (22.34.0.1) which we have assumed is an isomorphism.

Thus by Remark 22.22.5 property $T$ always holds and the proof is complete. $\square$

Proof. By Lemma 22.33.3 we may replace $N$ and $N'$ by quasi-isomorphic bimodules. Thus we may assume $N$, resp. $N'$ has property (P) as differential graded $(A, B)$-bimodule, resp. $(B, C)$-bimodule, see Lemma 22.28.4. We claim the lemma holds with the $(A, C)$-bimodule $N'' = N \otimes _ B N'$. To prove this, it suffices to show that

is an isomorphism in $D(C, \text{d})$, see Lemma 22.34.1.

Let $F_\bullet$ be the filtration on $N$ as in property (P) for bimodules. By Lemma 22.28.5 there is a short exact sequence

of differential graded $(A, B)$-bimodules which is split as a sequence of graded $(A, B)$-bimodules. A fortiori this is an admissible short exact sequence of differential graded $B$-modules and this produces a distinguished triangle

in $D(B, \text{d})$. Using that $- \otimes _ B^\mathbf {L} N'$ is an exact functor of triangulated categories and commutes with direct sums and using that $- \otimes _ B N'$ transforms admissible exact sequences into admissible exact sequences and commutes with direct sums we reduce to proving that

is a quasi-isomorphism for all $p$. Repeating the argument with the short exact sequences of $(A, B)$-bimodules

which are split as graded $(A, B)$-bimodules we reduce to showing the same statement for $F_{p + 1}N/F_ pN$. Since these modules are direct sums of shifts of $(A \otimes _ R B)_ B$ we reduce to showing that

is a quasi-isomorphism.

Choose a filtration $F_\bullet$ on $N'$ as in property (P) for bimodules. Choose a quasi-isomorphism $P \to (A \otimes _ R B)_ B$ of differential graded $B$-modules where $P$ has property (P). We have to show that $P \otimes _ B N' \to (A \otimes _ R B)_ B \otimes _ B N'$ is a quasi-isomorphism because $P \otimes _ B N'$ represents $(A \otimes _ R B)_ B \otimes _ B^\mathbf {L} N'$ in $D(C, \text{d})$ by the construction in Lemma 22.33.2. As $N' = \mathop{\mathrm{colim}}\nolimits F_ pN'$ we find that it suffices to show that $P \otimes _ B F_ pN' \to (A \otimes _ R B)_ B \otimes _ B F_ pN'$ is a quasi-isomorphism. Using the short exact sequences $0 \to F_ pN' \to F_{p + 1}N' \to F_{p + 1}N'/F_ pN' \to 0$ which are split as graded $(B, C)$-bimodules we reduce to showing $P \otimes _ B F_{p + 1}N'/F_ pN' \to (A \otimes _ R B)_ B \otimes _ B F_{p + 1}N'/F_ pN'$ is a quasi-isomorphism for all $p$. Then finally using that $F_{p + 1}N'/F_ pN'$ is a direct sum of shifts of ${}_ B(B \otimes _ R C)_ C$ we conclude that it suffices to show that

is a quasi-isomorphism. Since $P \to (A \otimes _ R B)_ B$ is a resolution by a module satisfying property (P) this map of differential graded $C$-modules represents the morphism (22.34.1.1) in $D(C, \text{d})$ and the proof is complete. $\square$

Proof. Choose a quasi-isomorphism $P \to (A \otimes _ R B)_ B$ of differential graded $B$-modules, where $P$ has property (P). Then we have to show that

is a quasi-isomorphism. Equivalently we are looking at

This is a quasi-isomorphism if $C$ is K-flat as a complex of $R$-modules by More on Algebra, Lemma 15.59.2. $\square$