Conditions for generic initial ideals to be almost reverse lexicographic (Q926839)

For a homogeneous ideal \(I\) in \(R=k[x_1,\ldots,x_n]\), \(k=\) field of characteristic 0, generated by generic forms, the Moreno-Socias conjecture (Conjecture 1.1) states that \(\text{gin}(I)\) is almost reverse lexicographic, which means that \(\text{gin}(I)\) contains every monomial \(M\) which is bigger in reverse lexicographic order than a minimal generator of \(\text{gin}(I)\) having same degree as \(M\). In the same conditions, the Fröberg conjecture (Conjecture 1.2) gives a formula for the Hilbert series of \(R/I\) and the Pardue conjecture (Conjecture 1.3) characterizes the Lefschetz properties of \(R/I\), which describe the behavior of \(I\) when a linear form is added. It is known that Moreno-Socias conjecture implies Fröberg conjecture [see \textit{K. Pardue}, Generic Polynomials, unpublished preprint (1999)]. In an elegant and very interesting fashion, this article presents another proof for this result (Corollary 2.4) and it shows how Moreno-Socias conjecture implies the Pardue conjecture (Corollary 2.5). These results come as a consequence of the main result (Theorem 2.8) where necessary and sufficient conditions are given to check if \(\text{gin}(I)\) is almost reverse lexicographic. The proof is based on the characterization of the minimal generators of \(\text{gin}(I)\) given by \textit{H. M. Cho} and the authors [Commun. Algebra 35, No. 7, 2281--2297 (2007; Zbl 1118.13011)]. It is worth mentioning two very nice results at the end of the paper: Theorem 2.11 which shows that if \(I\) is a homogeneous ideal with \(\text{gin}(I)\) almost reverse lexicographic, and if \(K\) is another homogeneous ideal with the same Hilbert function as \(I\), but generated by generic forms, then \(\text{gin}(K)\) is also almost reverse lexicographic; and Corollary 2.12 that shows that every generic complete intersection Artinian ideal of codimension 3 has the strong Lefschetz (Stanley) property. The proof of Theorem 2.11 is ingenious and it uses the methods described by \textit{D. Eisenbud} [``Commutative algebra. With a view toward algebraic geometry.'' (1995; Zbl 0819.13001)] for computing generic initial ideals.