Lemma 115.13.2. Let $X$ be a proper scheme over a field $k$ which is regular. Let $K \in \mathop{\mathrm{Ob}}\nolimits (D_\mathit{QCoh}(\mathcal{O}_ X))$. The following are equivalent

$K \in D^ b_{\textit{Coh}}(\mathcal{O}_ X) = D_{perf}(\mathcal{O}_ X)$, and

$\sum _{i \in \mathbf{Z}} \dim _ k \mathop{\mathrm{Ext}}\nolimits ^ i_ X(E, K) < \infty $ for all perfect $E$ in $D(\mathcal{O}_ X)$.

## Comments (0)