Some cases of the Eisenbud-Green-Harris conjecture (Q935883)

The authors consider the Eisenbud-Green-Harris conjecture: (EGH\(_{a,n}\)). Let \(S=K[x_1,\dots,x_n]\), where \(K\) is a field, and let \(I\) be a homogeneous ideal in \(S\), containing a regular sequence \(f_1,\dots,f_n\) of degrees deg\((f_i)=a_i\). Then \(I\) has the same Hilbert function as an ideal containing \(x^{a_1},\dots,x^{a_n}.\) The main result in this paper is: The conjecture (EGH\(_{a,n}\)) is true if \(a_j\geq \sum_{i=1}^{j-1} (a_i-1)\) for all \(j\geq 2\). One can find a second interesting result: If (EGH\(_{a,n}\)) holds then every homogeneous ideal in the polynomial ring \(S=K[x_1,\dots,x_m]\) with \(m>n\) containing a regular sequence \(f_1,\dots,f_n\) with deg\((f_i)=a_i\) has the same Hilbert function as an ideal containing \(x^{a_1},\dots,x^{a_n}.\) In the proof, the authors define a lex-plus-powers ideal \(I\). \(I\) is a lex-plus-powers ideal if we can write \(I= (x^{a_1},\dots,x^{a_n})+ J\) where \(J\) is a monomial lexicographic ideal. Then the (EGH\(_{a,n}\)) can be restated as : if \(I\) is a homogeneous ideal containing a regular sequence \(f_1,\dots,f_n\) of degrees deg\((f_i)=a_i\) then there is a lex-plus-powers ideal with respect to \(a_1,\dots,a_n\) with the same Hilbert function.