English

Regularity and $h$-polynomials of monomial ideals

Commutative Algebra 2017-11-07 v1

Abstract

Let S=K[x1,,xn]S = K[x_1, \ldots, x_n] denote the polynomial ring in nn variables over a field KK with each degxi=1\deg x_i = 1 and ISI \subset S a homogeneous ideal of SS with dimS/I=d\dim S/I = d. The Hilbert series of S/IS/I is of the form hS/I(λ)/(1λ)dh_{S/I}(\lambda)/(1 - \lambda)^d, where hS/I(λ)=h0+h1λ+h2λ2++hsλsh_{S/I}(\lambda) = h_0 + h_1\lambda + h_2\lambda^2 + \cdots + h_s\lambda^s with hs0h_s \neq 0 is the hh-polynomial of S/IS/I. It is known that, when S/IS/I is Cohen--Macaulay, one has \reg(S/I)=deghS/I(λ)\reg(S/I) = \deg h_{S/I}(\lambda), where \reg(S/I)\reg(S/I) is the (Castelnuovo--Mumford) regularity of S/IS/I. In the present paper, given arbitrary integers rr and ss with r1r \geq 1 and s1s \geq 1, a monomial ideal II of S=K[x1,,xn]S = K[x_1, \ldots, x_n] with n0n \gg 0 for which \reg(S/I)=r\reg(S/I) = r and deghS/I(λ)=s\deg h_{S/I}(\lambda) = s will be constructed. Furthermore, we give a class of edge ideals ISI \subset S of Cameron--Walker graphs with \reg(S/I)=deghS/I(λ)\reg(S/I) = \deg h_{S/I}(\lambda) for which S/IS/I is not Cohen--Macaulay.

Keywords

Cite

@article{arxiv.1711.02002,
  title  = {Regularity and $h$-polynomials of monomial ideals},
  author = {Takayuki Hibi and Kazunori Matsuda},
  journal= {arXiv preprint arXiv:1711.02002},
  year   = {2017}
}

Comments

11 pages

R2 v1 2026-06-22T22:37:30.608Z