Situation 57.13.1. Here $k$ is a field. We have proper smooth schemes $X$ and $Y$ over $k$. We have a $k$-linear, exact, fully faithful functor $F : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$.
57.13 Fully faithful functors
Our goal is to prove fully faithful functors between derived categories are siblings of Fourier-Mukai functors, following [Orlov-K3] and [Ballard].
Before reading on, it makes sense to read at least some of Derived Categories, Section 13.41.
Recall that $X$ is regular and hence has the resolution property (Varieties, Lemma 33.25.3 and Derived Categories of Schemes, Lemma 36.36.8). Thus on $X \times X$ we may choose a resolution
where each $\mathcal{E}_ i$ and $\mathcal{G}_ i$ is a finite locally free $\mathcal{O}_ X$-module, see Lemma 57.9.3. Using the complex
in $D_{perf}(\mathcal{O}_{X \times X})$ as in Derived Categories, Example 13.41.2 if for each $n$ we denote
we obtain an infinite Postnikov system for the complex (57.13.1.1). This means the morphisms $M_0 \to M_1[1] \to M_2[2] \to \ldots $ and $M_ n \to \mathcal{E}_ n \boxtimes \mathcal{G}_ n$ and $\mathcal{E}_ n \boxtimes \mathcal{G}_ n \to M_{n - 1}$ satisfy certain conditions documented in Derived Categories, Definition 13.41.1. Set
Observe that since $\mathcal{O}_\Delta $ is flat over $X$ via $\text{pr}_1$ the same is true for $\mathcal{F}_ n$ for all $n$ (this is a convenient though not essential observation). We have
Thus for $n \geq \dim (X \times X)$ we have
in $D_{perf}(\mathcal{O}_{X \times X})$ by Lemma 57.9.5.
We are interested in the complex
in $D_{perf}(\mathcal{O}_{X \times Y})$ as the “totalization” of this complex should give us the kernel of the Fourier-Mukai functor we are trying to construct. For all $i, j \geq 0$ we have
The second equality holds because $F$ is fully faithful and the first by Derived Categories of Schemes, Lemma 36.25.1. We find these $\mathop{\mathrm{Ext}}\nolimits ^ q$ are zero for $q < 0$. Hence by Derived Categories, Lemma 13.41.6 we can build an infinite Postnikov system $K_0, K_1, K_2, \ldots $ in $D_{perf}(\mathcal{O}_{X \times Y})$ for the complex (57.13.1.2). Parallel to what happens with $M_0, M_1, M_2, \ldots $ this means we obtain morphisms $K_0 \to K_1[1] \to K_2[2] \to \ldots $ and $K_ n \to \mathcal{E}_ n \boxtimes F(\mathcal{G}_ n)$ and $\mathcal{E}_ n \boxtimes F(\mathcal{G}_ n) \to K_{n - 1}$ in $D_{perf}(\mathcal{O}_{X \times Y})$ satisfying certain conditions documented in Derived Categories, Definition 13.41.1.
Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module whose support has a finite number of points, i.e., with $\dim (\text{Supp}(\mathcal{F})) = 0$. Consider the exact functor of triangulated categories
It follows that the objects $R\text{pr}_{2, *}(\text{pr}_1^*\mathcal{F} \otimes ^\mathbf {L}_{\mathcal{O}_{X \times Y}} K_ i)$ form a Postnikov system for the complex in $D_{perf}(\mathcal{O}_ Y)$ with terms
Here we have used that $\mathcal{F} \otimes \mathcal{E}_ i$ has vanishing higher cohomology as its support has dimension $0$. On the other hand, applying the exact functor
we find that the objects $F(R\text{pr}_{2, *}(\text{pr}_1^*\mathcal{F} \otimes ^\mathbf {L}_{\mathcal{O}_{X \times X}} M_ n))$ form a second infinite Postnikov system for the complex in $D_{perf}(\mathcal{O}_ Y)$ with terms
This is the same as before! By uniqueness of Postnikov systems (Derived Categories, Lemma 13.41.6) which applies because
as $F$ is fully faithful, we find a system of isomorphisms
in $D_{perf}(\mathcal{O}_ Y)$ compatible with the morphisms in $D_{perf}(\mathcal{O}_ Y)$ induced by the morphisms
which are part of the structure of Postnikov systems. For $n$ sufficiently large we obtain a direct sum decomposition
corresponding to the direct sum decomposition of $M_ n$ constructed above (we are using the flatness of $\mathcal{F}_ n$ over $X$ via $\text{pr}_1$ to write a usual tensor product in the formula above, but this isn't essential for the argument). By Lemma 57.9.9 we find there exists an integer $m \geq 0$ such that the first summand in this direct sum decomposition has nonzero cohomology sheaves only in the interval $[-m, m]$ and the second summand in this direct sum decomposition has nonzero cohomology sheaves only in the interval $[-m - n, m + \dim (X) - n]$. We conclude the system $K_0 \to K_1[1] \to K_2[2] \to \ldots $ in $D_{perf}(\mathcal{O}_{X \times Y})$ satisfies the assumptions of Lemma 57.9.10 after possibly replacing $m$ by a larger integer. We conclude we can write
for $n \gg 0$ compatible with transition maps and with $C_ n$ having nonzero cohomology sheaves only in the range $[-m - n, m - n]$. Denote $G$ the Fourier-Mukai functor corresponding to $K$. Putting everything together we find
Looking at the degrees that objects live in we conclude that for $n \gg m$ we obtain an isomorphism
Moreover, recall that this holds for every coherent $\mathcal{F}$ on $X$ whose support has dimension $0$.
Lemma 57.13.2. Let $k$ be a field. Let $X$ and $Y$ be smooth proper schemes over $k$. Given a $k$-linear, exact, fully faithful functor $F : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$ 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 a sibling to $F$.
Proof. Apply Lemma 57.12.6 to $F$ and the functor $G$ constructed above. $\square$
The following theorem is also true without assuming $X$ is projective, see [Noah].
Theorem 57.13.3 (Orlov).reference Let $k$ be a field. Let $X$ and $Y$ be smooth proper schemes over $k$ with $X$ projective over $k$. Any $k$-linear fully faithful exact functor $F : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$ is a Fourier-Mukai functor for some kernel in $D_{perf}(\mathcal{O}_{X \times Y})$.
Proof. Let $F'$ be the Fourier-Mukai functor which is a sibling of $F$ as in Lemma 57.13.2. By Proposition 57.10.6 we have $F \cong F'$ provided we can show that $\textit{Coh}(\mathcal{O}_ X)$ has enough negative objects. However, if $X = \mathop{\mathrm{Spec}}(k)$ for example, then this isn't true. Thus we first decompose $X = \coprod X_ i$ into its connected (and irreducible) components and we argue that it suffices to prove the result for each of the (fully faithful) composition functors
Details omitted. Thus we may assume $X$ is irreducible.
The case $\dim (X) = 0$. Here $X$ is the spectrum of a finite (separable) extension $k'/k$ and hence $D_{perf}(\mathcal{O}_ X)$ is equivalent to the category of graded $k'$-vector spaces such that $\mathcal{O}_ X$ corresponds to the trivial $1$-dimensional vector space in degree $0$. It is straightforward to see that any two siblings $F, F' : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$ are isomorphic. Namely, we are given an isomorphism $F(\mathcal{O}_ X) \cong F'(\mathcal{O}_ X)$ compatible the action of the $k$-algebra $k' = \text{End}_{D_{perf}(\mathcal{O}_ X)}(\mathcal{O}_ X)$ which extends canonically to an isomorphism on any graded $k'$-vector space.
The case $\dim (X) > 0$. Here $X$ is a projective smooth variety of dimension $> 1$. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. We have to show there exists a coherent module $\mathcal{N}$ such that
there is a surjection $\mathcal{N} \to \mathcal{F}$ and
$\mathop{\mathrm{Hom}}\nolimits (\mathcal{F}, \mathcal{N}) = 0$.
Choose an ample invertible $\mathcal{O}_ X$-module $\mathcal{L}$. We claim that $\mathcal{N} = (\mathcal{L}^{\otimes n})^{\oplus r}$ will work for $n \ll 0$ and $r$ large enough. Condition (1) follows from Properties, Proposition 28.26.13. Finally, we have
Since the dual $\mathop{\mathcal{H}\! \mathit{om}}\nolimits (\mathcal{F}, \mathcal{O}_ X)$ is torsion free, this vanishes for $n \ll 0$ by Varieties, Lemma 33.48.1. This finishes the proof. $\square$
Proposition 57.13.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.13.2 is an equivalence by Lemma 57.10.3. $\square$
Lemma 57.13.5. Let $k$ be a field. Let $X$ be a smooth proper scheme over $k$. Let $K \in D_{perf}(\mathcal{O}_{X \times X})$. If the Fourier-Mukai functor $\Phi _ K : D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ X)$ is isomorphic to the identity functor, then $K \cong \Delta _*\mathcal{O}_ X$ in $_{perf}(\mathcal{O}_{X \times X})$.
Proof. Let $i$ be the minimal integer such that the cohomology sheaf $H^ i(K)$ is nonzero. Let $\mathcal{E}$ and $\mathcal{G}$ be finite locally free $\mathcal{O}_ X$-modules. Then
which is zero if $i < 0$. On the other hand, we can choose $\mathcal{E}$ and $\mathcal{G}$ such that there is a surjection $\mathcal{E}^\vee \boxtimes \mathcal{G}^\vee \to H^ i(K)$ by Lemma 57.9.1. In this case the left hand side of the equalities is nonzero. Hence we conclude that $H^ i(K) = 0$ for $i < 0$.
Let $i$ be the maximal integer such that $H^ i(K)$ is nonzero. The same argument with $\mathcal{E}$ and $\mathcal{G}$ support of dimension $0$ shows that $i \leq 0$. Hence we conclude that $K$ is given by a single coherent $\mathcal{O}_{X \times X}$-module $\mathcal{K}$ sitting in degree $0$.
Since $R\text{pr}_{2, *}(\text{pr}_1^*\mathcal{F} \otimes \mathcal{K})$ is $\mathcal{F}$, by taking $\mathcal{F}$ supported at closed points we see that the support of $\mathcal{K}$ is finite over $X$ via $\text{pr}_2$. Since $R\text{pr}_{2, *}(\mathcal{K}) \cong \mathcal{O}_ X$ we conclude by Functors and Morphisms, Lemma 56.7.6 that $\mathcal{K} = s_*\mathcal{O}_ X$ for some section $s : X \to X \times X$ of the second projection. Then $\Phi _ K(M) = f^*M$ where $f = \text{pr}_1 \circ s$ and this can happen only if $s$ is the diagonal morphism as desired. $\square$
Comments (0)