Lemma 15.77.2. Let $R$ be a ring. Let $a, b \in \mathbf{Z}$. Let $K^\bullet $ be a pseudo-coherent complex of $R$-modules. The following are equivalent
$K^\bullet $ is perfect with tor amplitude in $[a, b]$,
for every prime $\mathfrak p$ we have $H^ i(K^\bullet \otimes _ R^{\mathbf{L}} \kappa (\mathfrak p)) = 0$ for all $i \not\in [a, b]$, and
for every maximal ideal $\mathfrak m$ we have $H^ i(K^\bullet \otimes _ R^{\mathbf{L}} \kappa (\mathfrak m)) = 0$ for all $i \not\in [a, b]$.
Proof. We omit the proof of the implications (1) $\Rightarrow $ (2) $\Rightarrow $ (3). Assume (3). Let $i \in \mathbf{Z}$ with $i \not\in [a, b]$. By Lemma 15.76.4 we see that the assumption implies that $H^ i(K^\bullet )_{\mathfrak m} = 0$ for all maximal ideals of $R$. Hence $H^ i(K^\bullet ) = 0$, see Algebra, Lemma 10.23.1. Moreover, Lemma 15.76.4 now also implies that for every maximal ideal $\mathfrak m$ there exists an element $f \in R$, $f \not\in \mathfrak m$ such that $K^\bullet \otimes _ R R_ f$ is perfect with tor amplitude in $[a, b]$. Hence we conclude by appealing to Lemmas 15.74.12 and 15.66.16. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)