Noncommutative ampleness for multiple divisors

Abstract: The twisted homogeneous coordinate ring is one of the basic constructions of the noncommutative projective geometry of Artin, Van den Bergh, and others. Chan generalized this construction to the multi-homogeneous case, using a concept of right ampleness for a finite collection of invertible sheaves and automorphisms of a projective scheme. From this he derives that certain multi-homogeneous rings, such as tensor products of twisted homogeneous coordinate rings, are right noetherian. We show that right and left ampleness are equivalent and that there is a simple criterion for such ampleness. Thus we find under natural hypotheses that multi-homogeneous coordinate rings are noetherian and have integer GK-dimension.

Review text

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\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Noncommutative ampleness for multiple divisors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398181)