Depth of initial ideals of normal edge rings

Abstract: Let

G

be a finite graph on the vertex set

[d] = 1, ..., d

with the edges

e_{1}, ..., e_{n}

and

K [b] = K [t_{1}, ..., t_{d}]

the polynomial ring in

d

variables over a field

K

. The edge ring of

G

is the semigroup ring

K [G]

which is generated by those monomials

b^{e} = t_{i} t_{j}

such that

e = i, j

is an edge of

G

. Let

K [x b] = K [x_{1}, ..., x_{n}]

be the polynomial ring in

n

variables over

K

and define the surjective homomorphism

p i : K [x b] o K [G]

by setting

p i (x_{i}) = b^{e_{i}}

for

i = 1, ..., n

. The toric ideal

I_{G}

of

G

is the kernel of

p i

. It will be proved that, given integers

f

and

d

with

6 l e q f l e q d

, there exist a finite connected nonbipartite graph

G

on

[d]

together with a reverse lexicographic order

<_{e v}

on

K [x b]

and a lexicographic order

<_{l e x}

on

K [x b]

such that (i)

K [G]

is normal, (ii)

d e p t h K [x b] / i n i_{<_{e v}} (I_{G}) = f

and (iii)

K [x b] / i n i_{<_{l e x}} (I_{G})

is Cohen--Macaulay, where

i n i_{<_{e v}} (I_{G})

(resp.

i n i_{<_{l e x}} (I_{G})

) is the initial ideal of

I_{G}

with respect to

<_{e v}

(resp.

<_{l e x}

) and where

d e p t h K [x b] / i n i_{<_{e v}} (I_{G})

is the depth of

K [x b] / i n i_{<_{e v}} (I_{G})

.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Depth of initial ideals of normal edge rings