Regularity and h-polynomials of monomial ideals

Abstract: Let

S = K [x_{1}, l d o t s, x_{n}]

denote the polynomial ring in

n

variables over a field

K

with each

d e g x_{i} = 1

and

I s u b s e t S

a homogeneous ideal of

S

with

d i m S / I = d

. The Hilbert series of

S / I

is of the form

h_{S / I} (l a m b d a) / (1 - l a m b d a)^{d}

, where

h_{S / I} (l a m b d a) = h_{0} + h_{1} l a m b d a + h_{2} l a m b d a^{2} + c d o t s + h_{s} l a m b d a^{s}

with

h_{s} e q 0

is the

h

-polynomial of

S / I

. It is known that, when

S / I

is Cohen--Macaulay, one has

e g (S / I) = d e g h_{S / I} (l a m b d a)

, where

e g (S / I)

is the (Castelnuovo--Mumford) regularity of

S / I

. In the present paper, given arbitrary integers

r

and

s

with

r g e q 1

and

s g e q 1

, a monomial ideal

I

of

S = K [x_{1}, l d o t s, x_{n}]

with

n g g 0

for which

e g (S / I) = r

and

d e g h_{S / I} (l a m b d a) = s

will be constructed. Furthermore, we give a class of edge ideals

I s u b s e t S

of Cameron--Walker graphs with

e g (S / I) = d e g h_{S / I} (l a m b d a)

for which

S / I

is not Cohen--Macaulay.

Recommendations

Cited in

(15)

This page was built for publication: Regularity and \(h\)-polynomials of monomial ideals