The title of this section refers to Lemma 57.17.4

Lemma 57.17.1. Let $(R, \mathfrak m, \kappa ) \to (A, \mathfrak n, \lambda )$ be a flat local ring homorphism of local rings which is essentially of finite presentation. Let $\overline{f}_1, \ldots , \overline{f}_ r \in \mathfrak n/\mathfrak m A \subset A/\mathfrak m A$ be a regular sequence. Let $K \in D(A)$. Assume

$K$ is perfect,

$K \otimes _ A^\mathbf {L} A/\mathfrak m A$ is isomorphic in $D(A/\mathfrak m A)$ to the Koszul complex on $\overline{f}_1, \ldots , \overline{f}_ r$.

Then $K$ is isomorphic in $D(A)$ to a Koszul complex on a regular sequence $f_1, \ldots , f_ r \in A$ lifting the given elements $\overline{f}_1, \ldots , \overline{f}_ r$. Moreover, $A/(f_1, \ldots , f_ r)$ is flat over $R$.

**Proof.**
Let us use chain complexes in the proof of this lemma. The Koszul complex $K_\bullet (\overline{f}_1, \ldots , \overline{f}_ r)$ is defined in More on Algebra, Definition 15.28.2. By More on Algebra, Lemma 15.75.4 we can represent $K$ by a complex

\[ K_\bullet : A \to A^{\oplus r} \to \ldots \to A^{\oplus r} \to A \]

whose tensor product with $A/\mathfrak mA$ is equal (!) to $K_\bullet (\overline{f}_1, \ldots , \overline{f}_ r)$. Denote $f_1, \ldots , f_ r \in A$ the components of the arrow $A^{\oplus r} \to A$. These $f_ i$ are lifts of the $\overline{f}_ i$. By Algebra, Lemma 10.128.6 $f_1, \ldots , f_ r$ form a regular sequence in $A$ and $A/(f_1, \ldots , f_ r)$ is flat over $R$. Let $J = (f_1, \ldots , f_ r) \subset A$. Consider the diagram

\[ \xymatrix{ K_\bullet \ar[rd] \ar@{..>}[rr]_{\varphi _\bullet } & & K_\bullet (f_1, \ldots , f_ r) \ar[ld] \\ & A/J } \]

Since $f_1, \ldots , f_ r$ is a regular sequence the south-west arrow is a quasi-isomorphism (see More on Algebra, Lemma 15.30.2). Hence we can find the dotted arrow making the diagram commute for example by Algebra, Lemma 10.71.4. Reducing modulo $\mathfrak m$ we obtain a commutative diagram

\[ \xymatrix{ K_\bullet (\overline{f}_1, \ldots , \overline{f}_ r) \ar[rd] \ar[rr]_{\overline{\varphi }_\bullet } & & K_\bullet (\overline{f}_1, \ldots , \overline{f}_ r) \ar[ld] \\ & (A/\mathfrak m A)/(\overline{f}_1, \ldots , \overline{f}_ r) } \]

by our choice of $K_\bullet $. Thus $\overline{\varphi }$ is an isomorphism in the derived category $D(A/\mathfrak m A)$. It follows that $\overline{\varphi } \otimes _{A/\mathfrak m A}^\mathbf {L} \lambda $ is an isomorphism. Since $\overline{f}_ i \in \mathfrak n / \mathfrak m A$ we see that

\[ \text{Tor}_ i^{A/\mathfrak m A}( K_\bullet (\overline{f}_1, \ldots , \overline{f}_ r), \lambda ) = K_ i(\overline{f}_1, \ldots , \overline{f}_ r) \otimes _{A/\mathfrak m A} \lambda \]

Hence $\varphi _ i \bmod \mathfrak n$ is invertible. Since $A$ is local this means that $\varphi _ i$ is an isomorphism and the proof is complete.
$\square$

