Cohomology of coherent sheaves and series of supernatural bundles (Q973861)

This article should be considered as a sequel to the authors' earlier article [J. Am. Math. Soc. 22, No. 3, 859--888 (2009; Zbl 1213.13032)]. In fact, the reviewer would recommend reading the above review for a fuller picture of the themes considered. The authors define a \textit{supernatural sheaf} \(\mathcal{F}\) on \(\mathbb{P}^n\) to be a coherent sheaf such that for any \(d\in\mathbb{Z}\), at most one of \(H^i(\mathcal{F}(d))\) is non-zero, \(0\leq i\leq n\). Such a sheaf has pure dimension \(s\) if and only if it is a vector bundles on a linear subspace of dimension \(s\) and then it is called a supernatural bundle. Given any coherent sheaf \(\mathcal{G}\) on \(\mathbb{P}^n\) one can consider its cohomology table as a vector in \(\prod_{d=-\infty}^{\infty} \mathbb{R}^{n+1}\) where the \(d\)th entry is just the dimensions of \(H^i(\mathcal{G}(d))\) for \(0\leq i\leq n\). In the earlier paper quoted above, the authors showed that for any vector bundle \(\mathcal{G}\), its cohomology table can be essentially obtained as the positive rational linear combinations of cohomology tables of of supernatural bundles. In the present article, the authors show that the cohomology table of a coherent sheaf can be written as a convergent series with positive real coefficients of cohomology tables of supernatural bundles supported on linear spaces.