On a consequence of the order ideal conjecture (Q472990): Difference between revisions

The following conjecture is due to Dutta which is called ``Order ideal conjecture'': Let \((R, \mathfrak{m})\) be a local ring and let \(M\) be a finitely generated \(k\)-th syzygy of finite projective dimension and let \(x\) be a minimal generator of \(M\). Then the order ideal \(\mathcal{O}_M(x)\) has grade at least \(k\). In the paper under review, the author shows several cases for which the map \(K_d(x; R)\otimes k \to \mathrm{Tor}^R_d(R/I, k)\) is the 0-map for a minimal set of generators \(x\) of an ideal \(I\) of height \(d\) in a regular local ring \((R, m, k)\). Then as a consequence of the order ideal conjecture he derives several cases for which \(K_{d+i}(x; R)\otimes k \to \mathrm{Tor}^R_{d+i}(R/I, k)\) are 0-maps for \(i\geq 0\).