The Stacks project

Lemma 15.60.5. Assumptions as in Lemma 15.60.3. For $M \in D(A)$ there are canonical isomorphisms

\[ H^ i((M \otimes _ A^\mathbf {L} A') \otimes _{R'}^\mathbf {L} B') = H^ i(M \otimes _ R^\mathbf {L} B) \otimes _{(A \otimes _ R B)} (A' \otimes _{R'} B') \]

of $A' \otimes _{R'} B'$-modules.

Proof. Let us elucidate the two sides of the equation. On the left hand side we have the composition of the functors $D(A) \to D(A') \to D(R') \to D(B')$ with the functor $H^ i : D(B') \to \text{Mod}_{B'}$. Since there is a map from $A'$ to the endomorphisms of the object $(M \otimes _ A^\mathbf {L} A') \otimes _{R'}^\mathbf {L} B'$ in $D(B')$, we see that the left hand side is indeed an $A' \otimes _{R'} B'$-module. By the same arguments we see that $H^ i(M \otimes _ R^\mathbf {L} B)$ has an $A \otimes _ R B$-module structure.

We first prove the result in case $B' = R' \otimes _ R B$. In this case we choose a resolution $F^\bullet \to B$ by free $R$-modules. We also choose a K-flat complex $M^\bullet $ of $A$-modules representing $M$. Then the left hand side is represented by

\begin{align*} H^ i(\text{Tot}((M^\bullet \otimes _ A A') \otimes _{R'} (R' \otimes _ R F^\bullet ))) & = H^ i(\text{Tot}(M^\bullet \otimes _ A A' \otimes _ R F^\bullet )) \\ & = H^ i(\text{Tot}(M^\bullet \otimes _ R F^\bullet ) \otimes _ A A') \\ & = H^ i(M \otimes _ R^\mathbf {L} B) \otimes _ A A' \end{align*}

The final equality because $A \to A'$ is flat. The final module is the desired module because $A' \otimes _{R'} B' = A' \otimes _ R B$ since we've assumed $B' = R' \otimes _ R B$ in this paragraph.

General case. Suppose that $B' \to B''$ is a flat ring map. Then it is easy to see that

\[ H^ i((M \otimes _ A^\mathbf {L} A') \otimes _{R'}^\mathbf {L} B'') = H^ i((M \otimes _ A^\mathbf {L} A') \otimes _{R'}^\mathbf {L} B') \otimes _{B'} B'' \]

and

\[ H^ i(M \otimes _ R^\mathbf {L} B) \otimes _{(A \otimes _ R B)} (A' \otimes _{R'} B'') = \left( H^ i(M \otimes _ R^\mathbf {L} B) \otimes _{(A \otimes _ R B)} (A' \otimes _{R'} B') \right) \otimes _{B'} B'' \]

Thus the result for $B'$ implies the result for $B''$. Since we've proven the result for $R' \otimes _ R B$ in the previous paragraph, this implies the result in general. $\square$


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 0DJD. Beware of the difference between the letter 'O' and the digit '0'.