English

The ring of evenly weighted points on the line

Algebraic Geometry 2014-01-21 v2 Commutative Algebra Combinatorics

Abstract

Let Mw=(\Pj1)n\qSL2M_w = (\Pj^1)^n \q \mathrm{SL}_2 denote the geometric invariant theory quotient of (\Pj1)n(\Pj^1)^n by the diagonal action of SL2\mathrm{SL}_2 using the line bundle O(w1,w2,...,wn)\mathcal{O}(w_1,w_2,...,w_n) on (\Pj1)n(\Pj^1)^n. Let RwR_w be the coordinate ring of MwM_w. We give a closed formula for the Hilbert function of RwR_w, which allows us to compute the degree of MwM_w. The graded parts of RwR_w are certain Kostka numbers, so this Hilbert function computes stretched Kostka numbers. If all the weights wiw_i are even, we find a presentation of RwR_w so that the ideal II of this presentation has a quadratic Gr\"obner basis. In particular, RwR_w is Koszul. We obtain this result by studying the homogeneous coordinate ring of a projective toric variety arising as a degeneration of MwM_w.

Keywords

Cite

@article{arxiv.1211.3941,
  title  = {The ring of evenly weighted points on the line},
  author = {Milena Hering and Benjamin Howard},
  journal= {arXiv preprint arXiv:1211.3941},
  year   = {2014}
}

Comments

19 pages, to appear in Mathematische Zeitschrift