Conditions for generic initial ideals to be almost reverse lexicographic

Abstract: Let

I

be a homogeneous Artinian ideal in a polynomial ring

R = k [x_{1}, ..., x_{n}]

over a field

k

of characteristic 0. We study an equivalent condition for the generic initial ideal

g i n (I)

with respect to reverse lexicographic order to be almost reverse lexicographic. As a result, we show that Moreno-Socias conjecture implies Fr"{o}berg conjecture. And for the case

C o d i m I l e 3

, we show that

R / I

has the strong Lefschetz property if and only if

g i n (I)

is almost reverse lexicographic. Finally for a monomial complete intersection Artinian ideal

I = (x_{1}^{d_{1}}, ..., x_{n}^{d_{n}})

, we prove that

g i n (I)

is almost reverse lexicographic if

d_{i} > s u m_{j = 1}^{i - 1} d_{j} - i + 1

for each

i g e 4

. Using this, we give a positive partial answer to Moreno-Socias conjecture, and to Fr"{o}berg conjecture.

Review text

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.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Conditions for generic initial ideals to be almost reverse lexicographic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q926839)