Cohomological patterns of coherent sheaves over projective schemes (Q1612142): Difference between revisions

Let \(R = \bigoplus_{n \geq 0} R_n\) be a Noetherian graded ring, \(X = \operatorname{Proj} R\) and \(\mathcal F\) a coherent sheaf of \(\mathcal O_X\)-modules. Many authors are interested in the vanishing of cohomology modules of \(\mathcal F\). Let \(P(\mathcal F) = \{(i, n) \mid H^i(X, \mathcal F(n)) \neq 0\}\). We call it the cohomological pattern of \(\mathcal F\). In the present paper, the authors give a necessary and sufficient condition for \(P \subset \mathbb{Z}^2\) to appear as the cohomological pattern of an indecomposable (or arbitrary) coherent sheaf of \(\mathcal O_X\)-modules if \(X\) satisfies a nice condition, for example, \(R_0\) is a semi-local ring of dimension at most \(1\).