On Fujita's freeness conjecture for 3-folds and 4-folds (Q1364563)

Fujita's freeness conjecture on adjoint linear systems states the following: Let \(X\) be a smooth n-dimensional projective variety and let H be an ample divisor on \(X\). Then \(| K_X+mH| \) is free for \(m\geq n+1\). Moreover if \(H^n\geq 2\) then \(| K_X+nH| \) is also free. If \(n = 3\) the first part of the conjecture was proved by \textit{L. Ein} and \textit{R. Lazarsfeld} [J. Am. Math. Soc. 6, No. 4, 875-903 (1993; Zbl 0803.14004)] while \textit{T. Fujita} [``Remarks on Ein-Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefold'' (Preprint)] has shown the second part. -- In the paper under review the author is concerned with a stronger version of the freeness conjecture: Let \(X\) be a normal n-dimensional projective variety, let \(x_0\in X\) be a smooth point and let \(L\) be an ample Cartier divisor. Assume that there exist positive numbers \({\sigma}_p\) for \(p=1,2,\dots,n\) such that: (1) \(\sqrt{L^p\cdot W} \geq {\sigma}_p\) for any subvariety \(W\) of dimension \(p\) which contains \(x_0\), (2) \({\sigma}_p \geq n\) for any \(p\) and \({\sigma}_n > n\). Then \(| K_X+L| \) is free at \(x_0\). The author proves such a conjecture for \(n = 3\). In particular one gets Fujita's freeness conjecture. In the case \(n = 4\), if \({\sigma}_p \geq 5\) for all p then \(| K_X+L| \) is free at \(x_0\). As corollary one gets that a smooth projective polarized 4-fold \((X,H)\) has the adjoint bundle \(| K_X+mH| \) free for \(m \geq 5\).