Lemma 57.17.2. Let $R \to S$ be a finite type flat ring map of Noetherian rings. Let $\mathfrak q \subset S$ be a prime ideal lying over $\mathfrak p \subset R$. Let $K \in D(S)$ be perfect. Let $f_1, \ldots , f_ r \in \mathfrak q S_\mathfrak q$ be a regular sequence such that $S_\mathfrak q/(f_1, \ldots , f_ r)$ is flat over $R$ and such that $K \otimes _ S^\mathbf {L} S_\mathfrak q$ is isomorphic to the Koszul complex on $f_1, \ldots , f_ r$. Then there exists a $g \in S$, $g \not\in \mathfrak q$ such that

$f_1, \ldots , f_ r$ are the images of $f'_1, \ldots , f'_ r \in S_ g$,

$f'_1, \ldots , f'_ r$ form a regular sequence in $S_ g$,

$S_ g/(f'_1, \ldots , f'_ r)$ is flat over $R$,

$K \otimes _ S^\mathbf {L} S_ g$ is isomorphic to the Koszul complex on $f_1, \ldots , f_ r$.

**Proof.**
We can find $g \in S$, $g \not\in \mathfrak q$ with property (1) by the definition of localizations. After replacing $g$ by $gg'$ for some $g' \in S$, $g' \not\in \mathfrak q$ we may assume (2) holds, see Algebra, Lemma 10.68.6. By Algebra, Theorem 10.129.4 we find that $S_ g/(f'_1, \ldots , f'_ r)$ is flat over $R$ in an open neighbourhood of $\mathfrak q$. Hence after once more replacing $g$ by $gg'$ for some $g' \in S$, $g' \not\in \mathfrak q$ we may assume (3) holds as well. Finally, we get (4) for a further replacement by More on Algebra, Lemma 15.74.17.
$\square$

For a generalization of the following lemma, please see More on Morphisms of Spaces, Lemma 75.49.6.

Lemma 57.17.3. Let $S$ be a Noetherian scheme. Let $s \in S$. Let $p : X \to Y$ be a morphism of schemes over $S$. Assume

$Y \to S$ and $X \to S$ proper,

$X$ is flat over $S$,

$X_ s \to Y_ s$ an isomorphism.

Then there exists an open neighbourhood $U \subset S$ of $s$ such that the base change $X_ U \to Y_ U$ is an isomorphism.

**Proof.**
The morphism $p$ is proper by Morphisms, Lemma 29.41.6. By Cohomology of Schemes, Lemma 30.21.2 there is an open $Y_ s \subset V \subset Y$ such that $p|_{p^{-1}(V)} : p^{-1}(V) \to V$ is finite. By More on Morphisms, Theorem 37.16.1 there is an open $X_ s \subset U \subset X$ such that $p|_ U : U \to Y$ is flat. After removing the images of $X \setminus U$ and $Y \setminus V$ (which are closed subsets not containing $s$) we may assume $p$ is flat and finite. Then $p$ is open (Morphisms, Lemma 29.25.10) and $Y_ s \subset p(X) \subset Y$ hence after shrinking $S$ we may assume $p$ is surjective. As $p_ s : X_ s \to Y_ s$ is an isomorphism, the map

\[ p^\sharp : \mathcal{O}_ Y \longrightarrow p_*\mathcal{O}_ X \]

of coherent $\mathcal{O}_ Y$-modules ($p$ is finite) becomes an isomorphism after pullback by $i : Y_ s \to Y$ (by Cohomology of Schemes, Lemma 30.5.1 for example). By Nakayama's lemma, this implies that $\mathcal{O}_{Y, y} \to (p_*\mathcal{O}_ X)_ y$ is surjective for all $y \in Y_ s$. Hence there is an open $Y_ s \subset V \subset Y$ such that $p^\sharp |_ V$ is surjective (Modules, Lemma 17.9.4). Hence after shrinking $S$ once more we may assume $p^\sharp $ is surjective which means that $p$ is a closed immersion (as $p$ is already finite). Thus now $p$ is a surjective flat closed immersion of Noetherian schemes and hence an isomorphism, see Morphisms, Section 29.26.
$\square$

Lemma 57.17.4. Let $k$ be a field. Let $S$ be a finite type scheme over $k$ with $k$-rational point $s$. Let $Y \to S$ be a smooth proper morphism. Let $X = Y_ s \times S \to S$ be the constant family with fibre $Y_ s$. Let $K$ be the Fourier-Mukai kernel of a relative equivalence from $X$ to $Y$ over $S$. Assume the restriction

