Lemma 15.74.9. Let $A \to B$ be a ring map. Let $K^\bullet$ be a perfect complex of $A$-modules. Then $K^\bullet \otimes _ A^{\mathbf{L}} B$ is a perfect complex of $B$-modules.

Proof. Using Lemma 15.74.2 this translates into the corresponding results for pseudo-coherent modules and modules of finite tor dimension. See Lemma 15.66.13 and Lemma 15.64.12 for those results. $\square$

There are also:

• 6 comment(s) on Section 15.74: Perfect complexes

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