Lemma 57.16.3. With notation as in Definition 57.16.1 let $K$ be the Fourier-Mukai kernel of a relative equivalence from $X$ to $Y$ over $S$. Let $S_1 \to S$ be a morphism of schemes. Let $X_1 = S_1 \times _ S X$ and $Y_1 = S_1 \times _ S Y$. Then the pullback $K_1 = L(X_1 \times _{S_1} Y_1 \to X \times _ S Y)^*K$ is the Fourier-Mukai kernel of a relative equivalence from $X_1$ to $Y_1$ over $S_1$.

**Proof.**
Let $K' \in D_{perf}(\mathcal{O}_{Y \times _ S X})$ be the object assumed to exist in Definition 57.16.1. Denote $K'_1$ the pullback of $K'$ by $Y_1 \times _{S_1} X_1 \to Y \times _ S X$. Then it suffices to prove that we have

in $D(\mathcal{O}_{X_1 \times _{S_1} X_1})$ and similarly for the other condition. Since

is cartesian it suffices by Derived Categories of Schemes, Lemma 36.30.4 to prove that

This in turn will be true if $X$ and $X_1 \times _{S_1} X_1$ are tor independent over $X \times _ S X$, see Derived Categories of Schemes, Lemma 36.22.5. This tor independence can be seen directly but also follows from the more general More on Morphisms, Lemma 37.67.1 applied to the square with corners $X, X, X, S$ and its base change by $S_1 \to S$. $\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)