NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS

Abstract: Given a nonincreasing function

f : m a t h b b Z_{g e q 0} s e t m i n u s 0 o m a t h b b Z_{g e q 0}

such that (i)

f (k) - f (k + 1) l e q 1

for all

k g e q 1

and (ii) if

a = f (1)

and

b = l i m_{k o i n f t y} f (k)

, then

| f^{- 1} (a) | l e q | f^{- 1} (a - 1) | l e q c d o t s l e q | f^{- 1} (b + 1) |

, a system of generators of a monomial ideal

I s u b s e t K [x_{1}, l d o t s, x_{n}]

for which

m d e p t h S / I^{k} = f (k)

for all

k g e q 1

is explicitly described. Furthermore, we give a characterization of triplets of integers

(n, d, r)

with

n > 0

,

d g e q 0

and

r > 0

with the properties that there exists a monomial ideal

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

for which

l i m_{k o i n f t y} m d e p t h S / I^{k} = d

and

m d s t a b (I) = r

, where

m d s t a b (I)

is the smallest integer

k_{0} g e q 1

with

m d e p t h S / I^{k_{0}} = m d e p t h S / I^{k_{0} + 1} = m d e p t h S / I^{k_{0} + 2} = c d o t s

.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS