Lemma 15.69.7. Let (R, \mathfrak m, \kappa ) be a local Noetherian ring. Let K \in D^+(R) have finite cohomology modules. Then the following are equivalent
K has finite injective dimension, and
\mathop{\mathrm{Ext}}\nolimits ^ i_ R(\kappa , K) = 0 for i \gg 0.
Comments (0)