Proposition 57.14.4. Let $k$ be a field. Let $X$ and $Y$ be smooth proper schemes over $k$. If $F : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$ is a $k$-linear exact equivalence of triangulated categories then there exists a Fourier-Mukai functor $F' : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$ whose kernel is in $D_{perf}(\mathcal{O}_{X \times Y})$ which is an equivalence and a sibling of $F$.

Proof. The functor $F'$ of Lemma 57.14.2 is an equivalence by Lemma 57.11.3. $\square$

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