Gröbner strata in the Hilbert scheme of points
Abstract
The present paper shall provide a framework for working with Gröbner bases over arbitrary rings $k$ with a prescribed finite standard set $\Delta$. We show that the functor associating to a $k$-algebra $B$ the set of all reduced Gröbner bases with standard set $\Delta$ is representable and that the representing scheme is a locally closed stratum in the Hilbert scheme of points. We cover the Hilbert scheme of points by open affine subschemes which represent the functor associating to a $k$-algebra $B$ the set of all border bases with standard set $\Delta$ and give reasonably small sets of equations defining these schemes. We show that the schemes parametrizing Gröbner bases are connected; give a connectedness criterion for the schemes parametrizing border bases; and prove that the decomposition of the Hilbert scheme of points into the locally closed strata parametrizing Gröbner bases is not a stratification.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2009
- DOI:
- 10.48550/arXiv.0907.0302
- arXiv:
- arXiv:0907.0302
- Bibcode:
- 2009arXiv0907.0302L
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Commutative Algebra;
- 14C05;
- 13F20;
- 13P10
- E-Print:
- 47 pages, 6 figures, 11 examples