English

Toric Initial Ideals of $\Delta$-Normal Configurations: Cohen-Macaulayness and Degree Bounds

Commutative Algebra 2007-05-23 v1 Combinatorics

Abstract

A normal (respectively, graded normal) vector configuration AA defines the toric ideal IAI_A of a normal (respectively, projectively normal) toric variety. These ideals are Cohen-Macaulay, and when AA is normal and graded, IAI_A is generated in degree at most the dimension of IAI_A. Based on this, Sturmfels asked if these properties extend to initial ideals -- when AA is normal, is there an initial ideal of IAI_A that is Cohen-Macaulay, and when AA is normal and graded, does IAI_A have a Gr\"obner basis generated in degree at most dim(IA)dim(I_A) ? In this paper, we answer both questions positively for Δ\Delta-normal configurations. These are normal configurations that admit a regular triangulation Δ\Delta with the property that the subconfiguration in each cell of the triangulation is again normal. Such configurations properly contain among them all vector configurations that admit a regular unimodular triangulation. We construct non-trivial families of both Δ\Delta-normal and non-Δ\Delta-normal configurations.

Keywords

Cite

@article{arxiv.math/0308109,
  title  = {Toric Initial Ideals of $\Delta$-Normal Configurations: Cohen-Macaulayness and Degree Bounds},
  author = {Edwin O'Shea and Rekha R. Thomas},
  journal= {arXiv preprint arXiv:math/0308109},
  year   = {2007}
}

Comments

18 pages, 2 figures