Lemma 15.63.17. Let $R$ be a ring. Let $K, L$ be objects of $D(R)$.

1. If $K$ is $n$-pseudo-coherent and $H^ i(K) = 0$ for $i > a$ and $L$ is $m$-pseudo-coherent and $H^ j(L) = 0$ for $j > b$, then $K \otimes _ R^\mathbf {L} L$ is $t$-pseudo-coherent with $t = \max (m + a, n + b)$.

2. If $K$ and $L$ are pseudo-coherent, then $K \otimes _ R^\mathbf {L} L$ is pseudo-coherent.

Proof. Proof of (1). We may assume there exist bounded complexes $K^\bullet$ and $L^\bullet$ of finite free $R$-modules and maps $\alpha : K^\bullet \to K$ and $\beta : L^\bullet \to L$ with $H^ i(\alpha )$ and isomorphism for $i > n$ and surjective for $i = n$ and with $H^ i(\beta )$ and isomorphism for $i > m$ and surjective for $i = m$. Then the map

$\alpha \otimes ^\mathbf {L} \beta : \text{Tot}(K^\bullet \otimes _ R L^\bullet ) \to K \otimes _ R^\mathbf {L} L$

induces isomorphisms on cohomology in degree $i$ for $i > t$ and a surjection for $i = t$. This follows from the spectral sequence of tors (details omitted). Part (2) follows from part (1) and Lemma 15.63.5. $\square$

There are also:

• 3 comment(s) on Section 15.63: Pseudo-coherent modules

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