The monomial conjecture and order ideals (Q2445026): Difference between revisions

In the paper under review, the author establishes relations between the monomial conjecture and another conjecture which is called order ideal conjecture. The order ideal conjecture is introduced by the author in this paper and it is a generalization (for any arbitrary local ring) of some results of \textit{E. G. Evans} and \textit{P. Griffith} [Ann. Math. (2) 114, 323--333 (1981; Zbl 0497.13013); in: Commutative algebra, Proc. Microprogram, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 15, 213--225 (1989; Zbl 0735.13007)]. Several interesting sufficient conditions for the validity of the monomial conjecture is presented. Among others, it is shown in Proposition 1.2 that the monomial conjecture is valid for all local rings if and only if it holds for all local almost complete intersections. The main theorem (Theorem 1.4) asserts that: The monomial conjecture is valid for all local rings if for every almost complete intersection ideal \(J\) of height \(d\) in any regular local ring \((R,\mathfrak{m})\) of dimension \(>d\) the following property holds for Syz\(^{d+1}(R/J)\): ``For every minimal generator \(\alpha \in\) Syz\(^{d+1}(R/J)\), the ideal \(I\) generated by the entries of \(\alpha\) in \(F_d\) has grade \(\geq d+1\)'' wherein Syz\(^{d+1}(R/J)\) is the \(d+1\)th syzygy of \(R/J\) in the minimal \(R\)-free resolution \(F_{\bullet}\) of \(R/J\).