Naïve blowups and canonical birationally commutative factors

DOI10.1007/S00209-015-1470-3MaRDI QIDQ2516490zbMATH OpenOpenAlexFDO

Authors Thomas A. Nevins, Susan J. Sierra

Publication date 3 August 2015

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.0760

naive blowup algebra noncommutative Hilbert scheme point space

Noncommutative algebraic geometry (14A22) Parametrization (Chow and Hilbert schemes) (14C05) Fine and coarse moduli spaces (14D22) Stacks and moduli problems (14D23) Rational and birational maps (14E05) Noetherian rings and modules (associative rings and algebras) (16P40) Rings arising from noncommutative algebraic geometry (16S38) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X, L, s); here X is the projective parameter scheme for point modules over R, as well as tails of points in qgr-R. (As usual, s is an automorphism of X, and L is an s-ample invertible sheaf on X.) We extend this result to a large class of noetherian (but not strongly noetherian) algebras. Specifically, let R be a noetherian connected graded k-algebra, where k is an uncountable algebraically closed field. Let Y denote the parameter space (or stack or proscheme) parameterizing R-point modules, and suppose there is a projective variety X that is a coarse moduli space for tails of points. There is a canonical map p: Y -> X. If the indeterminacy locus of p^{-1} is 0-dimensional and X satisfies a mild technical assumption, we show that there is a homomorphism g: R -> B(X, L, s), and that g(R) is, up to finite dimension, a naive blowup on X in the sense of Keeler, Rogalski, and Stafford, and satisfies a universal property. We further show that the point space Y is noetherian.

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Naïve blowups and canonical birationally commutative factors

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