×

zbMATH — the first resource for mathematics

Relative deformations of morphisms and applications to fibre spaces. (English) Zbl 0813.14001
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). \]
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.
Reviewer: M.Vaquie (Paris)

MSC:
14B12 Local deformation theory, Artin approximation, etc.
14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
14J45 Fano varieties
14E05 Rational and birational maps
14C05 Parametrization (Chow and Hilbert schemes)
PDF BibTeX XML Cite