Symbolic powers of monomial ideals

Publication date: 16 February 2022

Abstract: Let

A = K [X_{1}, l d o t s, X_{d}]

and let

I

,

J

be monomial ideals in

A

. Let

I_{n} (J) = (I^{n} c o l o n J^{i} n f t y)

be the

n^{t h}

symbolic power of

I

wrt

J

. It is easy to see that the function

f_{J}^{I} (n) = e_{0} (I_{n} (J) / I^{n})

is of quasi-polynomial type, say of period

g

and degree

c

. For

n g g 0

say [ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + ext{lower terms}, ] where for

i = 0, l d o t s, c

,

a_{i} c o l o n m a t h b b N t m a t h b b Z

are periodic functions of period

g

and

a_{c} e q 0

. In an earlier paper we (together with Herzog and Verma) proved that

d i m I_{n} (J) / I^{n}

is constant for

n g g 0

and

a_{c} (-)

is a constant. In this paper we prove that if

I

is generated by some elements of the same degree and height

I g e q 2

then

a_{c - 1} (-)

is also a constant.

Recommendations

Cited In (11)

This page was built for publication: Symbolic powers of monomial ideals