English

Levelness of toric rings arising from order and chain polytopes

Combinatorics 2018-12-27 v3 Commutative Algebra

Abstract

Let K[O(P)]K[\mathcal{O}(P)] denote the toric ring of the order polytope O(P)\mathcal{O}(P) of a finite partially ordered set PP and K[C(P)]K[\mathcal{C}(P)] that of the chain polytope C(P)\mathcal{C}(P). It will be shown that βp,p+j(K[O(P)])=βp,p+j(K[C(P)])\beta_{p, p+j}(K[\mathcal{O}(P)]) = \beta_{p, p+j}(K[\mathcal{C}(P)]) for all j0j \geq 0, where pp is the projective dimension of K[O(P)]K[\mathcal{O}(P)] (and that of K[C(P)]K[\mathcal{C}(P)]). In particular, K[O(P)]K[\mathcal{O}(P)] is level if and only if K[C(P)]K[\mathcal{C}(P)] is level.

Keywords

Cite

@article{arxiv.1809.08462,
  title  = {Levelness of toric rings arising from order and chain polytopes},
  author = {Takayuki Hibi and Akihiro Higashitani},
  journal= {arXiv preprint arXiv:1809.08462},
  year   = {2018}
}

Comments

There was a gap in the proof of the main theorem