\[ L(Y_ s \times _ S Y_ s \to X \times _ S Y)^*K \cong \Delta _{Y_ s/k, *} \mathcal{O}_{Y_ s} \]

in $D(\mathcal{O}_{Y_ s \times Y_ s})$. Then there is an open neighbourhood $s \in U \subset S$ such that $Y|_ U$ is isomorphic to $Y_ s \times U$ over $U$.

**Proof.**
Denote $i : Y_ s \times Y_ s = X_ s \times Y_ s \to X \times _ S Y$ the natural closed immersion. (We will write $Y_ s$ and not $X_ s$ for the fibre of $X$ over $s$ from now on.) Let $z \in Y_ s \times Y_ s = (X \times _ S Y)_ s \subset X \times _ S Y$ be a closed point. As indicated we think of $z$ both as a closed point of $Y_ s \times Y_ s$ as well as a closed point of $X \times _ S Y$.

Case I: $z \not\in \Delta _{Y_ s/k}(Y_ s)$. Denote $\mathcal{O}_ z$ the coherent $\mathcal{O}_{Y_ s \times Y_ s}$-module supported at $z$ whose value is $\kappa (z)$. Then $i_*\mathcal{O}_ z$ is the coherent $\mathcal{O}_{X \times _ S Y}$-module supported at $z$ whose value is $\kappa (z)$. Our assumption means that

\[ K \otimes _{\mathcal{O}_{X \times _ S Y}}^\mathbf {L} i_*\mathcal{O}_ z = Li^*K \otimes _{\mathcal{O}_{Y_ s \times Y_ s}}^\mathbf {L} \mathcal{O}_ z = 0 \]

Hence by Lemma 57.12.3 we find an open neighbourhood $U(z) \subset X \times _ S Y$ of $z$ such that $K|_{U(z)} = 0$. In this case we set $Z(z) = \emptyset $ as closed subscheme of $U(z)$.

Case II: $z \in \Delta _{Y_ s/k}(Y_ s)$. Since $Y_ s$ is smooth over $k$ we know that $\Delta _{Y_ s/k} : Y_ s \to Y_ s \times Y_ s$ is a regular immersion, see More on Morphisms, Lemma 37.60.18. Choose a regular sequence $\overline{f}_1, \ldots , \overline{f}_ r \in \mathcal{O}_{Y_ s \times Y_ s, z}$ cutting out the ideal sheaf of $\Delta _{Y_ s/k}(Y_ s)$. Since a regular sequence is Koszul-regular (More on Algebra, Lemma 15.30.2) our assumption means that

\[ K_ z \otimes _{\mathcal{O}_{X \times _ S Y, z}}^\mathbf {L} \mathcal{O}_{Y_ s \times Y_ s, z} \in D(\mathcal{O}_{Y_ s \times Y_ s, z}) \]

is represented by the Koszul complex on $\overline{f}_1, \ldots , \overline{f}_ r$ over $\mathcal{O}_{Y_ s \times Y_ s, z}$. By Lemma 57.17.1 applied to $\mathcal{O}_{S, s} \to \mathcal{O}_{X \times _ S Y, z}$ we conclude that $K_ z \in D(\mathcal{O}_{X \times _ S Y, z})$ is represented by the Koszul complex on a regular sequence $f_1, \ldots , f_ r \in \mathcal{O}_{X \times _ S Y, z}$ lifting the regular sequence $\overline{f}_1, \ldots , \overline{f}_ r$ such that moreover $\mathcal{O}_{X \times _ S Y}/(f_1, \ldots , f_ r)$ is flat over $\mathcal{O}_{S, s}$. By some limit arguments (Lemma 57.17.2) we conclude that there exists an affine open neighbourhood $U(z) \subset X \times _ S Y$ of $z$ and a closed subscheme $Z(z) \subset U(z)$ such that

$Z(z) \to U(z)$ is a regular closed immersion,

$K|_{U(z)}$ is quasi-isomorphic to $\mathcal{O}_{Z(z)}$,

$Z(z) \to S$ is flat,

