Hyperplane section principle of Lefschetz on conic-bundle and blowing-down (Q2518776)

Let \(M\) be a projective variety which is a locally complete intersection and let \(A\) be a smooth ample Cartier divisor on \(M\). Then the structure of \(M\) is related to that of \(A\). In the paper under review, the author considers the cases in which the ample divisor \(A\) is either the blow up of a smooth variety \(B\) along a smooth subvariety \(C\), or \(A\) has a conic bundle structure. The results obtained are the following two theorems. Theorem 1. Let \(M, A, B, C\) be as above, with \(A\) the blow up of a smooth variety \(B\) along a smooth subvariety \(C\). Let \(E\) be the exceptional divisor on \(A\). Assume that \(r= \dim B -\dim C=2\), \(\kappa(M)\geq 0\) and \(\dim M=5\). Then if \(E\ncong{\mathbb P}^2 \times {\mathbb P}^1\), there exists a \(5\)-dimensional variety \(M'\) which is a locally complete intersection such that \(B\) lies in \(M'\) as a divisor, \(M\) is the blow up of \(M'\) along \(C\) and \(A\) is the strict transform of \(B\) on \(M\). We like to point out that the case \(r > 2\) and \(M\) smooth was considered by \textit{T. Fujita} [J. Math. Soc. Japan 32, 151--169 (1980; Zbl 0414.14007)], while the case \(r=2\) and \(M\) a smooth \(4\)-fold with \(\kappa(M)\geq 0\) was treated by the reviewer [J. Math. Soc. Japan 36, 106--120 (1984; Zbl 0513.14004); J. Math. Soc. Japan 38, 285--294 (1986; Zbl 0597.14035)]. Theorem 2. Let \(M\) be a projective \(4\)-fold which is a locally complete intersection, let \(A\) be a smooth ample Cartier divisor on \(M\) and let \(\pi: A \to S\) be a conic bundle over a smooth projective surface \(S\). Assume that \(\kappa(S)\geq 0\) and \(\rho(A)=\rho(S)+1\). Then \(\pi\) extends to a morphism \(\phi:M \to S\) and either (i) \(M\) is a \({\mathbb P}^2\)-bundle over \(S\) with \({\mathcal O}_{M}(A)_{|\phi^{-1}(s)}\cong {\mathcal O}_{{\mathbb P}^2}(1)\), or (ii) \(M\) is a \({\mathbb P}^2\)-bundle over \(S\) with \({\mathcal O}_{M}(A)_{|\phi^{-1}(s)}\cong {\mathcal O}_{{\mathbb P}^2}(2)\), or (iii) \(M\) is a quadric-bundle over \(S\).