TY - JOUR
T1 - Naïve blowups and canonical birationally commutative factors
AU - Nevins, T. A.
AU - Sierra, S. J.
N1 - The authors are grateful to Hailong Dao, Dan Rogalski, Karl Schwede, Toby Stafford, Ravi Vakil, and Chelsea Walton for helpful conversations. The first author was partially supported by NSF Grants DMS-0757987 and DMS-1159468 and NSA Grant H98230-12-1-0216. The second author was partially supported by an NSF Postdoctoral Research Fellowship, Grant DMS-0802935. Both authors were supported by the NSF Grant 0932078 000 at the MSRI program \u201CNoncommutative Algebraic Geometry and Representation Theory.\u201D We are grateful to the referee of an earlier version of this paper for many extremely useful comments.
PY - 2015/8/26
Y1 - 2015/8/26
N2 - In 2008, Rogalski and Zhang (Math Z 259(2):433–455, 2008) showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field K, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X,L,σ); here X is the projective parameter scheme for point modules over R, as well as tails of points in Qgr-R. (As usual, σ is an automorphism of X, and L is a σ-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 corepresents 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,σ), and that g(R) is, up to finite dimension, a naive blowup on X in the sense of Keeler et al. (Duke Math J 126(3):491–546, 2005), Rogalski and Stafford (J Algebra 318(2):794–833, 2007) and satisfies a universal property. We further show that the point space Y∞ is noetherian.
AB - In 2008, Rogalski and Zhang (Math Z 259(2):433–455, 2008) showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field K, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X,L,σ); here X is the projective parameter scheme for point modules over R, as well as tails of points in Qgr-R. (As usual, σ is an automorphism of X, and L is a σ-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 corepresents 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,σ), and that g(R) is, up to finite dimension, a naive blowup on X in the sense of Keeler et al. (Duke Math J 126(3):491–546, 2005), Rogalski and Stafford (J Algebra 318(2):794–833, 2007) and satisfies a universal property. We further show that the point space Y∞ is noetherian.
KW - Canonical birationally commutative factor
KW - Naive blowup algebra
KW - Noncommutative Hilbert scheme
KW - Point space
UR - https://www.scopus.com/pages/publications/84937969940
UR - https://www.scopus.com/pages/publications/84937969940#tab=citedBy
U2 - 10.1007/s00209-015-1470-3
DO - 10.1007/s00209-015-1470-3
M3 - Article
AN - SCOPUS:84937969940
SN - 0025-5874
VL - 280
SP - 1125
EP - 1161
JO - Mathematische Zeitschrift
JF - Mathematische Zeitschrift
IS - 3-4
ER -