On relative base point freeness of adjoint bundle
We have the following relative effective base point freeness theorem of adjoint bundles, which is a relative version of a theorem by \textit{U. Angehrn} and \textit{Y.-T. Siu} [Invent. Math. 122, No. 2, 291-308 (1995; Zbl 0847.32035)] and \textit{H. Tsuji} [Nagoya Math. J. 142, 5-16 (1996; Zbl 0861.32018)]: Theorem. Let \(f:X\to Y\) be a projective morphism from a complex manifold \(X\) to a complex space \(Y\), and let \(L\) be a relatively ample line bundle on \(X\). Then \({\mathcal O}_X (K_X\otimes L^{\otimes m})\) is \(f\)-free, i.e., the natural sheaf homomorphism \[ f^*f_*{\mathcal O}_X (K_X\otimes L^{\otimes m}) \to{\mathcal O}_X (K_X\otimes L^{\otimes m}) \quad \text{is surjective}, \] for every \(m> {1\over 2} d(d+1)\), here \(d\) is the maximum dimension of the fibres of \(f\). This relative version has some applications to the classification theory of higher dimensional algebraic varieties. For example, it is much helpful to the classification of singular fibres of a contraction morphism of an extremal ray.
This page was built for publication: On relative base point freeness of adjoint bundle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352120)
