Noncommutative ampleness for multiple divisors (Q1398181)

Let \(\{{\mathcal L}_{(1,\sigma_1)},\dots,{\mathcal L}_{(s,\sigma_s)}\}\) be a finite set of invertible bimodules in the sense of \textit{M. Artin} and \textit{M. Van den Bergh} [in J. Algebra 133, No. 2, 249-271 (1990; Zbl 0717.14001)]. Thus, each \({\mathcal L}_{(i,\sigma_i)}\) refers to an invertible sheaf \({\mathcal L}_i\) over a projective scheme \(X\), and \(\sigma_i\) to an automorphism of \(X\). When the bimodules satisfy certain commutation relations, given by sheaf isomorphisms \(\varphi_{ij}\colon{\mathcal L}_{(j,\sigma_j)}\otimes{\mathcal L}_{(i,\sigma_i)}\to{\mathcal L}_{(i,\sigma_i)}\otimes{\mathcal L}_{(j,\sigma_j)}\) compatible on overlaps in the sense of \textit{G. M. Bergman}'s Diamond Lemma [Adv. Math. 29, 178-218 (1978; Zbl 0377.16013)], a twisted multi-homogeneous coordinate ring \(B=B(X;\{{\mathcal L}_{(i,\sigma_i)}\})\) was introduced by \textit{D. Chan} [in J. Algebra 223, No. 2, 438-456 (2000; Zbl 0957.14003)]. The part of multi-degree \(\overline n=(n_1,\dots,n_s)\) is given by \(B_{\overline n}=H^0(X,{\mathcal L}_{(1,\sigma_1)}^{n_1}\cdots{\mathcal L}_{(s,\sigma_s)}^{n_s})\), where juxtaposition means tensor product. A sort of ``Serre Correspondence Theorem'' for multi-graded modules still holds whenever the set \(\{{\mathcal L}_{(i,\sigma_i)}\}\) is right NC-ample (see loc. cit.). The author extends his criteria for ampleness [given in J. Am. Math. Soc. 13, No. 3, 517-532 (2000; Zbl 0952.14002)] for one bimodule, to the present framework (Theorem 2.7). As a consequence, it follows (Corollary 2.8) that right NC-ampleness is equivalent to left NC-ampleness. Another relevant consequence is that the Noetherian property is preserved under the basic constructions of taking tensor products and Rees rings of twisted coordinate rings (Corollaries 3.4 and 3.5). Under suitable hypotheses, the Gelfand-Kirillov dimension of a twisted multi-homogeneous coordinate ring \(B\) is shown to be an integer (Theorem 4.6), and to satisfy the inequalities \(\dim X+1\leq\text{GKdim }B\leq s((2\lfloor(\rho-1)/2\rfloor+1)\dim X+1)\), where \(\rho\) is the Picard number of \(X\).