Let X be an irreducible complex projective variety of dimension n ≥ 1. Let D be a Cartier divisor on X such that Hi(X, OX (mD)) = 0 for m > 0 and for all i > 0, then it is not true in general that D is a nef divisor (cf. [4]). Also, in general, effective divisors on smooth surfaces are not necessarily nef (they are nef provided they are semiample). In this article, we show that, if X is a smooth surface of general type and C is a smooth hyperplane section of it, then for any non-zero effective divisor D on X satisfying H1(X, OX (mD)) = 0 for all m > C.KX, D is a nef divisor.
abx. Two conditions on divisors on surfaces, MathOverflow. https://mathoverflow.net/questions/421900/two-conditions-on-divisors-on-surfaces (version: 2022-05-06).
I. Bauer, F. Catanese, and R. Pignatelli. Surfaces of general type with geometric genus zero: a survey. In Complex and differential geometry (pp. 1–48). Springer, Berlin, Heidelberg, 2011.
D. Bhattacharya. On initialized and ACM line bundles over a smooth sextic surface in ℙ3. Communications in Algebra, 50(12):5314–5344, 2022.
T. de Fernex, A. Küronya, and R. Lazarsfeld. Higher cohomology of divisors on a projective variety. Mathematische Annalen, 337(2):443–455, 2007.
F. J. Gallego, and B. P. Purnaprajna. Normal Presentation on Elliptic Ruled Surfaces. Journal of Algebra, 186(2):597–625, 1996.
R. K. Lazarsfeld. Positivity in Algebraic Geometry I : Classical Setting: Line Bundles and Linear Series (Vol. 48). Springer, 2017.
F. Polizzi. Volume of a divisor on a smooth projective surface, MathOverflow. https://math-overflow.net/questions/389889/volume-of-a-divisor-on-a-smooth-projective-surface (ver- sion: 2021-04-27).
K. Watanabe. The characterization of aCM line bundles on quintic hypersurfaces in ℙ3. In Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Vol. 91, No. 2, pp. 179–197). Springer Berlin Heidelberg, 2021.
K. Watanabe. The classification of ACM line bundles on quartic hypersurfaces in ℙ3. Geo-metriae Dedicata, 175(1):347–354 (2015).
O. Zariski. The theorem of Riemann–Roch for high multiples of an effective divisor on an algebraic surface. Annals of Mathematics 76(3):560–615 (1962). .