Lemma 57.16.4. Let $S = \mathop{\mathrm{lim}}\nolimits _{i \in I} S_ i$ be a limit of a directed system of schemes with affine transition morphisms $g_{i'i} : S_{i'} \to S_ i$. We assume that $S_ i$ is quasi-compact and quasi-separated for all $i \in I$. Let $0 \in I$. Let $X_0 \to S_0$ and $Y_0 \to S_0$ be smooth proper morphisms. We set $X_ i = S_ i \times _{S_0} X_0$ for $i \geq 0$ and $X = S \times _{S_0} X_0$ and similarly for $Y_0$. If $K$ is the Fourier-Mukai kernel of a relative equivalence from $X$ to $Y$ over $S$ then for some $i \geq 0$ there exists a Fourier-Mukai kernel of a relative equivalence from $X_ i$ to $Y_ i$ over $S_ i$.

**Proof.**
Let $K' \in D_{perf}(\mathcal{O}_{Y \times _ S X})$ be the object assumed to exist in Definition 57.16.1. Since $X \times _ S Y = \mathop{\mathrm{lim}}\nolimits X_ i \times _{S_ i} Y_ i$ there exists an $i$ and objects $K_ i$ and $K'_ i$ in $D_{perf}(\mathcal{O}_{Y_ i \times _{S_ i} X_ i})$ whose pullbacks to $Y \times _ S X$ give $K$ and $K'$. See Derived Categories of Schemes, Lemma 36.29.3. By Derived Categories of Schemes, Lemma 36.30.4 the object

is perfect and its pullback to $X \times _ S X$ is equal to

See proof of Lemma 57.16.3. On the other hand, since $X_ i \to S$ is smooth and separated the object

of $D(\mathcal{O}_{X_ i \times _{S_ i} X_ i})$ is also perfect (by More on Morphisms, Lemmas 37.60.18 and 37.59.13) and its pullback to $X \times _ S X$ is equal to

See proof of Lemma 57.16.3. Thus by Derived Categories of Schemes, Lemma 36.29.3 after increasing $i$ we may assume that

as desired. The same works for the roles of $K$ and $K'$ reversed. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)