The Eisenbud-Green-Harris conjecture asserts that a homogeneous ideal in the polynomial ring
over a field
, containing a ring regular
sequence of homogeneous polynomials
of total degrees
has a lex-plus-powers
ideal
for these powers with
This equality is required in every integer total degree , and
denotes the Hilbert function.
The ideal
must be one homogeneous ideal
across all degrees, rather than independent choices of monomials
in each degree.