Prime ideals and three-generated ideals with large regularity

Abstract: Ananyan and Hochster proved the existence of a function

P h i (m, d)

such that any graded ideal

I

generated by

m

forms of degree at most

d

in a standard graded polynomial ring satisfies

m a t h r m r e g (I) l e P h i (m, d)

. Relatedly, Caviglia et. al. proved the existence of a function

P s i (e)

such that any nondegenerate prime ideal

P

of degree

e

in a standard graded polynomial ring over an algebraically closed field satisfies

m a t h r m r e g (P) l e P s i (m a t h r m d e g (P))

. We provide a construction showing that both

P h i (3, d)

and

P s i (e)

must be at least doubly exponential in

d

and

e

, respectively. Previously known lower bounds were merely super-polynomial in both cases.

Recommendations

This page was built for publication: Prime ideals and three-generated ideals with large regularity