English

Components of Gr\"obner strata in the Hilbert scheme of points

Algebraic Geometry 2014-02-26 v3 Commutative Algebra

Abstract

We fix the lexicographic order \prec on the polynomial ring S=k[x1,...,xn]S=k[x_{1},...,x_{n}] over a ring kk. We define \HiS/kΔ\Hi^{\prec\Delta}_{S/k}, the moduli space of reduced Gr\"obner bases with a given finite standard set Δ\Delta, and its open subscheme \HiS/kΔ,\et\Hi^{\prec\Delta,\et}_{S/k}, the moduli space of families of #\Delta points whose attached ideal has the standard set Δ\Delta. We determine the number of irreducible and connected components of the latter scheme; we show that it is equidimensional over Speck{\rm Spec}\,k; and we determine its relative dimension over Speck{\rm Spec} k. We show that analogous statements do not hold for the scheme \HiS/kΔ\Hi^{\prec\Delta}_{S/k}. Our results prove a version of a conjecture by Bernd Sturmfels.

Keywords

Cite

@article{arxiv.1006.3653,
  title  = {Components of Gr\"obner strata in the Hilbert scheme of points},
  author = {Mathias Lederer},
  journal= {arXiv preprint arXiv:1006.3653},
  year   = {2014}
}

Comments

49 pages