OpenAI reports the lex-plus-powers Betti theorem in characteristic zero

Over every characteristic-zero field, for a homogeneous ideal containing a regular sequence of any positive length with degrees at least two, a corresponding lex-plus-powers ideal has the same Hilbert function and at least as large a graded Betti number in every homological and internal degree.

Curated contributions 1

Understand the problem ↓

OpenAI reports the lex-plus-powers Betti theorem in characteristic zero

  • Mathematics

Over every characteristic-zero field, for a homogeneous ideal containing a regular sequence of any positive length with degrees at least two, a corresponding lex-plus-powers ideal has the same Hilbert function and at least as large a graded Betti number in every homological and internal degree.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

Over every characteristic-zero field, for a homogeneous ideal containing a regular sequence of any positive length with degrees at least two, a corresponding lex-plus-powers ideal has the same Hilbert function and at least as large a graded Betti number in every homological and internal degree.

Why it matters

If correct, resolves the Eisenbud–Green–Harris and lex-plus-powers conjectures in the stated characteristic-zero setting.

What counts as progress

Do lex-plus-powers ideals dominate Betti numbers for every characteristic-zero regular sequence?

Website timeline

Publication dates and editorial changes.