Local Fano-Mori contractions of high nef-value (Q510362): Difference between revisions

Let \((X, D)\) be a log pair of data with a normal variety \(X\) and an effective Weil \(\mathbb{Q}\)-divisor \(D=\sum d_iD_i\) on \(X\) such that \(K_X+ D\) is a \(\mathbb{Q}\)-Cartier divisor. Let \(\mu: Y\rightarrow X\) be a log resolution of \((X, D)\) and each \(E_i\) is an exceptional divisor, then \[ K_Y+\mu_*^{-1}D= \mu^*(K_X+D) + \sum_{E_i} a(E_i, X, D) E_i. \] The discrepancy of \((X, D) \) is \[ \text{discrep}(X, D)= \inf _E\{ a(E, X, D): E \text{ is an exceptional divisor on }X \}. \] \((X, D)\) is terminal, resp. canonical, klt (Kawamata log terminal), plt, lc (log canonical) if discrep\((X, D)\) is \(>0\), resp. \(\geq 0\), \(>-1\) and \(\lfloor D \lfloor=0\), \(>-1\), \(\geq -1\). A contraction is a surjective morphism \(f: T\rightarrow S\) from a normal projective variety \(T\) to a normal variety \(S\) with connected fibers. Fix a nontrivial fiber \(F\) of \(f\), take an open affine set \(Z\subset S\) such that \(f (F)\in Z\). Let \(X=f^{-1}(Z)\) then \(f:X\rightarrow Z\) is called a local contraction. Now let \(X\) be a variety with log terminal singularities of dimension \(n\) and let \(f: X\rightarrow Z\) be a local contraction on \(X\). Assume that \(f\) is an adjoint contraction supported by a \(\mathbb{Q}\)-Cartier divisor of the type \(K_X+ \tau L\), that is, there is a \(\tau \in \mathbb{Q} \) such that \(K_X+\tau L\sim_f {\mathcal{O}}_X \) ( numerical equivalence over \(f\)), where \(L\) is an \(f\)-ample Cartier divisor. A local projective contraction \(f\rightarrow Z\) is Fano-Mori if \(-K_X\) is \(f-\)ample. The authors first prove the following theorem. Theorem 1.1. Let \(f: X\rightarrow Z\), \(L\) and \(\tau\) be as above and \(\tau > n-3 >0\). Let \(X'\in |L|\) be a general divisor. Then \(X'\) is a variety with at most terminal singularities and \(f|_{X'}: X'\rightarrow Z'=f(X')\) is a local contraction supported by \(K_{X'}+(\tau -1)L'\), where \(L'=L|_{X'}\), i.e., \(f'\) is also a Fano-Mori contraction. Applying Theorem 1.1, by induction the authors prove the second theorem. Theorem 1.2. Let \(f: X\rightarrow Z\), \(L\) and \(\tau\) be as above and \(\tau > n-3 \geq 0\). Assume that \(X\) is terminal and \(\mathbb{Q}\)-factorial. {\parindent=6mm \begin{itemize}\item[(1)] If \(f\) is birational and contracts a prime divisor to a point, for \(i=1,2,\dots, n-3\), let \(H_i\in |L|\) be a general divisor and \(X''= \bigcap H_i\), then \(X''\) is a threefold with terminal singularities and \(f'': X''\rightarrow Z''\) is a divisorial contraction of an irreducible \(\mathbb{Q}\)-Cartier divisor \(E''\subset X''\) to a point \(p\in Z''\). Assume that \(p\) is smooth in \(Z''\), then \(f\) is a weighted blow-up of a smooth point with weight \((1, a, b, c,\dots, c)\), where \(a\), \(b\), \(c\) are positive integers, \((a, b)=1\), \( ab|c\) and \(L=f^*f_*L-cE\). \item[(2)] Let \(E\) be the exceptional locus of \(f\). If \(X\) has only points of index 1 and 2 and that each component of \(E\) has dimension \((n-2)\), then \(\tau= \frac{2n-5}{2}\), \(E\) is irreducible, it is contracted to a point and \((E, L|_E)=({\mathbb{P}}^{n-2}, {\mathcal{O}}(1))\). \end{itemize}}