English

Bounded powers of edge ideals: Gorenstein toric rings

Commutative Algebra 2025-06-03 v3 Combinatorics

Abstract

Let S=K[x1,,xn]S=K[x_1, \ldots,x_n] denote the polynomial ring in nn variables over a field KK and ISI \subset S a monomial ideal. Given a vector cNn\mathfrak{c}\in\mathbb{N}^n, the ideal IcI_{\mathfrak{c}} is the ideal generated by those monomials belonging to II whose exponent vectors are componentwise bounded above by c\mathfrak{c}. Let δc(I)\delta_{\mathfrak{c}}(I) be the largest integer qq for which (Iq)c0(I^q)_{\mathfrak{c}}\neq 0. For a finite graph GG, its edge ideal is denoted by I(G)I(G). Let B(c,G)\mathcal{B}(\mathfrak{c},G) be the toric ring which is generated by the monomials belonging to the minimal system of monomial generators of (I(G)δc(I))c(I(G)^{\delta_{\mathfrak{c}}(I)})_{\mathfrak{c}}. In a previous work, the authors proved that (I(G)δc(I))c(I(G)^{\delta_{\mathfrak{c}}(I)})_{\mathfrak{c}} is a polymatroidal ideal. It follows that B(c,G)\mathcal{B}(\mathfrak{c},G) is a normal Cohen--Macaulay domain. In this paper, we study the Gorenstein property of B(c,G)\mathcal{B}(\mathfrak{c},G).

Keywords

Cite

@article{arxiv.2504.21760,
  title  = {Bounded powers of edge ideals: Gorenstein toric rings},
  author = {Takayuki Hibi and Seyed Amin Seyed Fakhari},
  journal= {arXiv preprint arXiv:2504.21760},
  year   = {2025}
}