Processing math: 100%

The Stacks project

57.16 No deformations

The title of this section refers to Lemma 57.16.4

Lemma 57.16.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

  1. K is perfect,

  2. 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.5 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.16.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

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

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

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

  4. 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 76.49.6.

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

  1. Y \to S and X \to S proper,

  2. X is flat over S,

  3. 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.16.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.11.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.62.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.16.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.16.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

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

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

  3. Z(z) \to S is flat,

  4. 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.16.3. This finishes the proof. \square

Lemma 57.16.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.15.3. Let K'_0 in D_{perf}(\mathcal{O}_{Y_0 \times X}) be the object assumed to exist in Definition 57.15.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.15.1. Hence by Lemma 57.15.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.14. Moreover, this composition passes through base change (Lemma 57.14.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.16.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)


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.