A bound on certain local cohomology modules and application to ample divisors (Q2764671)

Let \(R = \bigoplus_{n \geq 0} R_n\) be a Noetherian graded domain such that \(R_0\) is essentially of finite type over a perfect field~\(K\) of positive characteristic and \(X = \text{Proj} R\). In this paper, the authors studied the first cohomology module \(H^1(X, \mathcal O_X(n))\). Assume that the generic fiber of the canonical morphism \(X \to \text{Spec} R_0\) is geometrically connected, geometrically normal and of dimension at least~\(2\). Then the authors give an upper bound of the rank of \(H^1(X, \mathcal O_X(n))\) (\(n<0\)) by using ones of \(H^1(X, \mathcal O_X(i))\) (\(i=n+1\), \dots, \(0\)).NEWLINENEWLINENEWLINEAs an consequence thereof, they give a special case of the Kodaira vanishing theorem for a normal projective surface over a field of positive characteristic.