Lemma 15.78.1. Let $R \to S$ and $S \to S'$ be ring maps. The canonical map $\mathop{N\! L}\nolimits _{S/R} \otimes _ S^\mathbf {L} S' \to \mathop{N\! L}\nolimits _{S/R} \otimes _ S S'$ induces an isomorphism $\tau _{\geq -1}(\mathop{N\! L}\nolimits _{S/R} \otimes _ S^\mathbf {L} S') \to \mathop{N\! L}\nolimits _{S/R} \otimes _ S S'$ in $D(S')$. Similarly, given a presentation $\alpha$ of $S$ over $R$ the canonical map $\mathop{N\! L}\nolimits (\alpha ) \otimes _ S^\mathbf {L} S' \to \mathop{N\! L}\nolimits (\alpha ) \otimes _ S S'$ induces an isomorphism $\tau _{\geq -1}(\mathop{N\! L}\nolimits (\alpha ) \otimes _ S^\mathbf {L} S') \to \mathop{N\! L}\nolimits (\alpha ) \otimes _ S S'$ in $D(S')$.

Proof. Let $K^\bullet$ be a complex of $S$-modules with $K^ n = 0$ for $n \not\in [-1, 0]$ and $K^0$ flat, for example $K^\bullet = \mathop{N\! L}\nolimits _{S/R}$ or $K^\bullet = \mathop{N\! L}\nolimits (\alpha )$. Then we have a distinguished triangle

$K^0 \to K^\bullet \to K^{-1}[1] \to K^0[1]$

in $D(S)$. This determines a map of distinguished triangles

$\xymatrix{ K^0 \otimes _ S^\mathbf {L} S' \ar[d] \ar[r] & K^\bullet \otimes _ S^\mathbf {L} S' \ar[r] \ar[d] & K^{-1} \otimes _ S^\mathbf {L} S'[1] \ar[r] \ar[d] & K^0 \otimes _ S^\mathbf {L} S'[1] \ar[d] \\ K^0 \otimes _ S S' \ar[r] & K^\bullet \otimes _ S S' \ar[r] & K^{-1} \otimes _ S S'[1] \ar[r] & K^0 \otimes _ S S'[1] }$

The left and right vertical arrows are isomorphisms as $K^0$ is flat. Since $K^{-1} \otimes _ S^\mathbf {L} S' \to K^{-1} \otimes _ S S'$ is an isomorphism on cohomology in degree $0$ we conclude. $\square$

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