×

Numerical criteria for the positivity of the difference of ample divisors. (English) Zbl 0828.14002

Let \(X\) be a compact complex projective manifold of complex dimension \(n\); let \(L\) be a nef divisor, and \(D\) an effective divisor on \(X\). In the paper it is proved that if \(L^n > n (L + b_2 (T) \{u\})^{n - 1} D\) then the Kodaira dimension of \(L - D\) is maximal. (The paper contains is in fact the proof of a slightly more general result.) Here \(T\) denotes the non-negative curvature current of a singular metric of \(D\), \(b_2(T)\) is a non-negative real number which is the largest of the Lelong numbers of \(T\) which are non-zero on a codimension one analytic subvariety of \(X\), whereas the \(1 - 1\) cohomology class \(\{u\}\) measures the “defect of positivity” of the tangent bundle of \(X\). [For precise definition see J. P. Demailly, J. Algebr. Geom. 1, No. 3, 361-409 (1992; Zbl 0777.32016) and Complex algebraic varieties, Proc. Conf., Bayreuth 1990, Lect. Notes Math. 1507, 87-103 (1992; Zbl 0784.32024).]
It is also shown by an example that the class \(\{u\}\) cannot be dropped in general. However, if the complete linear system of some power of \(D\) has no fixed codimension-1 components, then the theorem gives conditions, only in terms of the Chern classes of \(L\), \(D\), to insure that \(L - D\) has maximal Kodaira dimension. By using the theorem one can also obtain inequalities between intersection numbers of nef line bundles, which can be applied to the study of convex compact sets in \(\mathbb{R}^n\), as by B. Teissier [in Semin. Differ. Geom., Ann. Math. Stud. 102, 85-105 (1982; Zbl 0494.52009)]. If the tangent bundle of \(X\) is nef (i.e., if we can choose \(\{u\} = 0)\), then by the second paper by J. P. Demailly cited above every line bundle with maximal Kodaira dimension is ample; hence, in this case, the above inequality is a sufficient condition for \(L - D\) to be ample.
Reviewer: S.Trapani (Roma)

MSC:

14C20 Divisors, linear systems, invertible sheaves
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] J.-P. Demailly,Champs magnétiques et inégalités de Morse pour la d”-cohomologie Ann. Inst. Fourier (Grenoble)35, no. 4 (1985), 189–229.
[2] J.-P. Demailly,Singular hermitian metrics on positive line bundles, in ”Complex algebraic varieties”, Bayreuth 1990 (K. Hulek et al., eds.), Lecture Notes in Math., vol. 1507, Springer, Berlin, 1992, pp. 87–104.
[3] J.-P. Demailly,Regularization of closed positive currents and intersection theory, J. Algebraic Geom.1 (1992), 361–409. · Zbl 0777.32016
[4] J.-P. Demailly,A numerical criterion for very ample line bundles, J. Differential Geom.37 (1993), 323–374. · Zbl 0783.32013
[5] J. P. Demailly, T. Peternell, M. Schneider,Compact complex manifords with numerically effective tangent bundle, J. Algebraic Geom.3 (1994), 293–345. · Zbl 0827.14027
[6] H. Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero: I, II, Ann. of Math. (2)79 (1964), 109–326. · Zbl 0122.38603 · doi:10.2307/1970486
[7] P. Lelong,Plurisubharmonic functions and positive differential forms, Notes Math. Appl., Gordon & Breach, New York, 1969. · Zbl 0195.11604
[8] T. Oda,Convex bodies and algebraic geometry (An introduction to the theory of toric varieties), Ergeb. Math. Grenzgeb. (3), vol. 15, Springer, Berlin, 1987.
[9] Y.-T. Siu,Analyticity of sets associated to Lelong numbers and the extension of closed positive currents, Invent. Math.27 (1974), 53–156. · Zbl 0289.32003 · doi:10.1007/BF01389965
[10] B. Teissier,Bonnesen-type inequalities in algebraic geometry I: Introduction to the problem, in ”Seminar on differential geometry” (Sh.-T. Yau, ed.) Ann. of Math. Stud., vol. 102, Princeton Univ. Press and Univ. of Tokyo Press, Princeton, 1982, pp. 85–105. · Zbl 0494.52009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.