The monomial conjecture and order ideals II

Let I be an ideal of height d in a regular local ring (R,m, k = R/m) of dimension n and let Omega denote the canonical module of R/I. In this paper we first prove the equivalence of the following: the non-vanishing of the edge homomorhpism eta(d) : Ext(R)(n-d) (k, Omega) -> Ext(R)(n) (k,R), the validity of the order ideal conjecture for regular local rings, and the validity of the monomial conjecture for all local rings. Next we prove several special cases of the order ideal conjecture/monomial conjecture. (C) 2016 Elsevier Inc. All rights reserved.