Ample filters of invertible sheaves. (Q1867311): Difference between revisions

Let \(X\) be a scheme, proper over a commutative noetherian ring \(A\), and consider a family \(\{ {\mathcal L}_\alpha~| ~\alpha\in {\mathcal P}\}\) indexed by a filter \({\mathcal P}\) (a filter is a partially ordered set in which every finite subset has an upper bound). \(\{{\mathcal L}_\alpha\}\) is called an ample filter of invertible sheaves if for every coherent sheaf \({\mathcal F}\), there exists \(\alpha_0\in {\mathcal P}\) such that for all \(q>0\) and \(\alpha>\alpha_0\), \(H^q(X,{\mathcal F}\otimes {\mathcal L}_\alpha)\) vanishes. This generalizes the definition of ample invertible sheaf (see for example Hartshorne's book) in the sense that an invertible sheaf \({\mathcal L}\) is ample if and only if \(\{{\mathcal L}^n~| ~ n\in {\mathbb N}\}\) is an ample filter [cf. \textit{M. Artin} and \textit{M. Van den Bergh}, J. Algebra 133, No. 2, 249--271 (1990; Zbl 0717.14001)]. The main result is a generalization of the most important equivalent criteria for ampleness of invertible sheaves to filters of invertible sheaves (theorem 1.3), which extends previous results of the author [J. Am. Math. Soc. 13, No. 3, 517--532 (2000; Zbl 0952.14002)]. A theorem of the base for \(X\) and a generalization of Serre's vanishing theorem is given. Then results for twisted homogeneous coordinate rings which were previously known only in the case where \(X\) is projective over an algebraically closed field are given. More precisely, it is shown that the concepts of left and right \(\sigma\)-ampleness are equivalent, and that the associated twisted homogeneous coordinate ring must be noetherian.