an:00473019
Zbl 0813.14001
Miyaoka, Yoichi
Relative deformations of morphisms and applications to fibre spaces
EN
Comment. Math. Univ. St. Pauli 42, No. 1, 1-7 (1993).
00016025
1993
j
14B12 14F10 14J45 14E05 14C05
relative deformation for a morphism; Fano manifold; Hilbert schemes; sheaves of differential operators; infinitesimal deformations; Fano variety
The author introduces a notion of relative deformation for a morphism \(f:Y \to X\) between smooth algebraic varieties, and he applies it to study the case where the fibers of \(f\) are Fano manifolds. -- Let \(k\) be a field, \(f : Y \to X\) and \(\pi : Z \to X\) \(k\)-morphisms between smooth \(k\)-varieties, and \((S,o)\) a connected punctured \(k\)-scheme. An \(S\)- morphism \(\widetilde f : Y \times_ kS \to X \times_ kS\), or a family \(\widetilde f = \{f_ s : Y \to X\}_{s \in S}\), is a ``relative deformation'' of \(f\) over \(Z\) with base subscheme \(B\subset Y\), if the following three conditions are satisfied:
\[
\widetilde f_{| Y \times \{0\}} = f,\quad \widetilde f_{| B \times S} = (f_{| B}, \text{pr}_ S) \quad \text{and} \quad (\pi, \text{pr}_ S) \circ \widetilde f = (\pi \circ f, \text{pr}_ S).
\]
\vskip3.mm We denote by \(\text{Deform}_ Z (S,o;f,B)\) the set of relative deformations of \(f\) over \(Z\) with base \(B\), and we define a contravariant functor from the category of punctured \(k\)-schemes to the category of sets: \(\text{Deform}_ Z(*;f,B) : (S,o) \mapsto \text{Deform}_ Z (S,o; f,B)\). We denote by \(\text{Sing} (\pi)\) the singular locus of \(\pi\), \(f^ \# T_{X/Z}\) the kernel of \(f^*d \pi : f^*T_ X \to f^* \pi^* T_ Z\).
Theorem 1. Assume that \(X\) and \(Y\) are both projective and that \(\pi\) is surjective.
(1) The functor \(\text{Deform}_ Z (*;f,B)\) is representable by a quasi-projective \(k\)-scheme \(D_ Z(f,B)\), the universal \(Z\)-deformation of \(f\) with base \(B\).
(2) If \(\dim_ k (Y) = 1\) and \(f(Y)\) is not contained in \(\text{Sing} (\pi)\), then the tangent space of \(D_ Z (f,B)\) at \([f] = 0\) is \(H^ 0(Y, {\mathcal I}_ B f^ \#T_{X/Z})\) and the obstruction lies in \(H^ 1 (Y, {\mathcal I}_ Bf^ \#T_{X/Z})\).
(3) When \(k\) is the fraction field of a ring finitely generated over \(\mathbb{Z}\) the statements (1) and (2) hold on almost every reduction of positive characteristic.
To prove the first part of the theorem, we use the theory of the Hilbert schemes and for the second part we study the sheaves of differential operators on \(X\) and \(Z\), and we look at infinitesimal deformations. Then we can use standard arguments on deformation. We have the following applications:
Theorem 2. Let \(X\) and \(Z\) be smooth projective \(k\)-varieties; let \(\pi: X \to Z\) be a surjective projective morphism with at least one smooth fiber. Then the relative anti-canonical sheaf \(\omega^{-1}_{X/Z}\) cannot be ample, unless \(Z\) is a single point.
Theorem 3. Let \(\pi : X \to Z\) be a morphism as above with \(X\) a Fano variety; let \(H\) be an ample divisor on \(Z\), \(\alpha>0\) such that \(-K_ X - \alpha \pi^*H\) is nef and let \(C\) be an irreducible curve on \(Z\). If \((C,-K_ Z - \alpha H) < 0\), then \(C\) is contained in the discriminant locus of \(\pi\).
If we assume that a morphism \(f:Y \to X\), where \(Y\) is a smooth projective curve, has a nontrivial deformation over \(Z\), by the theorem 1 we can show there exists a morphism \(f':Y\to X\) with \(\deg f'(Y)<\deg f(Y)\) and \(\pi\circ f'=\pi\circ f\). -- Then to prove theorems 2 and 3 we use Mori's arguments: we make reduction modulo \(p\) and we replace the map \(f\) by the composite with a suitable geometric Frobenius.
M.Vaquie (Paris)