The Stacks project

Proof. We check the conditions of Categories, Definition 4.19.1. The category is nonempty because it contains $0 \to X$. If $E_ i \to X$, $i = 1, 2$ are objects, then $E_1 \oplus E_2 \to X$ is an object and there are morphisms $(E_ i \to X) \to (E_1 \oplus E_2 \to X)$. Finally, suppose that $a, b : (E \to X) \to (E' \to X)$ are morphisms. Choose a distinguished triangle $E \xrightarrow {a - b} E' \to E''$ in $\mathcal{D}'$. By Axiom TR3 we obtain a morphism of triangles

and we find that the resulting arrow $(E' \to X) \to (E'' \to X)$ equalizes $a$ and $b$. $\square$

Proof. We will use Derived Categories, Lemma 13.37.2 without further mention. Denote $G : \mathcal{D}_ c \to \text{Vect}_ k$ the $k$-linear homological functor which sends $X$ to $H(X)^\vee $. For any object $Y$ of $\mathcal{D}$ we set

The colimit is filtered by Lemma 57.6.1. We claim that $G'$ is a $k$-linear homological functor, the restriction of $G'$ to $\mathcal{D}_ c$ is $G$, and $G'$ sends direct sums to direct sums.

Namely, suppose that $Y_1 \to Y_2 \to Y_3$ is a distinguished triangle. Let $\xi \in G'(Y_2)$ map to zero in $G'(Y_3)$. Since the colimit is filtered $\xi $ is represented by some $X \to Y_2$ with $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$ and $g \in G(X)$. The fact that $\xi $ maps to zero in $G'(Y_3)$ means the composition $X \to Y_2 \to Y_3$ factors as $X \to X' \to Y_3$ with $X' \in \mathcal{D}_ c$ and $g$ mapping to zero in $G(X')$. Choose a distinguished triangle $X'' \to X \to X'$. Then $X'' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$. Since $G$ is homological we find that $g$ is the image of some $g'' \in G'(X'')$. By Axiom TR3 the maps $X \to Y_2$ and $X' \to Y_3$ fit into a morphism of distinguished triangles $(X'' \to X \to X') \to (Y_1 \to Y_2 \to Y_3)$ and we find that indeed $\xi $ is the image of the element of $G'(Y_1)$ represented by $X'' \to Y_1$ and $g'' \in G(X'')$.

If $Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$, then $\text{id} : Y \to Y$ is the final object in the category of arrows $X \to Y$ with $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$. Hence we see that $G'(Y) = G(Y)$ in this case and the statement on restriction holds. Let $Y = \bigoplus _{i \in I} Y_ i$ be a direct sum. Let $a : X \to Y$ with $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$ and $g \in G(X)$ represent an element $\xi $ of $G'(Y)$. The morphism $a : X \to Y$ can be uniquely written as a sum of morphisms $a_ i : X \to Y_ i$ almost all zero as $X$ is a compact object of $\mathcal{D}$. Let $I' = \{ i \in I \mid a_ i \not= 0\} $. Then we can factor $a$ as the composition

We conclude that $\xi = \sum _{i \in I'} \xi _ i$ is the sum of the images of the elements $\xi _ i \in G'(Y_ i)$ corresponding to $a_ i : X \to Y_ i$ and $g \in G(X)$. Hence $\bigoplus G'(Y_ i) \to G'(Y)$ is surjective. We omit the (trivial) verification that it is injective.

It follows that the functor $Y \mapsto G'(Y)^\vee $ is cohomological and sends direct sums to direct products. Hence by Brown representability, see Derived Categories, Proposition 13.38.2 we conclude that there exists a $Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ and an isomorphism $G'(Z)^\vee = \mathop{\mathrm{Hom}}\nolimits (Z, Y)$ functorially in $Z$. For $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}_ c)$ we have $G'(X)^\vee = G(X)^\vee = (H(X)^\vee )^\vee = H(X)$ because $\dim _ k H(X) < \infty $ and the proof is complete. $\square$

Proof. The derived category $D_\mathit{QCoh}(\mathcal{O}_ X)$ has direct sums, is compactly generated, and $D_{perf}(\mathcal{O}_ X)$ is the full subcategory of compact objects, see Derived Categories of Schemes, Lemma 36.3.1, Theorem 36.15.3, and Proposition 36.17.1. By Lemma 57.6.2 we may assume $F(E) = \mathop{\mathrm{Hom}}\nolimits _ X(E, K)$ for some $K \in \mathop{\mathrm{Ob}}\nolimits (D_\mathit{QCoh}(\mathcal{O}_ X))$. Then it follows that $K$ is in $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$ by Lemma 57.5.4. $\square$

Proof. Consider the contravariant functor $E \mapsto E^\vee $ on $D_{perf}(\mathcal{O}_ X)$, see Cohomology, Lemma 20.50.5. This functor is an exact anti-self-equivalence of $D_{perf}(\mathcal{O}_ X)$. Hence we may apply Theorem 57.6.3 to the functor $F(E) = G(E^\vee )$ to find $K \in D_{perf}(\mathcal{O}_ X)$ such that $G(E^\vee ) = \mathop{\mathrm{Hom}}\nolimits _ X(E, K)$. It follows that $G(E) = \mathop{\mathrm{Hom}}\nolimits _ X(E^\vee , K) = \mathop{\mathrm{Hom}}\nolimits _ X(K^\vee , E)$ and we conclude that taking $K^\vee $ works. $\square$