English

A Groebner basis for the secant ideal of the second hypersimplex

Commutative Algebra 2008-12-10 v2

Abstract

We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This shows that the circular term order is 2-delightful, resolving a conjecture of Drton, Sturmfels, and the author. The proof uses Groebner degenerations for secant ideals, combinatorial characterizations of the secant ideals of monomial ideals, and the relations between secant ideals and prolongations.

Keywords

Cite

@article{arxiv.0804.2897,
  title  = {A Groebner basis for the secant ideal of the second hypersimplex},
  author = {Seth Sullivant},
  journal= {arXiv preprint arXiv:0804.2897},
  year   = {2008}
}

Comments

9 pages, 2 figures

R2 v1 2026-06-21T10:32:19.529Z