Lemma 15.65.3. Let $R$ be a ring. Let $K^\bullet$ be an object of $D(R)$. Let $a, b \in \mathbf{Z}$. The following are equivalent

1. $K^\bullet$ has tor-amplitude in $[a, b]$.

2. $K^\bullet$ is quasi-isomorphic to a complex $E^\bullet$ of flat $R$-modules with $E^ i = 0$ for $i \not\in [a, b]$.

Proof. If (2) holds, then we may compute $K^\bullet \otimes _ R^\mathbf {L} M = E^\bullet \otimes _ R M$ and it is clear that (1) holds. Assume that (1) holds. We may replace $K^\bullet$ by a projective resolution with $K^ i = 0$ for $i > b$. See Derived Categories, Lemma 13.19.3. Set $E^\bullet = \tau _{\geq a}K^\bullet$. Everything is clear except that $E^ a$ is flat which follows immediately from Lemma 15.65.2 and the definitions. $\square$

Comment #4357 by Manuel Hoff on

I find the proof somewhat confusing. Instead of first choosing a projective resolution for $K^\bullet$ and then chopping of the higher terms one could also just directly choose a projective resolution with vanishing higher terms as $H^i(K^\bullet ) = 0$ for $i > b$, see Lemma 05T6 (or its dual version).

Comment #4501 by on

A rare instance where the proof gets shorter. Thanks. Fixed here.

There are also:

• 2 comment(s) on Section 15.65: Tor dimension

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