Comparing powers of edge ideals

Abstract: Given a nontrivial homogeneous ideal

I s u b s e t e q k [x_{1}, x_{2}, l d o t s, x_{d}]

, a problem of great recent interest has been the comparison of the

r

th ordinary power of

I

and the

m

th symbolic power

I^{(m)}

. This comparison has been undertaken directly via an exploration of which exponents

m

and

r

guarantee the subset containment

I^{(m)} s u b s e t e q I^{r}

and asymptotically via a computation of the resurgence

h o (I)

, a number for which any

m / r > h o (I)

guarantees

I^{(m)} s u b s e t e q I^{r}

. Recently, a third quantity, the symbolic defect, was introduced; as

I^{t} s u b s e t e q I^{(t)}

, the symbolic defect is the minimal number of generators required to add to

I^{t}

in order to get

I^{(t)}

. We consider these various means of comparison when

I

is the edge ideal of certain graphs by describing an ideal

J

for which

I^{(t)} = I^{t} + J

. When

I

is the edge ideal of an odd cycle, our description of the structure of

I^{(t)}

yields solutions to both the direct and asymptotic containment questions, as well as a partial computation of the sequence of symbolic defects.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Comparing powers of edge ideals