[Theorem 4.1, Neeman-Grothendieck].

Proposition 13.38.2. Let $\mathcal{D}$ be a triangulated category with direct sums which is compactly generated. Let $F : \mathcal{D} \to \mathcal{D}'$ be an exact functor of triangulated categories which transforms direct sums into direct sums. Then $F$ has an exact right adjoint.

Proof. For an object $Y$ of $\mathcal{D}'$ consider the contravariant functor

$\mathcal{D} \to \textit{Ab},\quad W \mapsto \mathop{\mathrm{Hom}}\nolimits _{\mathcal{D}'}(F(W), Y)$

This is a cohomological functor as $F$ is exact and transforms direct sums into products as $F$ transforms direct sums into direct sums. Thus by Lemma 13.38.1 we find an object $X$ of $\mathcal{D}$ such that $\mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(W, X) = \mathop{\mathrm{Hom}}\nolimits _{\mathcal{D}'}(F(W), Y)$. The existence of the adjoint follows from Categories, Lemma 4.24.2. Exactness follows from Lemma 13.7.1. $\square$

Comment #1295 by JuanPablo on

This seems to use that $F$ is exact to find a right adjoint.

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