The monomial conjecture and order ideals. II (Q258207)

Let \((R,\mathfrak{m},k)\) denote a local ring with residue field \(k = R/\mathfrak{m}\). For the monomial conjecture see [\textit{M. Hochster}, Topics in the homological theory of modules over commutative rings. Providence, R.I.: American Mathematical Society (AMS) (1975; Zbl 0302.13003)]. He also proved it in the case of equicharacteristic local rings. In his paper [J. Algebra 84, 503--553 (1983; Zbl 0562.13012)] \textit{M. Hochster} established the canonical element conjecture and proved the equivalence to the monomial conjecture. For the order ideal conjecture (due to \textit{E. G. Evans jun.} and \textit{P. A. Griffith} [in: Representations, resolutions and intertwining numbers, Publ., Math. Sci. Res. Inst. 15, 213--225 (1989; Zbl 0735.13007)] and the references there. -- In the paper under review the author continues the first part of his article (see [J. Algebra 383, 232--241 (2013; Zbl 1299.13016)] with relations among these conjectures, extensions to previously unknown cases and extensions to other conjectures. Among others as one of the new results in the present paper it is shown that the following conditions are equivalent: (i) For every regular local ring \(R\) dimension \(n\) and for any ideal \(I\) of height \(d\) the edge homomorphism \(\eta_d:\text{Ext}^{n-d}_R(k,\text{Ext}_R^d(R/I,R)) \to \text{Ext}_R^n(k,R)\) is non-zero. (ii) The order ideal conjecture is valid over regular local rings. (iii) The monomial conjecture is valid for all local rings. -- Finally some special cases of the order ideal and the monomial conjecture are proved.