Naïve blowups and canonical birationally commutative factors (Q2516490): Difference between revisions

Let \(k\) be an algebraically closed field. A \(k\)--algebra \(R\) is called strongly Noetherian if \(R\otimes_k A\) is Noetherian for any commutative Noetherian \(k\)--algebra \(A\). If \(X\) is a projective scheme, \(\sigma\in \text{Aut}_k(X)\) and \(\mathcal{L}\) is an invertible sheaf on \(X\), the twisted homogeneous coordinate ring is \(\displaystyle B(X, \mathcal{L}, \sigma)=\bigoplus_{n\geq 0} H^0(X,\mathcal{L}\otimes \mathcal{L}^\sigma\otimes \cdots\otimes \mathcal{L}^ {\sigma^{n-1}}),\,\, \mathcal{L}^\sigma=\sigma\mathcal{L}\). If \(\mathcal{L}\) is \(\sigma\)--ample then \(B(X, \mathcal{L}, \sigma)\) is strongly Noetherian. \textit{D. Rogalski} and \textit{J. J. Zhang} [Math. Z. 259, No. 2, 433--455 (2008; Zbl 1170.16021)] proved the following result. Let \(R=k\oplus R_1 \oplus R_2\oplus\cdots\) be a strongly Noetherian graded algebra generated in degree \(1\). Then there is a \(k\)--algebra homomorphism \(g: R\to B(X, \mathcal{L}, \sigma)\) for some projective scheme \(X\), \(\sigma\in \text{Aut}_k(X)\) and \(\mathcal {L}\) a \(\sigma\)--invertible sheaf on \(X\). This result is extended to a large class of Noetherian algebras.