Moduli spaces for point modules on naive blowups
Abstract
The naive blow-up algebras developed by Keeler-Rogalski-Stafford, after examples of Rogalski, are the first known class of connected graded algebras that are noetherian but not strongly noetherian. This failure of the strong noetherian property is intimately related to the failure of the point modules over such algebras to behave well in families: puzzlingly, there is no fine moduli scheme for such modules, although point modules correspond bijectively with the points of a projective variety X. We give a geometric structure to this bijection and prove that the variety X is a coarse moduli space for point modules. We also describe the natural moduli stack \tilde{X} for embedded point modules---an analog of a "Hilbert scheme of one point"---as an infinite blow-up of X and establish good properties of \tilde{X}. The natural map \tilde{X} -> X is thus a kind of "Hilbert-Chow morphism of one point" for the naive blow-up algebra.
Cite
@article{arxiv.1009.2061,
title = {Moduli spaces for point modules on naive blowups},
author = {Thomas A. Nevins and Susan J. Sierra},
journal= {arXiv preprint arXiv:1009.2061},
year = {2012}
}
Comments
v2: statement and proof of Proposition 4.2 changed to allow correct application in Theorem 5.13. Other minor changes suggested by referee v3: significant revision to correct error in proof of Theorem 5.13 (now Theorems 5.11, 6.8, Corollary 6.11). Results added on Castelnuovo-Mumford regularity and on projective embedding of point schemes. Results now assume algebra is generated in degree 1