The monomial conjecture and order ideals (Q2445026)

From MaRDI portal
Revision as of 01:17, 22 February 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q123003665, #quickstatements; #temporary_batch_1708557319324)
scientific article
Language Label Description Also known as
English
The monomial conjecture and order ideals
scientific article

    Statements

    The monomial conjecture and order ideals (English)
    0 references
    11 April 2014
    0 references
    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\).
    0 references
    regular local ring
    0 references
    order ideal
    0 references
    grade
    0 references
    syzygy
    0 references
    canonical module
    0 references
    monomial conjecture
    0 references
    0 references

    Identifiers