$Z(z)_ s = \Delta _{Y_ s/k}(Y_ s) \cap U(z)_ s$ as closed subschemes of $U(z)_ s$.

By property (2), for $z, z' \in Y_ s \times Y_ s$, we find that $Z(z) \cap U(z') = Z(z') \cap U(z)$ as closed subschemes. Hence we obtain an open neighbourhood

\[ U = \bigcup \nolimits _{z \in Y_ s \times Y_ s\text{ closed}} U(z) \]

of $Y_ s \times Y_ s$ in $X \times _ S Y$ and a closed subscheme $Z \subset U$ such that (1) $Z \to U$ is a regular closed immersion, (2) $Z \to S$ is flat, and (3) $Z_ s = \Delta _{Y_ s/k}(Y_ s)$. Since $X \times _ S Y \to S$ is proper, after replacing $S$ by an open neighbourhood of $s$ we may assume $U = X \times _ S Y$. Since the projections $Z_ s \to Y_ s$ and $Z_ s \to X_ s$ are isomorphisms, we conclude that after shrinking $S$ we may assume $Z \to Y$ and $Z \to X$ are isomorphisms, see Lemma 57.17.3. This finishes the proof.
$\square$

Lemma 57.17.5. Let $k$ be an algebraically closed field. Let $X$ be a smooth proper scheme over $k$. Let $f : Y \to S$ be a smooth proper morphism with $S$ of finite type over $k$. Let $K$ be the Fourier-Mukai kernel of a relative equivalence from $X \times S$ to $Y$ over $S$. Then $S$ can be covered by open subschemes $U$ such that there is a $U$-isomorphism $f^{-1}(U) \cong Y_0 \times U$ for some $Y_0$ proper and smooth over $k$.

**Proof.**
Choose a closed point $s \in S$. Since $k$ is algebraically closed this is a $k$-rational point. Set $Y_0 = Y_ s$. The restriction $K_0$ of $K$ to $X \times Y_0$ is the Fourier-Mukai kernel of a relative equivalence from $X$ to $Y_0$ over $\mathop{\mathrm{Spec}}(k)$ by Lemma 57.16.3. Let $K'_0$ in $D_{perf}(\mathcal{O}_{Y_0 \times X})$ be the object assumed to exist in Definition 57.16.1. Then $K'_0$ is the Fourier-Mukai kernel of a relative equivalence from $Y_0$ to $X$ over $\mathop{\mathrm{Spec}}(k)$ by the symmetry inherent in Definition 57.16.1. Hence by Lemma 57.16.3 we see that the pullback

\[ M = (Y_0 \times X \times S \to Y_0 \times X)^*K'_0 \]

on $(Y_0 \times S) \times _ S (X \times S) = Y_0 \times X \times S$ is the Fourier-Mukai kernel of a relative equivalence from $Y_0 \times S$ to $X \times S$ over $S$. Now consider the kernel

\[ K_{new} = R\text{pr}_{13, *}(L\text{pr}_{12}^*M \otimes _{\mathcal{O}_{(Y_0 \times S) \times _ S (X \times S) \times _ S Y}}^\mathbf {L} L\text{pr}_{23}^*K) \]

on $(Y_0 \times S) \times _ S Y$. This is the Fourier-Mukai kernel of a relative equivalence from $Y_0 \times S$ to $Y$ over $S$ since it is the composition of two invertible arrows in the category constructed in Section 57.15. Moreover, this composition passes through base change (Lemma 57.15.1). Hence we see that the pullback of $K_{new}$ to $((Y_0 \times S) \times _ S Y)_ s = Y_0 \times Y_0$ is equal to the composition of $K_0$ and $K'_0$ and hence equal to the identity in this category. In other words, we have

\[ L(Y_0 \times Y_0 \to (Y_0 \times S) \times _ S Y)^*K_{new} \cong \Delta _{Y_0/k, *}\mathcal{O}_{Y_0} \]

Thus by Lemma 57.17.4 we conclude that $Y \to S$ is isomorphic to $Y_0 \times S$ in an open neighbourhood of $s$. This finishes the proof.
$\square$

## Comments (0)